Given a Hamiltonian action of a proper symplectic groupoid (for instance, a Hamiltonian action of a compact Lie group), we show that the transverse momentum map admits a natural constant rank stratification. To this end, we construct a refinement of the canonical stratification associated to the Lie groupoid action (the orbit type stratification, in the case of a Hamiltonian Lie group action) that seems not to have appeared before, even in the literature on Hamiltonian Lie group actions. This refinement turns out to be compatible with the Poisson geometry of the Hamiltonian action: it is a Poisson stratification of the orbit space, each stratum of which is a regular Poisson manifold that admits a natural proper symplectic groupoid integrating it. The main tools in our proofs (which we believe could be of independent interest) are a version of the Marle–Guillemin–Sternberg normal form theorem for Hamiltonian actions of proper symplectic groupoids and a notion of equivalence between Hamiltonian actions of symplectic groupoids, closely related to Morita equivalence between symplectic groupoids.

A weighted nonlinear flag is a nested set of closed submanifolds, each submanifold endowed with a volume density. We study the geometry of Fréchet manifolds of weighted nonlinear flags, in this way generalizing the weighted nonlinear Grassmannians. When the ambient manifold is symplectic, we use these nonlinear flags to describe a class of coadjoint orbits of the group of Hamiltonian diffeomorphisms, orbits that consist of weighted isotropic nonlinear flags.

We prove an extension of the homology version of the Hofer–Zehnder conjecture proved by Shelukhin to the weighted projective spaces which are symplectic orbifolds. In particular, we prove that if the number of fixed points counted with their isotropy order as multiplicity of a non-degenerate Hamiltonian diffeomorphism of such a space is larger than the minimum number possible, then there are infinitely many periodic points.

It was established by Boalch that Euler continuants arise as Lie group valued moment maps for a class of wild character varieties described as moduli spaces of points on $\mathbb {P}^1$ by Sibuya. Furthermore, Boalch noticed that these varieties are multiplicative analogues of certain Nakajima quiver varieties originally introduced by Calabi, which are attached to the quiver $\Gamma _n$ on two vertices and n equioriented arrows. In this article, we go a step further by unveiling that the Sibuya varieties can be understood using noncommutative quasi-Poisson geometry modelled on the quiver $\Gamma _n$ . We prove that the Poisson structure carried by these varieties is induced, via the Kontsevich–Rosenberg principle, by an explicit Hamiltonian double quasi-Poisson algebra defined at the level of the quiver $\Gamma _n$ such that its noncommutative multiplicative moment map is given in terms of Euler continuants. This result generalises the Hamiltonian double quasi-Poisson algebra associated with the quiver $\Gamma _1$ by Van den Bergh. Moreover, using the method of fusion, we prove that the Hamiltonian double quasi-Poisson algebra attached to $\Gamma _n$ admits a factorisation in terms of n copies of the algebra attached to $\Gamma _1$ .

We introduce the process of symplectic reduction along a submanifold as a uniform approach to taking quotients in symplectic geometry. This construction holds in the categories of smooth manifolds, complex analytic spaces, and complex algebraic varieties, and has an interpretation in terms of derived stacks in shifted symplectic geometry. It also encompasses Marsden–Weinstein–Meyer reduction, Mikami–Weinstein reduction, the pre-images of Poisson transversals under moment maps, symplectic cutting, symplectic implosion, and the Ginzburg–Kazhdan construction of Moore–Tachikawa varieties in topological quantum field theory. A key feature of our construction is a concrete and systematic association of a Hamiltonian $G$-space $\mathfrak {M}_{G, S}$ to each pair $(G,S)$, where $G$ is any Lie group and $S\subseteq \mathrm {Lie}(G)^{*}$ is any submanifold satisfying certain non-degeneracy conditions. The spaces $\mathfrak {M}_{G, S}$ satisfy a universal property for symplectic reduction which generalizes that of the universal imploded cross-section. Although these Hamiltonian $G$-spaces are explicit and natural from a Lie-theoretic perspective, some of them appear to be new.

In this paper a homotopy co-momentum map (à la Callies, Frégier, Rogers and Zambon) transgressing to the standard hydrodynamical co-momentum map of Arnol’d, Marsden, Weinstein and others is constructed and then generalized to a special class of Riemannian manifolds. Also, a covariant phase space interpretation of the coadjoint orbits associated to the Euler evolution for perfect fluids, and in particular of Brylinski’s manifold of smooth oriented knots, is discussed. As an application of the above homotopy co-momentum map, a reinterpretation of the (Massey) higher-order linking numbers in terms of conserved quantities within the multisymplectic framework is provided and knot-theoretic analogues of first integrals in involution are determined.

