https://arxiv.org/api/Ag3ex09IdsDS9YhZF3Qw6mWNQT4 2026-06-13T12:26:20Z 10176 15 15 http://arxiv.org/abs/2503.05932v6 2026-06-05T16:51:43Z

We introduce a streamlined procedure for constructing small symplectic $4$-manifolds via contact gluing, based on a technique invented by David Gay around 2000. We give several applications of this procedure, which include results concerning embeddings of singular Lagrangian $RP^2$s, or embeddings of lens spaces as a hypersurface of contact type, in small rational surfaces such as $CP^2\#\overline{CP^2}$ and $S^2\times S^2$, as well as results on the uniqueness or classification of $Q$-homology ball symplectic fillings. Further work on the classification of singular Lagrangian $RP^2$s is suggested. Moreover, our investigation on the $S^1$-invariant contact structures suggests an interesting and fairly strong upper bound for the self-intersection of a rational unicuspidal curve with one Puiseux pair $(p,q)$ in any algebraic surface (the bound depends only on the values $p,q$), and for the symplectic version, we prove the existence of an ``optimal" symplectic rational unicuspidal curve in a rational $4$-manifold which realizes the upper bound for any given Puiseux pair $(p,q)$. Our results also suggest a revisit of the ``symplectic divisorial capping" problem first considered by Li and Mak. Further applications of the techniques developed in this paper hinge upon better understandings on the tightness and fillability criterions of $S^1$-invariant contact structures as well as their (small) symplectic fillings.

2025-03-07T20:58:03Z Updated the reference, improved the exposition, added key words and phrases, as well as the mathematical subject classification Weimin Chen http://arxiv.org/abs/2605.27574v2 2026-06-05T08:49:01Z

We explore Seshadri constants associated to weighted blow-ups of complex projective varieties and demonstrate how to use this notion to construct symplectic embeddings of ellipsoids. We illustrate the utility of this point of view by providing constructions of full fillings of $\mathbb{CP}^2$ by ellipsoids corresponding to all of the exceptional (post-Fibonacci) steps of the McDuff--Schlenk staircase and some non-obvious embeddings of ellipsoids in ellipsoids.

2026-05-26T18:47:25Z 42 pages, 15 figures. v2 added some references Jonathan David Evans http://arxiv.org/abs/2606.06816v1 2026-06-05T01:40:07Z

In this paper, we study the Seshadri constants and Gromov widths of polarized toric varieties whose moment polytopes are generalized permutohedra. We show that both invariants coincide with the lattice width of the moment polytope, and provide an explicit formula for them in terms of the defining submodular function.

2026-06-05T01:40:07Z 13 pages, 4 figures Atsushi Ito http://arxiv.org/abs/2305.13554v3 2026-06-04T08:57:25Z

We resolve a mathematically precise SYZ conjecture for $A_n$ singularity by building a quantum-corrected T-duality between two singular torus fibrations related to the Kähler geometry of the $A_n$-smoothing and the Berkovich geometry of the $A_n$-resolution, respectively. Our approach involves novel computations that embody a non-archimedean version of the partition of unity, and it confirms the strategy that patching verified local singularity models brings global SYZ conjecture solutions (like K3 surfaces) within reach. There is also explicit extra evidence concerning the collision of singular fibers and braid group actions. On one hand, we address the central challenge of matching SYZ singular loci identified by Joyce. In reality, we construct not merely an isolated SYZ mirror fibration partner, but a parameter-dependent one that always keeps the matching singular loci plus integral affine structure, even when the collision of singular fibers occurs. On the other hand, our SYZ result displays a visible tie, regardless of the parameter choice, between the $(A_n)$-configuration of Lagrangian spheres occurred as vanishing cycles in the $A_n$-smoothing and the exceptional locus of rational $(-2)$-curves in the $A_n$-resolution, which aligns with the celebrated works of Khovanov, Seidel, and Thomas.

