http://arxiv.org/api/Ag3ex09IdsDS9YhZF3Qw6mWNQT4 2025-04-22T00:00:00-04:00 9514 15 15 http://arxiv.org/abs/2310.11993v2 2025-04-15T16:31:49Z 2023-10-18T14:25:54Z

Using SFT techniques, Eliashberg, Kim and Polterovich (2006) proved that if $\pi R_2^2 \leq K \leq \pi R_1^2$ for some integer $K$ then there is no contact squeezing in $\mathbb{R}^{2n} \times S^1$ of the prequantization of the ball of radius $R_1$ into the prequantization of the ball of radius $R_2$. This result was extended to the case of balls of radius $R_1$ and $R_2$ with $1 \leq \pi R_2^2 \leq \pi R_1^2$ by Chiu (2017) and the first author (2016), using respectively microlocal sheaves and SFT. In the present article we recover this general contact non-squeezing theorem using generating functions, a classical method based on finite dimensional Morse theory. More precisely, we develop an equivariant version, with respect to a certain action of a finite cyclic group, of the generating function homology for domains of $\mathbb{R}^{2n} \times S^1$ defined by the second author (2011). A key role in the construction is played by translated chains of contactomorphisms, a generalization of translated points.

Maia Fraser Sheila Sandon Bingyu Zhang 42 pages. Revised version, to appear in the Journal of Fixed Point Theory and Applications http://arxiv.org/abs/2504.06773v2 2025-04-15T09:15:40Z 2025-04-09T10:54:35Z

In this article we investigate the fragility of invariant Lagrangian graphs for dissipative maps, focusing on their destruction under small perturbations. Inspired by Herman's work on conservative systems, we prove that all $C^0$-invariant Lagrangian graphs for an integrable dissipative twist maps can be destroyed by perturbations that are arbitrarily small in the $C^{1-\varepsilon}$-topology. This result is sharp, as evidenced by the persistence of $C^1$-invariant graphs under $C^1$-perturbations guaranteed by the normally hyperbolic invariant manifold theorem.

Alfonso Sorrentino Lin Wang 16 pages; Comments are welcome http://arxiv.org/abs/2504.09968v2 2025-04-15T06:22:46Z 2025-04-14T08:09:47Z

In these memos, we define a pregeometry $\mathcal{T}_{\mathbb{S}} ^{alg}$ and a geometry $\mathcal{G}_{\mathbb{S}} ^{alg}$ which integrate symplectic manifolds with $E_{\infty}$-ring sheaves, enabling the construction of $\mathcal{G}_{\mathbb{S}} ^{alg}$-schemes as structured $\infty$-topoi. Our framework and results establish a profound connection between algebraic invariants and homological properties, opening new pathways for exploring symplectic phenomena through the lens of higher category theory and derived geometry.

Eita Haibara Shelly Miyano 8 pages, We corrected the error in example 2.3.1 http://arxiv.org/abs/2504.10790v1 2025-04-15T01:24:49Z 2025-04-15T01:24:49Z

Complex (affine) lines are a major object of study in complex geometry, but their symplectic aspects are not well understood. We perform a systematic study based on their associated Ahlfors currents. In particular, we generalize (by a different method) a result of Bangert on the existence of complex lines. We show that Ahlfors currents control the asymptotic behavior of families of pseudoholomorphic curves, refining a result of Demailly. Lastly, we show that the space of Ahlfors currents is convex.

Spencer Cattalani 22 pages, 4 figures http://arxiv.org/abs/2503.23565v2 2025-04-14T23:31:08Z 2025-03-30T19:09:19Z

Let $(M,h)$ be a connected, complete Riemannian manifold, let $x\in M$ and $l>0$. Then $M$ is called a $Z^x$ manifold if all geodesics starting at $x$ return to $x$ and it is called a $Y^x_l$ manifold if every unit-speed geodesic starting at $x$ returns to $x$ at time $l$. It is unknown whether there are $Z^x$ manifolds that are not $Y^x_l$-manifolds for some $l>0$. By the B\'erard-Bergery theorem, any $Y^x_l$ manifold of dimension at least $2$ is compact with finite fundamental group. We prove the same result for $Z^x$ manifolds $M$ for which all unit-speed geodesics starting at $x$ return to $x$ in uniformly bounded time. We also prove that any $Z^x$ manifold $(M,h)$ with $h$ analytic is a $Y^x_l$ manifold for some $l>0$. We start by defining a class of globally hyperbolic spacetimes (called observer-refocusing) such that any $Z^x$ manifold is the Cauchy surface of some observer-refocusing spacetime. We then prove that under suitable conditions the Cauchy surfaces of observer-refocusing spacetimes are compact with finite fundamental group and show that analytic observer-refocusing spacetimes of dimension at least $3$ are strongly refocusing. We end by stating a contact-theoretic conjecture analogous to our results in Riemannian and Lorentzian geometry.

Friedrich Bauermeister 21 pages. version 2: made small changes to sections 3 and 6, added references, fixed typos http://arxiv.org/abs/2504.10729v1 2025-04-14T21:48:31Z 2025-04-14T21:48:31Z

