https://arxiv.org/api/DtWO1dBL8Jxhb9o6w+zoHUBVmTc 2026-06-21T20:16:10Z 10188 240 15 http://arxiv.org/abs/2505.01362v2 2026-04-07T03:34:03Z

We show that the Morse complex of a compact Lie monoid can be given the structure of an $f$-bialgebra, a chain-level version of bialgebras introduced in [CHM24]; and that this assignment defines an $\infty$-functor. As a consequence, we obtain two other $\infty$-functors mapping closed smooth manifolds to their Morse complexes with their $A_\infty$-coalgebra structures; and closed smooth manifolds with compact Lie group actions to their Morse complexes, with a ``$u$-bimodule'' structure (a bimodule version for $f$-bialgebras).

2025-05-02T15:58:10Z 34 pages, 2 figures, comments are welcome Guillem Cazassus http://arxiv.org/abs/2604.04556v1 2026-04-06T09:34:53Z

We propose a program for bridging the gap between the perturbative BV-BFV quantization of Chern-Simons theory and the non-perturbative Reshetikhin-Turaev (RT) invariants of 3-manifolds, passing through factorization homology of $\mathbb{E}_n$-algebras and the derived algebraic geometry of character stacks. We conjecture that the modular tensor category underlying the RT construction arises as the $\mathbb{E}_2$-category from BV-BFV quantization of Chern-Simons theory on the disk, with the derived character stack $\mathrm{Loc}_G(Σ)$ and its shifted symplectic structure mediating the proposed identification. We formulate seven conjectures, including a main conjecture asserting natural equivalence of the BV-BFV and RT constructions as (3-2-1)-extended topological quantum field theories, develop a proof strategy via deformation quantization of shifted symplectic stacks, and clarify the role of $\mathbb{E}_n$-Koszul duality in translating between perturbative and non-perturbative data. Supporting evidence is examined in the abelian, low-genus, and Seifert fibered cases. Connections to resurgence, categorification, and the geometric Langlands program are discussed as further motivation, though significant technical gaps remain open.

2026-04-06T09:34:53Z 59 pages, 10 figures Nima Moshayedi http://arxiv.org/abs/2604.04358v1 2026-04-06T02:11:49Z

We investigate the geometry of a certain space of meromorphic connections with irregular singularities, and prove in particular that it is a (real) symplectic Lie groupoid. The connections have a physical meaning: they correspond to certain solutions of the topological-antitopological fusion (tt*) equations of Cecotti and Vafa, and hence to deformations of supersymmetric quantum field theories. The groupoid structure arises because we restrict ourselves to the tt* equations of Toda type, whose monodromy data has a Lie theoretic description. To obtain these results, we show first that the universal centralizer of a Lie group is a holomorphic symplectic groupoid over the Steinberg cross section.

2026-04-06T02:11:49Z 28 pages Martin A. Guest Nan-Kuo Ho http://arxiv.org/abs/2408.04894v2 2026-04-04T06:21:54Z

Williamson's theorem states that if $A$ is a $2n \times 2n$ real symmetric positive definite matrix then there exists a $2n \times 2n$ real symplectic matrix $M$ such that $M^T A M=D \oplus D$, where $D$ is an $n \times n$ diagonal matrix with positive diagonal entries known as the symplectic eigenvalues of $A$. The theorem is known to be generalized to $2n \times 2n$ real symmetric positive semidefinite matrices whose kernels are symplectic subspaces of $\mathbb{R}^{2n}$, in which case, some of the diagonal entries of $D$ are allowed to be zero. In this paper, we further generalize Williamson's theorem to $2n \times 2n$ real symmetric matrices by allowing the diagonal elements of $D$ to be any real numbers, and thus extending the notion of symplectic eigenvalues to real symmetric matrices. Also, we provide an explicit description of symplectic eigenvalues, construct symplectic matrices achieving Williamson's theorem type decomposition, and establish perturbation bounds on symplectic eigenvalues for a class of $2n \times 2n$ real symmetric matrices denoted by $\operatorname{EigSpSm}(2n)$. The set $\operatorname{EigSpSm}(2n)$ contains $2n \times 2n$ real symmetric positive semidefinite whose kernels are symplectic subspaces of $\mathbb{R}^{2n}$. Our perturbation bounds on symplectic eigenvalues for $\operatorname{EigSpSm}(2n)$ generalize known perturbation bounds on symplectic eigenvalues of positive definite matrices given by Bhatia and Jain \textit{[J. Math. Phys. 56, 112201 (2015)]}.

