https://arxiv.org/api/62Wu6PjChPbwHT513eBQwpEgc6k 2026-06-21T15:37:59Z 10188 180 15 http://arxiv.org/abs/1907.06025v4 2026-04-28T21:01:37Z

We lay the foundations of convex hypersurface theory in contact topology, extending the work of Giroux in dimension three. Specifically, we prove that any closed hypersurface in a contact manifold can be $C^0$-approximated by a convex one. We also prove that a $C^0$-generic family of mutually disjoint closed hypersurfaces parametrized by $t\in[0,1]$ is convex except at finitely many times $t_1,\dots,t_N$, and that crossing each $t_i$ corresponds to a bypass attachment. As an application, we prove the existence of compatible (relative) open book decompositions for contact manifolds.

2019-07-13T08:06:14Z V4: Added two coauthors: Joseph Breen and Austin Christian; the part on contact submanifolds has been removed and will be written more carefully in a separate paper; the proof of the bypass-bifurcation correspondence has been expanded and the paper is now essentially self-contained with a 24-page appendix on bypasses in higher dimensions Joseph Breen Austin Christian Ko Honda Yang Huang http://arxiv.org/abs/2411.16924v3 2026-04-28T17:37:57Z

We consider a finite group $G$ acting on a manifold $M$. For any equivariant Morse function, which is a generic condition, there does not always exist an equivariant metric $g$ on $M$ such that the pair $(f,g)$ is Morse-Smale. Here, the pair $(f,g)$ is called Morse-Smale if the descending and ascending manifolds intersect transversely. The best possible metrics $g$ are those that make the pair $(f,g)$ stably Morse-Smale. A diffeomorphism $φ: M \to M$ is a reflection, if $φ^2 = \operatorname{id}$ and the fixed point set of $φ$ forms a codimension-one submanifold (with $M \setminus M^{\operatorname{fix}}$ not necessarily disconnected). In this note, we focus on the special case where the group $G = \{\operatorname{id}, φ\}$. We show that the condition of being stably Morse-Smale is generic for metrics $g$. Given a stably Morse-Smale pair, we introduce a canonical equivariant Thom-Smale-Witten complex by counting certain broken trajectories. This has applications to the case when we have a manifold with boundary and when the Morse function has critical points on the boundary. We provide an alternative definition of the Thom-Smale-Witten complexes, which are quasi-isomorphic to those defined by Kronheimer and Mrowka. We also explore the case when $G$ is generated by multiple reflections. As an example, we compute the Thom-Smale-Witten complex of an upright higher-genus surface by counting broken trajectories.

2024-11-25T20:47:41Z This is the final version published by IMRN. Small corrections on the definition 1.1 and example 4.9 IMRN, Vol. 2026, Issue 9, (2026) Erkao Bao Tyler Lawson Lina Liu http://arxiv.org/abs/2605.08122v1 2026-04-28T15:51:10Z

We prove that the stable tame isomorphism, quasi-isomorphism, and derived Morita equivalence problems for semifree noncommutative differential graded algebras (DGAs) are all undecidable. This resolves half of Problem 5.16 from the K3 Problem List in Low-Dimensional Topology. We present two solutions, both obtained (essentially autonomously) by Gemini Deep Think / Aletheia.

2026-04-28T15:51:10Z 6 pages Ciprian Manolescu Nick Rozenblyum http://arxiv.org/abs/2604.22394v2 2026-04-28T14:13:15Z

We introduce multiplicative Ehresmann connections on surjective submersions of Lie groupoids, extending both the classical notion of Ehresmann connections on fibre bundles and the more recent notion of multiplicative connections on Lie groupoid extensions. We investigate the existence of such connections, showing that, in general, they may fail to exist even for proper Lie groupoids. In contrast, positive results hold for Morita submersions, uniform Lie groupoid fibrations, locally trivial families of Lie groupoids, and proper families of Lie groupoids. Our main results concern completeness. For Lie groupoid fibrations, we prove that the completeness of a multiplicative connection is governed by the induced connection on the kernel bundle and, under connectivity assumptions, by the base connection. For families of source-proper Lie groupoids, we prove the equivalence between local triviality and the existence of complete multiplicative Ehresmann connections.

