⚛️ high-energy theory

Topological String Blowup Equations via Stable Pairs

This paper proves blowup equations for the equivariant K-theoretic stable-pair series of local Hirzebruch threefolds by establishing a coefficientwise correspondence with framed rank-two sheaf Euler-characteristic series, thereby deriving unity and vanishing equations and outlining conjectures for local $\mathbb{P}^2$ and $E_8$ -related specializations.

Original authors: Lutian Zhao

Published 2026-08-27

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Lutian Zhao

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 field dedicated to counting the invisible shapes that can exist within complex, multi-dimensional spaces. Imagine a universe where the fundamental building blocks are not atoms, but intricate, twisting curves and surfaces that float inside a higher-dimensional void. Mathematicians call these "stable pairs," which are essentially a way of describing how a thin, one-dimensional thread of material can be woven through a three-dimensional space without tearing or collapsing. To make sense of these shapes, researchers use a powerful tool called "localization." This technique allows them to break down a complicated, global problem into smaller, manageable pieces by focusing on the specific spots where the space remains unchanged under certain rotations. It is like trying to understand the shape of a spinning top by only looking at the points where it touches the table, knowing that the behavior at those contact points reveals the nature of the whole object. This approach has become essential for connecting geometry with theoretical physics, particularly in understanding the quantum properties of space-time.

The paper at hand, authored by Lutian Zhao, takes this established method and applies it to a specific family of geometric shapes known as local Hirzebruch surfaces. These are three-dimensional spaces built by stacking lines over a two-dimensional base that has a specific, twisted structure. The author's primary goal was to prove a set of equations, known as "blowup equations," that govern how the counts of these stable pairs change when the geometry of the space is slightly altered or "blown up." In simpler terms, the researcher wanted to find a rule that predicts how the number of possible curve configurations shifts when the underlying space is modified. The paper succeeds in proving these equations for three specific cases of these surfaces, where the twisting of the base is mild. The proof relies on a clever translation: the author shows that the complex counting of these curves is mathematically identical to a different problem involving "framed sheaves," which are essentially bundles of data attached to a plane. By solving the problem in this new language, the author was able to derive the exact formulas needed to describe the behavior of the original curves.

The findings are rigorous and complete for the cases studied. The author demonstrates that for these specific geometric settings, the equations hold true without exception. A key part of the work involves identifying exactly which configurations of the space lead to a "unity" equation, where the counts balance out to a non-zero value, and which lead to a "vanishing" equation, where the counts cancel each other out completely to zero. For one of the more complex cases, the author proves that these equations are not just abstract formulas but are identities of localized indices, meaning they hold true even when looking at the specific, isolated points that define the geometry. The paper also extends this work to a different, highly symmetric space known as local P2. Here, the author does not prove the final result from scratch but instead formulates two precise conjectures—educated guesses based on deep patterns—that, if accepted, would allow the same blowup equations to be derived for this new space. These conjectures connect the geometry to a famous lattice structure in mathematics, suggesting a hidden order that links the counting of curves to the arrangement of points in a high-dimensional grid.

The significance of this work lies in its ability to unify different areas of mathematics and physics. By proving these blowup equations, the author provides a reliable method for calculating the properties of these complex spaces, which are often used as models in string theory to describe the extra dimensions of our universe. The paper confirms that the behavior of these curves is not random but follows a strict, predictable pattern that can be captured by a finite set of rules. The author also verifies that these patterns align with previous, broader conjectures made by other mathematicians, effectively placing these specific results into a larger, coherent framework. While the work is deeply technical, its core achievement is the establishment of a bridge between two seemingly different ways of counting geometric objects, showing that they are, in fact, two sides of the same coin. This clarity allows future researchers to use these proven equations as a foundation for exploring even more complex geometries, confident that the underlying rules of the game have been correctly identified.

Technical Summary: Topological String Blowup Equations via Stable Pairs

Problem Statement
The paper addresses the derivation and proof of blowup equations for the two-variable, torus-equivariant symmetrized K-theoretic stable-pair series on local Hirzebruch threefolds $Y_\ell = \text{Tot}_{F_\ell} K_{F_\ell}$ for $0 \le \ell \le 2$ . These equations relate the partition function of a Calabi–Yau threefold to a bilinear sum of shifted partition functions, a structure conjectured by Huang, Sun, and Wang (HSW) to hold generally for toric Calabi–Yau threefolds. While the HSW conjecture and specific cases (like local $\mathbb{P}^2$ ) have been formulated in the context of refined topological strings and Nekrasov functions, a rigorous derivation directly from stable-pair localization, including the precise handling of square roots, signs, and formal series interpretations, was lacking. Additionally, the paper seeks to establish these identities for local $\mathbb{P}^2$ and formulate conjectures for the rational elliptic surface involving the $E_8$ lattice.

Methodology
The author employs a multi-step strategy combining virtual localization, framed sheaf theory, and analytic continuation:

