Algebraic Geometry

AG-2026.04-2044

math.AG

Two-Valued Groups, Chazy Equation, Dubrovin-Frobenius Structures, and QYBE

Victor Buchstaber, Mikhail Kornev, Vladimir Rubtsov

We show that the associativity condition of the universal symmetric 2-algebraic 2-valued group defined by the Buchstaber polynomial admits several mutually equivalent interpretations from the viewpoints of the Chazy equation, Gauss-Manin connections, Dubrovin-Frobenius structures, and the quantum Yang-Baxter equation. These results place the universal 2-valued law in a unified framework linking geometry, algebraic topology, group theory, and mathematical physics.

AG-2026.04-930

math.AG

Interacting Multi-Node Conifold Light Sectors

Abdul Rahman

We study finite-node conifold degenerations of Calabi--Yau threefolds from the point of view of interacting light sectors. Although each ordinary double point contributes a rank-one local vanishing sector, the corrected global object need not assemble as a freely independent sum of nodewise pieces. Using the corrected perverse and mixed-Hodge-module degeneration package, the global gluing law for corrected extension classes, and the rigid-flexible atom decomposition on the \(F\)-bundle side, we define an interacting multi-node light-sector package and prove a block-reduced structure theorem. In the block-separated cycle family, the finite-node package separates into two logically distinct layers: relation collapse, controlled by a common relation lattice on the corrected-extension, smoothing, and resolution sides, and residual interaction among the surviving global sectors, controlled by a reduced block interaction matrix on the transport and atom sides. The result isolates the geometric and Hodge-theoretic precursor of coupled conifold light states and provides the mathematical input for a later multi-node reformulation of Strominger's conifold mechanism.

AG-2026.04-919

math.AG

From Finite-Node Conifold Geometry to BPS Structures II: Functorial Incidence and Quiver Assembly

Abdul Rahman

In previous work, we extracted the intrinsic finite algebraic state data of a finite-node conifold degeneration in the form $A_Σ:= (V_Σ,E_Σ,c_Σ)$, where $V_Σ$ is the finite node-indexed vertex set, $E_Σ$ is the nodewise coupling space, and $c_Σ$ is the coefficient vector of the corrected global extension class. The purpose of the present paper is to construct the corresponding interaction and incidence layer. Starting from the finite-node schober package $S_Σ:= (\mathcal C_{\mathrm{bulk}},\{\mathcal C_{p_k}\}_{k=1}^r,\{Φ_k,Ψ_k\}_{k=1}^r,Sh(S_Σ))$, we define the extended vertex set $V_Σ^{\mathrm{ext}} := V_Σ\sqcup \{v_{\mathrm{bulk}}\}$, the functorial coupling relation determined by the attachment functors, the resulting functorial incidence package $\mathfrak{I}_Σ:= (V_Σ^{\mathrm{ext}},\rightsquigarrow_Σ)$, and its canonical binary decategorification $\mathcal I_Σ:= (V_Σ^{\mathrm{ext}},I_Σ)$. From these data we assemble the finite quiver-theoretic package $\mathfrak Q_Σ:= (V_Σ,E_Σ,c_Σ,\mathcal F_Σ,I_Σ)$, where $\mathcal F_Σ:= \{(Φ_k,Ψ_k)\}_{k=1}^r$ is the functorial coupling datum. We prove that this package is canonically determined by the finite-node schober datum, compatible with the corrected perverse extension and its mixed-Hodge-module refinement, and invariant under equivalence of finite-node schober realizations. This yields the interaction and incidence layer required for later graded interaction, stability, BPS, and wall-crossing structures.

AG-2026.04-903

math.AG

From Finite-Node Conifold Geometry to BPS Structures I: Algebraic State Data

Abdul Rahman

Let $π:X\to Δ$ be a one-parameter degeneration whose central fiber $X_0$ is a complex threefold with finitely many ordinary double points $Σ=\{p_1,\dots,p_r\}\subset X_0$. Associated with this degeneration is the corrected finite-node perverse extension, together with its mixed-Hodge-module refinement and a finite-node schober datum whose perverse-sheaf shadow is identified with the corrected perverse sheaf $\mathcal P$. The purpose of the present paper is to extract from these finite-node geometric, extension-theoretic, mixed-Hodge, and categorical inputs the intrinsic algebraic state data carried by the degeneration. More precisely, we isolate the finite localized quotient $Q_Σ:=\bigoplus_{k=1}^r i_{k*}\Q_{\{p_k\}}$, the nodewise coupling space $E_Σ:=\Ext^1_{\Perv(X_0;\Q)}(Q_Σ,IC_{X_0})$, its canonical nodewise decomposition $E_Σ\cong\bigoplus_{k=1}^r \Q e_k$, and the coefficient vector $c_Σ=(c_1,\dots,c_r)\in\Q^r$ defined by $[\mathcal P]_{\mathrm{perv}}=\sum_{k=1}^r c_k e_k$. We then prove that these state variables are compatible with both the mixed-Hodge-module lift and the schober realization of $\mathcal P$, so that the same finite-node architecture appears simultaneously in perverse, mixed-Hodge, and categorical form. The resulting package $(V_Σ,E_Σ,c_Σ)$ is the intrinsic algebraic state data attached to the finite-node conifold degeneration. It provides the first algebraic layer in the passage from finite-node geometry to later incidence, quiver, stability, BPS-spectral, and wall-crossing structures.

AG-2026.04-868

math.AG

Hodge Atoms at Conifold Degenerations: F-Bundles, Limiting Mixed Hodge Modules, and the Rigid-Flexible Decomposition

Abdul Rahman

We extend the Hodge atoms framework of Katzarkov--Kontsevich--Pantev--Yu to one-parameter conifold degenerations of Calabi--Yau threefolds. For a degeneration $π\colon X \to Δ$ whose central fiber $X_0$ has $r$ ordinary double points, we construct a canonical rigid-flexible decomposition of the Hodge atoms of the nearby smooth fiber attached to the corrected degeneration object. The rigid atom $A(\IC^H_{X_0})$ is preserved across the degeneration, while the flexible atoms $A(i_{k*}\QQ^H_{\{p_k\}}(-1))$ are rank-one contributions, one for each vanishing cycle. The total degeneration atom $A(P^H)$ is the atom of the corrected mixed Hodge module $P^H\in\MHM(X_0)$ and fits into an exact sequence of atoms whose non-split structure is controlled by the intersection matrix $(\langleδ_i,δ_j\rangle)$. The technical core is the Stokes--Extension Identification, which identifies the Stokes matrix of the Dubrovin connection at the conifold locus with the matrix of the variation morphism $\varF\colon\varphi_π(F) \to ψ_π(F)$ under mixed Hodge module realization.

AG-2026.04-849

math.AG

Cycle Relations and Global Gluing in Multi-Node Conifold Degenerations

Abdul Rahman

We study projective one-parameter conifold degenerations whose central fiber has finitely many ordinary double points. Existing finite-node theory isolates one rank-one local sector per node on the perverse-sheaf, mixed-Hodge-module, and categorical sides, but does not determine which global extension classes are actually realized by geometry. We show that when the nodes are linked by common cycle geometry or homological relations, the corrected extension is not free nodewise data, but is forced into a smaller relation-controlled subspace. To formalize this, we introduce a cycle-node incidence datum and the associated geometrically realized subspace of the ambient nodewise extension space. Under geometrically admissible and block-adapted incidence hypotheses, we prove that the corrected perverse extension factors through this subspace, with incidence compatibility derived from propagation of local variation data along admissible cycle components, and we show that the same relation law lifts compatibly to the mixed-Hodge-module setting. We then compare this relation law with the resolution and smoothing sides and, in the block-separated cycle family, obtain $R_{\mathrm{res}}=R_{\mathrm{sm}}=R_{\mathrm{ext}}=R_{\mathrm{blk}}$.

AG-2026.04-800

math.AG

Lagrangian correspondences for moduli spaces of Higgs bundles and holomorphic connections

Panagiotis Dimakis, Duong Dinh, Shengjing Xu

On a compact connected Riemann surface $C$ of genus at least $2$, we construct Lagrangian correspondences between moduli spaces of rank-$n$ Higgs bundles (respectively, holomorphic connections) and the Hilbert schemes of points on $T^\ast C$ (respectively, the twisted cotangent bundles of $C$). Central to these constructions are Higgs bundles (respectively, holomorphic connections) which are transversal to line subbundles of the underlying bundles: these naturally induce divisors on $C$ together with auxiliary parameters, namely lifts to divisors on spectral curves for Higgs bundles and residue parameters of apparent singularities for holomorphic connections. We discuss the evidence showing that the Dolbeault geometric Langlands correspondence is generically realized by these Lagrangian correspondences; we expect that the de Rham geometric Langlands correspondence can be realized by their quantization, following Drinfeld's construction of Hecke eigensheaves. We also discuss the relations of our constructions to various topics, including reductions of Kapustin-Witten equations, the conformal limit, separation of variables, and degenerate fields in conformal field theories.

AG-2026.04-796

math.AG

Deformations of fibered Calabi--Yau varieties

Benjamin Bakker, Kristin DeVleming, Stefano Filipazzi, Radu Laza, Jennifer Li, Roberto Svaldi, Chengxi Wang, Junyan Zhao

Kollár showed that small deformations of elliptically fibered smooth $K$-torsion varieties with $H^2(X,\mathcal{O}_X)=0$ remain elliptically fibered. We extend this result to any fibered smooth $K$-torsion variety $X$ with $H^2(X,\mathcal{O}_X)=0$, using Hodge theoretic techniques and the $T^1$-lifting criterion of Kawamata--Ran. More generally, our strategy implies that even without the cohomological assumption, small deformations of a semiample line bundle on a smooth $K$-torsion variety remain semiample up to homological equivalence.

AG-2026.04-723

math.AG

Picard-Fuchs Equations of Twisted Differential forms associated to Feynman Integrals

Pierre Vanhove

Dimensionally or analytically regulated Feynman integrals lead to relative twisted period integrals. We present a recent extension of the Griffiths-Dwork pole reduction algorithm for deriving the D-module of differential operators acting on the twisted differential forms from Feynman integrals. We illustrate the application of this algorithm by providing twisted Picard-Fuchs operators for hypergeometric, elliptic and Calabi-Yau differential motives arising from families of Feynman integrals.

AG-2026.03-1121

math.AG

Landau Analysis in the Grassmannian

Benjamin Hollering, Elia Mazzucchelli, Matteo Parisi, Bernd Sturmfels

Momentum twistors for scattering amplitudes in particle physics are lines in three-space. We develop Landau analysis for Feynman integrals in this setting. The resulting discriminants and resultants are identified with Hurwitz and Chow forms of incidence varieties in products of Grassmannians. We study their degrees and factorizations, and the kinematic regimes in which the fibers of the Landau map are rational or real. Identifying this map with the amplituhedron map on positroid varieties, and the associated recursions with promotion maps, yields a geometric mechanism for the emergence of positivity and cluster structures in planar N=4 super Yang-Mills theory.

