Refined Invariants for Abelian Surfaces

• The paper introduces refined invariants for abelian surfaces that encode delicate curve-counting data using modular generating series and tropical geometry.
• It establishes a universal generating function structure that simplifies enumerative counts via Chern numbers and modular quasi-series tailored to the surface’s geometry.
• The work bridges complex and real enumerative geometry by linking tropical multiplicities, modular forms, and level structure refinements in arithmetic settings.

A refined invariant for an abelian surface is a sophisticated enumerative-geometric object encoding delicate curve-counting data, with strong ties to tropical geometry, generating series of modular/flavored quasi-modular behavior, and subtle arithmetic refinements. These invariants bridge several foundational directions in algebraic geometry: Gromov–Witten theory, tropical curve counting, the geometry of moduli spaces, and modular forms. For abelian surfaces in particular, the interplay between intrinsic symmetries and enumerative invariants leads to striking algebraic and transcendental structures.

1. Foundations of Refined Curve-Counting Invariants

Refined invariants for abelian surfaces originate in the curve-counting theory for smooth projective surfaces $S$, in which one considers a line bundle $L$ of arithmetic genus $g=g(L)=1+\frac{1}{2}L\cdot(L+K_S)$. For a sufficiently ample linear subsystem ${}^\delta\subset |L|$ of dimension $\delta$, the universal family of curves yields a relative Hilbert scheme $\pi^{[n]}:{}^\delta{}^{[n]}\to {}^\delta$ whose fibers parametrize $n$-dimensional subschemes (or, more generally, points with multiplicities) of a fixed curve.

The Hirzebruch $\chi_{-y}$-genus

$$\chi_{-y}\left({}^\delta{}^{[n]}\right) = \sum_{p,q} (-1)^{p+q} y^q h^{p,q} \left({}^\delta{}^{[n]}\right)$$

packages the Hodge-theoretic data of these spaces. By assembling the series

$$\sum_{n=0}^\infty \chi_{-y}\left({}^\delta{}^{[n]}\right)q^{n+1-g} \in \mathbb{Q}[y][[q,q^{-1}]],$$

and expanding against the standard one-point series $Z_{\mathbb{P}^1}(q,y)$, one obtains BPS-style invariants $N^i_{/{}^\delta}(y)\in\mathbb{Q}[y]$ via a universal expansion: $$\sum_{n=0}^\infty \chi_{-y}\left({}^\delta{}^{[n]}\right)q^{n+1-g} = \sum_{i=0}^\infty N^i_{/{}^\delta}(y)\left[Z_{\mathbb{P}^1}(q,y)\right]^{i+1-g}.$$ For sufficiently ample ${}^\delta$ these $N^i_{/{}^\delta}(y)$ vanish for $i>\delta$: the "last nonzero" $N^\delta_{/{}^\delta}(y)$ encodes the genuine refined enumerative invariant of $\delta$-nodal curves in $|L|$ (Göttsche et al., 2012).

2. Multiplicative and Generating Series Structures

The refined node-counting invariants admit a universal generating function structure, captured via Chern numbers and governed by four universal power series $A_i(y,s)\in\mathbb{Q}[y][[s]]$: $$\sum_{\delta\ge 0} N^\delta_{/{}^\delta}(y) s^\delta = A_1(y,s)^{L^2} A_2(y,s)^{L\cdot K_S} A_3(y,s)^{K_S^2} A_4(y,s)^{c_2(S)}$$ with $s = \frac{q}{(1-q)(1-qy)}$. Specialized to abelian surfaces, where $K_S = 0$, only $L^2$ and $c_2$ contribute, drastically simplifying the multiplicative structure. Closed formulas for abelian surfaces arise by restricting this generating function to appropriate polarizations, and become purely functions of the self-intersection $L^2$ or, in the tropical context, the degree matrix $B$ (Göttsche et al., 2012).

The $q$-series structure of these invariants closely relates to the theory of modular and quasi-modular forms. Key series such as

$$\widetilde{DG}_2(y,q) = \sum_{m=1}^\infty m\,q^m \sum_{d|m} \frac{[d]_y^2}{d}$$

and the discriminant-like

$$\widetilde{\Delta}(y,q) = q \prod_{n=1}^\infty (1-q^n)^{20} (1-yq^n)^2 (1-y^{-1}q^n)^2$$

appear universally; for abelian surfaces, the principal generating series for refined counts is $D\,\widetilde{DG}_2(y,q)$ (Göttsche et al., 2012).

3. Tropical Curve Counts and Block–Göttsche Refinements

A tropical abelian surface is the real torus $TA = \mathbb{R}^2/\Lambda$ equipped with a polarization $B\in\text{Mat}_{2\times 2}(\mathbb{Z})$, $\det B>0$. A genus $g$ curve is modeled by a trivalent, weighted network (graph) mapping into $TA$, representing a class $B$.

The key object is the refined tropical multiplicity, as initiated by Block–Göttsche: $$m^q_\Gamma = \prod_{V\in V(\Gamma)} [m_V]_q, \qquad [m]_q = \frac{q^{m/2}-q^{-m/2}}{q^{1/2}-q^{-1/2}},$$ where $m_V$ is the usual local lattice multiplicity at a vertex, encoding the local intersection theory. The global refined invariant

