Finite energy foliations and global dynamics in the restricted three-body problem

2026-05-25T08:21:40Z

We establish a general criterion for the existence of finite energy foliations on contact three-manifolds with boundary, imposing strong global constraints on the associated Reeb flows. Our main abstract result shows that a configuration of periodic orbits, consisting of hyperbolic boundary orbits of Conley-Zehnder index $2$ and an interior orbit of index at least $3$, gives rise to a finite energy foliation, provided that no additional contractible periodic orbit satisfies a specific rotation, linking, and action condition. This identifies the precise dynamical obstruction to the existence of such foliations. These foliations organize the flow in a regime where the dynamics is typically chaotic, and imply the existence of infinitely many periodic orbits and infinitely many homoclinic/heteroclinic orbits to the Lyapunov orbits. We apply this result to the circular planar restricted three-body problem. For mass ratios sufficiently close to $\frac{1}{2}$ and energies slightly above the first Lagrange value, the regularized energy surface $\mathbb{R}P^3 \# \mathbb{R}P^3$ admits a finite energy foliation whose binding consists of the retrograde orbits around the primaries together with the Lyapunov orbit near the first Lagrange point. Moreover, the convexity of the critical energy surface provides a proof of Birkhoff's retrograde orbit conjecture for mass ratios sufficiently close to $\frac{1}{2}$ and all energies below the first Lagrange value.

A Derived Legendrian Category for Shifted Contact Stacks

2026-05-25T08:11:21Z

We construct the derived Legendrian category $\mathcal{F}_{c}(X)$ for an $n$-shifted contact derived Artin stack $X$ and the $(\infty,2)$-category $Leg_n$ of Legendrian correspondences in the context of derived algebraic geometry, with several applications to moduli theory. In brief, the objects of the category $\mathcal{F}_{c}(X)$ are Legendrian morphisms; the morphism spaces and composition operations are defined using equivariant descent. We also establish that $\mathcal{F}_{c}(X)$ embeds into an $(\infty, 2)$-category of spans defined by the AKSZ construction. We further evaluate topological cobordisms as Lagrangian correspondences to define derived Legendrian surgery.

Zeta functions of dynamically tame Liouville domains

2026-05-25T01:58:43Z

We define a dynamical zeta function for nondegenerate Liouville domains, in terms of Reeb dynamics on the boundary. We use filtered equivariant symplectic homology to (i) extend the definition of the zeta function to a more general class of "dynamically tame" Liouville domains, and (ii) show that the zeta function of a dynamically tame Liouville domain is invariant under exact symplectomorphism of the interior. As an application, we find examples of open domains in R^4, arbitrarily close to a ball, which are not symplectomorphic to open star-shaped toric domains.

Derived sheaves in locally conformally symplectic geometry

2026-05-24T04:18:22Z

In this paper, we use derived sheaves to study rigidity phenomena in the cotangent bundles of manifolds endowed with some locally conformally symplectic ($\frak{lcs}$) structure. Taking inspiration from the work of Guillermou, Kashiwara and Shapira, we define a quantization for ``$\frak{lcs}$'' Hamiltonian isotopies, as well as new quantities: the asymptotic Betti numbers of a sheaf. We then show that those quantities are ``well behaved'' with respect of said quantization and use this to give a sheaf-theoretical proof of the Chantraine-Murphy theorem. We also consider the quantization in light of the Tamarkin morphism and the displacement energy of sheaves. This allows us to derive a non-squeezing theorem for $\frak{lcs}$ geometry that is similar, although not identical, to the one recently proven by Bertelson, Chakravarthy, and Sandon. Indeed, the result shown in this paper is more in line with the contact non-squeezing theorem shown by Eliashberg, Kim and Polterovich in 2006.

Embedding more than 8 symplectic balls in $\mathbb{C}\mathrm{P}^2$

2026-05-22T19:32:21Z

We prove that the space of symplectic embeddings of $n\geq 1$ standard balls into the standard complex projective plane $\mathbb{C}\mathrm{P}^2$ is homotopy equivalent to the configuration space of $n$ points in $\mathbb{C}\mathrm{P}^2$, provided that the sum of the capacities of the balls is strictly less than the symplectic area of a line. Moreover, our techniques suggest that, for $n=9$, there are infinitely many homotopy types of spaces of symplectic ball embeddings, depending on the capacities of the balls.

Two-boost problem for the Newtonian potential at the infinity

2026-05-22T12:32:09Z

The two-boost problem in space mission design asks whether two points of position space can be connected by a Hamiltonian path on a fixed energy level set. We provide a positive answer for a class of systems having the same behaviour at infinity as the restricted three-body problem by relating it to the Lagrangian Rabinowitz Floer homology computed in [4]. The main technical challenge is to prove the boundedness of the corresponding sets of Reeb chords.

SYZ mirror of Hirzebruch surface $\mathbb{F}_k$ and Morse homotopy

2026-05-22T09:43:16Z

We study homological mirror symmetry for Hirzebruch surface $\mathbb{F}_k$ as a complex manifold by using the Strominger-Yau-Zaslow construction of mirror pair and Morse homotopy. For the toric Fano surfaces, Futaki-Kajiura and the author proved homological mirror symmetry by using Morse homotopy in arXiv:2008.13462, arXiv:2012.06801, and arXiv:2303.07851. In this paper, we extend Futaki-Kajiura's result of Hirzebruch surface $\mathbb{F}_1$ to $\mathbb{F}_k$. We discuss Morse homotopy and show homological mirror symmetry in the sense above holds true.