AG-2026.03-1107

math.AG

Bounds on the Mordell-Weil rank of elliptic fibrations

Antonella Grassi, Rick Miranda, Kapil Paranjape, Vasudevan Srinivas, Timo Weigand

We present two proofs for a bound on the rank of the Mordell-Weil group of some elliptic fibrations. The bounds apply to Calabi-Yau varieties, which are also of interest to the physics of string theory. We prove explicit bounds for Calabi-Yau threefolds, as predicted by physics, and give new explicit bounds for fourfolds under mild assumptions. These results motivate a conjecture for bounds in any dimensions.

AG-2026.03-1057

math.AG

Geometric helices on del Pezzo surfaces from tilting

Pierrick Bousseau

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.

AG-2026.03-731

math.AG

Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians

Duiliu-Emanuel Diaconescu, Mauro Porta, Francesco Sala, Olivier Schiffmann, Eric Vasserot

This paper provides the first algebraic characterization of an algebra of cohomological Hecke operators associated with modifications of coherent sheaves on a smooth surface $X$ along a fixed proper curve $Z \subset X$ (possibly singular and reducible), establishing a direct connection with Yangians. It is based on the theory of equivariant nilpotent cohomological Hall algebras $\mathbf{HA}^T_{X,Z}$, developed by the same authors. More precisely, let $X$ be a resolution of a Kleinian singularity (for example, $X = T^\ast\mathbb{P}^1$) and let $Z$ be the exceptional divisor. One of the main results of this paper is an explicit isomorphism $\mathbf{HA}^T_{X,Z} \simeq \mathbb{Y}^+_\infty$, where $\mathbb{Y}^+_\infty$ is a completed, nonstandard, positive half of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE Lie algebra $\mathfrak{g}$. Furthermore, the generators of $\mathbf{HA}^T_{X,Z}$--given by fundamental classes of substacks of zero-dimensional sheaves and of pushforwards of line bundles on $Z$--are expressed explicitly in terms of Yangian generators. Our main tools, which may be of independent interest, are: (i) a `continuity' theorem describing the behavior of cohomological Hall algebras of objects in the heart of $t$-structures $τ_n$ when the sequence $(τ_n)_n$ converges, in an appropriate sense, to a fixed $t$-structure $τ_\infty$; (ii) the definition of a multi-parameter Yangian $\mathbb{Y}_Q$ for an arbitrary quiver $Q$, given by generators and relations; (iii) a theorem relating the algebraic action of the braid group $B_Q$ on the Yangian $\mathbb{Y}_Q$ to the action of $B_Q$ on the equivariant 2-dimensional cohomological Hall algebra $\mathbf{HA}^T_Q$ of $Q$, where the latter can be described in terms of derived reflection functors of the bounded derived category of modules over the preprojective algebra of $Q$.

AG-2026.02-804

math.AG

Positive Charts of Toric Varieties

Veronica Calvo Cortes, Simon Telen

We construct affine charts of a smooth projective toric variety which contain its nonnegative points, and which admit a closed embedding into the total coordinate space of Cox's quotient construction. We show that such positive charts arise from smooth subcones of the nef cone. To each positive chart we associate an algebraic moment map, the fibers of which are the critical points of a monomial function in Cox coordinates. This work provides a toric framework for the theory of $u$-equations in positive geometry.

AG-2026.02-757

math.AG

Calabi-Yau complete intersections in fake weighted projective spaces

Marco Ghirlanda

We present a classification algorithm for Calabi-Yau complete intersections arising from nef-partitions in fake weighted projective spaces, allowing us to determine all such complete intersections up to dimension five. Furthermore, we compute the Hodge pairs of the $3$-dimensional families obtained, and find twenty new Hodge pairs not realized by any toric Calabi-Yau hypersurface. Finally, we provide an explicit characterization for the families of maximal codimension.

AG-2026.02-750

math.AG

Open enumerative geometries for Landau-Ginzburg models

Mark Gross, Tyler L. Kelly, Ran J. Tessler

We survey the recent progress in defining open enumerative theories for Landau-Ginzburg models. We illustrate the ideas required to develop these new foundations. In particular, we describe how to define the open enumerative invariants as integrals of multisections of certain vector bundles over a moduli space that is a real orbifold with corners, after prescribing boundary conditions for the multisections. We then explain the known situations where the open invariants satisfy certain forms of topological recursion relations, integrable hierarchies, or mirror symmetry. We end with a list of open questions and problems.

AG-2026.02-680

math.AG

Mock modularity of log Gromov--Witten Invariants: the mirror to $\mathbb{P}^2$

Hülya Argüz

We study modularity properties of generating series of logarithmic Gromov-Witten invariants of elliptic fibrations relative to singular fibers. Motivated by predictions from Vafa-Witten theory, we conjecture that such generating series are mock modular forms. We prove this conjecture for a large class of invariants of the rational elliptic surface mirror to $\mathbb{P}^2$, relative to a cycle of nine rational curves. The proof uses a correspondence between log Gromov-Witten invariants of the mirror and Vafa-Witten invariants of $\mathbb{P}^2$ established in previous work joint with Bousseau, together with known mock modularity results on the Vafa-Witten side.

AG-2026.02-677

math.AG

Vafa-Witten invariants from wall-crossing for framed sheaves

Noah Arbesfeld, Martijn Kool, Ties Laarakker

We consider the refined $\mathrm{SU}(r)$ Vafa-Witten partition function of a smooth projective surface with non-zero holomorphic 2-form. This partition function has a vertical contribution, expressible in terms of nested Hilbert schemes. First, we write the vertical contribution in terms of $χ_y$-genera of moduli spaces of framed sheaves on ${\mathbb P}^2$. Then, we state two wall-crossing identities for moduli spaces of framed sheaves: a blow-up formula due to Kuhn-Leigh-Tanaka and a new stable/co-stable wall-crossing formula. We prove the latter using the theory of mixed Hodge modules. We apply these identities to obtain constraints on Vafa-Witten invariants predicted by conjectures of Göttsche and the second- and third-named authors. For $r=2$, we obtain a proof of the vertical part of a celebrated formula by Vafa-Witten.

AG-2026.02-676

math.AG

Motivic invariants of moduli stacks of Higgs bundles and bundles with connections: results and speculations

Roman Fedorov, Alexander Soibelman, Yan Soibelman

We review some results and techniques from our papers devoted to the computation of motivic classes of stacks of parabolic Higgs budles and bundles with connections on a curve. In the last section we present some directions for future work, as well as some speculations. The latter include a generalization of the P=W conjecture inspired by the work of Maxim Kontsevich and the third author on the Riemann--Hilbert correspondence for complex symplectic manifolds as well as our running project on the motivic classes of the moduli stacks of nilpotent pairs on the formal disk and geometric Satake correspondence for double affine Grassmannians.

AG-2026.02-575

math.AG

The geometry of Nekrasov's gauge origami theory

Noah Arbesfeld, Martijn Kool, Woonam Lim

Nekrasov's gauge origami theory provides a (complex) 4-dimensional generalization of the ADHM quiver and its moduli spaces of representations. We describe the origami moduli space as the zero locus of an isotropic section of a quadratic vector bundle on a smooth space. This allows us to give an algebro-geometric definition of the origami partition function in terms of Oh--Thomas virtual cycles. The key input is the computation of a sign associated to each torus fixed point of the moduli space. Furthermore, we establish an integrality result and dimensional reduction formulae, and discuss an application to non-perturbative Dyson--Schwinger equations following Nekrasov's work. Finally, we conjecture a description of the origami moduli space in terms of certain 2-dimensional framed sheaves on $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$, which we verify at the level of torus fixed points.

AG-2026.01-854

math.AG

Quantum Entanglement Geometry on Severi-Brauer Schemes: Subsystem Reductions of Azumaya Algebras

Kazuki Ikeda

Quantum entanglement is a defining signature and resource of quantum theory, but its standard definition presupposes a globally fixed decomposition into subsystems. We develop a geometric framework that detects when such a decomposition cannot be globalized for twisted families of pure-state spaces. Using Severi--Brauer schemes associated to Azumaya algebras over a base scheme, we study pure-state entanglement in families of projective state spaces that are locally trivial but globally twisted. For a given factorization type, we show that the existence of a global locus of product states is equivalent to a reduction of the underlying projective linear torsor to the stabilizer of the corresponding Segre variety, so entanglement in families becomes a geometric obstruction to globalizing subsystem structure. We construct the moduli space of subsystem structures, identify it with a natural torsor quotient, and realize it as a locally closed locus in the relative Hilbert scheme, yielding a canonical compactification by degenerations of product-state loci. In the bipartite case, once a subsystem structure is chosen, the Schmidt-rank stratification globalizes to a flat filtration with base-change compatible incidence resolutions and fiberwise constant numerical invariants. We complement this with Brauer-theoretic constraints and explicit examples showing that reducibility can depend on the underlying torsor rather than only on the Brauer class, with an interpretation via entangling monodromy.

AG-2026.01-830

math.AG

Positive Genus Pairs from Amplituhedra

Joris Koefler, Dmitrii Pavlov, Rainer Sinn

A main conjecture in the field of Positive Geometry states that amplituhedra, which are certain semi-algebraic sets in the Grassmannian, are positive geometries. It is motivated by examples showing that the canonical forms of certain amplituhedra compute scattering amplitudes in particle physics. Beyond a small number of special cases, this conjecture is still open. In recent work, Brown and Dupont introduced a new framework, based on mixed Hodge theory, connecting canonical forms and de Rham cohomology via genus zero pairs. We give short proofs that the amplituhedron gives rise to a genus zero pair in the cases when it is known to be a positive geometry. However, in the general case we show that amplituhedra inside the Grassmannian give rise to pairs of strictly positive genus. We provide an explicit example of a genus one pair arising from a positive geometry in projective space, showing that having genus zero is not a necessary condition to be a positive geometry. Finally, we show that this positive geometry still gives rise to a genus zero pair in a different ambient variety.

AG-2026.01-770

math.AG

Non-Abelian Hodge Theory and Moduli Spaces of Higgs Bundles

Guillermo Gallego

This paper provides an introduction to non-abelian Hodge theory and moduli spaces of Higgs bundles on compact Riemann surfaces. We develop the moduli theory of vector bundles and Higgs bundles, establish the main correspondences of non-abelian Hodge theory, and interpret them through the hyperkähler structure on the Hitchin moduli space. We study the Hitchin fibration and its geometric properties, including SYZ mirror symmetry and topological mirror symmetry for type $\mathsf{A}$ Hitchin systems. As an illustration, we compute the Poincaré polynomial of the rank 2 moduli space and verify topological mirror symmetry in this case.

AG-2026.01-715

math.AG

Open $r$-spin theory in genus one, and the Gelfand-Dikii wave function

Ran J. Tessler, Yizhen Zhao

We construct the $g=1$ sector of the open $r$-spin theory, that is, an open $r$-spin theory on the moduli space of cylinders. This is the second construction of a $g>0$ open intersection theory, which includes descendents (the first is the all genus construction of the intersection theory on moduli of open Riemann surfaces with boundaries [23,30], whose $g=1$ case equals to the $r=2$ case of our construction). Unlike the construction of [30], in order to construct the $r$-spin cylinder theory we had to overcome the foundational problem of dimension jump loci, which in analogous closed theories has been treated using virtual fundamental class techniques, that are currently absent in the open setting. For this reason our construction is much more involved, and relies on the point insertion technique developed in [31,32]. We prove that the open $g=1$ potential equals, after a coordinate change, to the $g=1$ part of the Gelfand-Dikii wave function, thus confirming a conjecture of [7]. We also prove that our $g=1$ intersection numbers satisfy a $g=1$ recursion, also predicted in [7,15]. This recursion is the $g=1$ analogue of Solomon's famous $g=0$ Open WDVV equation [25], with descendents, and is also the universal $g=1$ recursion for $F$-Cohomological field theories [1]. Again, this is first geometric construction which is not the $g=1$ sector of [23,30], proven to satisfy this universal recursion.

AG-2026.01-695

math.AG

Symmetric quiver varieties and critical stable envelopes

Yalong Cao, Andrei Okounkov, Yehao Zhou, Zijun Zhou

Symmetric quiver varieties with potentials are natural generalizations of Nakajima quiver varieties, and their equivariant critical cohomologies provide more flexible settings for geometric representation theory and enumerative geometry. In this paper, we study their geometric properties and show that they behave like universally deformed Nakajima quiver varieties. Based on this, we provide a new proof of the existence of critical stable envelopes on them. Following an idea of Nakajima, we give a sheaf theoretic interpretation of critical stable envelopes by the hyperbolic restriction in the affinization of symmetric quiver varieties. The associativity of hyperbolic restrictions implies the triangle lemma of critical stable envelopes.

AG-2026.01-681

math.AG

Hilbert Polynomials of Calabi Yau Hypersurfaces in Toric Varieties and Lattice Points in Polytope Boundaries

Jonathan Weitsman

We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $Δ$ is given by a lattice point count in the polytope boundary $\partial Δ,$ just as the Hilbert polynomial of $M$ is known to be given by a lattice point count in the convex polytope $Δ.$ Our main tool is a computation of the Euler class in $K$-theory of the normal line bundle to the hypersurface $Z,$ in terms of the Euler classes of the divisors corresponding to the facets of the moment polytope. We observe a remarkable parallel between our expression for the Euler class and the inclusion-exclusion principle in combinatorics. To obtain our result we combine these facts with the known relation between lattice point counts in the facets of $Δ$ and the Hilbert polynomials of the smooth toric varieties corresponding to these facets.

AG-2025.12-1304

math.AG

Stable envelopes for critical loci

Yalong Cao, Andrei Okounkov, Yehao Zhou, Zijun Zhou

This is the first in a sequence of papers devoted to stable envelopes in critical cohomology and critical $K$-theory for symmetric GIT quotients with potentials and related geometries, and their applications to geometric representation theory and enumerative geometry. In this paper, we construct critical stable envelopes and establish their general properties, including compatibility with dimensional reductions, specializations, Hall products, and other geometric constructions. In particular, for tripled quivers with canonical cubic potentials, the critical stable envelopes reproduce those on Nakajima quiver varieties. These set up foundations for applications in subsequent papers.

AG-2025.12-1303

math.AG

On $GL(1|1)$ Higgs bundles

Anton M. Zeitlin

We investigate the moduli space of holomorphic $GL(1|1)$ Higgs bundles over a compact Riemann surface. The supergroup $GL(1|1)$, the simplest non-trivial example beyond abelian cases, provides an ideal setting for developing supergeometric analogues of classical results in Higgs bundle theory. We derive an explicit description of the moduli space and we study the analogue of the Narasimhan-Seshadri theorem as well as the nonabelian Hodge correspondence. Furthermore, we formulate and solve the corresponding Hitchin equations, demonstrating their compatibility with fermionic contributions. As a highlight, we discuss the related Hitchin system on $\mathbb{P}^1$ and its integrability.

AG-2025.12-1279

math.AG

q-Opers and Bethe Ansatz for Open Spin Chains I

Peter Koroteev, Myungbo Shim, Rahul Singh

In in a nutshell, the classical geometric $q$-Langlands duality can be viewed as a correspondence between the space of $(G,q)$-opers and the space of solutions of $^L\mathfrak{g}$ XXZ Bethe Ansatz equations. The latter describe spectra of closed spin chains with twisted periodic boundary conditions and, upon the duality, the twist elements are identified with the $q$-oper connections on a projective line in a certain gauge. In this work, we initiate the geometric study of Bethe Ansatz equations for spin chains with open boundary conditions. We introduce the space of $q$-opers whose defining sections are invariant under reflection through the unit circle in a selected gauge. The space of such reflection-invariant $q$-opers in the presence of certain nondegeneracy conditions is thereby described by the corresponding Bethe Ansatz problem. We compare our findings with the existing results in integrable systems and representation theory. This paper discusses the type-A construction leaving the general case for the upcoming work.

AG-2025.12-1271

math.AG

Wall-crossing for invariants of equivariant 3CY categories

Nikolas Kuhn, Henry Liu, Felix Thimm

We provide a wall-crossing framework for operational enumerative invariants of equivariant 3-Calabi--Yau categories arising from virtual cycles. The strategy follows ideas of Joyce's ``universal'' wall-crossing framework arXiv:2111.04694, using the authors' symmetrized pullback technique to preserve the symmetry of the (almost-perfect) obstruction theories throughout. As an application, we define and study wall-crossings of simple type between operational equivariant Donaldson--Thomas (DT), Pandharipande--Thomas (PT), and Bryan--Steinberg (BS) vertices. In particular, we give an explicit DT/PT descendent vertex correspondence in the Calabi--Yau limit. As another application, we construct and prove wall-crossing formulas for operational refined semistable Vafa--Witten invariants.

AG-2025.12-1259

math.AG

Resurgence and perverse sheaves

Mikhail Kapranov, Yan Soibelman

We propose a point of view on resurgence theory based on the study of perverse sheaves on the complex line carrying an algebraic structure with respect to additive convolution. In particular, we lift the concept of alien derivatives introduced originally by J. Écalle, to the framework of perverse sheaves and study its behavior under sheaf-theoretic convolution. The full fledged resurgence theory needs a (yet undeveloped) generalization of the concept of perverse sheaves allowing infinite, possibly dense, sets of singularities. We discuss possible approaches to defining such objects and some potential examples of them coming from Cohomological Hall Algebras, wall-crossing structures and Chern-Simons theory.

AG-2025.12-873

math.AG

On the Nonprojectedness of Supermoduli with Neveu-Schwarz and Ramond Punctures

Tianyi Wang

We study the supermoduli space $\mathfrak {M}_{g,n,2r}$ of Super Riemann Surfaces (SRS) of genus $g$, with $n$ Neveu-Schwarz punctures and $2r$ Ramond punctures. We improve the result of Donagi, Witten, and Ott by showing that the supermoduli space $\mathfrak M_{g,n,2r}$ is not projected if $g\geq n+5r+3$.

AG-2025.11-977

math.AG

Instantons on the Blown-up Surface and the Affine Vertex Algebra

Wei-Ping Li, Qingyuan Jiang, Yu Zhao

Vafa-Witten observed that Yoshioka's blow-up formula for the Euler characteristics of rank $r$ instantons on an algebraic surface coincides with the character of the Wess-Zumino-Witten model for $\mathrm{SU}(r)$ at level $1$, and raised the question of finding a rational conformal field theory explanation for this striking coincidence. In this work, we provide an answer to this question by constructing and analyzing the affine $\mathrm{gl}_r$ action on various cohomology theories, including the Grothendieck group of coherent sheaves, Hochschild homology, Chow groups, and Hodge cohomology, of the moduli space of stable sheaves on a blown-up surface. A key ingredient in our proof is a representation-theoretic reformulation of the theory of Grassmannians of Tor-amplitude $[0,1]$-perfect complexes studied by the first-named author in terms of the spin representation of the finite-dimensional Clifford algebra. This may be viewed as a finite analog of the question of Vafa-Witten via the Boson-Fermion correspondence.

AG-2025.11-844

math.AG

Cluster algebra and quasimap quantum cohomology

Yingchun Zhang, Zijun Zhou

We apply the abelianization technique to obtain an explicit ring presentation for the quasimap quantum cohomology of GIT quotients. As an application, for quiver varieties associated with oriented-acyclic quivers, we establish a cluster algebra structure on their equivariant quasimap quantum cohomology rings.

AG-2025.11-804

math.AG

Kleinian orbifolds, Cohomological Hall Algebras, and Yangians

Francesco Sala, Olivier Schiffmann, Parth Shimpi

We establish, for each orbifold crepantly resolving a Kleinian singularity, the existence of the cohomological Hall algebra (COHA) of coherent sheaves supported on the exceptional locus and explicitly compute this COHA as a completion of some positive half of the associated affine Yangian. Tracking these categories under derived autoequivalences and the McKay correspondence, we show that (1) every point in Bridgeland's space of stability conditions on the resolution arises from a Kleinian orbifold, and (2) every positive half of the affine Yangian can be recovered from the COHA associated to some such stability condition. This provides the first example of a family of (pointwise) COHAs defined over the space of stability conditions.

AG-2025.10-1089

math.AG

Association Rules Machine Learning complete intersection Calabi-Yau 5-Folds and 6-Folds

Kaniba Mady Keita

Association rule machine learning is applied to the dataset of complete intersection Calabi--Yau 5-folds and 6-folds in order to uncover hidden patterns among their Hodge numbers. These Hodge numbers -- six for the 5-folds and nine for the 6-folds -- serve as the items in our analysis. For the 5-folds, we discover 60 significant association rules. For example, within the dataset, if $h_{1,3} = 0$ and $h_{2,2} = 5$, then $h_{1,1} = 3$ with 99.43\% confidence. Similarly, if $h_{2,1} = 0$, $h_{1,3} = 0$, and $h_{2,2} = 5$, then $h_{1,1} = 3$ with 99.42\% confidence. For the 6-folds, we identify 160 association rules across a dataset of 1,482,022 examples. A particularly striking observation is that $h_{1,2} = h_{1,3} = h_{1,4} = h_{2,3} = 0$ for all entries in this dataset. These types of association rules are especially valuable because the Hodge numbers of complete intersection Calabi--Yau 5-folds have only been computed for approximately 53 percent of the dataset, while those of 6-folds remain largely undetermined. The discovered patterns provide predictive insights that can guide future computations and theoretical developments.

AG-2025.10-1059

math.AG

Border Bases in the Rational Weyl Algebra

Carlos Rodriguez, Anna-Laura Sattelberger

Border bases are a generalization of Gröbner bases for zero-dimensional ideals in polynomial rings. In this article, we introduce border bases for a non-commutative ring of linear differential operators, namely the rational Weyl algebra. We elaborate on their properties and present algorithms to compute with them. We apply this theory to represent integrable connections as cyclic $D$-modules explicitly. As an application, we visit differential equations behind a string, a Feynman as well as a cosmological integral. We also address the classification of particular $D$-ideals of a fixed holonomic rank, namely the case of linear PDEs with constant coefficients as well as Frobenius ideals. Our approach rests on the theory of Hilbert schemes of points in affine space.

AG-2025.10-1026

math.AG

Integrals of stable envelopes for cotangent bundles to Grassmannians

Matthew Crawford, Pavan Kartik, Reese Lance

We consider cohomological stable envelopes for a natural torus action $\mathsf{T}$ on $X=T^*Gr(k,n)$, introduced by Maulik-Okounkov. We define the $\mathbb{C}^*_\hbar$-equivariant integral of the stable envelope using equivariant localization over the subtorus $\mathbb{C}^*_\hbar\subset\mathsf{T}$, and compute the integral as a non-equivariant limit of the localization over the full torus, $\mathsf{T}$. The integral of such a class is an integer times a power of $\hbar$, and the main result of this paper is a combinatorial formula for these integers. In 3d mirror symmetry, these non-equivariant limits are expected to reflect some curve counting phenomena on the 3d mirror dual, $X^\vee$. When $k=1$, we obtain the binomial coefficients, and we study some of the combinatorics of the integers for higher $k$, which haven't appeared in the literature before. We give some conjectures and interpretations on extending this phenomena to type A quiver and bow varieties.

AG-2025.10-931

math.AG

Some Identities For Periods of Hulek-Verrill Threefolds

Xenia de la Ossa, Mohamed Elmi

We study the Hulek--Verrill families of Calabi--Yau threefolds. They are birationally equivalent to fibred products of elliptic surfaces, so we expect to be able to compute periods on these threefolds by integrating products of elliptic periods over a contour on $\mathbb{P}^1$. We numerically verify this in several examples. This article was submitted to MATRIX Annals (2024) for inclusion in the proceedings of the conference "The Geometry of Moduli Spaces in String Theory", held 2--13 September 2024.

AG-2025.10-867

math.AG

A q-analogue of Mirzakhani's recursion for Weil-Petersson volumes

Norman Do, Paul Norbury

We define q-analogues of Mirzakhani's recursion for Weil-Petersson volumes and the Stanford-Witten recursion for super Weil-Petersson volumes. Okuyama recently introduced a q-deformation of the Gaussian Hermitian matrix model which produces quasi-polynomials that recover the Weil-Petersson volumes via a rescaled q to 1 limit. The q-deformations of the Weil-Petersson volumes produced here agree with the top degree terms of Okuyama's quasi-polynomials and suggest a variation of Okuyama's methods to the super setting.

AG-2025.10-727

math.AG

Fibering out Calabi-Yau motives

Kilian Bönisch, Vasily Golyshev, Albrecht Klemm

We prove the modularity of mixed periods associated with singular fibers of specific families of Calabi-Yau threefolds. This is done by "fibering out", i.e. by expressing these periods as integrals of periods of families of K3 surfaces and by using modularity properties of the latter. Besides classical periods of holomorphic modular forms and meromorphic modular forms with vanishing residues, the computations lead to new interesting periods associated with meromorphic modular forms with non-vanishing residues as well as contours between CM points.

AG-2025.09-1096

math.AG

Enumeration of Elliptic Curves via Elliptic Gromov-Witten Invariants of Four Dimensional Projective Fano Hypersurfaces

Masao Jinzenji, Ken Kuwata

In this paper, we propose a conjecture that clarifies the relationship between the number of degree d elliptic curves in complex four-dimensional projective Fano hypersurfaces and their degree d elliptic Gromov-Witten (GW) invariants. The elliptic GW invariants are computed using the elliptic virtual structure constants proposed in our previous works.

AG-2025.09-1025

math.AG

Conifold gap and all-genus mirror symmetry for local $\mathbb{P}^2$

Andrea Brini

The Conifold Gap Conjecture asserts that the polar part of the Gromov-Witten potential of a Calabi-Yau threefold near its conifold locus has a universal expression described by the logarithm of the Barnes $G$-function. In this paper, I prove the Conifold Gap Conjecture for the local projective plane. The proof relates the higher genus conifold Gromov-Witten generating series of local $\mathbb{P}^2$ to the thermodynamics of a certain statistical mechanical ensemble of repulsive particles on the positive half-line. As a corollary, this establishes the all-genus mirror principle for local $\mathbb{P}^2$ through the direct integration of the BCOV holomorphic anomaly equations.

AG-2025.09-1022

math.AG

A D-brane fantasy on noncommutative mirror symmetry, prelude: Noncommutative ringed spaces from local noncommutative crepant resolutions of a singular Calabi-Yau space, dynamical D-branes thereupon, and questions beyond

Chien-Hao Liu, Shing-Tung Yau

In contrast to the world-sheet of a fundamental string, the world-volume of stacked D-branes carries an Azumaya noncommutative structure ([L-Y1: Sec.\ 2] (D(1))), allowing it to directly serve as a probe into noncommutative target-spaces. This feature leads to a D-brane fantasy: {\it Noncommutative Mirror Symmetry between noncommutative Calabi-Yau spaces may be realized as different realizations of a supersymmetric D-brane world-volume quantum field theory exactly like the string world-sheet aspect for Mirror Symmetry between (commutative) Calabi-Yau manifolds}. Driven by this fantasy, in the current notes a class of noncommutative ringed spaces shadowing over a $C^\infty$-manifold with corners are constructed from gluing local noncommutative crepant resolutions of Gorenstein isolated singularities. Dynamical D-branes on such noncommutative target-spaces are realized as maps/morphisms from an Azumaya manifold with a fundamental module with a connection $\nabla$ thereto. The notion of $\nabla$-adjusted kinetic energy for such a map is given via the basic noncommutative differential calculus developed earlier in [L-Y4] (D(11.1)). This provides an action functional for dynamical D-branes on such noncommutative spaces in parallel to the Polyakov action functional for fundamental bosonic strings on a commutative target-space. This sets up a basic stage to begin with for the realization of the D-brane fantasy on Noncommutative Mirror Symmetry. Questions beyond are sampled along the discussion.

AG-2025.09-939

math.AG

Multiplicative Hitchin fibrations and Langlands duality

Guillermo Gallego

We identify pairs of (twisted) multiplicative Hitchin fibrations which are "dual" in the sense that their bases are identified and their generic fibres are dual Beilinson $1$-motives. More precisely, we match the following: (1) an untwisted multiplicative Hitchin fibration associated with a simply-laced semisimple group $G$ with an untwisted multiplicative Hitchin fibration associated with the Langlands dual group $G^\vee$; (2) a twisted multiplicative Hitchin fibration associated with a simply-laced and simply-connected semisimple group $G$, without factors of type $\mathsf{A}_{2\ell}$, and a diagram automorphism $θ\in \mathrm{Aut}(G)$ with an untwisted multiplicative Hitchin fibration associated with the Langlands dual group $H^\vee$ of the invariant group $H=G^θ$; (3) two twisted multiplicative Hitchin fibrations associated with $G=\mathrm{SL}_{2\ell +1}$ and two special automophisms of order $2$ and $4$, respectively. These results are consistent with a conjecture of Elliott and Pestun (arXiv:1812.05516).

AG-2025.09-842

math.AG

Parke-Taylor varieties

Benjamin Hollering, Dmitrii Pavlov

Parke-Taylor functions are certain rational functions on the Grassmannian of lines encoding MHV amplitudes in particle physics. For $n$ particles there are $n!$ Parke-Taylor functions, corresponding to all orderings of the particles. Linear relations between these functions have been extensively studied in the last years. We here describe all non-linear polynomial relations between these functions in a simple combinatorial way and study the variety parametrized by them, called the Parke-Taylor variety. We show that the Parke-Taylor variety is linearly isomorphic to the log canonical embedding of the moduli space $\overline{\mathcal{M}}_{0,n}$ due to Keel and Tevelev, and that the intersection with the algebraic torus recovers the open part, $\mathcal{M}_{0,n}$. We give an explicit description of this isomorphism. Unlike the log canonical embedding, this Parke-Taylor embedding respects the symmetry of the $n$ marked points and is constructed in a single-step procedure, avoiding the intermediate embedding into a product of projective spaces.

AG-2025.08-954

math.AG

The Dolbeault geometric Langlands conjecture via limit categories

Tudor Pădurariu, Yukinobu Toda

We introduce limit categories for cotangent stacks of smooth stacks as an effective version of classical limits of categories of D-modules on them. We develop their general theory and pursue their relation with categories of D-modules. In particular, we establish the functorial properties of limit categories such as the smooth pull-back and projective push-forward. Using the notion of limit categories, we propose a precise formulation of the Dolbeault geometric Langlands conjecture, proposed by Donagi-Pantev as the classical limit of the de Rham geometric Langlands equivalence. It states an equivalence between the derived categories of moduli stacks of semistable Higgs bundles and limit categories of moduli stacks of all Higgs bundles. We prove the existence of a semiorthogonal decomposition of the limit category into quasi-BPS categories, which are categorical versions of BPS invariants on a non-compact Calabi-Yau 3-fold. This semiorthogonal decomposition is interpreted as a Langlands dual to the semiorthogonal decomposition constructed in our previous work on the category of coherent sheaves on the moduli stack of semistable Higgs bundles. We also construct Hecke operators on limit categories for Higgs bundles. They are expected to be compatible with Wilson operators under our formulation of Dolbeault geometric Langlands conjecture. The conjectured equivalence implies an equivalence between BPS categories for semistable Higgs bundles, which we expect to be a categorical version of the topological mirror symmetry conjecture for Higgs bundles by Hausel-Thaddeus.

AG-2025.08-911

math.AG

A new spin on polynomial relations among kappa classes

Alexander Alexandrov, Boris Bychkov, Petr Dunin-Barkowski, Maxim Kazarian, Sergey Shadrin

We prove a recent conjecture of the fourth named author with P. Norbury that states a system of universal polynomial relations among the kappa classes on the moduli spaces of algebraic curves. The proof involves localization and materialization analysis of the spin Gromov-Witten theory of the projective line and is dictated by $\mathbb{Z}_2$-equivariant topological recursion.

AG-2025.08-802

math.AG

Coulomb branch localization, quasimaps, and surface counting in Calabi--Yau fourfolds

Duiliu-Emanuel Diaconescu, Nicolo Piazzalunga

We present a string theoretic approach to surface counting in local Calabi--Yau fourfolds via supersymmetric localization in topologically twisted four-dimensional gauge theories. This approach is based on a spectral correspondence between PT1-stable pairs on local fourfolds and twisted quasimaps with fixed two-dimensional domain associated to the ADHM quiver, or, equivalently, ADHM sheaves. For local toric fourfolds, we derive a conjectural residue formula for the K-theoretic quasimap partition function via Coulomb branch localization. As a result, in this case, we obtain a conjectural prescription fixing all usual sign ambiguities in the equivariant computation of such invariants. We present some explicit computations for local P2, extending the results available in the literature, and describe the formalism in general. This is the first instance of Coulomb branch localization for a quasimap theory in the context of four-dimensional gauge theories.

AG-2025.07-1069

math.AG

Donaldson-Thomas invariants of $[\mathbb C^4/\mathbb Z_r]$

Xiaolong Liu

We compute the zero-dimensional Donaldson-Thomas invariants of the quotient stack $[\mathbb{C}^4/\mathbb{Z}_r]$, confirming a conjecture of Cao-Kool-Monavari. Our main theorem is established through an orbifold analogue of Cao-Zhao-Zhou's degeneration formula combined with the zero-dimensional Donaldson-Thomas invariants for $\mathcal{A}_{r-1}\times\mathbb{C}^2$ and an explicit determination of orientations of Hilbert schemes of points on $[\mathbb{C}^4/\mathbb{Z}_r]$.

AG-2025.07-805

math.AG

Spectral networks for polynomial cubic differentials

Omar Kidwai, Guillaume Tahar

We study cubic differentials and their spectral networks on Riemann surfaces, focusing on the polynomial case on the Riemann sphere. We introduce the notion of spectral core as the primary tool for our study, refining the classical notion of core in the theory of flat surfaces, and show that it controls the birthing process of spectral network trajectories. As an application, we completely characterize the polynomial cubic differentials having saddle connections or critical tripods when the degree $d$ is at most $3$; in particular, we obtain the relevant degenerations as the phase is varied and determine explicitly the wall-and-chamber structure. In this case, we obtain the BPS structure according to Gaiotto-Moore-Neitzke's algorithm, and verify that it satisfies the Kontsevich-Soibelman wall-crossing formula. In physics language, this corresponds to computing the BPS spectrum of a certain four-dimensional $\mathcal{N}=2$ quantum field theory, known as the $(A_{2},A_{d-1})$ generalized Argyres-Douglas theory.

AG-2025.07-708

math.AG

Proof of a magnificent conjecture

M. Kool, J. V. Rennemo

Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to $r$-tuples of solid partitions and conjectured a formula for their weighted generating function. We define $K$-theoretic virtual invariants of Quot schemes of 0-dimensional quotients of $\mathcal{O}_{\mathbb{C}^4}^{\oplus r}$ by realizing them as zero loci of isotropic sections of orthogonal bundles on non-commutative Quot schemes. Via the Oh-Thomas localization formula, we recover Nekrasov-Piazzalunga's weights and derive their sign rule. Our proof passes through refining the $K$-theoretic invariants to sheaves and describing them via Clifford modules, which lets us show that they arise from a factorizable sequence of sheaves in the sense of Okounkov. Taking limits of the equivariant parameters, we then deduce the Nekrasov-Piazzalunga conjecture from its 3-dimensional analog.

AG-2025.07-677

math.AG

Adjoints of Polytopes: Determinantal Representations and Smoothness

Clemens Brüser, Mario Kummer, Dmitrii Pavlov

In this article we study determinantal representations of adjoint hypersurfaces of polytopes. We prove that adjoint polynomials of all polygons can be represented as determinants of tridiagonal symmetric matrices of linear forms with the matrix size being equal to the degree of the adjoint. We prove a sufficient combinatorial condition for a surface in the projective three-space to have a determinantal representation and use it to show that adjoints of all three-dimensional polytopes with at most eight facets and a simple facet hyperplane arrangement admit a determinantal representation. This includes all such polytopes with a smooth adjoint. We demonstrate that, starting from four dimensions, adjoint hypersurfaces may not admit linear determinantal representations. Along the way we prove that, starting from three dimensions, adjoint hypersurfaces are typically singular, in contrast to the two-dimensional case. We also consider a special case of interest to physics, the ABHY associahedron. We construct a determinantal representation of its universal adjoint in three dimensions and show that in higher dimensions a similarly structured representation does not exist.

AG-2025.07-663

math.AG

Boundedness of some fibered K-trivial varieties

Philip Engel, Stefano Filipazzi, François Greer, Mirko Mauri, Roberto Svaldi

We prove that irreducible Calabi-Yau varieties of a fixed dimension, admitting a fibration by abelian varieties or primitive symplectic varieties of a fixed analytic deformation class, are birationally bounded. We prove that there are only finitely many deformation classes of primitive symplectic varieties of a fixed dimension, admitting a Lagrangian fibration. We also show that fibered Calabi-Yau 3-folds are bounded. Conditional on the generalized abundance or hyperkähler SYZ conjecture, our results prove that there are only finitely many deformation classes of hyperkähler varieties, of a fixed dimension, with $b_2 \geq 5$.

AG-2025.06-1111

math.AG

Hyperbolic localization in Donaldson-Thomas theory

Pierre Descombes

In this paper we prove a toric localization formula in the cohomological Donaldson-Thomas theory. Consider a (-1)-shifted symplectic algebraic space with a $\mathbb{G}_m$-action leaving the (-1)-shifted symplectic form invariant (typical examples are the moduli space of stable sheaves or complexes of sheaves on a Calabi-Yau threefold with a $\mathbb{G}_m$-invariant Calabi-Yau form or the intersection of two $\mathbb{G}_m$-invariant Lagrangians in a symplectic space with a $\mathbb{G}_m$-invariant symplectic form). In this case we express the restriction of the Donaldson-Thomas perverse sheaf (or monodromic mixed Hodge module) defined by Joyce et al. to the attracting variety as a sum of cohomological shifts of the DT perverse sheaves on the $\mathbb{G}_m$-fixed components. This result can be seen as a (-1)-shifted version of the Bialynicki-Birula decomposition for smooth schemes. We obtain our result from a similar formula for stacks and Halpern-Leistner's Theta-correspondence, at the level of perverse Nori motives, which we use also to derive foundational constructions in DT theory, in particular the Kontsevich-Soibelman wall crossing formula and the construction of the Cohomological Hall Algebra for smooth projective Calabi-Yau threefolds (a similar construction of the CoHA was also done independently by Kinjo, Park, and Safronov in a recent work). This paper subsumes the previous paper "Hyperbolic localization of the Donaldson-Thomas sheaf" from the same author.

AG-2025.06-1097

math.AG

On the mirrors of low-degree del Pezzo surfaces

Giulia Gugiatti, Franco Rota

We compare different constructions of mirrors of del Pezzo surfaces, focusing on degree $d \leq 3$. In particular, we extract Lefschetz fibrations, with associated exceptional collections, from the mirrors obtained via the Hori-Vafa and Fanosearch program constructions, which we relate to one another. We show with geometric methods that the Lefschetz fibrations define categorical mirrors. With a more explicit approach, we give a sequence of (numerical) mutations relating the exceptional collections considered by Auroux, Katzarkov, and Orlov with those arising in this paper. This uses the theory of surface-like pseudolattices, and extends some of the string junction results of Grassi, Halverson and Shaneson. Our argument lifts directly to an equivalence of certain Fukaya-Seidel categories arising from our fibrations and those of Auroux, Katzarkov, and Orlov.

AG-2025.06-959

math.AG

The refined local Donaldson-Thomas theory of curves

Sergej Monavari

We solve the $K$-theoretically refined Donaldson-Thomas theory of local curves. Our results avoid degeneration techniques, but rather exploit direct localisation methods to reduce the refined Donaldson-Thomas partition function to the equivariant intersection theory of skew nested Hilbert schemes on smooth projective curves. We show that the latter is determined, for every Young diagram, by three universal series, which we compute in terms of the 1-leg $K$-theoretic equivariant vertex. In the refined limit, our results establish a formula for the refined topological string partition function of local curves proposed by Aganagic-Schaeffer. In the second part, we show that analogous structural results hold for the refined Pandharipande-Thomas theory of local curves. As an application, we deduce the K-theoretic DT/PT correspondence for local curves in arbitrary genus, as conjectured by Nekrasov-Okounkov. Thanks to the recent machinery developed by Pardon, we expect our explicit results on local curves to play a key role towards the proof of the refined GW/PT conjectural correspondence of Brini-Schuler for all smooth Calabi-Yau threefolds.

AG-2025.06-828

math.AG

Positive Geometry of Polytopes and Polypols

Simon Telen

These are lecture notes supporting a minicourse taught at the Summer School in Total Positivity and Quantum Field Theory at CMSA Harvard in June 2025. We give an introduction to positive geometries and their canonical forms. We present the original definition by Arkani-Hamed, Bai and Lam, and a more recent definition suggested by work of Brown and Dupont. We compute canonical forms of convex polytopes and of quasi-regular polypols, which are nonlinear generalizations of polygons in the plane. The text is a collection of known results. It contains many examples and a list of exercises.

AG-2025.06-771

math.AG

BPS polynomials and Welschinger invariants

Hülya Argüz, Pierrick Bousseau

We generalize Block-Göttsche polynomials, originally defined for toric del Pezzo surfaces, to arbitrary surfaces. To do this, we show that these polynomials arise as special cases of BPS polynomials, defined for any surface $S$ as Laurent polynomials in a formal variable $q$ encoding the BPS invariants of the $3$-fold $S \times \mathbb{P}^1$. We conjecture that for surfaces $S_n$ obtained by blowing up $\mathbb{P}^2$ at $n$ general points, the evaluation of BPS polynomials at $q=-1$ yields Welschinger invariants, given by signed counts of real rational curves. We prove this conjecture for all surfaces $S_n$ with $n \leq 6$.

AG-2025.05-1240

math.AG

Moduli of stable supermaps

Ugo Bruzzo, Daniel Hernández Ruipérez

We review the notion of stable supermap from SUSY curves to a fixed target superscheme, and prove that when the target is (super)projective, stable supermaps are parameterized by a Deligne-Mumford superstack with superschematic and separated diagonal. We characterize the bosonic reduction of this moduli superstack and see that it has a surjective morphism onto the moduli stack of stable maps from spin curves to the bosonic reduction of the target, whose fibers are linear schemes; for this reason, the moduli superstack of stable supermaps is not proper unless such linear schemes reduce to a point. Using Manin-Penkov-Voronov's super Grothendieck-Riemann-Roch theorem we also make a formal computation of the virtual dimension of the moduli superstack, which agrees with the characterization of the bosonic reduction just mentioned and with the dimension formula for the case of bosonic target existing in the literature.

AG-2025.05-1201

math.AG

Explicit classes in Habiro cohomology

Stavros Garoufalidis, Campbell Wheeler

We propose a cycle description of the Habiro cohomology of a smooth variety $X$ over the spectrum $B$ of an étale $Z[λ]$-algebra and construct explicit nontrivial cycles using either the Picard-Fuchs equation on $X/B$ of a hypergeometric motive, or a push-forward of elements of the Habiro ring of $X/B$. In particular, we give explicit classes for 1-parameter Calabi--Yau families. The $q$-hypergeometric origin of our cycles imply that they generate $q$-holonomic modules that define $q$-deformations of the classical Picard-Fuchs equation. We illustrate our theorems with three examples: the Legendre family of elliptic curves, the $A$-polynomial curve of the figure eight knot, and for the quintic three-fold, whose $q$-Picard Fuchs equation appeared in its genus $0$-quantum $K$-theory. Our methods give a unified treatment of quantum $K$-theory and complex Chern-Simons theory around higher dimensional critical loci.

AG-2025.05-1103

math.AG

Hypergeometric Discriminants

Saiei-Jaeyeong Matsubara-Heo

Given a family of varieties, the Euler discriminant locus distinguishes points where Euler characteristic differs from its generic value. We introduce a hypergeometric system associated with a flat family of very affine locally complete intersection varieties. It is proven that the Euler discriminant locus is its singular locus and is purely one-codimensional unless it is empty. Of particular interest is a family of very affine hypersurfaces. We coin the term hypergeometric discriminant for the characteristic cycle of the hypergeometric system and establish a formula in terms of likelihood equations.

AG-2025.05-1050

math.AG

Chern-Simons Theory, Holography and Topological Strings

Cumrun Vafa

In this note we present a brief overview of connections between Chern-Simons theory and topological strings. A prominent role in this link has been played by large N dualities and holography. We demystify this by explaining why the Kahler form should be viewed as dual to the field strength associated with a 3-form gauge potential, sourced by Lagrangian D-branes. We explain how this leads to the computation of topological string amplitudes in terms of topological vertex for toric Calabi-Yau threefolds. Furthermore, applications of topological strings to a conceptual derivation of Skein relations for link invariants as well as some of its physical applications to black hole physics are also reviewed.

AG-2025.04-1181

math.AG

Tracking the symmetries of $\mathbb Z_3$-orbifold K3s within the Mathieu groups

Kasia Budzik, Anne Taormina, Mara Ungureanu, Katrin Wendland, Ida G. Zadeh

For $\mathbb Z_3$-orbifold limits of K3, we provide a counterpart to the extensive studies by Nikulin and others of the geometry and symmetries of classical Kummer surfaces. In particular, we determine the group of holomorphic symplectic automorphisms of $\mathbb Z_3$-orbifold limits of K3. We moreover track this group within two of the Mathieu groups, which involves a variation of Kondo's lattice techniques that Taormina and Wendland introduced earlier in their study of the symmetries of Kummer surfaces and the genesis of their symmetry surfing programme. Specifically, we realise the finite group of symplectic automorphisms of this class of K3 surfaces as a subgroup of the sporadic groups Mathieu 12 and Mathieu 24 in terms of permutations of 12, resp. 24 elements. As a proof of concept, we construct an embedding that yields the largest Mathieu group when the symmetry group of $\mathbb Z_3$-orbifold K3s is combined with all symmetries of Kummer surfaces.

AG-2025.04-1153

math.AG

Elliptic Virtual Structure Constants and Gromov-Witten Invariants for Complete Intersections in Weighted Projective Space

Masao Jinzenji, Ken Kuwata

In this paper, we generalize our formalism of the elliptic virtual structure constants to hypersurfaces and complete intersections within certain weighted projective spaces possessing a single Kähler class.

AG-2025.04-1105

math.AG

$QQ$-systems and tropical geometry

Rahul Singh, Anton M. Zeitlin

We investigate the system of polynomial equations, known as $QQ$-systems, which are closely related to the so-called Bethe ansatz equations of the XXZ spin chain, using the methods of tropical geometry.

AG-2025.04-934

math.AG

Toric Amplitudes and Universal Adjoints

Simon Telen

A toric amplitude is a rational function associated to a simplicial polyhedral fan. The definition is inspired by scattering amplitudes in particle physics. We prove algebraic properties of such amplitudes and study the geometry of their zero loci. These hypersurfaces play the role of Warren's adjoint via a dual volume interpretation. We investigate their Fano schemes and singular loci via the nef cone and toric irrelevant ideal of the fan.

AG-2025.03-1227

math.AG

Geometrical Proof of Generalized Mirror Transformation for Multi-Point Virtual Strucutre Constants of Projective Hypersurfaces

Masao Jinzenji

In this paper, we propose a geometric proof of the generalized mirror transformation for multi-point virtual structure constants of degree k hypersurfaces in CP^{N-1}.

AG-2025.03-1217

math.AG

Orthosymplectic Donaldson-Thomas theory

Chenjing Bu

We construct and study Donaldson-Thomas invariants counting orthogonal and symplectic objects in linear categories, which are a generalization of the usual Donaldson-Thomas invariants from the structure groups $\mathrm{GL} (n)$ to the groups $\mathrm{O} (n)$ and $\mathrm{Sp} (2n)$, and a special case of the intrinsic Donaldson-Thomas theory developed by the author, Halpern-Leistner, Ibáñez Núñez, and Kinjo. Our invariants are defined using the motivic Hall algebra and its orthosymplectic analogue, the motivic Hall module. We prove wall-crossing formulae for our invariants, which relate the invariants with respect to different stability conditions. As examples, we define Donaldson-Thomas invariants counting orthogonal and symplectic perfect complexes on a Calabi-Yau threefold, and Donaldson-Thomas invariants counting self-dual representations of a self-dual quiver with potential. In the case of quivers, we compute the invariants explicitly in some cases. We also define a motivic version of Vafa-Witten invariants counting orthogonal and symplectic Higgs complexes on a class of algebraic surfaces.

AG-2025.03-1127

math.AG

Canonical torus action on symplectic singularities

Yoshinori Namikawa, Yuji Odaka

We show that any symplectic singularity lying on a smoothable projective symplectic variety locally admits a good action of $(\mathbb{C}^*)^r$, which is canonical. Under mild assumptions, we actually prove such singularity germ is the cone vertex over a contact orbifold with weak Kähler-Einstein metric, forcing $r=1$. In particular, it admits a (canonical) good $\mathbb{C}^*$-action, which also extends to (canonical) actions of $\mathbb{H}^*\supset SU(2)$. These settle Kaledin's conjecture conditionally but in a substantially stronger form by establishing the canonicity, the extensibility of the action, for instance. Our key idea is to use the Donaldson-Sun theory on local Kähler metrics in complex differential geometry to connect with the theory of Poisson deformations of symplectic varieties. For general symplectic singularities, we prove the same assertions, assuming that the Donaldson-Sun theory extends to such singularities along with suitable singular (hyper)Kähler metrics. Conversely, our results can also be used to study the local behavior of such metrics around the germ.

AG-2025.03-1012

math.AG

Quantum K--theory of Grassmannians from a Yang-Baxter algebra

Vassily Gorbounov, Christian Korff, Leonardo C. Mihalcea

In an earlier paper, two of the authors defined a $5$-vertex Yang-Baxter algebra (a Hopf algebra) which acts on the sum of the equivariant quantum K-rings of Grassmannians $\mathrm{Gr}(k;n)$, where $k$ varies from $0$ to $n$. We construct geometrically defined operators on quantum K-rings describing this action. In particular, the $R$-matrix defining the Yang-Baxter algebra corresponds to the left Weyl group action. Most importantly, we use the `quantum=classical' statement for the quantum K-theory of Grassmannians to prove an explicit geometric interpretation of the action of generators of the Yang-Baxter algebra. The diagonal entries of the monodromy matrix are given by quantum K-multiplications by explicitly defined classes, and the off-diagonal entries by certain push-pull convolutions. We use this to find a quantization of the classes of fixed points in the quantum K-rings, corresponding to the Bethe vectors of the Yang-Baxter algebra. On each of the quantum K-rings, we prove that the two Frobenius structures (one from geometry, and the other from the integrable system construction) coincide. We discuss several applications, including an action of the extended affine Weyl group on the quantum K-theory ring (extending the Seidel action), a quantum version of the localization map (which is a ring homomorphism with respect to the quantum K-product), and a graphical calculus to multiply by Hirzebruch $λ_y$ classes of the dual of the tautological quotient bundle. In an Appendix we illustrate our results in the case when $n=2$.

