http://arxiv.org/api/7CYutK2/rPr/agX1wHSi0G2g8kw 2025-04-22T00:00:00-04:00 9514 0 15 http://arxiv.org/abs/2504.15207v1 2025-04-21T16:26:10Z 2025-04-21T16:26:10Z

The classical Gromov width measures the largest symplectic ball embeddable into a symplectic manifold; inspired by the symplectic camel problem, we generalize this to ask how large a symplectic ball can be embedded as a family over a parameter space $N$. Given a smooth map $f: N \to \Omega$, where $\Omega$ is a symplectic manifold, we define the parametric Gromov width $\mathrm{Gr}(f,\Omega)$ as the supremum of capacities $a$ for which there exists $F: N \times B(a) \to \Omega$ with $F(\eta, 0) = f(\eta)$ and which restricts to a symplectic embedding on each ball $\{ \eta \} \times B(a)$, where $B(a) \subset \mathbb{C}^n$ is the closed ball of capacity $a$. For Liouville domains $\Omega$, we establish upper bounds on $\mathrm{Gr}(f,\Omega)$ using the Floer cohomology persistence module associated to $\Omega$. Specializing to fiberwise starshaped domains in the cotangent bundle $T^*M$, we derive computable bounds via filtered string topology. Specific examples of $\Omega$ -- including disk cotangent bundles of thin ellipsoids, open books, and tori -- demonstrate our bounds, and reveal constraints on parameterized symplectic embeddings beyond the classical Gromov width.

Filip Broćić Dylan Cant 97 pages http://arxiv.org/abs/2404.01052v3 2025-04-21T08:19:40Z 2024-04-01T11:19:33Z

Given a pre-monotone Lagrangian link, we obtain Hofer energy estimates for Hamiltonian diffeomorphisms preserving it. Such estimates depend on the braid type of the Hamiltonian diffeomorphism only, and the natural language to talk about this phenomenon is provided by a family of norms on braid groups for surfaces with boundary. This generalises the results obtained by the first author to higher genus surfaces with boundary.

Francesco Morabito Ibrahim Trifa Exposition has been improved, typos fixed and a gap filled,following the referee's comments. Final version, to appear in the Journal of Modern Dynamics http://arxiv.org/abs/2312.14429v2 2025-04-20T12:04:52Z 2023-12-22T04:33:36Z

We study exact Lagrangian cobordisms between exact Lagrangians in a cotangent bundle in the sense of Arnol'd, using microlocal theory of sheaves. We construct a sheaf quantization for an exact Lagrangian cobordism between Lagrangians with conical ends, prove an iterated cone decomposition of the sheaf quantization for cobordisms with multiple ends, and show that the interleaving distance of sheaves is bounded by the shadow distance of the cobordism. Using the result, we prove a rigidity result on Lagrangian intersection by estimating the energy cost of splitting and connecting Lagrangians through cobordisms.

Tomohiro Asano Yuichi Ike Wenyuan Li 10.1007/s00029-025-01034-9 34 pages, 4 figures. v2: Revised, published in Selecta Mathematica Selecta Mathematica 31, 45 (2025) http://arxiv.org/abs/2407.00395v2 2025-04-20T12:02:56Z 2024-06-29T10:42:53Z

We prove that for any element in the $\gamma$-completion of the space of smooth compact exact Lagrangian submanifolds of a cotangent bundle, if its $\gamma$-support is a smooth Lagrangian submanifold, then the element itself is a smooth Lagrangian. We also prove that if the $\gamma$-support of an element in the completion is compact, then it is connected.

Tomohiro Asano Stéphane Guillermou Yuichi Ike Claude Viterbo 16 pages, 2 figures. v2: Revised, to appear in J. Math. Soc. Japan http://arxiv.org/abs/2209.11071v5 2025-04-20T08:46:08Z 2022-09-22T15:02:08Z

For a closed symplectic surface, there are two types of spectral invariants: one defined by periodic Floer homology (PFH) and another by quantitative Heegaard Floer homology (QHF). The theme of this paper is to investigate the relationship between these two invariants. We begin by defining intermediate invariants using the cylindrical formulation of QHF, which we call HF spectral invariants. These invariants are shown to be equivalent to the link spectral invariants in the author's previous work. In the case of the sphere, we prove that the homogenized HF spectral invariants at the unit are equal to the homogenized PFH spectral invariants. This result is derived by constructing homomorphisms from quantitative Heegaard Floer homology to periodic Floer homology, which we refer to as open-closed morphisms. In addition, we show that the homogenized PFH spectral invariants are quasi-morphisms.