2026-04-24T09:32:32Z 30 pages, V2: university affiliations added Matthijs Lau Ioan Mărcuţ http://arxiv.org/abs/1804.02557v3 2026-04-28T13:16:59Z

In this paper, we construct a generating function quadratic at infinity for any exact Lagrangian in $\mathbb R^{2n}$ that equals $\mathbb R^n$ outside a compact set. Such a Lagrangian may be viewed as a Lagrangian filling of the standard Legendrian unknot $S^{n-1}$ in $D^{2n}$. Generating functions of the type we construct are related to the space $\mathcal M_\infty$ considered by Eliashberg and Gromov. We also show that $\mathcal M_\infty$ is the homotopy fiber of the so-called Hatcher--Waldhausen map. This further relates the study of exact Lagrangians (and Legendrians) to algebraic K-theory of spaces. Using this and Bökstedt's result that the Hatcher--Waldhausen map is a rational homotopy equivalence, we prove that the stable Lagrangian Gauss map (relative to the boundary) of the Lagrangian is null-homotopic.

2018-04-07T13:10:14Z 52 pages, 10 figures. Many parts restructured and details added, but the overall argument is the same Thomas Kragh http://arxiv.org/abs/2210.07200v3 2026-04-27T22:05:34Z

We develop a general procedure for reduction along strong Dirac maps, which are a broad generalization of Poisson momentum maps. We recover a large number of familiar constructions in Poisson and quasi-Poisson geometry, and we introduce new examples of Poisson, quasi-Poisson, and Dirac reduced structures. In particular, we obtain quasi-Poisson analogues of several classes of spaces that are studied in geometric representation theory.

2022-10-13T17:19:59Z Final version, to appear Ana Balibanu Maxence Mayrand http://arxiv.org/abs/2401.15432v2 2026-04-27T21:08:05Z

Motivated by $G_2$-manifolds with coassociative fibrations in the adiabatic limit, Donaldson and Scaduto conjectured the existence of associative submanifolds homeomorphic to a three-holed $3$-sphere with three asymptotically cylindrical ends in the $G_2$-manifold $X \times \mathbb{R}^3$, or equivalently similar special Lagrangians in the Calabi-Yau 3-fold $X \times \mathbb{C}$, where $X$ is an $A_2$-type ALE hyperkähler 4-manifold. We prove this conjecture by solving a real Monge-Ampère equation with a singular right-hand side, which produces a potentially singular special Lagrangian. Then, we prove the smoothness and asymptotic properties for the special Lagrangian using inputs from geometric measure theory. The method produces many other asymptotically cylindrical $U(1)$-invariant special Lagrangians in $X\times \mathbb{C}$, where $X$ arises from the Gibbons-Hawking construction.

2024-01-27T15:01:09Z Final version, published in Geometry & Topology, 26 pages Geom. Topol. 30 (2026) 959-981 Saman Habibi Esfahani Yang Li 10.2140/gt.2026.30.959 http://arxiv.org/abs/2503.05644v2 2026-04-27T03:38:16Z