AG-2025.03-967

math.AG

$K$-theoretic pullbacks for Lagrangians on derived critical loci

Yalong Cao, Yukinobu Toda, Gufang Zhao

Given a regular function $φ$ on a smooth stack, and a $(-1)$-shifted Lagrangian $M$ on the derived critical locus of $φ$, under fairly general hypotheses, we construct a pullback map from the Grothendieck group of coherent matrix factorizations of $φ$ to that of coherent sheaves on $M$. This map satisfies a functoriality property with respect to the composition of Lagrangian correspondences, as well as the usual bivariance and base-change properties. We provide three applications of the construction, one in the definition of quantum $K$-theory of critical loci (Landau-Ginzburg models), paving the way to generalize works of Okounkov school from Nakajima quiver varieties to quivers with potentials, one in establishing a degeneration formula for $K$-theoretic Donaldson-Thomas theory of local Calabi-Yau 4-folds, the other in confirming a $K$-theoretic version of Joyce-Safronov conjecture.

AG-2025.02-1024

math.AG

Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians: a comprehensive account

Duiliu-Emanuel Diaconescu, Mauro Porta, Francesco Sala, Olivier Schiffmann, Eric Vasserot

We begin the systematic study of cohomological Hecke operators of modifications of coherent sheaves on a smooth surface $X$, along a fixed proper curve $Z \subset X$. We develop the necessary geometric foundations in order to define the $T$-equivariant cohomological Hall algebra $\mathbf{HA}^{\mathbf{D}, T}_{X,Z}$ of the moduli stack of coherent sheaves on $X$ with set-theoretic support on $Z$, in the setting of a general motivic formalism $\mathbf{D}$. The algebra $\mathbf{HA}^{\mathbf{D}, A}_{X,Z}$ is functorial with respect to closed immersions $Z' \subset Z$ and transformations of the motivic formalism $\mathbf{D}$, and only depends on the formal neighborhood $\widehat{X}_Z$ of $Z$ in $X$. Assume $\mathbf{D}$ gives rise to Borel-Moore homology. When $X$ is a resolution of a Kleinian singularity and $Z$ is the exceptional divisor, we explicitly identify $\mathbf{HA}^T_{X,Z}$ with a completed nonstandard positive half $\mathbb{Y}^+_\infty(\mathfrak{g})$ of the affine Yangian $\mathbb{Y}(\mathfrak{g})$ of the corresponding affine ADE type Lie algebra $\mathfrak{g}$. Let $Z_1,Z_2 \subset X$ be curves with $Z_1\cap Z_2$ being zero-dimensional. We conjecture a PBW type theorem relating the COHAs of the pairs $(X, Z_1\cup Z_2), (X, Z_1)$, and $(X, Z_2)$ and partially prove it in several interesting cases, including all Kleinian resolutions of singularities and elliptic surfaces of types $D$ and $E$. Our main tools are: (i) a continuity theorem describing the behavior of COHAs of objects in the heart of $t$-structures $τ_n$ when the sequence $(τ_n)_n$ converges in an appropriate sense to a fixed $t$-structure $τ_\infty$; (ii) a theorem relating the action of the braid group $B_Q$ by derived autoequivalences on the preprojective algebra of a quiver $Q$ with the algebraic action of $B_Q$ on the associated COHA $\mathbf{HA}^T_Q$.

