https://arxiv.org/api/isxKk50FbyY7tTLgJITBrdSov/Q2026-06-13T14:45:23Z101764515http://arxiv.org/abs/2512.18808v2Legendrian barriers in prequantization bundles2026-05-28T14:41:07ZWe show that prequantization bundles have explicit Legendrian barriers, whose removal obstruct the embedding of long cylinders over Legendrian submanifolds.2025-12-21T17:00:53ZVersion 2 : several figures and a section of illustrations added, several mistakes correctedEmmanuel Opshteinhttp://arxiv.org/abs/2502.04304v3Almost toric fibrations on K3 surfaces via degenerations2026-05-28T11:08:34ZFor Kähler K3 surfaces we consider Kulikov models of type III tamed by a symplectic form. Our main result shows that the generic smooth fiber admits an almost toric fibration over the intersection complex, which inherits a natural nodal integral affine structure from almost toric fibrations of the boundary divisors. We prove that a smooth anti-canonical hypersurface in a smooth toric Fano threefold, equipped with a toric Kähler form, admits a symplectic Kulikov model. Moreover, we demonstrate that the induced integral affine structure on the intersection complex is integral affine isomorphic (up to nodal slides) nodal integral affine structure considered by Gross and Siebert on the boundary of the moment polytope.2025-02-06T18:44:42ZChanges made after referee process. Changes made to the title and to the proof of Lemma 2.13Pranav ChakravarthyYoel Gromanhttp://arxiv.org/abs/2504.13076v2Extremal Lagrangian tori in toric domains2026-05-28T10:15:24ZLet $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,ω)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal Lagrangian torus in $(X,ω)$ is a Lagrangian torus that maximizes the symplectic area among the Lagrangian tori in $(X,ω)$. We prove that every extremal Lagrangian torus in the symplectic unit ball $(\bar{B}^{2n}(1),ω_{\mathrm{std}})$ is contained entirely in the boundary $\partial B^{2n}(1)$. This answers a question attributed to Lazzarini and completely settles a conjecture of Cieliebak and Mohnke in the affirmative. In addition, we prove the conjecture for a class of toric domains in $(\mathbb{C}^n, ω_{\mathrm{std}})$, which includes all compact strictly convex four-dimensional toric domains. We explain with counterexamples that the general conjecture does not hold for non-convex domains.2025-04-17T16:39:04Z93 pages, 12 figures. Revised version incorporating the referee's suggestions and commentsShah Faisalhttp://arxiv.org/abs/2605.29117v1Shifted lagrangian structures in Poisson geometry2026-05-27T21:25:31ZThis paper develops new aspects of the interplay between shifted symplectic geometry and classical Poisson geometry, focusing on lagrangian morphisms into 2-shifted symplectic groups. We establish a Lie-type correspondence between such morphisms and Dirac structures in transitive Courant algebroids given by the product of an exact Courant algebroid and a quadratic Lie algebra. As a key application, we identify the global objects integrating quasi-Poisson manifolds, which we call multiplicative D-valued moment maps; this extends the integration of Poisson manifolds to symplectic groupoids and the lifting of Poisson actions to multiplicative hamiltonian actions. We devise systematic constructions of quasi-symplectic groupoids via fibred products of 2-shifted lagrangians, extending classical reduction procedures. This places known constructions, such as the integrations of Poisson homogeneous spaces and Poisson quotients, into a broader, conceptual framework, while yielding new examples.2026-05-27T21:25:31Z65 pagesDaniel ÁlvarezHenrique BursztynMiquel Cuecahttp://arxiv.org/abs/2602.04671v2A Darboux classification of homogeneous Pfaffian forms on graded manifolds2026-05-27T16:02:13ZWe study the local classification problem for differential Pfaffian forms on a supermanifold $M$ that are homogeneous with respect to a given homogeneity structure on $M$. The most familiar examples of homogeneity structures are those associated with vector bundle structures. Our aim is to show that, for a homogeneous form of fixed degree, there exist homogeneous Darboux coordinates. As a consequence, we obtain Darboux-type normal forms for homogeneous Pfaffian forms, recovering as special cases the classical Darboux theorem together with its contact and presymplectic counterparts.
To formulate an analogue of Darboux classification in the supergeometric setting, we associate to a differential form $α$ the characteristic distribution $χ(α)=\ker(α)\cap\ker(\mathrm{d}α)$, and define the class of $α$ as the rank of $χ(α)$. We prove that, under suitable regularity and constant-rank assumptions, this distribution completely determines the local equivalence problem for homogeneous Pfaffian forms. Our results apply equally well to ordinary (purely even) manifolds.2026-02-04T15:41:26Z20 pages. Added Example 3.3; made some stylistic changes and corrected typosJanusz GrabowskiAsier López-Gordónhttp://arxiv.org/abs/2504.20803v2Continuation maps for the Morse fundamental group2026-05-27T10:01:09ZWe study properties of the continuation map for the Morse fundamental group $π_1^\text{Morse}(f,\ast)$ associated to a Morse-Smale pair $(f,g)$ on a manifold $M$. We get a morphism between $π_1^\text{Morse}(f_1,\ast_1)$ and $π_1^\text{Morse}(f_2,\ast_2)$ and show that it is functorial. We also define the morphism in the case of Morse data over different manifolds, thanks to the use of grafted trajectories. Finally, given an interpolation function on $M\times\mathbb{R}$ between two Morse functions (used for example to define the continuation map), we study the Morse fundamental group associated to that function and show that it is isomorphic to a relative fundamental group on $M\times\mathbb{R}$.2025-04-29T14:15:53ZChanges made after referee process. Final version accepted at International Journal of MathematicsInternational Journal of Mathematics, Volume 37, Issue 09 (2026)Salammbo Connolly10.1142/S0129167X26500436http://arxiv.org/abs/2505.14496v2Symplectic semi-characteristics2026-05-27T07:54:58ZWe study the symplectic semi-characteristic of a closed 4n-dimensional symplectic manifold. First, using the even-degree part of the primitive cohomology, we define the symplectic semi-characteristic. Second, using a vector field with nondegenerate zero points, we prove a counting formula for the symplectic semicharacteristic. As corollaries of the counting formula, we obtain a vanishing property and the fact that the definition of the symplectic semi-characteristic is independent of the choices of symplectic forms.2025-05-20T15:25:17Zv2: accepted by Pacific Journal of Mathematics; v1: 23 pages. Comments are welcomePacific J. Math. 343 (2026) 485-507Hao Zhuang10.2140/pjm.2026.343.485http://arxiv.org/abs/2605.27126v1A contact version of Kirby's theorem2026-05-26T14:58:29ZA theorem of Ding and Geiges states that every closed, connected contact $3$-manifold can be obtained from the standard tight contact $3$-sphere by contact $(\pm1)$-surgery along a Legendrian link. The literature also contains some examples of contact Kirby moves, i.e. explicit operations on front projections of Legendrian surgery links that change the surgery link but preserve the contactomorphism type of the surgered manifold. Among the most commonly used are cancelling pairs and contact handle slides; however, these moves alone are not sufficient to relate all contact surgery diagrams of contactomorphic contact manifolds.
In this article, we introduce two new families of contact Kirby moves, called lantern moves and chain moves, and use them to give a complete set of contact Kirby moves. More precisely, we show that two contact surgery diagrams represent contactomorphic contact manifolds if and only if they are related by a sequence of planar isotopies, Legendrian Reidemeister moves, insertions or removals of standard cancelling pairs, the two standard contact handle slides, the standard lantern move, and the standard chain move. All these moves are explicit diagrammatic operations in the front projection.
The proof follows an approach initiated by Avdek through his ribbon-move framework, which is rooted in the Giroux correspondence, and combines it with a presentation by Gervais of the mapping class group. We also discuss several consequences of the main theorem, illustrating the effectiveness of the contact Kirby calculus by recovering the invariance of Gompf's $d_3$-invariant purely diagrammatically and by deriving the topological Kirby theorem from contact-geometric methods.2026-05-26T14:58:29Z46 pages, 58 figures; comments are welcomeMarc KegelEric StenhedeVera Vértesihttp://arxiv.org/abs/2605.27122v1Open Gromov-Witten invariants in genus zero and Lagrangian cobordisms2026-05-26T14:57:05ZWe construct open Gromov-Witten invariants in genus zero for arbitrary closed symplectic manifolds and embedded relatively spin Lagrangians, which are weakly unobstructed by a bounding cochain. This uses the foundational work of \cite{HH25,HH26} and the algebraic framework of \cite{ST21}. We prove the open WDVV relations and show that these invariants are independent of the choice of almost complex structure and under Hamiltonian isotopy. We also prove a relation between open Gromov-Witten invariants of cobordant Lagrangians.2026-05-26T14:57:05Z33 pages, no figures, comments welcome!Amanda HirschiKai Hugtenburghttp://arxiv.org/abs/2412.16697v4Sasaki structures on general contact manifolds2026-05-26T14:49:02ZWe extend the notion of a Sasakian structure from the classical setting of a cooriented contact manifold, where it is given by a compatibility between a contact form $η$ and a Riemannian metric $g_M$ on $M$, to the case of an arbitrary contact structure understood as a contact distribution. In the cooriented case, this compatibility can be equivalently expressed by the fact that the symplectic form $ω=\mathrm{d}(s^2η)$ and the cone metric $g(x,s)=\mathrm{d} s\otimes\mathrm{d} s+s^2g_M(x)$ define a Kähler structure on the cone $\mathcal{M}=M\times\mathbb{R}_+$.
Since general contact structures admit canonical realizations as homogeneous symplectic structures $ω$ on principal $\mathbb{R}^\times$-bundles $P\to M$, it is natural to interpret Sasakian geometry in full generality in terms of suitable homogeneous Kähler structures on $P$. We characterize homogeneous Kähler structures on symplectizations $(P,ω)$ associated with arbitrary contact structures on $M$, and show that they canonically determine a two-sheeted covering $\tilde M$ of $M$ equipped with a contact form. This reduces the problem to the cooriented case and leads to a notion of a generalized Sasakian structure on $M$ associated with a homogeneous Kähler structure on $(P,ω)$.
Moreover, since products of Kähler manifolds are again Kähler, our framework naturally yields a concept of a product of Sasakian manifolds. The whole constructions are intrinsic and conceptual, avoiding any ad hoc choices.2024-12-21T16:52:32Z35 pages, corrected and substantially rewrittenKatarzyna GrabowskaJanusz GrabowskiRouzbeh Mohsenihttp://arxiv.org/abs/2509.23740v2Hyperbolic contact symplectic lifts2026-05-26T09:07:40ZConsider a holomorphic contact manifold. Holomorphic discs tangent to the contact planes define a pseudometric on the manifold. This pseudometric integrates to a pseudodistance. When the pseudodistance is a distance, we call the contact manifold \emph{contact-hyperbolic}, by analogy with Kobayashi hyperbolicity.
The goal of this paper is to construct explicit examples of contact-hyperbolic contact manifolds with large automorphism groups.
We study Reeb manifolds: holomorphic contact structures equipped with a Reeb vector field whose flow acts freely. Our first main theorem shows that every proper Reeb manifold admits a holomorphic symplectic quotient. It also identifies which symplectic manifolds arise this way. The isomorphism classes of proper Reeb manifolds over a fixed symplectic base manifold are parameterised by the first cohomology.
Our second main theorem: a proper Reeb manifold is (complete) contact-hyperbolic if and only if its symplectic quotient manifold is (complete) Kobayashi hyperbolic. This theorem allows us to construct many new explicit examples of contact-hyperbolic contact manifolds.
Finally, we study the group of contact biholomorphisms. Contact hyperbolicity implies that this group is a finite-dimensional Lie group. For contact $3$-manifolds, we sharply bound the dimension of the automorphism group. We give examples with automorphism groups reaching every possible dimension. Our third main theorem: the unique maximally symmetric example, up to isomorphism, is the contact manifold $\mathbb B^2_{z,w}\times\mathbb C_y$ with contact form $dy+(1-z)^{-2}dw$.2025-09-28T08:40:23Znew version; 57 pagesFilippo BracciBenjamin McKayRiccardo Ugolinihttp://arxiv.org/abs/2511.22837v2Plumbings of lens spaces and crepant resolutions of compound $A_n$ singularities2026-05-25T21:11:44ZFor many compound $A_n$ ($cA_n$) singularities $R_f=\mathbb{C}[u,v,x,y]/(uv-f(x,y))$ with crepant resolutions $Y_f$, their mirrors are affine $A_n$ plumbings $W^\circ_f$ of $3$-dimensional lens spaces along circles. We prove two versions of homological mirror symmetry for these Stein $3$-folds.
(i) The uncompleted version: there is an equivalence $D^\mathit{perf}\mathcal{W}(W_f^\circ)\simeq D^b\mathit{Coh}(Y^\circ_f)$ between the derived wrapped Fukaya category and the bounded derived category of coherent sheaves on some divisor complement $Y^\circ_f=Y_f\setminus D$.
(ii) The completed version: there is an equivalence $D^\mathit{perf}\widehat{\mathcal{W}}(W^\circ_f)\simeq D^b\mathit{Coh}(\widehat{Y}_f)$, where $\widehat{\mathcal{W}}(W^\circ_f)$ is the completion of $\mathcal{W}(W^\circ_f)$ with respect to the word-length filtration of Hamiltonian chords, and $\widehat{Y}_f$ is the complete local version of $Y_f$.
As an application of (i), we show that certain infinitely generated subgroup of the pure braid group $\mathit{PBr}_{n+2}$ split injects into the compactly supported symplectic mapping class group of $W^\circ_f$ as long as $R_f$ is isolated, generalizing the work of Keating-Smith in the case of a conifold smoothing. Applying categorical localization to (ii), we obtain an equivalence between the (uncompleted) derived wrapped Fukaya category of the corresponding (non-affine) $A_n$ plumbing $W_f$ of lens spaces along circles and the relative singularity category of $Y_f$. This generalizes the result of Smith-Wemyss in the case of double bubble plumbings and partially answers their realization question.2025-11-28T02:02:50Zv2: 51 pages, 15 figures. Major revision: Results on the symplectic mapping class group and some details addedBilun XieYin Lihttp://arxiv.org/abs/2605.25965v1Topics in Symplectic Dynamics: Barcode Entropy2026-05-25T15:41:42ZBarcode 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).2026-05-25T15:41:42Z66 pages, 1 figureErman CineliViktor L. GinzburgBasak Z. GurelMarco Mazzucchellihttp://arxiv.org/abs/2512.01937v3On the $C^2$-local systolic optimality of Zoll odd-symplectic forms2026-05-25T14:56:48ZAn 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.2025-12-01T17:50:46ZVersion 3 with some notational inconsistencies fixed. 67 pages, comments welcome!Samanyu Sanjayhttp://arxiv.org/abs/2605.25800v1Hulls and boundaries in $\mathbb{C}^n$2026-05-25T12:50:26ZThe 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.2026-05-25T12:50:26Z25 pagesStefan NemirovskiJosias ReppekusNikolay Shcherbina