For a complex algebraic torus $\mathbb{T}$, we study $\mathbb{T}$-invariant Poisson deformations of a $\mathbb{T}$-log-symplectic log-canonical Poisson structure $π_0$ on $\mathbb{C}^n$. We show that every $\mathbb{T}$-invariant first-order deformation of $π_0$ with linearly independent $(\mathbb{C}^\times)^n$-weights is unobstructed. For a special class of $π_0$ defined by the so-called symmetric $\mathbb{T}$-action data, we show that $π_0$ can be canonically deformed to symmetric $\mathbb{T}$-Poisson CGL extensions (of $\mathbb{C}$) as defined by K. Goodearl and M. Yakimov. As a consequence, we classify all symmetric $\mathbb{T}$-Poisson CGL extensions in terms of their log-canonical terms $π_0$ and the second $\mathbb{T}$-invariant Poisson cohomology of $π_0$. We further characterize, among all symmetric Poisson CGL extensions, those of Cartan type, i.e., those associated to sequences of simple roots in the root systems of symmetrizable generalized Cartan matrices. In particular, we prove that the standard Poisson structures on Bott-Samelson cells and generalized Schubert cells for semi-simple complex Lie groups are the (uniquely determined) maximal normalized admissible deformations of their log-canonical terms. Finally, for any symmetric $\mathbb{T}$-Poisson CGL extension $π$ with log-canonical term $π_0$, we present an explicit formula expressing the initial mutation matrix in the Goodearl-Yakimov theory on cluster algebras associated to $π$ in terms of the $(\mathbb{C}^\times)^n$-weights of the second $\mathbb{T}$-invariant Poisson cohomology of $π_0$.

2025-03-07T18:05:42Z The current version is significantly expanded. In particular, we added the classification of symmetric T-Poisson CGL extensions and the formula for the Goodearl-Yakimov initial mutation matrix in terms of our classification data Jiang-Hua Lu Mykola Matviichuk http://arxiv.org/abs/2604.23848v1 2026-04-26T19:37:00Z

Gorenstein toric contact manifolds are good toric contact manifolds with zero first Chern class that are completely determined by certain integral convex polytopes called toric diagrams. The Ehrhart polynomial of these toric diagrams determines and is determined by the contact Betti numbers of the corresponding contact manifolds, i.e. the dimension of their cylindrical contact homology in eachdegree. In this paper we look into the following natural question: to what extent do these contact invariants determine the Gorenstein toric contact manifold? Flexibility is the norm and we illustrate it with the family of Gorenstein toric contact manifolds that arise as the prequantization of monotone iterated ${\mathbb P}^1$-bundles, i.e. monotone Bott manifolds. In each dimension, the Ehrhart polynomial of their toric diagrams is equal to the Ehrhart polynomial of the cross-polytope, corresponding to the monotone prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$, and we describe the unimodular classification of these toric diagrams. On the rigidity side, we will show that the primitive prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$ is rigid, i.e. completely determined as a Gorenstein toric contact manifold by its contact Betti numbers. More precisely, in each dimension, we show that its toric diagram, which we name small cross-polytope, is the unique toric diagram with its particular Ehrhart polynomial. We will also prove a rigidity result for a family of Gorenstein toric contact manifolds that arise as the primitive prequantization of monotone ${\mathbb P}^1$-bundles over ${\mathbb P}^{n-1}$.

2026-04-26T19:37:00Z 36 pages, 13 figures Miguel Abreu Leonardo Macarini António Rocha-Neves http://arxiv.org/abs/2604.23496v1 2026-04-26T02:00:56Z

Recent developments of Batalin-Vilkovisky (BV) formalism and related geometry are reviewed. Mathematical structures of BV formalism are summarized as a Q-manifold and a QP-manifold. Lie algebras, Lie algebroids and other higher algebroids are explained as typical examples of Q- and QP-manifolds. Finally, the BV action functionals are constructed by geometric structures of Lie algebroids and Courant algebroids.

2026-04-26T02:00:56Z 20 pages Geometric Methods in Physics XLI, Workshop, Białystok, Poland, 2024 (2025) Springer book series, trends in mathematics Noriaki Ikeda http://arxiv.org/abs/2309.10996v2 2026-04-26T01:11:58Z

We propose a Hamiltonian Lie algebroid and a momentum section over a Dirac structure as a generalization of a Hamiltonian Lie algebroid over a pre-symplectic manifold and one over a Poisson manifold. A Hamiltonian Lie algebroid and a momentum section are generalizations of a Hamiltonian G-space and a momentum map over a symplectic manifold. We show some properties of a new Hamiltonian Lie algebroid, and construct the mechanics with this structure as an application, which are sigma models called the gauged Poisson sigma model and the gauged Dirac sigma model.