AG-2025.02-627

math.AG

Algebraic and Positive Geometry of the Universe: from Particles to Galaxies

Claudia Fevola, Anna-Laura Sattelberger

In recent years, the intersection of algebra, geometry, and combinatorics with particle physics and cosmology has led to significant advances. Central to this progress is the twofold formulation of the study of particle interactions and observables in the universe: on the one hand, Feynman's approach reduces to the study of intricate integrals; on the other hand, one encounters the study of positive geometries. This article introduces key developments, mathematical tools, and the connections that drive progress at the frontier between algebraic geometry, the theory of $D$-modules, combinatorics, and physics. All these threads contribute to shaping the flourishing field of positive geometry, which aims to establish a unifying mathematical language for describing phenomena in cosmology and particle physics.

AG-2025.02-939

math.AG

What is Positive Geometry?

Kristian Ranestad, Bernd Sturmfels, Simon Telen

This article serves as an introduction to the special volume on Positive Geometry in the journal Le Matematiche. We attempt to answer the question in the title by describing the origins and objects of positive geometry at this early stage of its development. We discuss the problems addressed in the volume and report on the progress. We also list some open challenges.

AG-2025.02-861

math.AG

Gauge origami on broken lines

Sergej Monavari

In analogy to Nekrasov's theory of gauge origami on intersecting branes, we introduce the gauge origami moduli space on broken lines. We realize this moduli space as a Quot scheme parametrising zero-dimensional quotients of a torsion sheaf on two intersecting affine lines, and describe it as a moduli space of quiver representations. We construct a virtual fundamental class and virtual structure sheaf, by which we define $K$-theoretic invariants. We compute its associated partition function for all ranks, and show that it reproduces the generating series of equivariant $χ_{y}$-genus when the moduli space is smooth. Finally, we relate our partition function with the virtual invariants of the Quot schemes of the affine plane and Nekrasov's partition function.

