https://arxiv.org/api/lzrIhOKyC9ngHTjgfpecsTswdMc 2026-06-24T05:50:41Z 10198 660 15 http://arxiv.org/abs/2511.01821v1 2025-11-03T18:27:05Z

Adapting the construction of global Kuranishi charts to the contact setting, we associate to any non-degenerate contact manifold a flow category based on Reeb orbits and moduli spaces of pseudo-holomorphic buildings. The construction lifts contact homology and is natural in the sense that to any exact symplectic cobordism we can associate a flow bimodule between the flow categories of its ends.

2025-11-03T18:27:05Z 83 pages, comments welcome! Soham Chanda Amanda Hirschi http://arxiv.org/abs/2511.01656v1 2025-11-03T15:19:38Z

This paper continues previous work of the author with Perutz, in which the `small' version of Seidel's relative Fukaya category of a smooth complex projective variety relative to a normal crossings divisor was constructed, under a semipositivity assumption. In the present work, we generalize this to construct the `big' relative Fukaya category in the same setting, as well as its closed--open and open--closed maps, and prove Abouzaid's split-generation criterion in this context. We also establish a general framework for constructing chain-level Floer-theoretic operations in this context, and dealing efficiently with signs and bounding cochains, which will be used in follow-up work with Ganatra to construct the cyclic open--closed map and establish its properties.

2025-11-03T15:19:38Z 86 pages, 3 figures; comments welcome! Nick Sheridan http://arxiv.org/abs/2507.22836v3 2025-11-03T14:43:07Z

It is well-known that ADE Dynkin diagrams classify both the simply-laced simple Lie algebras and simple singularities. We introduce a polygonal wheel in a plane for each case of ADE, called the Coxeter wheel. We show that equivalence classes of edges and spokes of a Coxeter wheel form a geometric root system isomorphic to the classical root system of the corresponding type. This wheel is in fact derived from the Milnor fiber of corresponding simple singularities of two variables, and the bilinear form on the geometric root system is the negative of its symmetrized Seifert form. Furthermore, we give a completely geometric definition of simple Lie algebras using arcs, Seifert form and variation operator of the singularity theory.

2025-07-30T16:51:23Z 44 pages, 27 figures, references added Cheol-Hyun Cho Wonbo Jeong Beom-Seok Kim http://arxiv.org/abs/2105.11200v3 2025-11-03T13:36:33Z

We introduce an idea of constructing Lefschetz fibrations of Weinstein manifolds from Weinstein handle decompositions on them. We prove theorems that formulate the idea for the cases of cotangent bundles and some plumbings. As a corollary, we give diffeomorphic families of plumbing spaces. Those diffeomorphic families contain some plumbing spaces with names. For example, Milnor fibers of $A_{4k+3}$ and $D_{4k+3}$ singularities are diffeomorphic if their complex dimension is odd.

2021-05-24T11:10:08Z Accepted version Selecta Mathematica, Volume 31, article number 91, (2025) Sangjin Lee 10.1007/s00029-025-01089-8 http://arxiv.org/abs/2405.10783v3 2025-11-03T12:41:37Z

Plumbing spaces have drawn significant attention among symplectic topologists due to their natural occurrence as examples of Weinstein manifolds. In our paper, we provide a general formula for the wrapped Fukaya category of plumbings (with arbitrary grading structure) of cotangent bundles along any quiver. Our approach relies on "local-to-global" computations. Specifically, we compute the wrapped Fukaya category of "plumbing sectors" that serve as local models for the singularities of Lagrangian skeletons of plumbing spaces. As corollaries, we fully describe the wrapped Fukaya category of plumbing spaces in dimension $4$ and plumbings of $T^*S^n$ for $n \geq 3$. We show that any Ginzburg dg algebra/category of a graded quiver without potential is equivalent to the wrapped Fukaya category of a plumbing of $T^*S^n$ (with the corresponding grading structure).

2024-05-17T13:43:59Z Accepted version Journal of Symplectic Geometry, Vol. 23, Issue 4 (2025), pp. 853-949 Dogancan Karabas Sangjin Lee 10.4310/JSG.250820172316 http://arxiv.org/abs/2511.01221v1 2025-11-03T04:42:38Z

In this paper, we study wild character varieties on compact Riemann surfaces and construct Poisson maps from wild to tame character varieties by unfolding irregular singularities into regular ones. Furthermore, we show that these unfolding Poisson maps induce Poisson birational equivalences between wild and tame character varieties. This result provides an affirmative answer to a conjecture posed by Klimes, Paul, and Ramis.

