arXiv Science⌕ Search

arXiv · 2610.24862

Symplectophagy

Abstract

We introduce the notion of a symplectophagy, which is a symplectic isotopy satisfying conditions reminiscent of the symplectic camel. We present new symplectic rigidity results which take the form of obstructions to the existence of symplectophagies in certain situations. The main tool is the relative symplectic cohomology recently introduced by Varolgunes, as well as its extension to pairs, due to the authors and L. Polterovich, for which we establish an invariance property, which is the chief technical novelty of the present paper. An important role is also played by the recent calculations of relative symplectic cohomology in complex projective spaces due to Dickstein-Ganor.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Adi Dickstein, Yaniv Ganor, Frol Zapolsky. 2026-10-17. Symplectophagy. https://arxiv.org/abs/2610.24862

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

KEEP EXPLORING

Related papers

A new look at unitarity in quantization commutes with reduction for toric manifolds

For a symplectic manifold $M$ with the Hamiltonian action of a compact Lie group $G$, we give a new perspective on the problem of unitarity in the quantization commutes with reduction correspondence. We argue that this correspondence leads naturally to the introduction of what we call Fourier polarizations, whose real directions include the Hamiltonian vector fields of all invariant functions of the moment map. For a Fourier polarization, quantization commutes with reduction unitarily. For a general $G$-invariant polarization, $\mathcal{P}$, unitarity in the quantization commutes with reduction correspondence can then be formulated in terms of the existence of a Fourier polarization, $\mathcal{P}_F$, such that the quantizations with respect to $\mathcal{P}$ and to $\mathcal{P}_F$ are unitarily equivalent. We describe this perspective in detail for symplectic toric manifolds, by considering symplectic reductions associated to the action of a subtorus $T^p\subset T^n$. We consider half-form quantization in Fourier (mixed) polarizations $\mathcal{P}_\infty$, whose real directions are generated by(the Hamiltonian vector fields of the)components of the $T^p$ moment map. We show that Fourier mixed polarizations of this type can be obtained by Mabuchi geodesic rays of toric Kähler structures, starting at a given initial structure and with velocity given by the norm square of the moment map of the torus subgroup. We lift these geodesic rays to the quantum bundle via generalized coherent state transforms, which define equivariant isomorphisms between quantum Hilbert spaces for the Kähler and Fourier polarizations, where the later are obtained at infinite geodesic time. Unitarity in quantization commutes with reduction in these cases then becomes equivalent to the unitarity of these isomorphisms. In general, however, in the toric case, these isomorphisms are not unitary.

math.SG↗

Reeb orbits frequently intersecting a symplectic surface

Consider a symplectic surface in a three-dimensional contact manifold with boundary on Reeb orbits (periodic orbits of the Reeb vector field). We assume that the rotation numbers of the boundary Reeb orbits satisfy a certain inequality, and we also make a technical assumption that the Reeb vector field has a particular ``nice'' form near the boundary of the surface. We then show that there exist Reeb orbits which intersect the interior of the surface, with a lower bound on the frequency of these intersections in terms of the symplectic area of the surface and the contact volume of the three-manifold. No genericity of the contact form is assumed. As a corollary of the main result, we obtain a generalization of various recent results relating the mean action of periodic orbits to the Calabi invariant for area-preserving surface diffeomorphisms.

math.SG↗

Periodic Inscription of Isosceles Trapezoids

We prove that a pair of continuous disjoint periodic curves in $\mathbb{C}$ inscribes an isosceles trapezoid with any similarity type. The case of smooth curves can be identified with a Lagrangian intersection problem for a pair of Lagrangian cylinders in $\mathbb{R}\times S^1\times\mathbb{C}$, and the continuous case follows from the smooth one by a standard convergence argument.

math.SG↗