AG-2025.01-1038

math.AG

Fourier analysis of equivariant quantum cohomology

Hiroshi Iritani

Equivariant quantum cohomology possesses the structure of a difference module by shift operators (Seidel representation) of equivariant parameters. Teleman's conjecture suggests that shift operators and equivariant parameters acting on QH_T(X) should be identified, respectively, with the Novikov variables and the quantum connection of the GIT quotient X//T. This can be interpreted as a form of Fourier duality between equivariant quantum cohomology (D-module) of X and quantum cohomology (D-module) of the GIT quotient X//T. We introduce the notion of "quantum volume," derived from Givental's path integral over the Floer fundamental cycle, and present a conjectural Fourier duality relationship between the T-equivariant quantum volume of X and the quantum volume of X//T. We also explore the "reduction conjecture," developed in collaboration with Fumihiko Sanda, which expresses the I-function of X//T as a discrete Fourier transform of the equivariant J-function of X. Furthermore, we demonstrate how to use Fourier analysis of equivariant quantum cohomology to observe toric mirror symmetry and prove a decomposition of quantum cohomology D-modules of projective bundles or blowups.

AG-2025.01-847

math.AG

Taking the amplituhedron to the limit

Joris Koefler, Rainer Sinn

The amplituhedron is a semialgebraic set given as the image of the non-negative Grassmannian under a linear map subject to a choice of additional parameters. We define the limit amplituhedron as the limit of amplituhedra by sending one of the parameters, namely the number of particles $n$, to infinity. We study this limit amplituhedron for $m = 2$ and any $k$, relating to the number of negative helcity particles. We determine its algebraic boundary in terms of Chow hypersurfaces. This hypersurface in the Grassmannian is stratified by singularities in terms of higher order secants of the rational normal curve. In conclusion, we show that the limit amplituhedron is a positive geometry with a residual arrangement that is empty.