$N_{g,c}(q) = \sum_{\Gamma \subset TA} M_\Gamma(q)$

with $M_\Gamma(q)$ a convolution-weighted sum over divisors of the global gcd of edge weights, recovers the Gromov–Witten-theoretic counts with lambda-class insertions and exhibits polynomial and modular features (Blomme, 2022, Blomme, 2022, Blomme, 2022, Blomme et al., 3 Feb 2026).

The tropical formalism further enables the explicit calculation of refined invariants via "pearl diagram" algorithms, reducing the computation of non-primitive cases to primitive ones, hence yielding effective multiple-cover formulas and generating functions (Blomme, 2022).

4. Polynomiality, Modularity, and Generating Function Structure

A central feature of refined invariants on abelian surfaces is their polynomiality and modularity properties. When expanded as

$N_{g,c}(q) = \sum_{j=-c}^c a_j(c) q^j,$

the "codegree-$i$" coefficients $a_{c-i}$ stabilize for large $c$ as polynomials in $c$ of degree at most $g-2$; for fixed small genus, explicit formulas in terms of derivatives of Eisenstein series and quasi-modular forms are available. For example,

$$AR_g(n,x) = \binom{n}{g-1} + \sum_{k=1}^{g-2} f_k(x) n^k,$$

with $f_k(x)$ quasi-modular forms (in $x$, an exponential of $q$) built from Eisenstein series and their derivatives (Blomme et al., 3 Feb 2026, Blomme, 2022). Thus, refined invariants interpolate between strict polynomiality in the degree and full quasi-modular behavior in generating functions.

These structures are tightly intertwined with multiple-cover formulas, which decompose refined invariants of arbitrary degree into sums over primitive degree cases weighted by powers and Euler's totient function. This regularizes the behavior and aligns with the modularity predicted from physical and geometric mirror symmetry arguments.

5. Interplay with Real Counts and Specializations

The refined invariants interpolate between complex and real enumerative geometry via specialization of the parameter $y$ (or $q$): $$N^i_{/{}^\delta}(-1) = (-1)^i n^{i,\mathbb{R}}_{/{}^\delta},$$ where $n^{i,\mathbb{R}}_{/{}^\delta}$ are real curve (Welschinger) invariants. For abelian surfaces, the series at $y=-1$ recovers the tropical Welschinger counts of real genus-$(g-2)$ curves (Göttsche et al., 2012). This demonstrates that the refined $y$-parameter provides a simultaneous encoding of the full spectrum of enumerative data, with $y=1$ corresponding to the usual complex counts and $y=-1$ to real counts (with appropriate signs).

6. Hilbert Schemes, Symplectic Group Actions, and Modular Partition Functions

For an abelian surface $A$ equipped with a finite symplectic automorphism group $G$, the $G$-fixed loci in Hilbert schemes $\text{Hilb}^d(A)^G$ contribute to generating functions whose coefficients enumerate (virtual) curves or sheaf-theoretic invariants. The generating series

$$Z_{A,G}(q) = \sum_{d=0}^\infty e(\text{Hilb}^d(A)^G) q^d$$

is a modular form of explicit weight and level, given by a product of Dedekind eta-functions. The $\chi_y$-genus refinement yields a two-variable generating function with explicit connections to weak Jacobi forms of weight $-2$ and index $1$,

$$Z_{A,G}(q,y) = -\left(y^{1/2}+y^{-1/2}\right)^2 \frac{Z_{A,G}(q)}{\phi_{-2,1}\left(q^{|G|},-y\right)},$$

where $\phi_{-2,1}$ is the unique such weak Jacobi form (Pietromonaco, 2020). This modularity governs, for example, the enumerative geometry of the orbifold Kummer surface $[A/\tau]$ and connects to the BPS structure of the Maulik–Toda perverse sheaves.

7. Level Structures, Reflection Group Invariants, and Refined Moduli

Refined invariants also arise in the algebraic theory of abelian surfaces with additional structure, such as fixed $3$-torsion data on Jacobians of genus $2$ curves. Here, the invariant theory of complex reflection groups $C_3 \times \operatorname{Sp}_4(\mathbf{F}_3)$ is used to construct fundamental polynomial invariants $(a,b,c,d)$, refining the classical Igusa invariants $(J_2, J_4, J_6, J_{10})$ and realizing the level-$3$ structure as a branched cover of the moduli space of genus-$2$ curves. The extra parameters correspond to choices of symplectic isomorphism on the $3$-torsion, and the refined invariants mediate explicit transfer of modularity and automorphy in arithmetic settings (Calegari et al., 2020).

---

In summary, refined invariants for abelian surfaces unify and extend several deep themes in curve counting, tropical and algebro-geometric enumeration, modularity, and arithmetic invariant theory. Their structure is encoded in multiplicative generating series, tropical-diagram computations, polynomially regular Laurent polynomial expansions, and modular-form generating functions. The broad interplay of these aspects, and their specialization to real or level-refined enumerative problems, continues to drive current advances in the field.