Rationality of cohomological descendent series for Quot schemes on surfaces with $p_g=0$

This paper proves the rationality of cohomological descendent generating series for Quot schemes on smooth projective surfaces with geometric genus zero, utilizing a Pandharipande-Thomas type wall-crossing recursion and a factorization through pure Quot theory involving explicit zero-dimensional correction operators.

The Gist

Imagine you are a master architect trying to count the number of ways you can build specific structures on a vast, flat landscape (a mathematical "surface").

In this paper, the "structures" are called Quot schemes. Think of them as blueprints for taking a giant, perfect block of material (the surface) and carving out specific shapes from it. The author, Reginald Anderson, is trying to answer a very difficult question: Is there a predictable, simple pattern to the number of ways these shapes can be built as they get larger and more complex?

In the world of mathematics, this pattern is called a generating series. If the pattern is "rational," it means the numbers follow a neat, logical formula (like a recipe) rather than being chaotic and random.

Here is the story of how Anderson solved this puzzle, using simple analogies:

1. The Problem: A Chaotic Construction Site

For a long time, mathematicians knew the recipe for counting these shapes in two specific scenarios:

• When the shapes were very simple (no "holes" or complex curves).
• When the landscape was "bumpy" in a specific way (having a high "genus" or complexity).

But there was a missing piece: What happens when the landscape is flat and smooth (genus 0), but the shapes we are building are complex curves (not just points)? This was the "wild west" of the problem. No one knew if the numbers followed a pattern or if they were a mess.

2. The Strategy: Breaking the Giant Wall

Anderson's solution is like taking a massive, impenetrable wall and finding a way to break it down into small, manageable bricks. He uses a method called "Wall-Crossing."

Imagine you are walking through a forest. Sometimes the path is clear; sometimes you hit a wall.

• The Wall: A mathematical boundary where the rules of how we count these shapes suddenly change.
• The Crossing: Instead of trying to jump over the wall, Anderson realized that if you walk from one side to the other, you can calculate exactly how the count changes. It's like having a map that tells you, "If you cross this fence, you lose 5 trees but gain 3 flowers."

He proved that there are only a finite number of these walls. By crossing them one by one, he could relate the complex problem to a much simpler, known problem.

3. The Three-Step Magic Trick

Once he broke the problem down, he had to prove that the pieces were still "rational" (followed a pattern). He did this in three clever steps:

Step A: The "Periodic" Dance

He noticed that if you stretch or shrink the landscape slightly (using a mathematical tool called "tensoring"), the number of ways to build the shapes repeats in a predictable cycle.

• Analogy: Imagine a dance floor. If you shift the music by one beat, the dancers move, but the pattern of their steps repeats every few seconds. Because the pattern repeats, the total count becomes predictable (rational).

Step B: The "Splitting" Trick (The First Correction)

The shapes he was counting were a mix of "pure" curves and "fuzzy" bits (zero-dimensional points). He realized he could separate the pure curves from the fuzzy bits.

• Analogy: Imagine you have a bag of mixed nuts and bolts. You want to count them. Anderson realized you could first count the nuts (the pure curves) and then figure out how the bolts (the fuzzy bits) attach to them.
• He proved that the "nuts" part follows a pattern because it behaves like shapes drawn on a simple line (a curve).
• He then proved that the "bolts" part, even when attached to weird, jagged points on the line, also follows a pattern. It's like proving that even if the bolts are rusty or bent, the way they stack up still follows a math rule.

Step C: The "Vanishing" Act (The Second Correction)

This was the most magical part. There was a second layer of "fuzziness" he needed to account for.

• Analogy: Imagine you are trying to weigh a suitcase, but there's a hidden layer of foam inside that you can't see. You think the foam changes the weight depending on the suitcase's shape.
• Anderson proved that this foam doesn't actually matter. Because of a deep symmetry in the math (K-theory), the "foam" cancels itself out. The weight of the suitcase depends only on the suitcase itself, not on the weird foam inside.
• This meant he could ignore the complex, messy details of the surface and just use a standard, simple formula for a smooth surface.