Homological mirror symmetry of toric Fano surfaces via Morse homotopy

2026-05-22T09:42:49Z

Strominger-Yau-Zaslow (SYZ) proposed a way of constructing mirror pairs as pairs of torus fibrations. We apply this SYZ construction to toric Fano surfaces as complex manifolds, and discuss the homological mirror symmetry, where we consider Morse homotopy of the moment polytope instead of the Fukaya category.

Multi-valued Morse homotopy for the SYZ mirror of the complex projective plane

2026-05-22T09:15:01Z

We propose a definition of the category $\mathit{Mo}^{\mathrm{mult}}(P)$ of multi-valued Morse homotopy on $P$ consisting of multi-valued functions associated to Lagrangian multi-sections. We then show that a full subcategory $\mathit{Mo}^{\mathrm{mult}}_{\mathcal{E}}(P)$ of $\mathit{Mo}^{\mathrm{mult}}(P)$ is $A_\infty$-equivalent to a full subcategory $\mathit{DG}_{\mathcal{E}}^{\mathrm{vect}}(\mathbb{C}P^2)$ of the category $\mathit{DG}^{\mathrm{vect}}(\mathbb{C}P^2)$ consisting of holomorphic vector bundles over the complex projective plane $\mathbb{C}P^2$. As an application, we study the mirror description for global sections of the holomorphic tangent bundle over $\mathbb{C}P^2$.

Quasi-Poisson varieties from double quasi-Poisson algebras in types $B,C,D$

2026-05-22T08:33:54Z

Double (quasi-)Poisson brackets were introduced on associative algebras by Van den Bergh to induce a (quasi-)Poisson structure on their representation spaces naturally equipped with a $\mathrm{GL}$-action (type $\mathtt{A}$). If there exists a compatible involutive anti-automorphism on the underlying associative algebras, Olshanski and Safonkin proved that this construction can be upgraded to induce a Poisson structure on twisted representation spaces (types $\mathtt{B},\mathtt{C},\mathtt{D}$). We provide an analogous result for double quasi-Poisson brackets, and over an arbitrary semisimple base. We also apply our theory to quivers in order to understand the Poisson structure on twisted (localised multiplicative) quiver varieties. The formalism permits that different vertices are assigned different types. As a first application, we recover the framework of Massuyeau and Turaev for Hopf algebras with a Fox pairing, which induces in particular the Poisson structure of character varieties for the orthogonal or symplectic groups. As a second application, we introduce a modified Kontsevich system.

The nearby Lagrangian conjecture for pinwheels

2026-05-22T05:30:15Z

The Lagrangian skeleton of the rational homology ball $B_{p,q}$, for $0

Relative Langlands duality and Koszul duality

2026-05-21T17:20:34Z

Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for this pair, and also that $X\simeq T^*_ψ(Y)$ is polarized, so that $Q(X)=D_ψ(Y)$. Let $B\subset G$ (resp. $B^\vee\subset G^\vee$) be Borel subgroups. Then using a variant of the $S^1$-equivariant localization of arxiv:0706.0322, we deduce an equivalence between the ${\mathbb Z}/2$-graded $B$-equivariant category $(D_ψ(Y)\operatorname{-mod}^B)^{{\mathbb Z}/2}$ and the ${\mathbb Z}/2$-graded unipotent $B^\vee$-monodromic category $(Q(X^\vee)\operatorname{-mod}^{B^\vee,\operatorname{mon}})^{{\mathbb Z}/2}$.

Symplectic and projective small covers over products of polygons

2026-05-21T14:38:32Z

We study symplectic and projective structures on small covers over products of polygons. We introduce the factor-compatible class for small covers over products of polygons and prove that every factor-compatible small cover admits a smooth projective model as a finite quotient of a product of curves. Furthermore, we show that the graded mod~$2$ cohomology ring determines the Hodge diamond of the associated projective model. We also prove that every factor-compatible small cover admits an iterated equivariant bundle structure.

Algebroid Desingularizable Poisson Structures

2026-05-21T14:12:36Z

We introduce algebroid desingularizable Poisson manifolds, a class of Poisson manifolds induced by symplectic Lie algebroids with almost-injective anchors, generalizing structures including log-symplectic, $b^m$-symplectic, $E$-symplectic manifolds, and hypersurface algebroids. We show that the dual of real, finite-dimensional, non-abelian, reductive Lie algebras never admit such algebroids. We finish by giving two infinite families of $2$-step nilpotent Lie algebras, one of which is desingularizable, and one of which is not.

Categorical Lusztig cycles and weave schobers

2026-05-21T13:10:35Z

We establish the foundations of categorical weave calculus, developing the diagrammatic calculus of weaves and braid varieties within the study of Calabi-Yau triangulated categories and cluster tilting theory. This is achieved by associating a perverse sheaf of triangulated categories to each Demazure weave. A central contribution is the construction and study of the categorical Lusztig cycles and their duals, which we show form simple-minded and silting collections in the category of global sections of such a sheaf of categories. These categorical collections are built using the diagrammatics of weaves and we study their behavior under changes of weaves. For instance, we show that they undergo tilts under weave mutations. En route, we develop the study of categorical weighted braid words, as canonical rigid filtered dg modules over derived preprojective algebras, and the categorical incarnation of the tropical Lusztig rules, as a gluing mechanism for such filtered objects. Appendix A contains homological results, providing a novel construction of simple-minded and silting collections from full exceptional collections, and characterizing when these arise from a highest weight structure on an abelian category.