Guanheng Chen Enhance the exposition. Comments are welcome! http://arxiv.org/abs/2212.13948v3 2025-04-18T08:08:40Z 2022-12-28T16:50:42Z

We show a mathematically precise version of the SYZ conjecture, proposed in the family Floer context, for the conifold with a conjectural mirror relation between smoothing and crepant resolution. The singular T-duality fibers are explicitly written and exactly correspond to the codimension-2 `missing points' in the mirror cluster variety, which confirms the speculation of Chan, Pomerleano, and Ueda but only in the non-archimedean setting. Concerning purely the area of Berkovich geometry and forgetting all the mirror symmetry background, our B-side analytic fibration is also a new explicit example of affinoid torus fibration with singular extension.

Hang Yuan 24 pages. Accepted version. To provide further clarity, an outline of the construction has been added to the introduction, particularly addressing some concerns about the matching of integral affine structures http://arxiv.org/abs/2504.13485v1 2025-04-18T05:50:02Z 2025-04-18T05:50:02Z

In the scalar light model given by Helmholtz' equation in R^{1+d} , we consider the transformation of an initial scene (a hologram) in {0}xR^d by an arbitrary affine transformation (which can be viewed as a propagation into a tilted hyperplane). In the high frequency regime, we use microlocal and semiclassical analysis to describe the propagator as a semiclassical Fourier integral operator, thus generalising the well-known Angular Spectrum formula from optics. We then prove new precise Egorov theorems, including subprincipal terms, which indicate how to take into account the propagation along rays of geometric optics.

Patrick Gioia IUF, IRMAR San Vu Ngoc IUF, IRMAR 43 pages, 10 figures http://arxiv.org/abs/2312.02100v3 2025-04-17T18:49:45Z 2023-12-04T18:22:14Z

We study the mod $p$ equivariant quantum cohomology of conical symplectic resolutions. Using symplectic genus zero enumerative geometry, Fukaya and Wilkins defined operations on mod $p$ quantum cohomology deforming the classical Steenrod operations on mod $p$ cohomology. We conjecture that these quantum Steenrod operations on divisor classes agree with the $p$-curvature of the mod $p$ equivariant quantum connection, and verify this in the case of the Springer resolution. The key ingredient is a new compatibility relation between the quantum Steenrod operations and the shift operators.

Jae Hee Lee 35 pages, comments welcome! v2: added references, fixed minor typos; v3: accepted version http://arxiv.org/abs/2504.13096v1 2025-04-17T17:06:39Z 2025-04-17T17:06:39Z

The tight versus overtwisted dichotomy has been an essential organizing principle and driving force in 3-dimensional contact geometry since its inception around 1990. In this article, we will discuss the genesis of this dichotomy in Eliashberg's seminal work and his influential contributions to the theory.

John B. Etnyre 19 pages, 6 figures. This survey article is a part of the Celebratio Mathematica volume on the work of Yakov Eliashberg http://arxiv.org/abs/2504.13076v1 2025-04-17T16:39:04Z 2025-04-17T16:39:04Z

Let $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,\omega)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal Lagrangian torus in $(X,\omega)$ is a Lagrangian torus that maximizes the symplectic area among the Lagrangian tori in $(X,\omega)$. We prove that every extremal Lagrangian torus in the symplectic unit ball $(\bar{B}^{2n}(1),\omega_{\mathrm{std}})$ is contained entirely in the boundary $\partial B^{2n}(1)$. This answers a question attributed to Lazzarini and completely settles a conjecture of Cieliebak and Mohnke in the affirmative. In addition, we prove the conjecture for a class of toric domains in $(\mathbb{C}^n, \omega_{\mathrm{std}})$, which includes all compact strictly convex four-dimensional toric domains. We explain with counterexamples that the general conjecture does not hold for non-convex domains.

Shah Faisal 91 pages, 11 figures http://arxiv.org/abs/2405.05856v3 2025-04-17T13:19:31Z 2024-05-09T15:44:15Z

To a simple polarized hyperplane arrangement (not necessarily cyclic) $\mathbb{V}$, one can associate a stopped Liouville manifold (equivalently, a Liouville sector) $\left(M(\mathbb{V}),\xi\right)$, where $M(\mathbb{V})$ is the complement of finitely many hyperplanes in $\mathbb{C}^d$, obtained as the complexifications of the real hyperplanes in $\mathbb{V}$. The Liouville structure on $M(\mathbb{V})$ comes from a very affine embedding, and the stop $\xi$ is determined by the polarization. In this article, we study the symplectic topology of $\left(M(\mathbb{V}),\xi\right)$. In particular, we prove that their partially wrapped Fukaya categories are generated by Lagrangian submanifolds associated to the bounded and feasible chambers of $\mathbb{V}$. A computation of the Fukaya $A_\infty$-algebra of these Lagrangians then enables us to identity these wrapped Fukaya categories with the $\mathbb{G}_m^d$-equivariant hypertoric convolution algebras $\widetilde{B}(\mathbb{V})$ associated to $\mathbb{V}$. This confirms a conjecture of Lauda-Licata-Manion (arXiv:2009.03981) and provides evidence for the general conjecture of Lekili-Segal (arXiv:2304.10969) on the equivariant Fukaya categories of symplectic manifolds with Hamiltonian torus actions.

Sukjoo Lee Yin Li Si-Yang Liu Cheuk Yu Mak v3: Accepted version. Extended introductions and expositions, several typos fixed. 65 pages http://arxiv.org/abs/2312.13393v2 2025-04-17T04:49:13Z 2023-12-20T19:45:49Z

The goal of this paper is to give an explicit description of the integrable structure of the Hitchin moduli spaces. This is done by introducing explicit parameterisations for the different strata of the Hitchin moduli spaces, and by adapting the Separation of Variables method from the theory of integrable models to the Hitchin moduli spaces. The resulting description exhibits a clear analogy with Drinfeld's first construction of the geometric Langlands correspondence. It can be seen as a classical limit of a version of Drinfeld's construction which is adapted to the complex number field.

Duong Dinh Joerg Teschner 43 pages http://arxiv.org/abs/1906.11749v5 2025-04-16T15:45:10Z 2019-06-27T15:52:23Z

We develop a $G$-equivariant Lagrangian Floer theory and obtain a curved $A_\infty$ algebra, and in particular a $G$-equivariant disc potential. We construct a Morse model, which counts pearly trees in the Borel construction $L_G$. When applied to a smooth moment map fiber of a semi-Fano toric manifold, our construction recovers the $T$-equivariant toric Landau-Ginzburg mirror of Givental. We also study the $\bS^1$-equivariant Floer theory of a typical singular SYZ fiber (i.e. a pinched torus) and compute its $\bS^1$-equivariant disc potential via the gluing technique developed in \cite{CHL18,HKL}.

Yoosik Kim Siu-Cheong Lau Xiao Zheng v_5: 49 page, 6 figures. Published version, typos corrected and details added in Section 2.2 http://arxiv.org/abs/2504.12061v1 2025-04-16T13:16:35Z 2025-04-16T13:16:35Z

The present article provides an overview of Yakov Eliashberg's seminal contributions to the concepts of orderability and contact non-squeezing. It also examines subsequent research by various authors, highlighting the significance of these notions and offering a detailed account of the current state of the field.

Igor Uljarević This survey article is a part of the Celebratio volume honouring the work of Yakov Eliashberg http://arxiv.org/abs/2412.16342v2 2025-04-16T01:05:41Z 2024-12-20T21:08:11Z

We discuss in this note two dual canonical operations on Dirac structures $L$ and $R$ -- the \emph{tangent product} $L \star R$ and the \emph{cotangent product} $L \circledast R$. Our first result gives an explicit description of the leaves of $L \star R$ in terms of those of $L$ and $R$, surprisingly ruling out the pathologies which plague general ``induced Dirac structures''. In contrast to the tangent product, the more novel contangent product $L \circledast R$ need not be Dirac even if smooth. When it is, we say that $L$ and $R$ \emph{concur}. Concurrence captures commuting Poison structures, refines the \emph{Dirac pairs} of Dorfman and Kosmann-Schwarzbach, and it is our proposal as the natural notion of ``compatibility'' between Dirac structures. The rest of the paper is devoted to illustrating the usefulness of tangent- and cotangent products in general, and the notion of concurrence in particular. Dirac products clarify old constructions in Poisson geometry, characterize Dirac structures which can be pushed forward by a smooth map, and mandate a version of a local normal form. Magri and Morosi's $P\Omega$-condition and Vaisman's notion of two-forms complementary to a Poisson structures are found to be instances of concurrence, as is the setting for the Frobenius-Nirenberg theorem. We conclude the paper with an interpretation in the style of Magri and Morosi of generalized complex structures which concur with their conjugates.

Pedro Frejlich David Martínez Torres 36 pages, to appear in Letters in Mathematical Physics