https://arxiv.org/api/a0lmwQe+E3hGRx9bc1mHI3KnGRo 2026-06-21T18:00:54Z 10188 210 15 http://arxiv.org/abs/2604.10028v2 2026-04-19T01:00:17Z

We discuss arithmetic and Hodge-theoretic properties of the isomorphisms appearing in the decomposition theorem for quantum cohomology of blowups. These properties underpin the application to the rationality questions by Katzarkov-Kontsevich-Pantev-Yu.

2026-04-11T04:51:25Z 10 pages, v2: refined main results Hiroshi Iritani http://arxiv.org/abs/2604.17116v1 2026-04-18T19:20:36Z

Suppose that $γ\subset \mathbb{C}$ is a Jordan curve of diameter $2R$ which encloses a region of area $A$. We prove that there exists a subset $I \subset (0,π)$ of measure at least $A/R^2$ such that if $θ\in I$, then there exist four points on $γ$ at the vertices of a rectangle whose diagonals meet at angle $θ$.

2026-04-18T19:20:36Z Joshua Evan Greene Andrew Lobb http://arxiv.org/abs/2604.16698v1 2026-04-17T20:54:33Z

We establish existence of functorial orbifold reductions of singularities for Poisson subvarieties in smooth Poisson threefolds. Namely, we show that with enough weighted blowups, one can reduce the singularities of such Poisson subvarieties to certain simple, explicit, local normal forms: Du Val surface singularities where the Poisson structure is locally Jacobian, and plane curves lying in the vanishing locus of a particular linear Poisson structure. The proof combines Abramovich--Temkin--Włodarczyk and McQuillan's recent approach to resolution of singularities for varieties via weighted blowups with some new normal forms for three-dimensional Poisson brackets derived via Poisson cohomology. Along the way, we describe necessary and sufficient conditions for a polyvector field to lift to the weighted blowup of an orbifold along a suborbifold, generalizing criteria of Polishchuk for unweighted blowups of Poisson structures on smooth varieties.

2026-04-17T20:54:33Z 41 pages, 1 figure Simon Lapointe Mykola Matviichuk Brent Pym Boris Zupancic http://arxiv.org/abs/2507.11727v2 2026-04-17T16:27:03Z

This paper explores the geometry of the space of codimension-2 submanifolds. We implicitly represent these submanifolds by a class of complex-valued functions. We show that the space of all these implicit representations admits a prequantum bundle structure over the space of submanifolds, equipped with the well-known Marsden-Weinstein symplectic structure. This bundle allows a new geometric interpretation of the Marsden-Weinstein structure as the curvature of a connection form, which measures the average of volumes swept by the deformation of the S^1-family of hypersurfaces, defined as the phase level sets of the complex function implicitly representing a submanifold.

2025-07-15T20:54:27Z Albert Chern Sadashige Ishida http://arxiv.org/abs/2603.22065v2 2026-04-17T13:08:27Z

We prove that all geometric helices in the derived category of coherent sheaves on a del Pezzo surface are related by a sequence of elementary operations: rotation, shifting, orthogonal reordering, tensoring by a line bundle, and tilting. As a consequence, any two non-commutative crepant resolutions of the affine cone over a del Pezzo surface are related by mutations. The proof relies on a geometric interpretation of tilting operations as cluster transformations acting on toric models of a log Calabi--Yau surface mirror to the del Pezzo surface.

2026-03-23T14:58:11Z v2: minor corrections, exposition improved, references added. 38 pages, 1 figure. Comments welcome! Pierrick Bousseau http://arxiv.org/abs/2602.00550v2 2026-04-17T10:07:55Z

We propose a new class of sigma models based on Courant sigma models. We refer to these models as gauged Courant sigma models (GCSMs). By introducing additional gauge symmetries, such as those associated with a Lie group, a Lie groupoid (or Lie algebroid), and a Courant algebroid on the target space, Courant sigma models are extended to gauged sigma models of AKSZ type. The consistency of the theory is ensured by identities among geometric quantities on Lie algebroids and Courant algebroids, such as curvatures and torsions, which can be interpreted as flatness conditions on the target space. We also analyze geometric structures of GCSMs in the presence of fluxes and boundaries.

2026-01-31T06:26:47Z 47 pages Noriaki Ikeda http://arxiv.org/abs/2604.15192v1 2026-04-16T16:23:20Z

Symplectic and complex toric quasifolds are a generalization of toric manifolds and orbifolds to the nonrational case. In this paper, we reframe these notions from the viewpoint of algebraic geometry.

2026-04-16T16:23:20Z 29 pages, 5 figures Fiammetta Battaglia Elisa Prato http://arxiv.org/abs/2604.15087v1 2026-04-16T14:47:38Z

This article provides a survey of gauge theory for families, with a particular focus on its applications to diffeomorphism groups of $4$-manifolds that were developed during the period 2021--2025.

2026-04-16T14:47:38Z 27 pages. To appear in Sugaku Expositions. This article is an English translation of a Japanese survey article. It is also a slightly expanded version of the proceedings article for the 2025 Georgia International Topology Conference entitled "Diffeomorphism groups of 4-manifolds and gauge theory for families." Hokuto Konno http://arxiv.org/abs/2604.15071v1 2026-04-16T14:36:03Z

This article surveys gauge theory for families and its applications to the comparison between the diffeomorphism group and the homeomorphism group of $4$-manifolds, up to 2021.

2026-04-16T14:36:03Z 28 pages, to appear in Sugaku Expositions. This is an English translation of a Japanese survey article originally written in 2021, with only minimal modifications. Developments during the period 2021--2025 are covered in a separate survey article entitled "Diffeomorphism groups and gauge theory for families" Hokuto Konno http://arxiv.org/abs/2603.10819v2 2026-04-16T11:08:44Z

