Search arXivSearch

arXiv · 2401.00570

On the classification of multiplicity-free Hamiltonian actions by regular proper symplectic groupoids

Abstract

In this paper we study a natural generalization of symplectic toric manifolds in the context of regular Poisson manifolds of compact types. To be more precise, we consider a class of multiplicity-free Hamiltonian actions by regular proper symplectic groupoids that we call faithful. Given such a groupoid, we classify its faithful multiplicity-free Hamiltonian actions in terms of what we call Delzant subspaces of its orbit space -- certain `suborbifolds with corners' satisfying the Delzant condition relative to the integral affine orbifold structure of the orbit space. This encompasses both the classification of symplectic toric manifolds (due to Delzant) in terms of Delzant polytopes and the classification of proper Lagrangian fibrations over an integral affine base manifold (due to Duistermaat) in terms of a sheaf cohomology group. Each Delzant subspace comes with an orbifold version of this cohomology, the degree one part of which classifies faithful multiplicity-free Hamiltonian actions with momentum map image equal to the Delzant subspace, provided there exists such an action. The obstruction to existence is encoded by a degree two class in this cohomology: the Lagrangian Dixmier-Douady class. In addition to the above, we introduce another invariant, which leads to a variation of our classification result involving only classical sheaf cohomology and the group cohomology of certain modules for the isotropy groups of the groupoid.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Maarten Mol. 2023-12-31. On the classification of multiplicity-free Hamiltonian actions by regular proper symplectic groupoids. https://arxiv.org/abs/2401.00570

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

An algebraic generalization of Giroux's criterion

We compute the contact homology algebra of a neighborhood $(\mathbb{R}_τ \times W, ξ)$ of a convex hypersurface $W$ and determine when this algebra is zero or non-zero. Thus we provide a tool for inferring the tightness of such $ξ$ for $W$ of any even dimension. In more detail, consider the augmentations $ε^{\pm}$ of chain-level contact homology algebras of the dividing set $(Γ, ξ_Γ)$ determined by the positive and negative regions of $W$. We compute $CH(\mathbb{R}_τ \times W, ξ)$ as the derived tensor product of the $ε^{\pm}$. Consequently the vanishing or non-vanishing of $CH(\mathbb{R}_τ \times W, ξ)$ is determined by the induced morphisms $Hε^{\pm}$ from $CH(Γ, ξ_Γ)$ to the coefficient ring.

math.SG

Hofer-Like Geometry Revisited

We prove that the inclusion of the Hamiltonian group $\Ham(M,ω)$ into the identity component \(G_ω(M)\) of the symplectic diffeomorphism group is a bi-Lipschitz embedding with respect to the Hofer norm and the Hofer-like norm, and we identify geometric conditions under which this embedding is isometric: settling a conjecture of Banyaga. This conjecture was proved by Buss and Leclercq; our proof provides explicit equivalence constants. We also detail and simplify Banyaga's original proof of the non-degeneracy of the Hofer-like norm. We then extend the analysis to all of \(G_ω(M)\): for \(ϕ\) with flux class \(γ\), the Hofer-like norm is given by a semidirect-product formula, the infimum over the harmonic locus \(\Harm(γ)\) plus a Hofer residue. This yields a geometric condition for the two norms to agree on the Hamiltonian group. In particular, this geometric condition holds on all closed surfaces of genus $g\ge 2$.

math.SG

Kodaira fibres and wrapped Floer cohomology

Let $F$ be a singular fibre of a relatively minimal complex elliptic fibration with smooth total space, and let $Ω$ be a nonvanishing holomorphic two-form near $F$. We show that a small neighbourhood of $F$ is a Weinstein domain for $\mathrm{Re}\,Ω$ whose completion is a Legendrian surgery, with cocores obtained by completing holomorphic disks transverse to the components of $F$. For every coefficient field and every multiplicative bulk class, we compute the wrapped Floer cohomology of these cocores and prove that it is concentrated in degree zero. The cocores generate, so the bulk-deformed wrapped Fukaya category is equivalent to the category of perfect modules over an explicit algebra: a multiplicative preprojective algebra of affine type for the normal crossing fibres, and a quiver algebra with relations for types $II$, $III$ and $IV$. Applications include formality of the affine plumbing dg algebras, mirror equivalences with resolved affine surfaces at the trivial bulk class, and with quotient stacks of algebraic tori at root-of-unity bulk classes for the four star-shaped fibres.

math.SG