We present novel Hamiltonian descriptions of some three-dimensional systems including two well-known systems describing the three-wave-interaction problem and some well-known chaotic systems, namely, the Chen, L\"u, and Qi systems. We show that all of these systems can be described in a Hamiltonian framework in which the Poisson matrix $\mathcal{J}$ is supplemented by a resistance matrix $\mathcal{R}$. While such resistive-Hamiltonian systems are manifestly non-conservative, we construct higher-degree Poisson matrices via the Jordan product as $\mathcal{N} = \mathcal{J} \mathcal{R} + \mathcal{R} \mathcal{J}$, thereby leading to new bi-Hamiltonian systems. Finally, we discuss conformal Hamiltonian dynamics on Poisson manifolds and demonstrate that by appropriately choosing the underlying parameters, the reduced three-wave-interaction model as well as the Chen and L\"u systems can be described in this manner where the concomitant non-conservative part of the dynamics is described with the aid of the Euler vector field.

Aritra Ghosh Anindya Ghose-Choudhury Partha Guha http://arxiv.org/abs/2504.10431v1 2025-04-14T17:20:41Z 2025-04-14T17:20:41Z

In this paper, we compare the symplectic (co)homology capacity with the spectral capacity in the relative case. This result establishes a chain of inequalities of relative symplectic capacities, which is an analogue of the non-relative case. This comparison gives us a criterion for the relative almost existence theorem in terms of heaviness. Also, we investigate a sufficient condition under which the symplectic (co)homology capacity and the first Gutt-Hutchings capacity are equal in both non-relative and relative cases. This condition is less restrictive than the dynamical convexity.

Jonghyeon Ahn 27 pages http://arxiv.org/abs/2504.10285v1 2025-04-14T14:53:01Z 2025-04-14T14:53:01Z

Let $G$ be a connected complex semisimple group with Lie algebra $\mathfrak{g}$ and fixed Kostant slice $\mathrm{Kos}\subseteq\mathfrak{g}^*$. In a previous work, we show that $((T^*G)_{\text{reg}}\rightrightarrows\mathfrak{g}^*_{\text{reg}},\mathrm{Kos})$ yields the open Moore-Tachikawa TQFT. Morphisms in the image of this TQFT are called open Moore-Tachikawa varieties. By replacing $T^*G\rightrightarrows\mathfrak{g}^*$ and $\mathrm{Kos}\subseteq\mathfrak{g}^*$ with the double $\mathrm{D}(G)\rightrightarrows G$ and a Steinberg slice $\mathrm{Ste}\subseteq G$, respectively, one obtains quasi-Hamiltonian analogues of the open Moore-Tachikawa TQFT and varieties. We consider a conjugacy class $\mathcal{C}$ of parabolic subalgebras of $\mathfrak{g}$. This class determines partial Grothendieck-Springer resolutions $\mu_{\mathcal{C}}:\mathfrak{g}_{\mathcal{C}}\longrightarrow\mathfrak{g}^*=\mathfrak{g}$ and $\nu_{\mathcal{C}}:G_{\mathcal{C}}\longrightarrow G$. We construct a canonical symplectic groupoid $(T^*G)_{\mathcal{C}}\rightrightarrows\mathfrak{g}_{\mathcal{C}}$ and quasi-symplectic groupoid $\mathrm{D}(G)_{\mathcal{C}}\rightrightarrows G_{\mathcal{C}}$. In addition, we prove that the pairs $(((T^*G)_{\mathcal{C}})_{\text{reg}}\rightrightarrows(\mathfrak{g}_{\mathcal{C}})_{\text{reg}},\mu_{\mathcal{C}}^{-1}(\mathrm{Kos}))$ and $((\mathrm{D}(G)_{\mathcal{C}})_{\text{reg}}\rightrightarrows(G_{\mathcal{C}})_{\text{reg}},\nu_{\mathcal{C}}^{-1}(\mathrm{Ste}))$ determine TQFTs in a $1$-shifted Weinstein symplectic category. Our main result is about the Hamiltonian symplectic varieties arising from the former TQFT; we show that these have canonical Lagrangian relations to the open Moore-Tachikawa varieties. Pertinent specializations of our results to the full Grothendieck-Springer resolution are discussed throughout this manuscript.

Peter Crooks Maxence Mayrand http://arxiv.org/abs/math/0505158v2 2025-04-14T14:18:19Z 2005-05-09T21:41:37Z

Lie algebroids can not always be integrated into Lie groupoids. We introduce a new object--``Weinstein groupoid'', which is a differentiable stack with groupoid-like axioms. With it, we have solved the integration problem of Lie algebroids. It turns out that every Weinstein groupoid has a Lie algebroid, and every Lie algebroid can be integrated into a Weinstein groupoid. Furthermore, we apply this general result to Jacobi manifolds and construct contact groupoids for Jacobi manifolds. There are further applications in prequantization and integrability of Poisson bivectors.

