arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2307.01140

Boundaries of open symplectic manifolds and the failure of packing stability

Dan Cristofaro-Gardiner·Richard Hind
View original source ↗Read source document ↗Export metadata ↓

Abstract

A finite volume symplectic manifold is said to have "packing stability" if the only obstruction to symplectically embedding sufficiently small balls is the volume obstruction. Packing stability has been shown in a variety of cases and it has been conjectured that it always holds. We give counterexamples to this conjecture; in fact, we give examples that cannot be fully packed by any domain with smooth boundary nor by any convex domain. The examples are symplectomorphic to open and bounded domains in $\mathbb{R}^4$, with the diffeomorphism type of a disc. The obstruction to packing stability is closely tied to another old question, which asks to what extent an open symplectic manifold has a well-defined boundary; it follows from our results that many examples cannot be symplectomorphic to the interior of a compact symplectic manifold with smooth boundary. Our results can be quantified in terms of the volume decay near the boundary, and we produce, for example, smooth toric domains that are only symplectomorphic to the interior of a compact domain if the boundary of this domain has inner Minkowski dimension arbitrarily close to $4$. The growth rate of the subleading asymptotics of the ECH spectrum plays a key role in our arguments. We prove a very general "fractal Weyl law", relating this growth rate to the Minkowski dimension; this formula is potentially of independent interest.

Explore related subjects

math.SG

Keep this discovery

BibTeXRIS

Dan Cristofaro-Gardiner, Richard Hind. 2023-07-03. Boundaries of open symplectic manifolds and the failure of packing stability. https://arxiv.org/abs/2307.01140

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

KEEP EXPLORING

Related papers

arXiv2026

Extended Future Tube Conjecture for Unipotent Subgroups

Let $\Omega$ be the Lorentz future cone in $\mathbb{R}^{d+1}$ with respect to the Lorentz product and let $T^M$ be the $M$-fold product of the future tube $T=\mathbb{R}^{d+1}+i\Omega$. The Lorentz group $\mathrm{SO}_0(1,d)$ acts diagonally on $T^M$, and its complexification $\mathrm{SO}(1,d)^\mathbb{C}$ acts on $\mathbb{C}^{(d+1)\times M}$. We prove that the domain $G^\mathbb{C}\cdot T^M$ is a Stein manifold for any connected unipotent subgroup $G$ of $\mathrm{SO}_0(1,d)$.

math.SG↗
arXiv2026

The First Correction Term in the Asymptotic Expansion of Bohr--Sommerfeld Lagrangian States

Let $\Lambda$ be a compact Bohr--Sommerfeld Lagrangian submanifold of a compact K\"ahler manifold equipped with a holomorphic prequantum line bundle. We study the asymptotic expansion of the Lagrangian states associated with $\Lambda$. In particular, we compute explicitly the first nontrivial correction term and show that it is expressed in terms of geometric invariants of the ambient K\"ahler manifold and the Lagrangian submanifold, including their scalar curvatures, the second fundamental form, and the mean curvature. As a consequence, we obtain the corresponding second-order asymptotic formula for the $L^2$-norm of the Lagrangian states.

math.SG↗
arXiv2026

Classification of Legendrian doubles and suspensions

We define a construction of Legendrians inside contact manifolds that arise by doubling an exact Lagrangian filling in the page of an open book decomposition. This can be seen as a generalization of a previous construction by Courte and Ekholm to arbitrary open books. These Legendrians, called Legendrian doubles, are shown to admit regular flexible exact Lagrangian fillings, and they are thus classified up to Legendrian isotopy by classical data. Finally, we show that the Legendrian suspension construction, as defined by Arikan and the author in previous work,-this is a Legendrian contained inside a page of an open book that is obtained by using Seidel's suspension of Lefschetz fibrations- is a Legendrian double.

math.SG↗