https://arxiv.org/api/jy47vAfE99y27H7RFTcbYG6smro 2026-06-22T22:09:15Z 10188 570 15 http://arxiv.org/abs/2512.00454v1 2025-11-29T12:02:19Z

We explain a strategy, based on spectral invariants on symmetric product orbifolds, for proving the smooth closing lemma for Hamiltonian diffeomorphisms of a symplectic manifold when the orbifold quantum cohomologies of its symmetric products possess suitable idempotents. We relate the existence of such idempotents to the manifold containing a sequence of Lagrangian links, whose number of components tends to infinity, satisfying a number of properties. Orbifold Floer cohomology for global quotient orbifolds is used axiomatically, and is constructed in a companion paper. We illustrate this strategy by giving a new proof of the smooth closing lemma for area-preserving diffeomorphisms of the 2-sphere. The construction of suitable Lagrangian links in higher dimensions remains an intriguing open problem.

2025-11-29T12:02:19Z 34 pages. This is the companion paper to arXiv:2502.11290 Cheuk Yu Mak Sobhan Seyfaddini Ivan Smith http://arxiv.org/abs/2103.08221v2 2025-11-29T10:40:03Z

The Gopakumar-Vafa conjecture predicts that the BPS invariants of a symplectic 6-manifold, defined in terms of the Gromov-Witten invariants, are integers and all but finitely many vanish in every homology class. The integrality part of this conjecture was proved earlier by Ionel and Parker. This article proves the finiteness part. The proof relies on a modification of Ionel and Parker's cluster formalism using results from geometric measure theory.

2021-03-15T09:07:53Z v2: accepted for publication in Annals of Mathematics Aleksander Doan Eleny-Nicoleta Ionel Thomas Walpuski http://arxiv.org/abs/2512.08961v1 2025-11-28T15:59:22Z

We investigate Hill's lunar equations, series and the motion of the perigee, and we use computers to go farther than has previously been known, calculating the coefficients of Hill's series up to order 24 in m, and the coefficients that do not depend on a_0 up to order 30. Numerical calculations indicate that the radius of convergence of Hill's series is somewhere near the value of m of the cusped orbit (0.560958), which we formulate as a conjecture. We calculate the motion of the perigee using a linearization of the equation for the anomalistic period, as in Hill's documentation, but with some discrepancies.

2025-11-28T15:59:22Z 268 pages, 29 figures Thomas Ligon http://arxiv.org/abs/2511.22917v1 2025-11-28T06:40:06Z

Let $X$ be a smooth projective variety over $\mathbb{C}$ with a simple normal crossings divisor $D\subset X$. We compare the notions of stable log maps to $(X,D)$ in algebraic geometry and symplectic topology. In particular, we prove an equivalence between fine (basic) algebraic log maps and symplectic log maps, and we define the symplectic analogue of fine saturated algebraic log maps by refining the notion of log Gromov convergence.

2025-11-28T06:40:06Z 86 pages. Comments welcome! Mohammad Farajzadeh-Tehrani Mohan Swaminathan http://arxiv.org/abs/2511.22734v1 2025-11-27T19:51:43Z

The stabiliser fragment of quantum theory is a foundational building block for quantum error correction and the fault-tolerant compilation of quantum programs. In this article, we develop a sound, universal and complete denotational semantics for stabiliser operations which include measurement, classically-controlled Pauli operators, and affine classical operations, in which quantum error-correcting codes are first-class objects. The operations are interpreted as certain affine relations over finite fields. This offers a conceptually motivated and computationally-tractable alternative to the standard operator-algebraic semantics of quantum programs (whose time complexity grows exponentially as the state space increases in size). We demonstrate the power of the resulting semantics by describing a small, proof-of-concept assembly language for stabiliser programs with fully-abstract denotational semantics.

2025-11-27T19:51:43Z Robert I. Booth Cole Comfort http://arxiv.org/abs/2511.22698v1 2025-11-27T18:51:54Z

We construct a new infinite-dimensional family of homogeneous quasimorphisms on the group of Hamiltonian diffeomorphisms of the two-sphere. Moreover, for any constant $K$ less than the total area of the sphere, we produce unbounded homogeneous quasimorphisms that vanish on any map supported on some disk of area at most $K$. As an application, we prove an analogue of the equator conjecture, namely that the space of equators equipped with any choice of quantitative fragmentation metric has infinite diameter. To prove our results, we introduce tools that draw inspiration from the theory of curve graphs used to study mapping class groups.

2025-11-27T18:51:54Z 37 pages, 10 figures. Comments are welcome! Yongsheng Jia Richard Webb http://arxiv.org/abs/2508.06379v2 2025-11-27T16:14:55Z

