Examples of non-target-representable symplectic capacities
We give the first concrete examples of symplectic capacities that are not target-representable. This provides some answers to a question by Cieliebak, Hofer, Latschev, and Schlenk.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Fabian Ziltener contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give the first concrete examples of symplectic capacities that are not target-representable. This provides some answers to a question by Cieliebak, Hofer, Latschev, and Schlenk.
We prove that the generalized symplectic capacities recognize objects in symplectic categories whose objects are of the form $(M, ω)$, such that $M$ is a compact and 1-connected manifold, $ω$ is an exact symplectic form on $M$, and there exists a boundary component of $M$ with negative helicity. The set of generalized symplectic capacities is thus a complete invariant for such categories. This answers a question by Cieliebak, Hofer, Latschev, and Schlenk. It appears to be the first result concerning this question, except for recognition results for manifolds of dimension 2, ellipsoids, and polydiscs in $\mathbb{R}^4$. Strikingly, our result holds more generally for differential form categories. Recognition of objects is therefore not a symplectic phenomenon. We also prove a version of the result for normalized capacities.
We give a complete characterization of Hamiltonian actions of compact Lie groups on exact symplectic manifolds with proper momentum maps. We deduce that every Hamiltonian action of a compact Lie group on a contractible symplectic manifold with a proper momentum map is globally linearizable.
Let $α$ be a contact form on a manifold $M$, and $L\subseteq M$ a closed Legendrian submanifold. I prove that $L$ intersects some characteristic for $α$ at least twice if all characteristics are closed and of the same period, and $α$ embeds nicely into the product of $\mathbb{R}^{2n}$ and an exact symplectic manifold. As an application of the method of proof, the minimal action of a regular closed coisotropic submanifold of complex projective space is at most $π/2$. This yields an obstruction to presymplectic embeddings, and in particular to Lagrangian embeddings.
We show that the spherical capacity is discontinuous on a smooth family of ellipsoidal shells. Moreover, we prove that the shell capacity is discontinuous on a family of open sets with smooth connected boundaries.
Consider a Hamiltonian action of a compact connected Lie group $G$ on an aspherical symplectic manifold $(M,ω)$. Under some assumptions on $(M,ω)$ and the action, D. A. Salamon conjectured that counting gauge equivalence classes of symplectic vortices on the plane $R^2$ gives rise to a quantum deformation $Qκ_G$ of the Kirwan map. This article is the first of three, whose goal is to define $Qκ_G$ rigorously. Its main result is that the vertical differential of the vortex equations over $R^2$ (at the level of gauge equivalence) is a Fredholm operator of a specified index. Potentially, the map $Qκ_G$ can be used to compute the quantum cohomology of many symplectic quotients. Conjecturally it also gives rise to quantum generalizations of non-abelian localization and abelianization (see [Woodward-Ziltener]).
Consider a Hamiltonian action of a compact connected Lie group $G$ on an aspherical symplectic manifold $(M,ω)$. Under suitable assumptions, counting gauge equivalence classes of (symplectic) vortices on the plane $R^2$ conjecturally gives rise to a quantum deformation $Qk_G$ of the Kirwan map. This is the second of a series of articles, whose goal is to define $Qk_G$ rigorously. The main result is that every sequence of vortices with uniformly bounded energies has a subsequence that converges to a genus 0 stable map of vortices on $R^2$ and holomorphic spheres in the symplectic quotient. Potentially, the map $Qk_G$ can be used to compute the quantum cohomology of many symplectic quotients. Conjecturally it also gives rise to quantum generalizations of non-abelian localization and abelianization.
Consider a Hamiltonian action of a compact connected Lie group on a symplectic manifold $(M,ω)$. Conjecturally, under suitable assumptions there exists a morphism of cohomological field theories from the equivariant Gromov-Witten theory of $(M,ω)$ to the Gromov-Witten theory of the symplectic quotient. The morphism should be a deformation of the Kirwan map. The idea, due to D. A. Salamon, is to define such a deformation by counting gauge equivalence classes of symplectic vortices over the complex plane $C$. The present memoir is part of a project whose goal is to make this definition rigorous. Its main results deal with the symplectically aspherical case. The first one states that every sequence of equivalence classes of vortices over the plane has a subsequence that converges to a new type of genus zero stable map, provided that the energies of the vortices are uniformly bounded. Such a stable map consists of equivalence classes of vortices over the plane and holomorphic spheres in the symplectic quotient. The second main result is that the vertical differential of the vortex equations over the plane (at the level of gauge equivalence) is a Fredholm operator of a specified index. Potentially the quantum Kirwan map can be used to compute the quantum cohomology of symplectic quotients.
We prove that for $n\geq2$ there exists a compact subset $X$ of the closed ball in $R^{2n}$ of radius $\sqrt{2}$, such that $X$ has Hausdorff dimension $n$ and does not symplectically embed into the standard open symplectic cylinder. The second main result is a lower bound on the $d$-th regular coisotropic capacity, which is sharp up to a factor of 3. For an open subset of a geometrically bounded, aspherical symplectic manifold, this capacity is a lower bound on its displacement energy. The proofs of the results involve a certain Lagrangian submanifold of linear space, which was considered by M. Audin and L. Polterovich.
We prove a coisotropic intersection result and deduce the following: 1. Lower bounds on the displacement energy of a subset of a symplectic manifold, in particular a sharp stable energy-Gromov-width inequality. 2. A stable non-squeezing result for neighborhoods of products of unit spheres. 3. Existence of a "badly squeezable" set in $\mathbb{R}^{2n}$ of Hausdorff dimension at most $d$, for every $n\geq2$ and $d\geq n$. 4. Existence of a stably exotic symplectic form on $\mathbb{R}^{2n}$, for every $n\geq2$. 5. Non-triviality of a new capacity, which is based on the minimal symplectic area of a regular coisotropic submanifold of dimension $d$.
We introduce a notion of morphism of CohFT algebras, based on the analogy with A-infinity morphisms. We discuss a "quantization" of the classical Kirwan morphism to a morphism of CohFT algebras from the equivariant quantum cohomology of a G-variety to the quantum cohomology of its git or symplectic quotient, and an example relating to the orbifold quantum cohomology of a compact toric orbifold. Finally we identify the space of Cartier divisors on the moduli space of scaled marked curves; these appear in the splitting axiom.
To every closed subset $X$ of a symplectic manifold $(M,ω)$ we associate a natural group of Hamiltonian diffeomorphisms $Ham(X,ω)$. We equip this group with a semi-norm $\Vert\cdot\Vert^{X,ω}$, generalizing the Hofer norm. We discuss $Ham(X,ω)$ and $\Vert\cdot\Vert^{X,ω}$ if $X$ is a symplectic or isotropic submanifold. The main result involves the relative Hofer diameter of $X$ in $M$. Its first part states that for the unit sphere in $R^{2n}$ this diameter is bounded below by $\frac\pi2$, if $n\geq2$. Its second part states that for $n\geq2$ and $d\geq n+1$ there exists a compact set in $R^{2n}$ of Hausdorff dimension at most $d$, with relative Hofer diameter bounded below by $π/k(n,d)$, where $k(n,d)$ is an explicitly defined integer.
Let $(M,ω)$ be a geometrically bounded symplectic manifold, $N\subseteq M$ a closed, regular (i.e. "fibering") coisotropic submanifold, and $ϕ:M\to M$ a Hamiltonian diffeomorphism. The main result of this article is that the number of leafwise fixed points of $ϕ$ is bounded below by the sum of the $Z_2$-Betti numbers of $N$, provided that the Hofer distance between $ϕ$ and the identity is small enough and the pair $(N,ϕ)$ is non-degenerate. The bound is optimal if there exists a $Z_2$-perfect Morse function on $N$. A version of the Arnol'd-Givental conjecture for coisotropic submanifolds is also discussed. As an application, I prove a presymplectic non-embedding result.
The (local) invariant symplectic action functional $\A$ is associated to a Hamiltonian action of a compact connected Lie group $\G$ on a symplectic manifold $(M,ω)$, endowed with a $\G$-invariant Riemannian metric $<\cdot,\cdot>_M$. It is defined on the set of pairs of loops $(x,ξ):S^1\to M\x\Lie\G$ for which $x$ satisfies some admissibility condition. I prove a sharp isoperimetric inequality for $\A$ if $<\cdot,\cdot>_M$ is induced by some $ω$-compatible and $\G$-invariant almost complex structure $J$, and, as an application, an optimal result about the decay at $\infty$ of symplectic vortices on the half-cylinder $[0,\infty)\x S^1$.