AG-2025.01-791

math.AG

Dubrovin duality and mirror symmetry for ADE resolutions

Andrea Brini, Jingxiang Ma, Ian A. B. Strachan

We show that, under Dubrovin's notion of ''almost'' duality, the Frobenius manifold structure on the orbit spaces of the extended affine Weyl groups of type $\mathrm{ADE}$ is dual, for suitable choices of weight markings, to the equivariant quantum cohomology of the minimal resolution of the du Val singularity of the same Dynkin type. We also provide a uniform Lie-theoretic construction of Landau-Ginzburg mirrors for the quantum cohomology of $\mathrm{ADE}$ resolutions. The mirror B-model is described by a one-dimensional LG superpotential associated to the spectral curve of the $\widehat{\mathrm{ADE}}$ affine relativistic Toda chain.

AG-2025.01-751

math.AG

Positive geometries and canonical forms via mixed Hodge theory

Francis Brown, Clément Dupont

''Positive geometries'' are a class of semi-algebraic domains which admit a unique ''canonical form'': a logarithmic form whose residues match the boundary structure of the domain. The study of such geometries is motivated by recent progress in particle physics, where the corresponding canonical forms are interpreted as the integrands of scattering amplitudes. We recast these concepts in the language of mixed Hodge theory, and identify ''genus zero pairs'' of complex algebraic varieties as a natural and general framework for the study of positive geometries and their canonical forms. In this framework, we prove some basic properties of canonical forms which have previously been proved or conjectured in the literature. We give many examples and study in detail the case of arrangements of hyperplanes and convex polytopes.