We prove evidence of Kontsevich's homological mirror symmetry conjecture (HMS) for a blow-up of an abelian surface times the complex plane, on the complex side, and its symplectic Landau-Ginzburg mirror. Specifically, the first author proved evidence of HMS for a 1-parameter family of genus 2 curves on the complex side, as a hypersurface in an abelian surface. The generalized SYZ mirror to the hypersurface is then the SYZ mirror to the Landau-Ginzburg model given by the blow-up of the abelian surface times the complex plane, along the hypersurface times zero, with superpotential given by projection to the complex plane. The mirror to the blow-up - without the superpotential - is obtained by removing a generic smooth fiber from the generalized SYZ mirror superpotential. We prove a categorical HMS result for the latter pair, between categories expected to split-generate. To do so, we equip the punctured superpotential with a Fukaya category which involves both partial and full wrapping in the base of the symplectic Landau-Ginzburg model due to the removal of a generic fiber. Semi-orthogonality appears in the categorical invariants on both sides of HMS.

2025-08-08T15:10:57Z Revisions throughout for clarity; 43 pages, 9 figures Catherine Cannizzo Sara Venkatesh http://arxiv.org/abs/2410.23184v3 2025-11-27T10:23:16Z

We extend the cohomological setting developed by Batalin, Fradkin and Vilkovisky (BFV), which produces a resolution of coisotropic reduction in terms of hamiltonian dg manifolds, to the case of nested coisotropic embeddings $C\hookrightarrow C_\circ \hookrightarrow F$ inside a symplectic manifold $F$. To this, we naturally assign $\underline{C}$ and $\underline{C_\circ}$, as well as the respective BFV dg manifolds. We show that the data of a nested coisotropic embedding defines a natural graded coisotropic embedding inside the BFV dg manifold assigned to $\underline{C}$, whose reduction can further be resolved using the BFV prescription. We call this construction \emph{double BFV resolution}, and we use it to prove that "resolution commutes with reduction" for a general class of nested coisotropic embeddings. We then deduce a quantisation of $\underline{C}$, from the (graded) geometric quantisation of the double BFV Hamiltonian dg manifold (when it exists), following the quantum BFV prescription. As an application, we provide a well defined candidate space of (physical) quantum states of three-dimensional Einstein--Hilbert theory, which is thought of as a partial reduction of the Palatini--Cartan model for gravity.

2024-10-30T16:39:41Z 52 pages. This version includes an example with linear constraints. Close to the (to be) published version Giovanni Canepa Michele Schiavina http://arxiv.org/abs/2506.03246v2 2025-11-27T02:28:33Z

We revisit the Holographic duality between $SU(N)_κ$ Chern-Simons theory and the A-model Topological String Theory. We develop a strategy to systematically compute the large $N$ saddles for correlation functions of Wilson lines in antisymmetric powers $Λ^\bullet \mathbb{C}^N$ of the fundamental representation. The mathematical structures which appear in the calculation match in detail the data of dual A-model D-branes.

2025-06-03T18:00:01Z 108 pages, 33 figures. Added references, reworked introduction Davide Gaiotto Suriyah Rajalingam Kannagi Sergio Sanjurjo http://arxiv.org/abs/2511.21986v1 2025-11-26T23:58:08Z

We generalise Mirzakhani's recursion to volumes of moduli spaces of bordered Klein surfaces, which include non-orientable surfaces. On these moduli spaces, the top form introduced by Norbury diverges as the lengths of 1-sided geodesics approach zero. However, when integrated over Gendulphe's regularised moduli space, on which the systole of 1-sided geodesics is bounded below by $ε\in\mathbb{R}_{>0}$, it returns a finite value. Using Norbury's extension of the Mirzakhani--McShane identities to non-orientable surfaces, we derive an explicit formula for the volume of the moduli space of one-bordered Klein bottles, as well as a recursion for arbitrary topologies that fully captures the dependence on Gendulphe's regularisation parameter $ε$. We further relate these results to refined topological recursion, showing that, for a fixed refinement parameter, the volumes of moduli spaces of Klein surfaces with Euler characteristic $-1$ are governed by this procedure, and we conjecture the same holds for general topologies.

2025-11-26T23:58:08Z 40 pages, 6 figures Elba Garcia-Failde Paolo Gregori Kento Osuga http://arxiv.org/abs/2511.21682v1 2025-11-26T18:57:04Z

We define genus zero open Gromov-Witten invariants with boundary and interior constraints for a Lagrangian submanifold of arbitrary even dimension. The definition relies on constructing a canonical family of bounding cochains that satisfy the point-like condition of the second author and Tukachinsky. Since the Lagrangian is even dimensional, the parameter of the family is odd. Thus, to avoid the vanishing of invariants with more than one boundary constraint, the parameter must be non-commutative. The invariants are defined either when the Lagrangian is a rational cohomology sphere or when the Lagrangian is fixed by an anti-symplectic involution, has dimension $2$ modulo $4$, and its cohomology is that of a sphere aside from degree $1$ modulo $4$. In dimension $2$, these invariants recover Welschinger's invariants. We develop an obstruction theory for the existence and uniqueness of bounding cochains in a Fukaya $A_\infty$ algebra with non-commutative coefficients. The obstruction classes belong to twisted cohomology groups of the Lagrangian instead of the de Rham cohomology of the commutative setting. A spectral sequence is constructed to compute the twisted cohomology groups. The extension of scalars of an $A_\infty$ algebra by a non-commutative ring is treated in detail. A theory of pseudo-completeness is introduced to guarantee the convergence of the Maurer-Cartan equation, which defines bounding cochains, even though the non-commutative parameter is given zero filtration.

