🔢 mathematics

Tautological Pushforwards of Hilbert Schemes of Points on Curves and Surfaces

This paper establishes a relative universality result for tautological pushforwards on Hilbert schemes of points over a base, providing explicit formulas for Segre classes on families of curves and surfaces that resolve a question by Oprea–Pandharipande and offer a codimension-one relative form of Lehn's conjecture.

Original authors: Bochao Kong

Published 2026-08-27

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Bochao Kong

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern mathematics, there is a branch dedicated to counting and classifying shapes that exist in higher dimensions. These are not the simple triangles and circles of a geometry textbook, but complex, multi-layered structures that can twist and fold in ways our eyes cannot see. Mathematicians often study these shapes by looking at how points can be arranged upon them. Imagine taking a smooth surface, like a sheet of paper or the skin of an apple, and asking how many different ways you can place a specific number of dots on it. When you allow the dots to merge or stack in specific mathematical ways, they form a new, intricate shape called a Hilbert scheme. This new shape holds a map of every possible arrangement of those dots.

The challenge for mathematicians is that these maps are incredibly difficult to read. They contain hidden patterns and numbers that describe the fundamental nature of the original surface. For decades, researchers have tried to find a universal rule that could predict these numbers for any surface, regardless of its specific shape or size. The goal is to find a single, master formula that acts like a key, unlocking the secrets of these complex arrangements without having to calculate each one from scratch. This is not just an abstract exercise; these calculations are the building blocks for understanding deep physical theories about the universe, including how particles interact and how space itself might be structured.

A researcher named Bocha Kong has now taken a significant step forward in this quest by proving that these complex counting problems follow a predictable, universal pattern when viewed through the lens of families of shapes. Instead of looking at a single surface in isolation, Kong studied what happens when you have a continuous collection of surfaces, like a family of curves or a family of two-dimensional sheets, all varying smoothly over a base. He demonstrated that the numbers describing the arrangements of points on these surfaces are not random. Instead, they are governed by a set of universal power series. These are like infinite recipes that, when combined with specific geometric features of the surface, produce the correct count for any arrangement.

The paper establishes that for any smooth family of surfaces, the total count of these point arrangements can be broken down into a simple exponential formula. This formula relies on a few fundamental ingredients: the geometric properties of the surface itself and a set of universal coefficients that remain the same for every surface in the family. Kong proved that these coefficients are unique and depend only on the type of counting being done, not on the specific surface being studied. This means that once these universal numbers are determined, they can be applied to any smooth surface family to instantly generate the correct counts.

The study focuses heavily on two specific types of shapes: curves, which are one-dimensional lines, and surfaces, which are two-dimensional sheets. For families of curves, Kong determined every single universal coefficient needed to calculate the total counts. These formulas answer a long-standing question posed by other mathematicians about how these counts behave. Surprisingly, the patterns Kong found in these numbers are deeply connected to a different area of mathematics involving the counting of specific types of permutations, known as monotone Hurwitz numbers. This connection reveals a hidden bridge between the geometry of point arrangements and the combinatorics of ordering items.

For families of surfaces, the work provides a complete solution to a specific version of a famous conjecture known as Lehn's conjecture. This conjecture predicted a closed formula for the highest-order counts of points on surfaces. While the original conjecture was proven for individual surfaces, Kong's work extends this to entire families of surfaces, providing explicit formulas for every universal series involved. He achieved this by using a clever combination of geometric arguments and a sophisticated computational technique called refined topological recursion. This method allowed him to evaluate the local behavior of these shapes at specific points, effectively solving the puzzle piece by piece.

The results are rigorous and proven. The paper does not merely suggest these patterns exist; it provides a formal mathematical proof that they hold true for every smooth projective family of curves and surfaces. The author also addresses potential questions about whether these patterns might break down in more complex scenarios, such as when dealing with higher-rank bundles or multiple insertions, but notes that these specific variants were not the focus of this particular study. The work stands as a definitive guide for how to calculate these tautological integrals, turning a previously intractable problem into a systematic process governed by clear, universal laws.

By mapping out these universal relationships, the paper transforms the way mathematicians approach the geometry of point arrangements. It moves the field from calculating individual cases to understanding the underlying structure that connects them all. The discovery of these universal power series means that the complex behavior of points on surfaces is not chaotic but follows a strict, elegant order. This clarity allows researchers to predict the properties of these shapes with confidence, opening the door to further discoveries in both pure mathematics and the theoretical physics that relies on these geometric foundations.

Technical Summary: Tautological Pushforwards of Hilbert Schemes of Points on Curves and Surfaces

Problem Statement
The paper addresses the computation of tautological integrals on Hilbert schemes of points, $X[n]$ , where $X$ is a smooth projective curve or surface. Specifically, it seeks to compute the pushforwards of products of Chern classes of tautological sheaves $F[n]$ and the relative tangent bundle $T_{X[n]/B}$ to a base scheme $B$ . While Ellingsrud, Göttsche, and Lehn (EGL) established a universality result for these integrals in the absolute case ( $B = \text{Spec } \mathbb{C}$ ), expressing them via universal power series paired with characteristic classes of $X$ , this work generalizes the result to the relative setting. The goal is to determine whether, over a smooth connected quasi-projective base $B$ , these pushforwards are governed by universal power series paired with relative $\kappa$ -classes, and to explicitly determine these series for specific characteristic classes, particularly Segre classes.