2023-05-22T23:59:16Z 50 pages. Accepted for publication in the Beijing Journal of Pure and Applied Mathematics Hang Yuan http://arxiv.org/abs/2606.05824v1 2026-06-04T08:05:01Z

In the breakthrough paper \cite{Mu-jems}, it is constructed the first example of a simply connected compact $5$-manifold (aka.\ Smale-Barden manifold) which admits a K-contact structure but does not carry a Sasakian structure. In this work we clarify some aspects of the construction of \cite{Mu-jems}, determining explicitly the number $N$ of symplectic surfaces needed to have an isotropy locus that produce a $5$-manifold that is K-contact but not Sasakian. Also, in order to analyse the geography problem of determining which Smale-Barden manifolds admit K-contact but not Sasakian structures, we refine and generalize the constructions of symplectic surfaces in a symplectic $4$-manifold with transversal intersections giving rise to such manifolds.

2026-06-04T08:05:01Z 37 pages, no figures Vicente Muñoz Juan Rojo http://arxiv.org/abs/2606.04965v1 2026-06-03T14:48:33Z

We establish a homological mirror theorem for the 4-manifolds arising as moduli of (irregular) rank two local systems on the projective line. Specifically, we prove that the Fukaya category of a moduli of such local systems with generic microlocal monodromy at punctures is equivalent to the category of coherent sheaves on the minimal resolution of the corresponding moduli of local systems with trivial microlocal monodromy.

2026-06-03T14:48:33Z 43 pages, 26 figures Joël Beimler Mingyuan Hu William Olsen Vivek Shende http://arxiv.org/abs/2407.10082v3 2026-06-02T17:11:47Z

Let $X$ be a smooth projective toric variety, and let $\widetilde{X}$ denote the blow-up of $X$ at finitely many distinct torus-invariant points. In this paper, we derive an explicit combinatorial formula for the Chow weight of $\widetilde{X}$ in terms of the underlying toric manifold $X$ and the symplectic cuts of its associated Delzant polytope. As an application, we study toric blow-ups of the projective plane and compare their Chow stability with that of blow-ups at general points.

2024-07-14T05:15:47Z Third version (21 pages): We have stated the precise relationship between the toric Chow weights used in this paper and the general algebro-geometric notion of Chow stability. In addition, we have clarified that Proposition 2.3 applies to certain specialized cases King Leung Lee Naoto Yotsutani http://arxiv.org/abs/2606.01388v2 2026-06-02T15:48:07Z

We define the analogue of Lie-Rinehart algebras over $C^\infty$-rings. We show that given a Poisson $C^\infty$-ring $\mathcal{A}$ its module $Ω_{\mathcal{A}}^{1}$ of $C^\infty$-Kähler differentials is (part of) a Lie-Rinehart algebra. Conversely, given a Lie-Rinehart algebra $\mathcal{M} \xrightarrowρ C^\infty\mathrm{Der}(\mathcal{A})$ over a $C^\infty$-ring $\mathcal{A}$, there is a natural Poisson bracket on the $C^\infty$-ring $\mathcal{F}(\mathcal{M})$ associated with the $\mathcal{A}$-module $\mathcal{M}$ (the $C^\infty$-ring analogue of an $\mathcal{A}$-algebra freely generated by the module $\mathcal{M}$). In the case where $\mathcal{A}$ is the $C^\infty$-ring of smooth functions on a manifold $M$ and $\mathcal{M}$ is the module $Γ(E)$ of sections of a Lie algebroid $E \to M$, the $C^\infty$-ring $\mathcal{F}(Γ(E))$ is the ring of functions $C^\infty(E^\vee)$ on the total space of the vector bundle $E^\vee \to M$ dual to the vector bundle $E$.

2026-05-31T18:27:35Z 62 pages. Revised version with the addition of Examples 2.3 and 2.11. Comments welcome Eugene Lerman Ruben Louis http://arxiv.org/abs/2508.03897v2 2026-06-02T15:16:08Z