4. The Grand Conclusion

By combining these steps, Anderson showed that:

1. The complex problem can be broken into smaller, simpler problems.
2. The simpler problems (on curves) have known, neat patterns.
3. The "messy" parts either repeat in a cycle or vanish completely.

The Result: The chaotic numbers of the Quot schemes on these smooth surfaces do follow a perfect, rational recipe.

Why Does This Matter?

In the world of math, finding a "rational" pattern is like finding the "Theory of Everything" for a specific problem. It means we don't have to calculate every single number by hand; we just need the formula. This opens the door to understanding deeper connections between geometry (shapes) and physics (how particles might behave in similar structures), proving that even in the most complex landscapes, there is an underlying order.

Technical Summary

1. Problem Statement

The paper addresses the rationality of cohomological descendent generating series for Quot schemes on smooth projective surfaces. Specifically, it considers the moduli space $\text{Quot}_S(\mathcal{O}_S^{\oplus N}, \beta, n)$, which parametrizes quotients of the trivial bundle $\mathcal{O}_S^{\oplus N}$ with rank 0, first Chern class $\beta$, and Euler characteristic $n$.

The generating series of interest is defined as:
$$Z_{\text{Quot}}^{S,N,\beta,\tau}(q) := \sum_{n \in \mathbb{Z}} q^n \int_{[\text{Quot}_S(\beta, n)]^{\text{vir}}} \prod_{i=1}^\ell \text{ch}_{k_i}(\alpha_i[n]) \cdot c(T^{\text{vir}})$$
where $\tau$ represents a "descendent packet" of insertions (Chern characters of tautological bundles and the virtual tangent class).

The Gap: Previous work by Johnson, Oprea, and Pandharipande established rationality for:

• $\beta = 0$ (zero curve class).
• $N = 1$ (rank 1 source).
• Surfaces with $p_g(S) > 0$ (irregular surfaces).

The remaining open case was surfaces with $p_g(S) = 0$ (geometric genus zero), $\beta \neq 0$, and $N > 1$. This paper proves rationality for exactly this remaining case.

2. Methodology

The proof relies on a sophisticated combination of Joyce's homological wall-crossing formalism, fixed-source pair moduli, and local-to-global reduction techniques. The strategy is broken down into five conceptual steps:

A. Fixed-Source Wall-Crossing Recursion

The author constructs a one-parameter family of stability conditions on the category of "fixed-source pairs" $( \mathcal{O}_S^{\oplus N} \xrightarrow{\rho} F )$.

• Stability Parameter: A parameter $c$ is introduced to define $\mu'_{H,c}$-stability.
• Wall-Crossing: As $c$ varies, the moduli space undergoes wall-crossing. The author proves that for a fixed numerical class $(1, \beta, n)$, there are only finitely many walls.
• Recursion: Using Joyce's bracket formulas, the author derives a recursion relating the "pair chamber" (where the cokernel is 0-dimensional) to the "empty chamber" via a sum over decompositions of the class $(1, \beta, n)$. This recursion involves pure sheaf factors and lower-rank pair factors.

B. Periodicity and Induction

To prove the rationality of the pair-chamber series ($Z^{\text{pair}}$):

• Twisting: The author utilizes the ample line bundle $\mathcal{O}_S(H)$. Tensoring by $\mathcal{O}_S(H)$ shifts the Euler characteristic by $H \cdot \beta$ while preserving Gieseker semistability.
• Polynomiality: This periodicity implies that the coefficients of the generating series behave polynomially on arithmetic progressions.
• Induction: By induction on $H \cdot \beta$, the rationality of the pair-chamber series is established, as the recursion expresses higher classes in terms of lower classes and polynomial sequences.

C. Factorization through Pure Quot

The paper establishes a bridge between the "pair chamber" (pure sheaves) and the full Quot scheme (which includes torsion):

