Search arXiv⌕ Search

arXiv · math/0112012

Commutator length of symplectomorphisms

Abstract

Each element of the commutator subgroup of a group can be represented as a product of commutators. The minimal number of factors in such a product is called the commutator length of the element. The commutator length of a group is defined as the supremum of commutator lengths of elements of its commutator subgroup. We show that for certain closed symplectic manifolds, including complex projective spaces and Grassmannians, the universal cover of the group of Hamiltonian symplectomorphisms of the manifold has infinite commutator length. In particular, we present explicit examples of elements in that group that have arbitrarily large commutator length -- the estimate on their commutator length depends on the multiplicative structure of the quantum cohomology of the symplectic manifold. By a different method we also show that in the case when the first Chern class of the manifold is zero the universal covers of the group of Hamiltonian symplectomorphisms and of the identity component of the group of all symplectomorphisms both have infinite commutator length.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael Entov. 2003-08-05. Commutator length of symplectomorphisms. https://arxiv.org/abs/math/0112012

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

KEEP EXPLORING

Related papers

Exact orbifold fillings of contact manifolds

We study exact orbifold fillings of contact manifolds using Floer theories. Motivated by Chen-Ruan's orbifold Gromov-Witten invariants, we define symplectic cohomology of an exact orbifold filling as a group using classical techniques, i.e. choosing generic almost complex structures. By studying moduli spaces of pseudo-holomorphic/Floer curves in orbifolds, we obtain various non-existence, restrictions and uniqueness results for orbifold singularities of exact orbifold fillings of many contact manifolds. For example, we show that exact orbifold fillings of $(\mathbb{RP}^{2n-1},ξ_{\mathrm{std}})$ always have exactly one singularity modeled on $\mathbb{C}^n/(\mathbb{Z}/2\mathbb{Z})$ if $n\ne 2^k$. Lastly, we show that in dimension at least $3$ there are pairs of contact manifolds without exact cobordisms in either direction, and that the same holds for exact orbifold cobordisms in dimension at least $5$.

math.SG↗

Non-unital monoidal category of contact manifolds and Legendrian correspondence

There are two purposes of the present paper which are interrelated. The first goal is to construct the structure of a non-unital monoidal category $\mathfrak{Cont}$ of contact manifolds, not necessarily coorientable, by developing the contact topology \emph{without contact forms}. The non-unital monoidal product is the functorial contact product $\star$, called star product, introduced in \cite{oh:shelukhin-conjecture}. We prove that the product $\star$ is associative and there exist a collection $α= \{α_{X,Y,Z}\}$ of the \emph{associator} isomorphisms $α_{X,Y,Z}: X \star (Y\star Z) \cong (X \star Y) \star Z$ for $X, \, Y, \, Z \in \mathfrak{Cont}$, that satisfy the pentagon axiom, i.e., that the triples $(\mathfrak{Cont}, \star, α)$ form a nonunital monoidal category. The second goal is to develop the calculus of Legendrian correspondences, which are by definition embedded Legendrian submanifolds of the contact product $Q \star Q'$. Legendrian correspondences will play the role of 1-morphisms in the $2$-categorical structure to be equipped with $\mathfrak{Cont}$ whose two morphisms are contact instanton cohomologies $HI(R_{ab},R'_{ab})$ associated to a pair of Legendrian correspondences $R_{ab}, \, R'_{ab} \in \mathfrak{Leg}(Q_a,Q_b)$. With this future application in mind, we define the composition of Legendrian correspondences and prove that the composition of a generic pair is again embedded and hence canonically becomes a Legendrian correspondence.

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↗