2024-08-09T06:42:12Z 21 pages; The revised version of the paper contains a new section dedicated to providing interpretations of the main results of the paper in a coordinate-free fashion. Several notations are modified to their standard counterparts and unnecessary emphasize on their descriptions are removed Hemant K. Mishra http://arxiv.org/abs/2205.11430v7 2026-04-03T23:34:41Z

A theorem of Kronheimer and Mrowka states that Khovanov homology is able to detect the unknot. That is, if a knot has the Khovanov homology of the unknot, then it is equivalent to it. Similar results hold for the trefoils and the figure-eight knot. We conjecture that Khovanov homology is able to distinguish all torus and twist knots. Numerical evidence has been gathered by examining all prime knots with 20 or fewer crossings, a total of 2,199,471,680 knots (not including mirrors). We found that all knots with the same Khovanov polynomial (the Poincaré polynomial of Khovanov homology) as a torus or twist knot are indeed torus or twist knots themselves. Since torus knots are known to be Legendrian simple, and since all twist knots $K_{m}$ with $m\geq{-3}$ are Legendrian simple, this provides evidence for the claim that Khovanov homology and Legendrian simplicity may be connected. We conjecture that indeed Khovanov homology is able to distinguish Legendrian simple knots and use the (conjectured) Legendrian simple knots from the Legendrian knot atlas to test this claim. A similar observation was made, and no knots with 20 or fewer crossing share their Khovanov polynomial with the knots in the Legendrian knot atlas (except for the knots that are a part of this atlas).

2022-05-23T16:18:25Z 37 pages, 1 figure Vladimir Chernov Ryan Maguire http://arxiv.org/abs/2604.04962v1 2026-04-03T21:46:31Z

We present a general framework for constructing structure-preserving numerical integrators for nonholonomically constrained mechanical systems evolving on Lie groups using retraction maps. Retraction maps generalize the exponential map and provide a convenient tool for performing numerical integration on manifolds. In nonholonomic mechanics, the constraints restrict the dynamics to a nonintegrable distribution rather than the entire tangent bundle. Using the Hamel formulation, the equations of motion can be expressed in local coordinates adapted to this constraint distribution. We then specialize the framework to the case of Lie groups, where both the dynamics and the constraints exhibit symmetries, allowing a simplified formulation of the numerical scheme. The resulting integrator respects the constraint distribution and enforces the nonholonomic constraints at each discrete time step. The approach is illustrated using the Suslov problem.

2026-04-03T21:46:31Z Submitted to IEEE Control Systems Letters in conjunction with the 65th IEEE Conference on Decision and Control Viyom Vivek David Martin de Diego Ravi N. Banavar http://arxiv.org/abs/1804.06799v10 2026-04-03T17:00:37Z

We show that immersed Lagrangian Floer cohomology in compact rational symplectic manifolds is invariant under Maslov flows such as coupled mean curvature/Kaehler-Ricci flow in the sense of Smoczyk as a pair of self-intersection points is born or dies at a self-tangency, using results of Ekholm-Etnyre-Sullivan. This proves part of a conjecture of Joyce. We give a lower bound on the time for which the Floer cohomology is invariant under the (forward or backwards) flow, if it exists. This post-publication has an erratum written jointly with Hadi Azizi, which fills in a missing case in the proof Lemma 7.9 (b).

2018-04-18T16:11:30Z 106 pages Algebr. Geom. Topol. 21 (2021) 2313-2410 Joseph Palmer Chris Woodward with an erratum written jointly with Hadi Azizi 10.2140/agt.2021.21.2313 http://arxiv.org/abs/2604.03161v1 2026-04-03T16:33:49Z