Let $K$ be a compact Lie group with complexification $G$, and let $V$ be a unitary $K$-module. We consider the real symplectic quotient $M_{0}$ at level zero of the homogeneous quadratic moment map as well as the complex symplectic quotient, defined here as the complexification of $M_{0}$. We show that if $(V,G)$ is $3$-large, a condition that holds generically, then the complex symplectic quotient has symplectic singularities and is graded Gorenstein. This implies in particular that the real symplectic quotient is graded Gorenstein. In case $K$ is a torus or $\operatorname{SU}_{2}$, we show that these results hold without the hypothesis that $(V,G)$ is $3$-large.

Let $Q$ be a closed manifold admitting a locally free action of a compact Lie group $G$. In this paper, we study the properties of geodesic flows on $Q$ given by suitable G-invariant Riemannian metrics. In particular, we will be interested in the existence of geodesics that are closed up to the action of some element in the group $G$, since they project to closed magnetic geodesics on the quotient orbifold $Q/G$.

Varieties of the form $G\times S_{\!\text{reg}}$, where $G$ is a complex semisimple group and $S_{\!\text{reg}}$ is a regular Slodowy slice in the Lie algebra of $G$, arise naturally in hyperkähler geometry, theoretical physics and the theory of abstract integrable systems. Crooks and Rayan [‘Abstract integrable systems on hyperkähler manifolds arising from Slodowy slices’, Math. Res. Let., to appear] use a Hamiltonian $G$-action to endow $G\times S_{\!\text{reg}}$ with a canonical abstract integrable system. To understand examples of abstract integrable systems arising from Hamiltonian $G$-actions, we consider a holomorphic symplectic variety $X$ carrying an abstract integrable system induced by a Hamiltonian $G$-action. Under certain hypotheses, we show that there must exist a $G$-equivariant variety isomorphism $X\cong G\times S_{\!\text{reg}}$.

This paper develops the theory of multisymplectic variational integrators for nonsmooth continuum mechanics with constraints. Typical problems are the impact of an elastic body on a rigid plate or the collision of two elastic bodies. The integrators are obtained by combining, at the continuous and discrete levels, the variational multisymplectic formulation of nonsmooth continuum mechanics with the generalized Lagrange multiplier approach for optimization problems with nonsmooth constraints. These integrators verify a spacetime multisymplectic formula that generalizes the symplectic property of time integrators. In addition, they preserve the energy during the impact. In the presence of symmetry, a discrete version of the Noether theorem is verified. All these properties are inherited from the variational character of the integrator. Numerical illustrations are presented.

We introduce an analogue in hyperkähler geometry of the symplectic implosion, in the case of $\mathrm{SU} (n)$ actions. Our space is a stratified hyperkähler space which can be defined in terms of quiver diagrams. It also has a description as a non-reductive geometric invariant theory quotient.

In this paper we show that any good toric contact manifold has a well-defined cylindrical contact homology, and describe how it can be combinatorially computed from the associated moment cone. As an application, we compute the cylindrical contact homology of a particularly nice family of examples that appear in the work of Gauntlett et al. on Sasaki–Einstein metrics. We show in particular that these give rise to a new infinite family of non-equivalent contact structures on S2×S3 in the unique homotopy class of almost contact structures with vanishing first Chern class.

Speyer and Sturmfels associated Gröbner toric degenerations $\text{G}{{\text{r}}_{2}}{{({{\mathbb{C}}^{n}})}^{\mathcal{T}}}$ of $\text{G}{{\text{r}}_{2}}{{({{\mathbb{C}}^{n}})}^{{}}}$ with each trivalent tree $\mathcal{T}$ having $n$ leaves. These degenerations induce toric degenerations $M_{r}^{\mathcal{T}}$ of ${{M}_{r}}$, the space of $n$ ordered, weighted (by $\mathbf{r}$) points on the projective line. Our goal in this paper is to give a geometric (Euclidean polygon) description of the toric fibers and describe the action of the compact part of the torus as “bendings of polygons”. We prove the conjecture of Foth and Hu that the toric fibers are homeomorphic to the spaces defined by Kamiyama and Yoshida.