1. First Correction (Pure to Quot with Torsion): Relates the full Quot scheme to the pure Quot scheme by factoring out zero-dimensional torsion. This is shown to be isomorphic to a relative Quot scheme over the pure Quot base, specifically involving the dual of the pure sheaf.
2. Second Correction (Kernel Torsion): Relates the pure Quot scheme to the "pair chamber" by accounting for the kernel of the map $\mathcal{O}_S^{\oplus N} \to F$. This involves a relative punctual Quot scheme on the kernel.

D. Reduction to Curve Theory (First Correction)

The first correction is reduced to the geometry of the support curves of the pure sheaves:

• Support-Flat Stratification: The base of the pure Quot scheme is stratified such that the support of the universal sheaf forms a flat family of curves.
• Local/Global Factorization: On these curves, the problem decomposes into:
  • A smooth factor: Quot schemes on the normalization of the curve (smooth projective curves).
  • Local singular factors: Punctual Quot schemes at the singular points of the curve.
• Rationality of Factors:
  • The smooth factor is proven rational using torus localization and the fact that integrals over symmetric products of curves become polynomial for large degrees.
  • The local singular factors are proven rational by adapting results from Huang and Jiang, showing they decompose into affine bundles over smooth-branch punctual Quot schemes, governed by differential operators acting on rational series.

E. Collapse of the Second Correction (K-theoretic Vanishing)

The second correction (involving the kernel $K$) is shown to be trivial in a specific sense:

• Local K-theory: Locally, the kernel $K$ admits a free resolution of length 1 (since it is pure 1-dimensional on a smooth surface).
• Vanishing: The virtual tangent class contains a cross-term involving the kernel. Due to the specific structure of the resolution and the fact that the source is free, this term vanishes in K-theory.
• Result: The second correction collapses to a universal factor depending only on the smooth surface germ, independent of the specific singularity type of the quotient.

3. Key Contributions

1. Resolution of the $p_g=0, N>1$ Case: The paper completes the classification of rationality for cohomological descendent series on surfaces, covering the final difficult case where the geometric genus is zero and the rank of the source bundle is greater than 1.
2. Fixed-Source Wall-Crossing: It adapts the Pandharipande-Thomas wall-crossing machinery to a "fixed-source" setting (where the source bundle is fixed as $\mathcal{O}_S^{\oplus N}$), providing a new recursion tool for Quot schemes.
3. Explicit Correction Operators: It introduces and analyzes two explicit zero-dimensional correction operators that factor the comparison between Pair moduli and Quot moduli, reducing a complex surface problem to curve theory and local algebra.
4. K-theoretic Collapse: It demonstrates a novel vanishing phenomenon where the second correction term becomes independent of the local geometry of the singularity, simplifying the global structure significantly.

4. Main Results

• Theorem 1.1 (Main Theorem): For a smooth projective surface $S$ with $p_g(S)=0$, an effective class $\beta \neq 0$, and $N > 1$, the generating series $Z_{\text{Quot}}^{S,N,\beta,\tau}(q)$ is the Laurent expansion of a rational function in $q$ for any finite descendent packet $\tau$.
• Rationality of Components: The proof establishes the rationality of:
  • The pair-chamber series (via periodicity and induction).
  • The smooth curve factors (via localization).
  • The local singular curve factors (via Huang-Jiang type stratification).
  • The universal punctual smooth-surface factor (via K-theoretic collapse).

5. Significance

• Unification of Invariants: This result unifies the understanding of Quot scheme invariants across all surface types and ranks, confirming the conjecture that these series are universally rational.
• Methodological Advancement: The paper provides a robust framework for handling "fixed-source" moduli problems, which are distinct from the more common "fixed-target" or stable pair problems. The technique of reducing surface problems to curve problems via support-flat stratification and local factorization is a powerful tool for future research in enumerative geometry.
• Connection to Physics and Topology: These generating series are closely related to Donaldson-Thomas invariants and topological string theory. Proving their rationality supports the broader conjectures regarding the modularity and rationality of enumerative invariants in algebraic geometry.
• Technical Depth: The work bridges several advanced areas: Joyce's wall-crossing, derived categories, local algebra of singular curves, and K-theoretic vanishing theorems, demonstrating a high level of synthesis in modern algebraic geometry.