Topics in Symplectic Dynamics: Barcode Entropy

2026-05-25T15:41:42Z

Barcode entropy is an invariant of a Hamiltonian system -- a Hamiltonian diffeomorphism or a Reeb flow -- measuring its Morse or Floer theoretic complexity at a small scale. More specifically, it is the exponential growth rate of the number of not-too-short bars in the Floer or symplectic homology persistence module. Barcode entropy is closely related to topological entropy, even though they originate in different contexts, and in low dimensions they coincide. In these notes, we study barcode entropy and related invariants in various settings and explore their connections with pure dynamics features and, in particular, topological entropy. The methods build on techniques from symplectic topology and Floer theory, dynamical systems, and smooth integral geometry. We also touch upon some other applications of the machinery we develop. These notes are based on the mini-course given by the second author at the CIME summer school "Symplectic Dynamics and Topology" (Cetraro, Italy, June 16-20, 2025).

On the $C^2$-local systolic optimality of Zoll odd-symplectic forms

2026-05-25T14:56:48Z

An odd-symplectic form is a closed and maximally non-degenerate $2$-form on a compact odd-dimensional manifold. It describes the dynamics of an autonomous Hamiltonian system on a regular energy level. It is called Zoll if the induced dynamics is a free circle action, up to a global time reparameterization. This article establishes a normal form theorem for odd-symplectic forms close to a Zoll one and cohomologous to it, which is then used to prove that Zoll odd-symplectic forms are the local maximizers of the associated systolic ratio. This generalizes the known systolic optimality of Zoll contact forms in the $C^3$-topology. As an application, local systolic inequalities are established in symplectic manifolds for hypersurfaces close to Zoll ones. In particular, this applies to certain non-exact twisted cotangent bundles of manifolds of dimension greater than two.

Hulls and boundaries in $\mathbb{C}^n$

2026-05-25T12:50:26Z

The paper is concerned with the boundary behaviour of polynomially and rationally convex hulls in pseudoconvex domains in $\mathbb{C}^n$. As an application, it is shown that every connected polynomially or rationally convex compact set with $C^1$ boundary is isotopic to the closure of a smoothly bounded strictly pseudoconvex domain that is also polynomially or rationally convex.

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$.

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.