Using our previous work we give a tropical formula for disk potentials for Lagrangian tori in almost toric four-manifolds, that is, fibrations by Lagrangian tori with only toric and focus-focus singularities, generalizing results of Mikhalkin for holomorphic spheres in the projective plane. As examples, we directly compute potentials for Lagrangian tori in del Pezzo surfaces equipped with monotone symplectic forms. These formulas were established in the monotone case by different methods in Pascaleff-Tonkonog, and investigated from the point of view of the Gross-Siebert program in Carl-Pumperla-Siebert, Bardwell-Evans--Cheung--Hong--Lin and also Lau-Lee-Lin.

2026-04-03T16:33:49Z 90 pages, 51 figures S. Venugopalan C. T. Woodward http://arxiv.org/abs/2010.16330v2 2026-04-03T14:56:47Z

In this second paper of a two-part series, we prove that whenever a contact 3-manifold admits a uniform spinal open book decomposition with planar pages, its (weak, strong and/or exact) symplectic and Stein fillings can be classified up to deformation equivalence in terms of diffeomorphism classes of Lefschetz fibrations. This extends previous results of the third author to a much wider class of contact manifolds, which we illustrate here by classifying the strong and Stein fillings of all oriented circle bundles with non-tangential $S^1$-invariant contact structures. Further results include new vanishing criteria for the ECH contact invariant and algebraic torsion in SFT, classification of fillings for certain non-orientable circle bundles, and a general "symplectic quasiflexibility" result about deformation classes of Stein structures in real dimension four.

2020-10-30T15:38:11Z 120 pages, 10 figures, sequel to arXiv:1810.12017; v2 (submitted version) contains a few minor updates to take account of more recent activity Samuel Lisi Jeremy Van Horn-Morris Chris Wendl http://arxiv.org/abs/1810.12017v2 2026-04-03T14:50:41Z

A spinal open book decomposition on a contact manifold is a generalization of a supporting open book which exists naturally e.g. on the boundary of a symplectic filling with a Lefschetz fibration over any compact oriented surface with boundary. In this first paper of a two-part series, we introduce the basic notions relating spinal open books to contact structures and symplectic or Stein structures on Lefschetz fibrations, leading to the definition of a new symplectic cobordism construction called spine removal surgery, which generalizes previous constructions due to Eliashberg, Gay-Stipsicz and the third author. As an application, spine removal yields a large class of new examples of contact manifolds that are not strongly (and sometimes not weakly) symplectically fillable. This paper also lays the geometric groundwork for a theorem to be proved in part II, where holomorphic curves are used to classify the symplectic and Stein fillings of contact 3-manifolds admitting a spinal open book with a planar page.

2018-10-29T09:23:22Z 68 pages, 11 figures; v2 (submitted version) contains a few minor updates to take account of more recent activity Samuel Lisi Jeremy Van Horn-Morris Chris Wendl http://arxiv.org/abs/2511.16329v2 2026-04-02T16:43:54Z

Using generating functions quadratic at infinity for Lagrangian submanifolds of twisted cotangent bundles, we define spectral selectors for compactly supported lcs Hamiltonian diffeomorphisms of the locally conformal symplectizations $S^1 \times \mathbb{R}^{2n+1}$ and $S^1 \times \mathbb{R}^{2n} \times S^1$ of $\mathbb{R}^{2n+1}$ and $\mathbb{R}^{2n} \times S^1$, and obtain several applications: the construction of a bi-invariant partial order on the group of compactly supported lcs Hamiltonian diffeomorphisms of $S^1 \times \mathbb{R}^{2n+1}$ and $S^1 \times \mathbb{R}^{2n} \times S^1$, of an integer-valued bi-invariant metric on the group of compactly supported lcs Hamiltonian diffeomorphisms of $S^1 \times \mathbb{R}^{2n} \times S^1$, and of an integer-valued lcs capacity for domains of $S^1 \times \mathbb{R}^{2n} \times S^1$. The lcs capacity is used to prove a lcs non-squeezing theorem in $S^1 \times \mathbb{R}^{2n} \times S^1$ analogous to the contact non-squeezing theorem in $\mathbb{R}^{2n} \times S^1$ discovered in 2006 by Eliashberg, Kim and Polterovich. Along the way we introduce for Liouville lcs manifolds the notions of essential Lee chords between exact Lagrangian submanifolds and of essential translated points of exact lcs diffeomorphisms. We prove that essential translated points always exist for time-$1$ maps of sufficiently $C^0$-small lcs Hamiltonian isotopies of compact Liouville lcs manifolds and for all compactly supported lcs Hamiltonian diffeomorphisms of $S^1 \times \mathbb{R}^{2n+1}$ and $S^1 \times \mathbb{R}^{2n} \times S^1$. We also obtain an existence result for essential Lee chords between the zero section of a twisted cotangent bundle with compact base and its image by any lcs Hamiltonian isotopy, which can be thought of as a lcs analogue of the Lagrangian and Legendrian Arnold conjectures on usual cotangent and $1$-jet bundles.