We prove the existence of a localization spectral sequence for the hat variant of Guth and Manolescu's recent construction of real Heegaard Floer homology, and apply it to branched double covers and strongly invertible knots. Our construction applies to real Lagrangian Floer homology in exact symplectic manifolds equipped with anti-symplectic involutions more generally, and may be of independent interest to symplectic geometers.

2025-08-05T20:35:48Z 26 pages, 1 figure. Comments welcome! v2: Minor typo corrections; added Section 6 discussing recent developments. This version to be published in Proceedings of the Georgia International Topology Conference Kristen Hendricks http://arxiv.org/abs/2606.03424v1 2026-06-02T10:11:11Z

Bondal's conjecture in Poisson geometry gives lower bounds on the degeneracy loci of Poisson Fano manifolds, where the rank of the Poisson structure drops. By work of several authors, it was previously known to hold for Fano manifolds of dimension at most four. We give the first proof of this conjecture for Fano manifolds of dimension five, and partial results for Fano manifolds of all odd dimensions. The proof uses: (i) an algebraic integrability criterion for codimension-one foliations on weak Fano manifolds, extending a previous result of the first author; (ii) the "modular residues" of Poisson structures introduced by Gualtieri and the third author; and (iii) a cohomological constraint on invariant subvarieties for Pfaff fields, extending earlier results of Esteves--Kleiman to the case in which the Pfaff distribution on the subvariety admits a closed strongly directed positive current.

2026-06-02T10:11:11Z 15 pages Stéphane Druel Jorge Vitório Pereira Brent Pym Frédéric Touzet http://arxiv.org/abs/2605.27112v2 2026-06-02T09:29:28Z

We prove that the topological flow category $\mathcal{M}$ arising from a Morse-Smale pair $(f,ξ)$ on a smooth closed manifold $X$ is equivalent, as an $\infty$-category, to Lurie's $\infty$-category $\mathrm{Sing}_A(X)$ of exit paths in $X$ with respect to the stratification by the stable manifolds of $ξ$. The objects of $\mathcal{M}$ are the critical points of $f$, and for every pair of critical points, the space of morphisms of $\mathcal{M}$ between these is the space of possibly broken trajectories of $ξ$ connecting them; it can be identified up to homotopy with the space of unbroken ones. The latter maps naturally to the space of exit paths connecting these critical points; we prove this map to be a weak homotopy equivalence. Then, we combine these ingredients with several others to construct a zigzag of equivalences between the homotopy coherent nerve of $\mathcal{M}$, denoted $\mathcal{N}(\mathcal{M})$, and $\mathrm{Sing}_A(X)$. The $n$-simplices of $\mathcal{N}(\mathcal{M})$ are homotopy coherent diagrams of $n$ composable morphisms of $\mathcal{M}$; we introduce the notion of unbroken diagram, yielding an $\infty$-subcategory of $\mathcal{N}(\mathcal{M})$, which we refer to as the flow coherent nerve of $\mathcal{M}$. The simplices of the latter give rise to stratified maps out of a family of stratified cubes, into $X$. We organize this family into a functor from the category of finite ordered sequences of critical points, to the category of $A$-stratified topological spaces, and we prove a comparison result with the usual stratified geometric realization functor. We finally use a theorem of Tanaka that associates a functor of $\infty$-categories to a map a semi-simplicial sets satisfying some conditions. Our theorem has implications regarding constructible sheaves and the description of homotopy types in terms of flow categories.

2026-05-26T14:52:01Z 169 pages. Updated references, minor changes in Section 9 Colin Fourel http://arxiv.org/abs/2502.11290v3 2026-06-02T09:24:41Z