AG-2024.12-1095

math.AG

On the Quantum K-theory of Quiver Varieties at Roots of Unity

Peter Koroteev, Andrey Smirnov

Let $Ψ(\textbf{z},\textbf{a},q)$ a the fundamental solution matrix of the quantum difference equation of a Nakajima variety $X$. In this work, we prove that the operator $$ Ψ(\textbf{z},\textbf{a},q) Ψ\left(\textbf{z}^p,\textbf{a}^p,q^{p^2}\right)^{-1} $$ has no poles at the primitive complex $p$-th roots of unity $q=ζ_p$. As a byproduct, we show that the iterated product of the operators ${\bf M}_{\mathcal{L}}(\textbf{z},\textbf{a},q )$ from the $q$-difference equation on $X$: $$ {\bf M}_{\mathcal{L}} (\textbf{z} q^{(p-1)\mathcal{L}},\textbf{a},q) \cdots {\bf M}_{\mathcal{L}} (\textbf{z} q^{\mathcal{L}},\textbf{a},q) {\bf M}_{\mathcal{L}} (\textbf{z} ,\textbf{a},q) $$ evaluated at $q=ζ_p$ has the same eigenvalues as ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$. Upon a reduction of the quantum difference equation of $X$ to the quantum differential equation over the field of finite characteristic, the above iterated product transforms into a Grothendiek-Katz $p$-curvature of the corresponding quantum connection whreas ${\bf M}_{\mathcal{L}} (\textbf{z}^p,\textbf{a}^p,q^p)$ becomes a certain Frobenius twist of that connection. In this way, we give an explicit description of the spectrum of the $p$-curvature of quantum connection for Nakajima varieties.

AG-2024.12-1072

math.AG

The Neveu-Schwarz group and Schwarz's extended super Mumford form

Katherine A. Maxwell, Alexander A. Voronov

In 1987, Albert Schwarz suggested a formula which extends the super Mumford form from the moduli space of super Riemann surfaces into the super Sato Grassmannian. His formula is a remarkably simple combination of super tau functions. We compute the Neveu-Schwarz action on super tau functions, and show that Schwarz's extended Mumford form is invariant under the the super Heisenberg-Neveu-Schwarz action, which strengthens Schwarz's proposal that a locus within the Grassmannian can serve as a universal moduli space with applications to superstring theory. Along the way, we construct the Neveu-Schwarz, super Witt, and super Heisenberg formal groups.

AG-2024.12-1071

math.AG

Toward the Universal Mumford form on Sato Grassmannians

Katherine A. Maxwell, Alexander A. Voronov

We construct a local universal Mumford form on a product of Sato Grassmannians using the flow of the Virasoro algebra. The existence of this universal Mumford form furthers the proposal that the Sato Grassmannian provides a universal moduli space with applications to string theory. Our approach using the Virasoro flow is an alternative to using the KP flow, which in particular allows for a bosonic universal Mumford form to be constructed. Applying the same method, we construct a local universal super Mumford form on a product of super Sato Grassmannians using the flow of the Neveu-Schwarz algebra.

AG-2024.12-1058

math.AG

Nonabelian shift operators and shifted Yangians

Spencer Tamagni

We introduce nonabelian analogs of shift operators in the enumerative theory of quasimaps. We apply them on the one hand to strengthen the emerging analogy between enumerative geometry and the geometric theory of automorphic forms, and on the other hand to obtain results about quantized Coulomb branch algebras. In particular, we find a short and direct proof that the equivariant convolution homology of the affine Grassmannian of $GL_n$ is a quotient of a shifted Yangian.

AG-2024.12-1037

math.AG

Super volumes and KdV tau functions

Alexander Alexandrov, Paul Norbury

Weil-Petersson volumes of the moduli space of curves are deeply related to the Kontsevich-Witten KdV tau function. They possess a Virasoro symmetry which comes out of recursion relations between the volumes due to Mirzakhani. Similarly, the super Weil-Petersson volumes of the moduli space of super curves with Neveu-Schwarz punctures are related to the Brézin-Gross-Witten (BGW) tau function of the KdV hierarchy and satisfy a recursion due to Stanford and Witten, analogous to Mirzakhani's recursion. In this paper we prove that by also allowing Ramond punctures, the super Weil-Petersson volumes are related to the generalised BGW KdV tau function, which is a one parameter deformation of the BGW tau function. This allows us to prove that these new super volumes also satisfy the Stanford-Witten recursion.

AG-2024.12-833

math.AG

Invariant Stability Conditions on Certain Calabi-Yau Threefolds

Tom Bridgeland, Fabrizio Del Monte, Luca Giovenzana