2025-11-03T04:42:38Z 22 pages Kazuki Hiroe Daisuke Yamakawa http://arxiv.org/abs/2403.02356v2 2025-11-02T00:07:26Z

Baker and Bowler showed that the Grassmannian can be defined over a tract, a field-like structure generalizing both partial fields and hyperfields. This notion unifies theories of matroids over partial fields, valuated matroids, and oriented matroids. We extend Baker--Bowler theory to the Lagrangian Grassmannian which is the set of maximal isotropic subspaces in a $2n$-dimensional symplectic vector space. By Boege et al., the Lagrangian Grassmannian is parameterized as a subset of the projective space of dimension $2^{n-2}(4+\binom{n}{2})-1$ and its image is cut out by certain quadrics. We simplify a list of quadrics so that these are apparently induced by the Laplace expansions only concerning principal and almost-principal minors of a symmetric matrix. From the idea that the strong basis exchange axiom of matroids captures the combinatorial essence of the Grassmann--Plücker relations, we define matroid-like objects, called antisymmetric matroids, derived from the quadrics for the Lagrangian Grassmannian. We also provide a cryptomorphic definition in terms of circuits capturing the orthogonality and maximality of a Lagrangian subspace. We define antisymmetric matroids over tracts in two equivalent ways, which generalize both BB theory and the parameterization of the Lagrangian Grassmannian. It provides a new perspective on the Lagrangian Grassmannian over hyperfields such as the tropical hyperfield and the sign hyperfield. Our proof involves a homotopy theorem for graphs associated with antisymmetric matroids, which generalizes Maurer's homotopy theorem for matroids. We also prove that if a point in the projective space satisfies the $3$-/$4$-term quadratic relations for the Lagrangian Grassmannian and its supports form the bases of an antisymmetric matroid, then it satisfies all quadratic relations, a result motivated by the earlier work of Tutte for matroids and the Grassmannian.

2024-03-03T12:16:53Z 43 pages, 6 figures. The proof of Lemma 3.10 is fixed. Thanks to C. Ding for pointing out the error Donggyu Kim http://arxiv.org/abs/2511.00601v1 2025-11-01T15:53:29Z

We establish constraints on the topology of smooth Lefschetz fibrations with $4$-dimensional fibers, by studying the family Bauer-Furuta invariant. To compute this invariant, we analyze the framed bordism class of 1-dimensional Seiberg-Witten moduli spaces using the local index theorem by Bismut-Freed. Using this, we deduce new obstructions to the smooth isotopy to the identity for compositions of Dehn twists on $(-2)$-spheres in closed $4$-manifolds. We obtain several applications: (1) We exhibit the first examples of closed simply-connected symplectic $4$-manifolds admitting Torelli symplectomorphisms which are smoothly non-trivial. In particular, their symplectic Torelli mapping class group is not generated by squared Dehn-Seidel twists on Lagrangian spheres -- providing a negative answer to a question of Donaldson. (2) We provide the first examples of irreducible closed $4$-manifolds (both symplectic and non-symplectic) that admit exotic diffeomorphisms given by Seifert-fibered Dehn twist.

2025-11-01T15:53:29Z 49 pages. Comments are welcome! Hokuto Konno Jianfeng Lin Anubhav Mukherjee Juan Muñoz-Echániz http://arxiv.org/abs/2511.00163v1 2025-10-31T18:10:09Z

In this follow-up article to Symplectification of Circular Arcs and Arc Splines, biarc geometry is examined from a purely geometric point of view. Two given points together with their associated tangent vectors in the plane are sufficient to define two directed, consecutive circular arcs. However, there remains one degree of freedom to determine the join point of both arcs. There are various approaches to this in the literature. A novel one is presented here.

2025-10-31T18:10:09Z 20 pages, 16 figures Stefan Goessner http://arxiv.org/abs/2510.27514v1 2025-10-31T14:41:07Z

In the setting of electromagnetic systems, we propose a new definition of electromagnetic Ricci curvature, naturally derived via the classical Jacobi-Maupertuis reparametrization from the recent works of Assenza [IMRN, 2024] and Assenza, Marshall Reber, Terek [Communications in Mathematical Physics, 2025]. On closed manifolds, we show that if the magnetic force is nowhere vanishing and the potential is sufficiently small in the $C^2$ norm, then this Ricci curvature is positive for energies close to the maximum value of the potential $e_0$. As a main application, under these assumptions, we extend the existence of contractible closed orbits at energy levels near $e_0$ from almost every to everywhere.