We construct bulk-deformed orbifold Hamiltonian Floer theory for a global quotient orbifold, that is the quotient of a smooth closed symplectic manifold by a finite group acting faithfully via symplectomorphisms. The moduli spaces define an `ordered marked Flow category', which we equip with a coherent presentation via derived orbifolds. The global charts for orbifold Floer cylinders are built from moduli spaces of holomorphic curves in a quotient of projective space by a free action of the given finite group.

2025-02-16T22:24:13Z V3: 85 pages, further corrections and clarifications following referee's comments Cheuk Yu Mak Sobhan Seyfaddini Ivan Smith http://arxiv.org/abs/2606.03368v1 2026-06-02T09:15:25Z

We propose a shifted-symplectic formulation of a classical continuous analogue of the symmetry TFT paradigm. Let $G$ be an algebraic or Lie group acting by topological defects on an $n$-dimensional classical topological sigma model with target an $(n-1)$-shifted symplectic derived stack $(X,ω)$ via the AKSZ construction. We argue that the corresponding $(n+1)$-dimensional bulk theory should be the AKSZ theory with target the shifted cotangent stack $T^*[n] (\mathrm B G)$, equivalently the $(n+1)$-dimensional BF theory for $G$. We characterize the Dirichlet and Neumann boundary conditions, and more general topological boundaries, in terms of shifted Lagrangians in $T^*[n] (\mathrm B G)$. We realize the gauging of the $G$-symmetry in the original theory as inserting a topological domain wall between the corresponding topological boundaries in the BF bulk, and introduce the notion of Hamiltonian reduction, syplectic reduction, and Lagrangian reduction in the shifted symplectic setting. We also discuss prequantum refinements of continuous SymTFTs. In this refinement, higher gerbes on $\mathrm B G$ encode classical analogues of 't Hooft anomaly data by decorating the shifted cotangent bulk and its Lagrangian boundary conditions. Finally, in dimension three we compare the infinitesimal BF model $\mathrm B(\mathfrak g\ltimes\mathfrak g^\vee)$ with the factorizable double $\mathrm B(\mathfrak g\oplus \mathfrak g)$. The resulting topological boundaries are described by Lagrangian Lie subalgebras, and the factorizable case relates the SymTFT dictionary to $r$-matrices and Belavin--Drinfeld data.

2026-06-02T09:15:25Z Hao Xu http://arxiv.org/abs/2312.00973v4 2026-06-01T22:44:31Z

In mirror symmetry, symplectic Landau-Ginzburg models are mirror to a large class of examples, in particular to Fano varieties and hypersurfaces of many Calabi-Yau and Fano varieties. When studying their Fukaya categories on the A-model in homological mirror symmetry, one needs to calculate the weights of pseudo-holomorphic discs bounded by Lagrangian branes. While these calculations simplify for exact and Lefschetz fibrations, we generalize the machinery for computing these weights by dropping the exact and Lefschetz assumptions. For a general symplectic Landau-Ginzburg model, a singular symplectic fibration, we prove that the weights and Lagrangian gradings split into base and fiber components. This is used in many calculations of Fukaya-Seidel categories to provide evidence of Kontsevich's homological mirror symmetry conjecture.

2023-12-01T23:54:57Z 20 pages, 4 figures. The notion of a parallel fibered Lagrangian has been defined. Example 1.6 of a family of fibered Lagrangians has been added. Lemma 2.1 and Theorem 2.6 have been upgraded to require fewer assumptions, and the proofs updated. Numerous improvements have been made thanks to the anonymous referees' comments Haniya Azam Catherine Cannizzo Heather Lee Chiu-Chu Melissa Liu http://arxiv.org/abs/2602.21759v2 2026-06-01T19:44:48Z

We answer a question of Biran and Cornea about the density of iterated cones of fibers in the Fukaya category of a cotangent bundle. We prove that indeed if we take a dense set of basepoints, the iterated cones of the cotangent fibres are dense in the Filtered Fukaya category. In an appendix we prove that the space of exact Lagrangians in a symplectic manifold is never totally bounded for the spectral distance (unless it is empty). This was implicit in \cite{MCA-VH-CV} for $n=1$ and proved for cotangent bundles of negatively curved manifolds in \cite{A-B-C}.

2026-02-25T10:21:13Z Added an Appendix to prove that the set of Lagrangians is not totally bounded for the spectral metric Stéphane Guillermou Claude Viterbo Bingyu Zhang