We apply results on inducing stability conditions to local Calabi-Yau threefolds and obtain applications to Donaldson-Thomas (DT) theory. A basic example is the total space of the canonical bundle of $Z=\mathbb{P}^1\times \mathbb{P}^1$. We use a result of Dell to construct stability conditions on the derived category of $X$ for which all stable objects can be explicitly described. We relate them to stability conditions on the resolved conifold $Y=\mathscr{O}_{\mathbb{P}^1}(-1)^{\oplus 2}$ in two ways: geometrically via the McKay correspondence, and algebraically via a quotienting operation on quivers with potential. These stability conditions were first discussed in the physics literature by Closset and del Zotto, and were constructed mathematically by Xiong by a different method. We obtain a complete description of the corresponding DT invariants, from which we can conclude that they define analytic wall-crossing structures in the sense of Kontsevich and Soibelman. In the last section we discuss several other examples of a similar flavour.

AG-2024.11-1025

math.AG

Euler Discriminant of Complements of Hyperplanes

Claudia Fevola, Saiei-Jaeyeong Matsubara-Heo

The Euler discriminant of a family of very affine varieties is defined as the locus where the Euler characteristic drops. In this work, we study the Euler discriminant of families of complements of hyperplanes. We prove that the Euler discriminant is a hypersurface in the space of coefficients, and provide its defining equation in two cases: (1) when the coefficients are generic, and (2) when they are constrained to a proper subspace. In the generic case, we show that the multiplicities of the components can be recovered combinatorially. This analysis also recovers the singularities of an Euler integral. In the appendix, we discuss a relation to cosmological correlators.

AG-2024.10-955

math.AG

Geometric realizations of the Bethe ansatz equations

Anton M. Zeitlin

These lecture notes are devoted to the recent progress in the geometric aspects of quantum integrable systems based on quantum groups solved using the Bethe ansatz technique. One part is devoted to their enumerative geometry realization through the quantum K-theory of Nakajima quiver varieties. The other part describes a recently studied $q$-deformation of the correspondence between oper connections and Gaudin models. The notes are based on a minicourse at C.I.M.E. Summer School ``Enumerative geometry, quantisation and moduli spaces," September 04-08, 2023.

AG-2024.10-353

math.AG

Algebraic Approaches to Cosmological Integrals

Claudia Fevola, Guilherme L. Pimentel, Anna-Laura Sattelberger, Tom Westerdijk

Cosmological correlators encode statistical properties of the initial conditions of our universe. Mathematically, they can often be written as Mellin integrals of a certain rational function associated to graphs, namely the flat space wavefunction. The singularities of these cosmological integrals are parameterized by binary hyperplane arrangements. Using different algebraic tools, we shed light on the differential and difference equations satisfied by these integrals. Moreover, we study a multivariate version of partial fractioning of the flat space wavefunction, and propose a graph-based algorithm to compute this decomposition.

AG-2024.10-811

math.AG

Les Houches lecture notes on moduli spaces of Riemann surfaces

Alessandro Giacchetto, Danilo Lewański

In these lecture notes, we provide an introduction to the moduli space of Riemann surfaces, a fundamental concept in the theories of 2D quantum gravity, topological string theory, and matrix models. We begin by reviewing some basic results concerning the recursive boundary structure of the moduli space and the associated cohomology theory. We then present Witten's celebrated conjecture and its generalisation, framing it as a recursive computation of cohomological field theory correlators via topological recursion. We conclude with a discussion of JT gravity in relation to hyperbolic geometry and topological strings. These lecture notes accompanied a series of lectures at the Les Houches school "Quantum Geometry (Mathematical Methods for Gravity, Gauge Theories and Non-Perturbative Physics)" in Summer 2024.

AG-2024.10-806

math.AG

A measure on the moduli space of super Riemann surfaces with Ramond punctures

Ron Donagi, Nadia Ott

We construct a measure on the moduli space of super Riemann surfaces with Ramond punctures using the super Mumford isomorphism and a super period map.

AG-2024.10-787

math.AG

Logarithmic Discriminants of Hyperplane Arrangements

Leonie Kayser, Andreas Kretschmer, Simon Telen

A recurring task in particle physics and statistics is to compute the complex critical points of a product of powers of affine-linear functions. The logarithmic discriminant characterizes exponents for which such a function has a degenerate critical point in the corresponding hyperplane arrangement complement. We study properties of this discriminant, exploiting its connection with the Hurwitz form of a reciprocal linear space.

AG-2024.10-752

math.AG

Dubrovin conjecture and the second structure connection

John Alexander Cruz Morales, Todor Milanov

We give a reformulation of the Dubrovin conjecture about the semisimplicity of quantum cohomology in terms of the so-called second structure connection of quantum cohomology. The key ingredient in our work is the notion of a twisted reflection vector which allows us to give an elegant description of the monodromy data of the quantum connection in terms of the monodromy data of its Laplace transform.

AG-2024.10-730

math.AG

The stability manifold of $E{\times} E{\times} E$

Fabian Haiden, Benjamin Sung

We determine a full component of the space of stability conditions on $D^b(E^3)$ where $E$ is an elliptic curve without complex multiplication. The component has complex dimension 14 and a very concrete description in terms of alternating trilinear forms. This confirms a conjecture of Kontsevich, motivated by homological mirror symmetry, in the case of dimension $3$.

AG-2024.10-717

math.AG

Wreath Macdonald polynomials, quiver varieties, and quasimap counts

Jeffrey Ayers, Hunter Dinkins

We study the $K$-theoretic enumerative geometry of cyclic Nakajima quiver varieties, with particular focus on $\text{Hilb}^{m}([\mathbb{C}^{2}/\mathbb{Z}_{l}])$, the equivariant Hilbert scheme of points on $\mathbb{C}^2$. The direct sum over $m$ of the equivariant $K$-theories of these varieties is known to be isomorphic to the ring symmetric functions in $l$ colors, with structure sheaves of torus fixed points identified with wreath Macdonald polynomials. Using properties of wreath Macdonald polynomials and the recent identification of the Maulik-Okounkov quantum affine algebra for cyclic quivers with the quantum toroidal algebras of type $A$, we derive an explicit formula for the generating function of capped vertex functions of $\text{Hilb}^{m}([\mathbb{C}^{2}/\mathbb{Z}_{l}])$ with descendants given by exterior powers of the $0$th tautological bundle. We also sharpen the large framing vanishing results of Okounkov, providing a class of descendants and cyclic quiver varieties for which the capped vertex functions are purely classical. Our results also suggest certain integrality and wall-crossing conjectures for capped vertex functions.

AG-2024.10-665

math.AG

Proudfoot-Speyer degenerations of scattering equations

Barbara Betti, Viktoriia Borovik, Simon Telen

We study scattering equations of hyperplane arrangements from the perspective of combinatorial commutative algebra and numerical algebraic geometry. We formulate the problem as linear equations on a reciprocal linear space and develop a degeneration-based homotopy algorithm for solving them. We investigate the Hilbert regularity of the corresponding homogeneous ideal and apply our methods to CHY scattering equations.

AG-2024.09-901

math.AG

Refined Gromov-Witten invariants

Andrea Brini, Yannik Schuler

We study the enumerative geometry of stable maps to Calabi-Yau 5-folds $Z$ with a group action preserving the Calabi-Yau form. In the central case $Z=X \times \mathbb{C}^2$, where $X$ is a Calabi-Yau 3-fold with a group action scaling the holomorphic volume form non-trivially, we conjecture that the disconnected equivariant Gromov-Witten generating series of $Z$ returns the Nekrasov-Okounkov equivariant K-theoretic PT partition function of $X$ and, under suitable rigidity conditions, its refined BPS index. We show that in the unrefined limit the conjecture reproduces known statements about the higher genus Gromov-Witten theory of $X$; we prove it for $X$ the resolved conifold; and we establish a refined cycle-level local/relative correspondence for local del Pezzo surfaces, implying the Nekrasov-Shatashvili limit of the conjecture when $X$ is the local projective plane. We further establish B-model physics predictions of Huang-Klemm for refined higher genus mirror symmetry for local $\mathbb{P}^2$. In particular, we prove that our refined Gromov-Witten generating series obey extended holomorphic anomaly equations, are quasi-modular functions of $Γ_1(3)$, have leading asymptotics at the conifold point given by the logarithm of the Barnes double-Gamma function, and satisfy a version of the higher genus Crepant Resolution Correspondence with the refined orbifold Gromov-Witten theory of $[\mathbb{C}^3/μ_3]$. This refines results, and partially proves conjectures, of Lho-Pandharipande, Coates-Iritani, and Bousseau-Fan-Guo-Wu.

AG-2024.09-813

math.AG

Quantum K-Rings of Partial Flag Varieties, Coulomb Branches, and the Bethe Ansatz

Irit Huq-Kuruvilla

We give a purely geometric explanation of the coincidence between the Coulomb Branch equations for the 3D GLSM describing the quantum $K$-theory of a flag variety, and the Bethe Ansatz equations of the 5-vertex lattice model. In doing so, we prove two explicit presentations for the quantum $K$-ring of the flag variety, resolving conjectures of Gu-Sharpe-Mihalcea-Xu-Zhang-Zou and Rimanyi-Tarasov-Varchenko. We also prove that the stable map and quasimap $K$-theory of the partial flag varieties are isomorphic, using the work of Koroteev-Pushkar-Smirnov-Zeitlin identifying the latter ring with the Bethe algebra of the 5-vertex lattice model. Our isomorphism gives an additional interpretation of the quantum tautological bundles described in the quasimap ring.

AG-2024.09-725

math.AG

Topological K-theory of quasi-BPS categories for Higgs bundles

Tudor Pădurariu, Yukinobu Toda

In a previous paper, we introduced quasi-BPS categories for moduli stacks of semistable Higgs bundles. Under a certain condition on the rank, Euler characteristic, and weight, the quasi-BPS categories (called BPS in this case) are non-commutative analogues of Hitchin integrable systems. We proposed a conjectural equivalence between BPS categories which swaps Euler characteristics and weights. The conjecture is inspired by the Dolbeault Geometric Langlands equivalence of Donagi--Pantev, by the Hausel--Thaddeus mirror symmetry, and by the $χ$-independence phenomenon for BPS invariants of curves on Calabi-Yau threefolds. In this paper, we show that the above conjecture holds at the level of topological K-theories. When the rank and the Euler characteristic are coprime, such an isomorphism was proved by Groechenig--Shen. Along the way, we show that the topological K-theory of BPS categories is isomorphic to the BPS cohomology of the moduli of semistable Higgs bundles.

AG-2024.09-700

math.AG

Hitchin systems and their quantization

Pavel Etingof, Henry Liu

This is an expanded version of the notes by the second author of the lectures on Hitchin systems and their quantization given by the first author at the Beijing Summer Workshop in Mathematics and Mathematical Physics ``Integrable Systems and Algebraic Geometry" (BIMSA-2024).