2023-09-20T01:30:55Z 37pages Noriaki Ikeda http://arxiv.org/abs/2511.10462v2 2026-04-24T16:13:20Z

We study the space of $A_\infty$-natural transformations between braiding functors acting on the Fukaya category associated to the Coulomb branch $\mathcal{M}(\bullet,1)$ of the $\mathfrak{sl}_2$ quiver gauge theory. We compute all cohomologically distinct $A_\infty$-natural transformations $\mathrm{Nat}(\mathrm{id}, \mathrm{id})$ and $\mathrm{Nat}(\mathrm{id}, β_i^-)$, where $β_i^-$ denotes the negative braiding functor. Our computation is carried out in a diagrammatic framework compatible with the established embedding of the KLRW category into this Fukaya category. We then compute the Hochschild cohomology of the Fukaya category using an explicit projective resolution of the diagonal bimodule obtained via the Chouhy-Solotar reduction system, and use this to classify all cohomologically distinct natural transformations. These results determine the higher $A_\infty$-data encoded in the braiding functors and their natural transformations, and provide the first step toward a categorical formulation of braid cobordism actions on Fukaya categories.

2025-11-13T16:28:44Z Yujin Tong http://arxiv.org/abs/1901.08027v6 2026-04-24T08:42:24Z

We study 1-parameter families of holomorphic curves with Lagrangian boundary in Calabi-Yau 3-folds. We show that the expected codimension one phenomena can be organized to match the HOMFLYPT skein relations from quantum topology. It follows that counting holomorphic curves by the class of their boundaries in the skein module of the Lagrangian gives a deformation invariant result. This is a mathematically rigorous incarnation of Witten's assertion that boundaries of open topological strings create line defects in Chern-Simons theory. Using this theory, we rigorously establish the following prediction of Ooguri and Vafa: the coefficients of the HOMFLYPT polynomial of a link in the three-sphere count the holomorphic curves in the resolved conifold, with boundary on (a push-off of) the link conormal.

2019-01-23T18:02:25Z 34 pages. Details for gluing results were added in a new Section 4 and the paper was revised Tobias Ekholm Vivek Shende http://arxiv.org/abs/2401.17590v2 2026-04-23T15:04:12Z

In this paper, we prove that the ${\rm Ham}$-orbit space from a fiber of a large family of cotangent bundles, as a metric space with respect to the Floer-theoretic spectral metric, contains a quasi-isometric embedding of an infinite-dimensional normed vector space. The same conclusion holds for the group of compactly supported Hamiltonian diffeomorphisms of some cotangent bundles. To prove this, we generalize a result, relating boundary depth and spectral norm for closed symplectic manifolds in Kislev-Shelukhin's recent work, to Liouville domains. Then we modify Usher's constructions (which were used to obtain Hofer-large scale geometric properties) to achieve our desired conclusions.

2024-01-31T04:29:00Z Final version; revise the proof of Theorem B, remove the previous Theorem C, and renumber Theorem D as Theorem C. To appear in the Israel Journal of Mathematics Qi Feng Jun Zhang http://arxiv.org/abs/2604.21709v1 2026-04-23T14:15:15Z

We define an $\operatorname{SL}_n(\mathbb{Z})$-invariant tropical zeta function of a convex domain. In dimension 2 it admits boundary Dirichlet-series representation with summands indexed by Farey pairs. For $C^3$ strictly convex domains, it extends meromorphically to $\Re(s)>3/5$, holomorphic there except for a simple pole at $s=2/3$, with residue proportional to equiaffine perimeter. A Tauberian argument yields the $t^{1/3}$ wave-front lattice-perimeter asymptotic for $t\rightarrow 0$.

2026-04-23T14:15:15Z 87 pages, 9 figures. Main theorem: for smooth strictly convex planar domains, the tropical zeta function continues meromorphically to Re(s)>3/5 with simple pole at s=2/3; residue gives equiaffine perimeter. Includes Tauberian asymptotic for lattice perimeter of tropical wave fronts Nikita Kalinin Ernesto Lupercio Mikhail Shkolnikov