Twisted Quasimaps and Symplectic Duality for Hypertoric Spaces

The Big Picture

Imagine trying to understand a complex gemstone by studying only one face. You could catalog every facet, measure every angle, and still miss half the picture. Now imagine discovering that every gemstone has an invisible twin, and that counting the facets of one tells you something deep about the structure of the other.

That’s roughly what symplectic duality does. It pairs each geometric space with a mathematical “mirror twin” and shows that deep properties of one can be read off the other. The new work by McBreen, Sheshmani, and Yau puts this idea to the test.

The spaces they study are called hypertoric varieties, geometric objects built from layers of symmetry that show up where modern physics meets pure mathematics. They appear in supersymmetric gauge theories, representing the possible configurations of quantum fields. Mathematicians have developed a range of tools to study their structure over the past few decades.

The open question: can you compute certain shape-counting numbers (quantities recording how maps can topologically wrap around these spaces) using purely algebraic data from the mirror twin? This paper answers yes, constructing an explicit dictionary and producing a closed, computable formula.

Key Insight: The counting function for maps wrapping around these geometric spaces can be decoded from a single algebraic object (a tilting module) living on the mirror “twin” space, converting a hard geometric problem into an explicit algebraic calculation.

How It Works

The central objects of study are twisted quasimaps: maps from the projective line ℙ¹ into a hypertoric variety X. These are built from line bundles (geometric packages assigning a one-dimensional vector space to each point) connected by algebraic maps subject to a stability condition that rules out degenerate cases.

Counting these objects, weighted by topological class and cohomological degree, produces a generating function Υ^ref(z, τ). This single expression encodes infinitely many counting numbers at once, a fingerprint for the geometry of X.

Direct computation of this generating function is hard. The authors take a roundabout route through symplectic duality that transforms the problem into something tractable. Their strategy has three steps:

1. Lift to a loop space. They construct a symplectic ind-scheme LX̃, a rigorously defined infinite-dimensional space modeling all closed loops in X. The moduli of twisted quiver sheaves embeds into LX̃ as an intersection of Lagrangians, pairs of half-dimensional subspaces whose overlap captures exactly the quasimap data. This translates counting quasimaps into computing Ext groups over the quantized loop space of X.

2. Apply symplectic duality. The paper extends symplectic duality (the pairing between X and its algebraic mirror X^!) to the infinite-dimensional loop setting. The dual of LX̃ turns out to be a periodic analogue PX^! of the Coulomb branch, the partner space describing a different physical regime of the same theory. This is a finite-dimensional but infinite-type space carrying an action of H₂(X, ℤ). First sketched in unpublished work by Hausel and Proudfoot, the periodic Coulomb branch here gets a rigorous construction with the algebraic machinery needed for computation.

3. Read off the answer via Koszul duality. The authors establish a Koszul duality, a fundamental algebraic correspondence exchanging two different module categories, between category O for LX̃ and PX^!. Through this correspondence, the Ext groups from step one translate directly into weight spaces of an indecomposable tilting module T^!_ν(α+)^∞ on the quantized periodic Coulomb branch.

The payoff is Theorem 1.1: Υ^ref(z, τ) equals a graded trace of this tilting module. From that algebraic expression, the authors extract Theorem 1.2, an explicit closed formula indexed by torus fixed points of X^! and combinatorial data attached to them. For X arising as the abelianization of the N-step flag quiver, every ingredient becomes concrete and computable.

Why It Matters

This work lives at the intersection of enumerative geometry (counting geometric objects like curves, maps, and configurations), quantum algebra, and physics.

Symplectic duality has been a major driver of mathematical progress since Braden, Licata, Proudfoot, and Webster formalized it, building on three-dimensional mirror symmetry in physics. But explicit, computable results connecting both sides of a dual pair are still rare. McBreen, Sheshmani, and Yau supply one: a theorem that takes a geometric counting problem and resolves it through pure algebra on the dual side.

The periodic Coulomb branch PX^! is itself a new construction that deserves attention. When X comes from a graph Γ, this space connects to the compactified Jacobian of a nodal curve with dual graph Γ, a classical object recording all line bundles on a curve, including degenerate limiting cases. The authors’ framework suggests that more general enumerative problems on loop spaces of symplectic resolutions may yield to similar periodic duality constructions.

Where does this go next? The most obvious target is the non-abelian setting, where the geometry is richer and the combinatorics wilder.

Bottom Line: By extending symplectic duality to loop spaces and constructing a periodic Coulomb branch, McBreen, Sheshmani, and Yau turn a hard geometric counting problem into an explicit algebraic formula, showing that duality works not just as a guiding principle but as a hands-on computational tool.