2025-11-20T13:10:39Z Added a result on C^0 rigidity of lcs diffeomorphisms and made minor changes to the introduction Mélanie Bertelson Pranav Chakravarthy Sheila Sandon http://arxiv.org/abs/2604.01839v1 2026-04-02T09:52:33Z

The integrability problem for transitive Lie algebroids can be looked at from different perspectives, revealing an interplay between cohomological methods and homotopical constructions. Mackenzie introduced a cohomological obstruction defined via sheaf-theoretic methods. On the other hand, Crainic and Fernandes used a path space approach and characterized integrability in terms of the monodromy. Recently, Meinrenken formulated the monodromy in terms of a clutching construction. We show that all of these agree. In particular, we identify the monodromy map with the Mackenzie obstruction class through the natural pairing between cohomology and homotopy.

2026-04-02T09:52:33Z Paolo Antonini Alessio Giannotta http://arxiv.org/abs/2508.17286v2 2026-04-01T21:41:17Z

The purpose of this paper is to investigate vertical self-resonant (VSR) bifurcations from the distant retrograde orbit (DRO) family in the framework of the Earth-Moon circular restricted three-body problem (CR3BP). To this end, by using a classical corrector-predictor algorithm we compute the vertical stability of the DROs and identify fourteen vertical-critical DROs. We split them into three groups according to orbiting around the libration points $L_i$, $i=1,2,4,5$. (i) We first analyze six VSR bifurcations of higher order periods (of multiplicity from integer multiples of five to ten) associated with the DROs near the Moon. (ii) For the DROs that move near the Moon and additionally around the $L_1$ and $L_2$ libration points, we study six VSR bifurcations of multiplicity from five to ten as well. (iii) Within the DROs orbiting around the $L_4$ and $L_5$ libration points, two vertical single-turn branch points occur. In total, we generate 25 bifurcated families of spatial symmetric periodic solutions and present their orbital characteristics, including bridge families to the Butterfly, prograde orbits, quasi DROs and DROs. We also obtain branches whose members consist of long periods combining almost planar ecliptic motions with several spatial excursions, during which the trajectory repeatedly moves far from and then close to the Moon, being one of Bumble Bee, Hoverfly or Dragonfly shape. We also find spatial orbits that are in resonance with the Earth and the Moon. In order to provide a structured and systematic overview of such bifurcation results, we determine Conley-Zehnder indices and construct bifurcation diagrams in view of symplectic invariants.

2025-08-24T10:20:20Z 40 pages, 23 figures, 15 tables of data Cengiz Aydin http://arxiv.org/abs/2604.01208v1 2026-04-01T17:51:01Z

To a noncompact orientable surface with no closed boundary, we associate the sum of Fukaya categories of (Liouville sectors associated to) its symmetric powers. We construct sectorial covers with the combinatorics of the bar resolution to show this association extends to an open 2d topological field theory -- without naming a Lagrangian, let alone a holomorphic disk. In particular, we recover results of Rouquier and Manion on extending Heegaard-Floer theory down to an interval.

2026-04-01T17:51:01Z 26 pages Vivek Shende Peng Zhou http://arxiv.org/abs/2510.20945v2 2026-04-01T17:31:45Z

In this article, we are considering the Hessian of the area functional in a non-Darboux chart. This does not seem to have been considered before and leads to an interesting new mathematical structure which we introduce in this article and refer to as almost extendable weak Hessian field. Our main result is a Fredholm theorem for Robbin-Salamon operatorsassociated to non-continuous Hessians which we prove by taking advantage of this new structure.

2025-10-23T19:10:32Z SIGMA 22 (2026), 032, 38 pages Urs Frauenfelder Joa Weber 10.3842/SIGMA.2026.032