Methodology
The paper employs a combination of relative algebraic geometry, K-theoretic recursions, and equivariant localization techniques.

Relative EGL Reduction: The core structural argument adapts the reduction algorithm of Ellingsrud, Göttsche, and Lehn to families over a base $B$ . By utilizing the relative nested Hilbert scheme and incidence relations, the author reduces integrals on $X[n]$ to integrals on lower-order Hilbert schemes and fiber products. This establishes that the pushforwards can be expressed as universal polynomials in relative $\kappa$ -classes.
Uniqueness via Test Families: To prove the uniqueness of the universal power series coefficients, the author constructs a separation argument using three types of test families:
- Products of varying curve families to isolate tangent bundle terms.
- Families arising from toric surfaces (via Borel mixed constructions and fixed-point localization) to isolate terms involving the Chern roots of the tangent bundle.
- Constant surface families with varying line bundles to isolate terms involving the Chern classes of the tautological bundle.
  This multi-stage testing ensures that no non-trivial universal relations exist among the $\kappa$ -classes that would obscure the coefficients.
Curve Calculations and Recursion: For curve families, the author utilizes ordered incidence expansions on symmetric products. They relate the generating series to "edge coefficients" and derive a horizontal recursion based on base twists. A key insight connects the resulting recursion to the monotone Hurwitz numbers, identifying the contact equation for the generating series as the Riccati form of the quantum curve for these numbers.
Surface Calculations and Localization: For surface families, the author focuses on codimension-one Segre integrals. They leverage Lehn's conjecture (proven by Marian–Oprea–Pandharipande and Voisin) for scalar top Segre integrals. To determine the remaining codimension-one coefficients, they reduce the problem to a local affine-plane vertex calculation. This vertex is evaluated using the refined topological recursion of Chidambaram–Dołęga–Osuga, identifying the vertex series with a specialization of a Jack tau function.

Key Contributions and Results

Theorem 1.1 (Relative Universality): The paper proves that for any smooth projective surface family $\pi: X \to B$ and any $x \in K^0(X)$ , the generating series of tautological pushforwards $H_{\Psi, \Phi}(X/B, x; q)$ is given by the exponential of a sum of universal power series $A_a(q)$ paired with relative $\kappa$ -classes $\kappa_a$ . This recovers the absolute EGL result when $B$ is a point.
Theorem 1.2 (Curve Case): For curve families, the author determines all universal coefficients for total Segre pushforwards. They provide explicit recursive formulas for the series $A_{a,b}(q)$ $A_{a, b} (q)$ in terms of a variable $u$ $u$ defined by $q = u(1-u)$ $q = u (1 - u)$ .
- The coefficients $A_{0,b}$ satisfy a specific recursion related to monotone Hurwitz numbers.
- The coefficients $A_{a,b}$ for $a \ge 1$ are determined by a horizontal recursion derived from base twists.
- This answers a question posed by Oprea–Pandharipande regarding the universal logarithmic formula for Segre classes on symmetric products.
Theorem 1.4 and Corollary 1.5 (Surface Codimension-One): The author establishes a horizontal recursion for surface Segre coefficients, $A_{a,b,c} = -\frac{1}{a}(3\theta + a + b + 2c - 3)A_{a-1,b,c}$ . Using this and known scalar top Segre integrals, they explicitly compute the normalized codimension-one coefficients with positive $h$ -degree ( $A_{3,0,0}, A_{2,1,0}, A_{1,2,0}, A_{1,0,1}$ ).
Theorem 1.6 (Remaining Surface Coefficients): The paper provides explicit formulas for the remaining normalized codimension-one coefficients ( $A_{0,3,0}$ and $A_{0,1,1}$ ). These are derived by combining the horizontal recursion with equivariant localization on toric surfaces and the refined topological recursion.
Resolution of a Specific Open Problem: The results provide a complete solution to the problem of finding a closed formula for the codimension-one Segre pushforward for arbitrary smooth projective surface families, which was identified as the codimension-one analogue of Lehn's conjecture by Marian–Oprea–Pandharipande.

Significance and Claims
The paper claims to generalize the foundational universality results of Ellingsrud, Göttsche, and Lehn to the relative setting, providing a structural framework for tautological integrals over families. Its primary technical achievement is the explicit determination of the universal power series for Segre classes in both curve and surface cases.

For curves, the work connects tautological integrals on symmetric products to monotone Hurwitz numbers, offering a geometric interpretation of the quantum curve associated with these numbers. For surfaces, the paper delivers a "codimension-one relative form" of Lehn's conjecture, supplying explicit formulas for all relevant universal series. The author notes that while the results are derived for rank-one bundles and specific insertions, the framework suggests potential extensions to higher-rank bundles and multiple insertions, though these are left as open questions (Questions 1.3 and 1.7) rather than solved problems. The work relies heavily on the interplay between geometric reduction, combinatorial recursions, and modern topological recursion methods to resolve previously intractable coefficients.

More like this