2025-11-26T18:57:04Z 79 pages, includes summary of results and notation needed from arXiv:1608.02495 and arXiv:1608.01304 Elad Kosloff Jake P. Solomon http://arxiv.org/abs/2401.01421v2 2025-11-25T22:45:00Z

In this paper we continue investigating connections between Floer theory and dynamics of Hamiltonian systems, focusing on the barcode entropy of Reeb flows. Barcode entropy is the exponential growth rate of the number of not-too-short bars in the Floer or symplectic homology persistence module. The key novel result is that the barcode entropy is bounded from below by the topological entropy of any hyperbolic invariant set. This, combined with the fact that the topological entropy bounds the barcode entropy from above, established by Fender, Lee and Sohn, implies that in dimension three the two types of entropy agree. The main new ingredient of the proof is a variant of the Crossing Energy Theorem for Reeb flows.

2024-01-02T20:15:16Z 31 pages; final version (revised); as appeared in Selecta Mathematica Selecta Mathematica, New Series 31 (2025), no. 4, Paper No. 64 Erman Cineli Viktor L. Ginzburg Basak Z. Gurel Marco Mazzucchelli 10.1007/s00029-025-01062-5 http://arxiv.org/abs/2309.04576v2 2025-11-25T22:35:15Z

We investigate the effect of a hyperbolic (or, more generally, isolated as an invariant set) closed Reeb orbit on the dynamics of a Reeb flow on the $(2n-1)$-dimensional standard contact sphere, extending two results previously known for Hamiltonian diffeomorphisms to the Reeb setting. In particular, we show that under very mild dynamical convexity type assumptions, the presence of one hyperbolic closed orbit implies the existence of infinitely many simple closed Reeb orbits. The second main result of the paper is a higher-dimensional Reeb analogue of the Le Calvez-Yoccoz theorem, asserting that no closed orbit of a non-degenerate dynamically convex Reeb pseudo-rotation is locally maximal, i.e., isolated as an invariant set. The key new ingredient of the proofs is a Reeb variant of the crossing energy theorem.

2023-09-08T20:08:22Z 47 pages; final version (including minor revisions); as appeared in Advances in Mathematics Advances in Mathematics, Volume 484, January 2026, 110709 Erman Cineli Viktor L. Ginzburg Basak Z. Gurel Marco Mazzucchelli 10.1016/j.aim.2025.110709 http://arxiv.org/abs/2511.20789v1 2025-11-25T19:29:24Z

The AKSZ formalism is a construction of topological field theories where the target spaces are differential graded symplectic manifolds. In this paper, we describe an analogue of the AKSZ formalism where the target spaces are differential graded contact manifolds. We show that the space of fields inherits a weak contact structure, and we construct a solution to the analogue of the classical master equation, defined via the Jacobi bracket. In the $n=1$ case, we recover the Jacobi sigma model, and in the $n=2$ case, we obtain three-dimensional topological field theories associated to Courant-Jacobi algebroids.

2025-11-25T19:29:24Z 23 pages Ivan Contreras Nicolas Martinez-Alba Rajan Amit Mehta http://arxiv.org/abs/2511.20538v1 2025-11-25T17:40:12Z

We develop a unified geometric formulation of the Maxwell-Vlasov system using the infinite-dimensional Skinner-Rusk (SR) formalism. In this framework, particles and fields are treated simultaneously within a single presymplectic manifold, and the Gotay-Nester-Hinds algorithm recovers the full Maxwell-Vlasov equations as the compatibility conditions of a single variational system. The hierarchy of constraints -- including Vlasov advection, Gauss and Faraday laws, and the electromagnetic gauge structure -- arises naturally from the presymplectic geometry of the SR formalism. Reduction by the diffeomorphism group of phase space produces a reduced presymplectic manifold whose dynamics reproduces both the Euler-Poincare formulation for the Vlasov sector and the Marsden-Weinstein/Morrison-Greene Lie-Poisson Hamiltonian structure. We further extend the construction to equilibria that partially break the relabeling symmetry, obtaining a translated SR system that yields an effective symplectic linearization, clarifies the appearance of Goldstone-type neutral modes, and provides a geometric foundation for the energy-Casimir method. Finally, we incorporate external antenna fields into this setting by introducing affine Hamiltonian controls and establishing a theory of controlled symmetry breaking within the reduced SR framework. This leads to controlled Lie-Poisson equations for plasma-antenna coupling and a geometric mechanism for stabilization through Casimir shaping and symmetry-selective forcing. The resulting picture provides a single presymplectic structure that unifies Lagrangian, Hamiltonian, gauge, reduction, and control-theoretic aspects of the Maxwell-Vlasov system.

2025-11-25T17:40:12Z Submmitted to a journal. Commmmets welcome Leonardo Colombo