Courant algebroid relations are used to define notions of relations between Dirac structures and spinors. It is shown under which circumstances a spinor relation gives a Courant algebroid relation and how it descends to a relation between Dirac structures. A converse to this result is proved: a T-duality relation induces a spinor relation that links the Dirac generating operators defining T-dual Courant algebroids, generalising the isomorphism of twisted cohomology associated with topological T-duality. We introduce the notion of relation between generalised complex structures and characterise their reduction. We also define relations between generalised Kähler structures, and rephrase them in terms of bi-Hermitian structures which induce T-duality relations between $\mathcal{N}=(2,2)$ supersymmetric sigma-models. We prove existence results for T-dual structures, and demonstrate compatibility of T-duality relations with Type II supergravity equations.

2026-03-11T14:30:05Z 69 pages; v2: Comments and reference added Thomas C. De Fraja Vincenzo Emilio Marotta Richard J. Szabo http://arxiv.org/abs/2604.14835v1 2026-04-16T10:14:00Z

Singular Lagrangian fibrations arising from three-degree-of-freedom integrable Hamiltonian systems remain largely unexplored. While several results describe the global structure of large classes of systems with two degrees of freedom, only a few examples are understood in higher dimensions. We present a three-degree-of-freedom system derived from the two-spin Tavis-Cummings model whose singular Lagrangian fibration exhibits a topology that has not been observed in other physical models. We show that the most degenerate singular fiber is homeomorphic to $\mathbf{S}^2\times\mathbf{S}^1$ with a singularity of $A_2$ type. We further describe the bifurcation diagram and the global topology of the fibration, and we compute its Hamiltonian monodromy.

2026-04-16T10:14:00Z Konstantinos Efstathiou Gabriela Jocelyn Gutierrez-Guillen Pavao Mardešić Dominique Sugny http://arxiv.org/abs/2604.14464v1 2026-04-15T22:54:32Z

Given a thin torus $T_K$ around a knot $K\subset \mathbb{R}^3$, we construct Morse models of cord algebra $Cord(T_K)$ with $\mathbb{Z}$ and loop space coefficients. Using the Multiple time scale dynamics we identify $Cord(T_K; \mathbb{Z})$ with $Cord(K; \mathbb{Z})$. In combination with the works of Cieliebak-Ekholm-Latschev-Ng and Petrak this indirectly relates $Cord(T_K)$ to $0$-th degree Legendrian contact homology $LCH_0(\mathcal{L}^\ast_+ T_K)$ of one component of the unit conormal bundle over $T_K$. Our definition of $Cord(T_K)$ is motivated by $J$-holomorphic curves with boundary on the Lagrangian submanifold $L^\ast_+ T_K\cup\mathbb{R}^3$ with an arboreal singularity along the torus $T_K$.

2026-04-15T22:54:32Z PhD thesis Marián Poppr http://arxiv.org/abs/2401.02910v2 2026-04-14T20:24:28Z

We extend the Abreu-Guillemin theory of invariant Kähler metrics from toric symplectic manifolds to any symplectic manifold admitting a toric action of a symplectic torus bundle. We show that these are precisely the symplectic manifolds admitting a Lagrangian fibration with elliptic singularities. The base of such a toric Lagrangian fibration is a codimension 0 submanifold with corners of an integral affine manifold, called a Delzant subspace. This concept generalizes the Delzant polytope associated with a compact symplectic toric manifold. Given a Delzant subspace of finite type, we provide a Delzant-type construction of a Lagrangian fibration with the moment image being the specified Delzant subspace. We establish a 1:1 correspondence between invariant Kähler metrics and a pair consisting of an elliptic connection on the total space of the fibration and a hybrid $b$-metric on the base Delzant subspace, both with specified residues over the facets. Finally, we characterize extremal invariant Kähler metrics as those whose scalar curvature descends to an affine function on the base integral affine manifold. We show that this provides a method for finding and constructing extremal Kähler metrics.

2024-01-05T17:21:12Z Final version accepted for publication in Journal of Symplectic Geometry Rui Loja Fernandes Maarten Mol http://arxiv.org/abs/2604.13209v1 2026-04-14T18:33:40Z

We give a definition of all-genus reduced Gromov-Witten invariants of symplectic manifolds by using effectively supported multivalued perturbations on derived orbifold/Kuranishi charts, which bypasses the hard analytical result of sharp compactification/ghost bubble censorship of Zinger and Ekholm-Shende.

2026-04-14T18:33:40Z 65 pages Guangbo Xu http://arxiv.org/abs/2508.15443v4 2026-04-14T14:50:53Z

We prove a non Archimedean Darboux's Theorem: any two symplectic forms on a $p$-adic analytic manifold are locally isomorphic. Understanding local problems such as the existence of flows or the normalization of singularities in the theory of integrable systems, is essential to understand the physics behind these systems. Our result tells us that the phase space defined by a $p$-adic manifold is locally standard, allowing us to concentrate on the equations defining the dynamics rather than on the space itself. Our proof uses a non Archimedean version of Moser's Path Method to push one symplectic form onto another one by a flow. A central technical contribution of the paper is the proof that the flow is given by a power series with \emph{non zero radius of convergence}, which requires geometric analytic estimates and does not follow from algebraic considerations. As a global application, we derive a classification of second-countable $p$-adic analytic symplectic manifolds in terms of $p$-adic volume, which generalizes a classical theorem of J-P. Serre.

2025-08-21T11:04:56Z 34 pages, 8 figures. Presentation improved and further motivations added to the introduction, results unchanged Luis Crespo Álvaro Pelayo