2025-10-31T14:41:07Z 17 pages Valerio Assenza Giorgia Testolina http://arxiv.org/abs/2212.09623v5 2025-10-30T19:56:57Z

We prove that all projective crepant resolutions of Nakajima quiver varieties satisfying natural conditions are also Nakajima quiver varieties. More generally, we classify the small birational models of many Geometric Invariant Theory (GIT) quotients by introducing a sufficient condition for the GIT quotient of an affine variety $V$ by the action of a reductive group $G$ to be a relative Mori Dream Space. Two surprising examples illustrate that our new condition is optimal. When the condition holds, we show that the linearisation map identifies a region of the GIT fan with the Mori chamber decomposition of the relative movable cone of $V /\!/_θ G$. If $V/\!/_θ G$ is a crepant resolution of $Y\!\!:= V/\!/_{0} G$, then every projective crepant resolution of $Y$ is obtained by varying $θ$. Under suitable conditions, we show that this is the case for quiver varieties and hypertoric varieties. Similarly, for any finite subgroup $Γ\subset \mathrm{SL}(3,\mathbb{C})$ whose nontrivial conjugacy classes are all junior, we obtain a simple geometric proof of the fact that every projective crepant resolution of $\mathbb{C}^3/Γ$ is a fine moduli space of $θ$-stable $Γ$-constellations.

2022-12-19T17:01:28Z Final version. To appear in Compositio Mathematica Gwyn Bellamy Alastair Craw Travis Schedler http://arxiv.org/abs/2510.26667v1 2025-10-30T16:36:21Z

We introduce a new coisotropic Hofer-Zehnder capacity and use it to prove an energy-capacity inequality for displaceable Lagrangians.

2025-10-30T16:36:21Z 26 pages Samuel Lisi Antonio Rieser http://arxiv.org/abs/2510.26590v1 2025-10-30T15:16:36Z

On an open, connected symplectic manifold $(M,ω)$, the group of Hamiltonian diffeomorphisms forms an infinite-dimensional Fréchet Lie group with Lie algebra $C^{\infty}_c(M)$ and adjoint action given by pullbacks. We prove that this action is flexible: for any non-constant $u \in C^{\infty}(M)$, every $f \in C^{\infty}_c(M)$ can be expressed as a weighted finite sum of elements from the adjoint orbit of $u$, with total weight bounded by constant multiple of $\|f\|_{\infty} + \|f\|_{L^1}$. Consequently, all $\mathrm{Ham}(M,ω)$-invariant norms on $C^{\infty}_c(M)$ are dominated by a sum of $L^{\infty}$ and $L^1$ norms. As an application, we classify up to equivalence all bi-invariant pseudo-metrics on the group of Hamiltonian diffeomorphisms of an exact symplectic manifold, answering a question of Eliashberg and Polterovich.

2025-10-30T15:16:36Z Lev Buhovsky Maksim Stokić http://arxiv.org/abs/2501.14222v2 2025-10-30T15:09:25Z

Let $\mathcal X=[(\mathbb C^r\setminus Z)/G]$ be a toric Fano orbifold. We compute the Fourier transform of the $G$-equivariant quantum cohomology central charge of any $G$-equivariant line bundle on $\mathbb C^r$ with respect to certain choice of parameters. This gives the quantum cohomology central charge of the corresponding line bundle on $\mathcal X$, while in the oscillatory integral expression it becomes the oscillatory integral in the mirror Landau-Ginzburg mirror of $\mathcal X$. Moving these parameters to real numbers simultaneously deforms the integration cycle to the mirror Lagrangian cycle of that line bundle. This computation produces a new proof the mirror symmetric Gamma conjecture for $\mathcal X$.

2025-01-24T03:55:57Z Clarified statements and proofs in sections 4 and 5 Konstantin Aleshkin Bohan Fang Junxiao Wang http://arxiv.org/abs/2510.26164v1 2025-10-30T06:00:37Z

The goal of this paper is twofold: (i) define a symplectic Khovanov type homology for a transverse link in a fibered closed $3$-manifold $M$ (with an auxiliary choice of a homotopy class of loops that intersect each fiber once) and (ii) give conjectural combinatorial dga descriptions of surface categories that appear in (i). These dgas are higher-dimensional analogs of the strands algebras in bordered Heegaard Floer homology, due to Lipshitz-Ozsváth-Thurston \cite{LOT}.

2025-10-30T06:00:37Z Vincent Colin Ko Honda Yin Tian