A theorem of Tietze and Nakajima, from 1928, asserts that if a subset $X$ of ${{\mathbb{R}}^{n}}$ is closed, connected, and locally convex, then it is convex. We give an analogous “local to global convexity” theorem when the inclusion map of $X$ to ${{\mathbb{R}}^{n}}$ is replaced by a map from a topological space $X$ to ${{\mathbb{R}}^{n}}$ that satisfies certain local properties. Our motivation comes from the Condevaux–Dazord–Molino proof of the Atiyah–Guillemin–Sternberg convexity theorem in symplectic geometry.

We address the problem of computing the fundamental group of a symplectic ${{S}^{1}}$-manifold for non-Hamiltonian actions on compact manifolds, and for Hamiltonian actions on non-compact manifolds with a proper moment map. We generalize known results for compact manifolds equipped with a Hamiltonian ${{S}^{1}}$-action. Several examples are presented to illustrate our main results.

We show that there is an hierarchy of intersection rigidity properties of sets in a closed symplectic manifold: some sets cannot be displaced by symplectomorphisms from more sets than the others. We also find new examples of rigidity of intersections involving, in particular, specific fibers of moment maps of Hamiltonian torus actions, monotone Lagrangian submanifolds (following the works of P. Albers and P. Biran-O. Cornea) as well as certain, possibly singular, sets defined in terms of Poisson-commutative subalgebras of smooth functions. In addition, we get some geometric obstructions to semi-simplicity of the quantum homology of symplectic manifolds. The proofs are based on the Floer-theoretical machinery of partial symplectic quasi-states.

Let $M$ be a symplectic 4-dimensional manifold equipped with a Hamiltonian circle action with isolated fixed points. We describe a method for computing its integral equivariant cohomology in terms of fixed point data. We give some examples of these computations.

In this paper, we characterize unitary representations of $\pi \text{ }:=\text{ }\pi {{\text{ }}_{1}}({{S}^{2}}\backslash \{{{s}_{1}},\ldots ,{{s}_{l}}\})$ whose generators ${{u}_{1}},\,\ldots ,\,{{u}_{l}}$ (lying in conjugacy classes fixed initially) can be decomposed as products of two Lagrangian involutions ${{u}_{j}}\,=\,{{\sigma }_{j}}{{\sigma }_{j+1}}$ with ${{\sigma }_{l+1}}\,=\,{{\sigma }_{1}}$. Our main result is that such representations are exactly the elements of the fixed-point set of an anti-symplectic involution defined on the moduli space ${{\mathcal{M}}_{C}}\,:\,=\,\text{Ho}{{\text{m}}_{C}}(\pi ,\,U(n))\,/\,U(n)$. Consequently, as this fixed-point set is non-empty, it is a Lagrangian submanifold of ${{\mathcal{M}}_{C}}$. To prove this, we use the quasi-Hamiltonian description of the symplectic structure of ${{\mathcal{M}}_{C}}$ and give conditions on an involution defined on a quasi-Hamiltonian $U$-space $(M,\,\omega ,\,\mu :\,M\to \,U)$ for it to induce an anti-symplectic involution on the reduced space $M//U:=\,{{\mu }^{-1}}\,(\{1\})/U$.

Let $M$ be the product of two compact Hamiltonian $T$-spaces $X$ and $Y$. We present a formula for evaluating integrals on the symplectic reduction of $M$ by the diagonal $T$ action. At every regular value of the moment map for $X\,\times \,Y$, the integral is the convolution of two distributions associated to the symplectic reductions of $X$ by $T$ and of $Y$ by $T$. Several examples illustrate the computational strength of this relationship. We also prove a linear analogue which can be used to find cohomology pairings on toric orbifolds.

Let M be a Hamiltonian K-space with proper moment map $\mu$. The symplectic quotient $X=\mu^{-1}(0)/K$ is a singular stratified space with a symplectic structure on the strata. In this paper we generalise the Kirwan map, which maps the K equivariant cohomology of $\mu^{-1}(0)$ to the middle perversity intersection cohomology of X, to this symplectic setting.

The key technical results which allow us to do this are Meinrenken's and Sjamaar's partial desingularisation of singular symplectic quotients and a decomposition theorem, proved in Section 2 of this paper, exhibiting the intersection cohomology of a ‘symplectic blowup’ of the singular quotient X along a maximal depth stratum as a direct sum of terms including the intersection cohomology of X.