Stable-Pair Localization: The starting point is the virtual localization formula for Pandharipande–Thomas (PT) stable pairs on toric Calabi–Yau threefolds. The author utilizes the symmetrized virtual structure sheaf $\hat{\mathcal{O}}^{\text{vir}}$ and the Arbesfeld-compatible square-root branches to define the symmetrized K-theoretic stable-pair series $Z^{\text{PT}, K}_Y$ .
Four-Chart Localization and Framed Sheaves: For the local Hirzebruch surfaces $Y_\ell$ , the paper evaluates the localization sum over the four affine charts of the base $F_\ell$ . A key technical step is identifying the coefficientwise limit of this sum (after dividing by the fibre-class contribution) with the equivariant Euler-characteristic series of $(\det V)^\ell$ on the moduli spaces of framed rank-two sheaves on $\mathbb{P}^2$ . This identification relies on comparing the vertex-edge factorization of the stable-pair series with the fixed-point formulas of framed sheaves.
Blowup Formulas for Framed Sheaves: The paper leverages established blowup formulas for framed sheaves (Nakajima–Yoshioka, Bershtein–Shchechkin, Shchechkin). By translating the variables and normalizing the series, the author derives the "unity" and "vanishing" equations for the framed-sheaf partition functions.
Transfer to Stable Pairs: Using the established correspondence between the normalized stable-pair series and the framed-sheaf series, the blowup equations for framed sheaves are transferred to the stable-pair side. This yields the blowup equations for $Y_\ell$ as identities of rational functions or localized indices.
Local $\mathbb{P}^2$ and Conjectures: For the local $\mathbb{P}^2$ case ( $X = \text{Tot}_{\mathbb{P}^2} K_{\mathbb{P}^2}$ ), the paper assumes two conjectures: a "vertex comparison" identifying the stable-pair series with a two-legged refined-vertex sum, and a "specialization at $u=0$ " allowing the analytic continuation of Nakajima–Yoshioka identities. Under these assumptions, the blowup equations for local $\mathbb{P}^2$ are derived. Finally, the paper formulates conjectures for the rational elliptic surface, linking the blowup equations to identities involving the $E_8$ root lattice and theta functions.

Key Contributions and Results

Proof for Local Hirzebruch Surfaces ( $0 \le \ell \le 2$ ): The paper proves the HSW blowup equations for the local Hirzebruch threefolds $Y_\ell$ . It explicitly identifies the unity and vanishing classes (represented by vectors $r_{\ell;j,d}$ ) and provides the explicit rational function coefficients $c_{\ell;j,d}$ . For $\ell=2$ , the result is established as an identity of localized indices.
Identification with Framed Sheaves: A central result is Proposition 4.4, which identifies the normalized stable-pair series of $Y_\ell$ with the framed-sheaf series $A_\ell$ (involving the insertion $(\det V)^\ell$ ) after a specific change of variables. This bridges the gap between the geometric stable-pair theory and the gauge-theoretic framed-sheaf theory.
Derivation of Blowup Equations: Theorem 5.6 presents the blowup equations for $Y_\ell$ in the form of a bilinear sum over a lattice, equating it to a multiple of the unshifted series (unity) or zero (vanishing). The paper verifies that these equations satisfy the parity and normalization conditions proposed by Huang, Sun, and Wang.
Local $\mathbb{P}^2$ Equations: Assuming the vertex comparison (Conjecture 6.8) and the specialization at $u=0$ (Conjecture 6.18), Theorem 6.19 establishes the blowup equations for local $\mathbb{P}^2$ . The paper provides explicit coefficient formulas (Corollary 6.20) and demonstrates that these three equations (for $r=1, -1, 3$ ) recursively determine the full stable-pair series.
Rational Elliptic Surface Conjectures: The paper formulates Conjecture 8.2, proposing that the stable-pair series on the rational elliptic surface satisfy blowup equations indexed by the $E_8$ root lattice. It also proposes Conjecture 8.3 regarding the compatibility of these equations under the contraction of a $(-1)$ -curve.

Significance and Claims
The paper claims to establish the local-Hirzebruch identities for the torus-localized, symmetrized K-theoretic stable-pair series, deriving them directly from stable-pair localization. This provides a rigorous geometric foundation for the HSW conjectures in these specific cases, clarifying the role of square roots, signs, and formal series interpretations that were previously assumed or handled via gauge-theoretic analogies.

For local $\mathbb{P}^2$ , the paper does not claim a proof but rather a derivation conditional on two specific conjectures (vertex comparison and analytic specialization). It highlights that these conjectures allow the translation of known framed-sheaf identities into the stable-pair context. The work also extends the scope of blowup equations to the rational elliptic surface, suggesting a deep connection between topological string invariants and the $E_8$ lattice structure.

The author emphasizes that the results are "coefficientwise" identities of rational functions or localized indices, avoiding assumptions of global convergence where not justified. The significance lies in unifying the stable-pair counting theory with the blowup formalism of gauge theory, providing a computational framework (via the recursive determination of coefficients) and a structural understanding of the partition functions for these local geometries.

More like this