Chenchang Zhu Ph. D. thesis, 2004, U.C. Berkeley; references edited; typos corrected http://arxiv.org/abs/2412.18466v2 2025-04-14T11:53:56Z 2024-12-24T14:53:25Z

The existence of quasimorphisms on groups of homeomorphisms of manifolds has been extensively studied under various regularity conditions, such as smooth, volume-preserving, and symplectic. However, in this context, nothing is known about groups of `area'-preserving diffeomorphisms on non-orientable manifolds. In this paper, we initiate the study of groups of density-preserving diffeomorphisms on non-orientable manifolds. Here, the density is a natural concept that generalizes volume without concerning orientability. We show that the group of density-preserving diffeomorphisms on the M\"obius band admits countably many unbounded quasimorphisms which are linearly independent. Along the proof, we show that groups of density preserving diffeomorphisms on compact, connected, non-orientable surfaces with non-empty boundary are weakly contractible.

KyeongRo Kim Shuhei Maruyama http://arxiv.org/abs/2412.08415v2 2025-04-14T11:07:44Z 2024-12-11T14:33:44Z

The two-boost problem in space mission design asks whether two points of phase space can be connected with the help of two boosts of given energy. We provide a positive answer for a class of systems related to the restricted three-body problem by defining and computing its Lagrangian Rabinowitz Floer homology. The main technical work goes into dealing with the noncompactness of the corresponding energy hypersurfaces.

Kai Cieliebak Urs Frauenfelder Eva Miranda Jagna Wiśniewska http://arxiv.org/abs/2406.16222v2 2025-04-13T21:41:39Z 2024-06-23T21:31:08Z

Kashiwara showed in 1996 that the categories of microlocalized D-modules can be canonically glued to give a sheaf of categories over a complex contact manifold. Much more recently, and by rather different considerations, we constructed a canonical notion of perverse microsheaves on the same class of spaces. Here we provide a Riemann-Hilbert correspondence.

Laurent Côté Christopher Kuo David Nadler Vivek Shende 67 pages http://arxiv.org/abs/2307.16461v2 2025-04-13T06:02:46Z 2023-07-31T07:43:08Z

In this paper, we consider the cohomology rings of some multiple weight varieties of type A, that is, symplectic torus quotients for a direct product of several coadjoint orbits of the special unitary group. Under some specific assumptions, we prove the symplectic volumes of multiple weight varieties are equal to the volumes of flow polytopes. Using differential equations satisfied by the volume functions of flow polytopes, we give an explicit presentation of the cohomology ring of the multiple weight variety of special type.

Tatsuru Takakura Yuichiro Yamazaki 17pages http://arxiv.org/abs/2504.09293v1 2025-04-12T17:29:40Z 2025-04-12T17:29:40Z

Double Bruhat cells in a complex semisimple Lie group $G$ emerged as a crucial concept in the work of S. Fomin and A. Zelevinsky on total positivity and cluster algebras. Double Bruhat cells are special instances of a broader class of cluster varieties known as generalized double Bruhat cells. These can be studied collectively as Poisson subvarieties of $\widetilde{F}_{2n} = G \times \mathcal{B}^{2n-1}$, where $\mathcal{B}$ is the flag variety of $G$. The spaces $\widetilde{F}_{2n}$ are Poisson groupoids over $\mathcal{B}^n$, and they were introduced in the study of configuration Poisson groupoids of flags by J.-H. Lu, V. Mouquin, and S. Yu. In this work, we describe the spaces $\widetilde{F}_{2n}$ as decorated moduli spaces of flat $G$-bundles over a disc. As a consequence, we obtain the following results. (1) We explicitly integrate the Poisson groupoids $\widetilde{F}_{2n}$ to double symplectic groupoids, which are complex algebraic varieties. Moreover, we show that these integrations are symplectically Morita equivalent for all $n$, thereby recovering the Poisson bimodule structures on double Bruhat cells via restriction. (2) Using the previous construction, we integrate the Poisson subgroupoids of $\widetilde{F}_{2n}$ given by unions of generalized double Bruhat cells to explicit double symplectic groupoids. As a corollary, we obtain integrations of the top-dimensional generalized double Bruhat cells inside them. (3) Finally, we relate our integration with the work of P. Boalch on meromorphic connections. We lift to the groupoids the torus actions that give rise to such cluster varieties and show that they correspond to the quasi-Hamiltonian actions on the fission spaces of irregular singularities.

Daniel Álvarez http://arxiv.org/abs/2504.09284v1 2025-04-12T17:07:54Z 2025-04-12T17:07:54Z

In the author's previous paper, the author constructed holomorphic quilts from the bigons of the Lagrangian Floer chain group after performing Lagrangian composition. This paper proves the uniqueness of such holomorphic quilts. As a consequence, it provides a combinatorial method for computing the boundary map of immersed Lagrangian Floer chain groups when the symplectic manifolds are closed surfaces. One outcome is the construction of many examples exhibiting figure eight bubbling, which also confirms a conjecture of Cazassus Herald Kirk Kotelskiy.

Zuyi Zhang 18 pages 6 figures