Descendent Virasoro Constraints

• Descendent Virasoro constraints are systems of operator equations that generate descendent invariants and satisfy the Virasoro commutation relations.
• They are applied across various settings—such as stable pairs, open intersection theory, and CohFTs—to enforce string, dilaton, and recursion relations.
• Their formulation unifies geometric, algebraic, and topological methods, providing a recursive structure that connects integrable hierarchies in enumerative geometry.

Descendent Virasoro constraints are systems of operator equations for generating functions of descendent invariants. In the settings considered here, the basic form is an annihilation statement such as $L_m Z=0$, $\mathcal L_m\tau=0$, or $L_k^{PT}(\mathcal Z_{PT})=0$ for all $m,k\ge -1$, where the operators satisfy Virasoro commutation relations of the form $[L_m,L_n]=(m-n)L_{m+n}$. They occur in stable-pairs theory, Gromov–Witten theory, open intersection theory on moduli of disks, genus-0 open descendent theories attached to open WDVV solutions, CohFTs with vacuum, topological recursion, Drinfeld–Sokolov hierarchies, Hodge-theoretic partition functions, sheaf-counting theories, and Virasoro-descendant constructions in conformal restriction systems (Moreira et al., 2020, Pandharipande et al., 2014, Basalaev et al., 2019, Guo et al., 26 Feb 2025, Guo et al., 27 Jul 2025).

1. General operator form

A recurrent feature is the passage from descendent insertions to a partition function or total descendent potential, followed by the construction of differential or algebraic operators realizing half of the Virasoro algebra. In the KdV or $A_1$ Drinfeld–Sokolov setting, the operators act on the tau-function $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$ and satisfy the Virasoro algebra with central charge $c=1$; the constraints $L_nZ=0$, $n\ge -1$, are equivalent to the Witten–Kontsevich description of two-dimensional topological gravity (Liu et al., 2019). In open intersection theory on moduli of disks, the closed Virasoro operators are extended by $\mathcal L_m\tau=0$0-derivative terms to operators $\mathcal L_m\tau=0$1 satisfying $\mathcal L_m\tau=0$2, and the total open–closed $\mathcal L_m\tau=0$3-function is annihilated by all $\mathcal L_m\tau=0$4 (Pandharipande et al., 2014).

The same structural pattern persists in more geometric theories. For stable pairs on a nonsingular projective toric 3-fold, one works in a descendent algebra generated by $\mathcal L_m\tau=0$5 and defines operators $\mathcal L_m\tau=0$6 from derivation terms and quadratic multiplication terms; the stationary partition function is annihilated by these operators (Moreira et al., 2020). For CohFTs with vacuum, one defines a formal total descendent potential from $\mathcal L_m\tau=0$7- and $\mathcal L_m\tau=0$8-calibrations and then quantizes quadratic Hamiltonians to obtain operators $\mathcal L_m\tau=0$9 obeying the standard Virasoro bracket (Guo et al., 26 Feb 2025). For topological recursion, the descendent partition function built from the local expansions of $L_k^{PT}(\mathcal Z_{PT})=0$0 satisfies explicit differential constraints $L_k^{PT}(\mathcal Z_{PT})=0$1, again with $L_k^{PT}(\mathcal Z_{PT})=0$2 (Guo et al., 27 Jul 2025).

The cases $L_k^{PT}(\mathcal Z_{PT})=0$3 and $L_k^{PT}(\mathcal Z_{PT})=0$4 repeatedly specialize to the string and dilaton equations. This is stated explicitly for topological recursion, for the KdV formulation of Witten–Kontsevich, and for the open-disk theory (Guo et al., 27 Jul 2025, Liu et al., 2019, Pandharipande et al., 2014). The general picture is therefore a hierarchy of quadratic-linear-constant operators whose consistency is encoded by the Virasoro bracket.

2. Stable pairs on 3-folds

For stable pairs on a smooth projective 3-fold $L_k^{PT}(\mathcal Z_{PT})=0$5, one studies the moduli space $L_k^{PT}(\mathcal Z_{PT})=0$6 of stable pairs $L_k^{PT}(\mathcal Z_{PT})=0$7 with $L_k^{PT}(\mathcal Z_{PT})=0$8 and $L_k^{PT}(\mathcal Z_{PT})=0$9. Descendent insertions are defined from the universal sheaf by

$m,k\ge -1$0

with $m,k\ge -1$1 for $m,k\ge -1$2. The basic generating series in class $m,k\ge -1$3 is

$m,k\ge -1$4

Rationality of these descendent series is known for toric 3-folds (Moreira et al., 2020).

Moreira–Oblomkov–Okounkov–Pandharipande define the stable-pairs Virasoro operators in the descendent algebra by

$m,k\ge -1$5

with $m,k\ge -1$6 a quadratic operator built from $m,k\ge -1$7 and $m,k\ge -1$8, and $m,k\ge -1$9 a derivation. They satisfy bracket relations of Virasoro type, and the stationary Virasoro constraints assert

$[L_m,L_n]=(m-n)L_{m+n}$0

on the stationary subalgebra generated by $[L_m,L_n]=(m-n)L_{m+n}$1 with $[L_m,L_n]=(m-n)L_{m+n}$2. Here “stationary” means no insertion of $[L_m,L_n]=(m-n)L_{m+n}$3 (Moreira et al., 2020).

The proof in the toric case uses the stationary GW/PT descendent correspondence. There is an explicit linear map $[L_m,L_n]=(m-n)L_{m+n}$4 with self-reaction, two-body reaction, and three-body reaction formulas, and under the change of variables $[L_m,L_n]=(m-n)L_{m+n}$5 one has the master theorem

$[L_m,L_n]=(m-n)L_{m+n}$6

A filtration-by-“bumping” argument then shows

$[L_m,L_n]=(m-n)L_{m+n}$7

Since Givental’s localization proof gives $[L_m,L_n]=(m-n)L_{m+n}$8 for toric $[L_m,L_n]=(m-n)L_{m+n}$9, the stationary Virasoro constraints for stable pairs follow (Moreira et al., 2020).

The same framework yields new Virasoro constraints for tautological integrals on Hilbert schemes of points on surfaces. If $A_1$0 and the class is $A_1$1, then $A_1$2, and the stable-pairs descendents become tautological descendents on $A_1$3. Moreira extends the conjecture to 3-folds with non-$A_1$4-cohomology and proves the Hilbert-scheme constraints for every projective surface with $A_1$5 using the toric case together with universal polynomial formulas and a Zariski-density argument; the paper also proves the conjecture for a cubic threefold in the line class by explicit analysis of the Fano surface of lines and its projective-bundle models (Moreira, 2020).

3. Open theories and genus-0 open descendents

Pandharipande–Solomon–Tessler define descendent integration on the moduli spaces $A_1$6 of stable pointed disks. The open descendent integrals are obtained from a relative Euler class on a compact real orbifold with corners, and the normalization is chosen so that $A_1$7. The open–closed free energies $A_1$8 and $A_1$9 determine the total open–closed $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$0-function

$Z_{KW}(t_0,t_1,\dots)=\exp F(t)$1

The open operators $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$2 extend the standard closed Virasoro operators by extra $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$3-derivative terms, satisfy the half-Virasoro algebra, and annihilate $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$4: $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$5 In genus $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$6, the proof proceeds by establishing $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$7 and $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$8, then reducing $Z_{KW}(t_0,t_1,\dots)=\exp F(t)$9 and $c=1$0 to explicit combinatorial identities among the open descendent numbers; all genera are obtained by induction using commutators, open string and dilaton equations, and dimension counting (Pandharipande et al., 2014).

A parallel genus-0 theory is developed for arbitrary solutions of the open WDVV equations satisfying a homogeneity condition. Basalaev and Buryak construct an open descendent potential $c=1$1 from an open calibration and an open principal hierarchy, prove open topological recursion relations, and define open Virasoro operators $c=1$2 by adding purely open correction terms to the closed operators $c=1$3. The resulting genus-0 open Virasoro constraints take the form

$c=1$4

The same paper formulates conjectural all-genera open Virasoro equations in which the operators acquire higher-order $c=1$5-corrections (Basalaev et al., 2019).

A related conjectural framework writes the full open-and-closed partition function

$c=1$6

and imposes the open Virasoro system

$c=1$7

where $c=1$8 is an $c=1$9-extension of the closed operator $L_nZ=0$0. The same partition function is conjectured to satisfy open KdV equations, and Buryak proves that the open KdV and open Virasoro systems are equivalent. Ke derives a degree-wise recursion for $L_nZ=0$1 from the open Virasoro constraints and the initial condition $L_nZ=0$2 (Ke, 2014).

4. CohFTs with vacuum, calibrations, and semisimplicity

Guo and Zhang formulate descendent Virasoro constraints for CohFTs with vacuum. A vacuum vector, or $L_nZ=0$3-calibration, is an $L_nZ=0$4-valued formal polynomial $L_nZ=0$5 satisfying a pull-back identity under the forgetful map $L_nZ=0$6. In parallel, an $L_nZ=0$7-calibration is an $L_nZ=0$8-matrix $L_nZ=0$9 satisfying the quantum differential equation and the symplectic condition $n\ge -1$0. These calibrations determine the total descendent potential

$n\ge -1$1

with a generalized Kontsevich–Manin formula involving the quadratic form $n\ge -1$2, the ancestor potential $n\ge -1$3, and a dilaton-shifted change of variables (Guo et al., 26 Feb 2025).

Homogeneity is built into both the CohFT and the calibrations through an Euler vector field and a grading operator $n\ge -1$4. After the shift $n\ge -1$5, one introduces quadratic Hamiltonians $n\ge -1$6, quantizes them à la Givental, and obtains operators $n\ge -1$7 satisfying

$n\ge -1$8

The generalized Virasoro conjecture states that, for $n\ge -1$9,

$\mathcal L_m\tau=0$00

The paper verifies the genus-0 part for arbitrary CohFTs, deduces a simplified form of the genus-1 part, and proves the full conjectures for semisimple CohFTs (Guo et al., 26 Feb 2025).

The semisimple proof uses Givental’s reconstruction together with Teleman’s theorem. The shifted CohFT is assembled by an $\mathcal L_m\tau=0$01-action and a translation-action on a product of trivial one-dimensional theories, and the trivial theory is $\mathcal L_m\tau=0$02 copies of the Kontsevich–Witten $\mathcal L_m\tau=0$03-function. The Virasoro operators transform compatibly under the quantized $\mathcal L_m\tau=0$04- and $\mathcal L_m\tau=0$05-actions, so the semisimple ancestor potential is annihilated by the appropriate $\mathcal L_m\tau=0$06. Applications include Virasoro constraints for the $\mathcal L_m\tau=0$07-deformed negative $\mathcal L_m\tau=0$08-spin theory and a specialization that yields an extension of Grothendieck’s dessins d’enfants theory (Guo et al., 26 Feb 2025).

5. Topological recursion and integrable hierarchies

For a spectral curve $\mathcal L_m\tau=0$09 with simple branch points and boundary points $\mathcal L_m\tau=0$10, topological recursion produces symmetric meromorphic forms $\mathcal L_m\tau=0$11. Expanding these forms near the boundaries defines descendent invariants $\mathcal L_m\tau=0$12 and the TR descendent partition function

$\mathcal L_m\tau=0$13

Under the assumption that $\mathcal L_m\tau=0$14 and $\mathcal L_m\tau=0$15 are meromorphic and $\mathcal L_m\tau=0$16 has no poles except at the boundary points, one obtains explicit operators $\mathcal L_m\tau=0$17 with quadratic, linear, and constant terms determined by the local expansions of $\mathcal L_m\tau=0$18 and by residue constants $\mathcal L_m\tau=0$19. These operators satisfy

$\mathcal L_m\tau=0$20

The same operators annihilate the non-perturbative partition function $\mathcal L_m\tau=0$21 for higher-genus curves (Guo et al., 27 Jul 2025).

The Airy curve recovers precisely the Witten–Kontsevich Virasoro operators, the deformed $\mathcal L_m\tau=0$22-Bessel curve reproduces the negative $\mathcal L_m\tau=0$23-spin Virasoro operators, and the extended dessin curve yields the Virasoro constraints of Grothendieck dessin counting. In genus one, the Weierstrass spectral curve gives operators matching the geometric Virasoro operators of the associated genus-one CohFT (Guo et al., 27 Jul 2025). This places descendent Virasoro constraints for topological recursion in direct comparison with geometric descendent invariants.

On the integrable-hierarchy side, the free-field construction for the $\mathcal L_m\tau=0$24 Drinfeld–Sokolov hierarchy yields the standard KdV Virasoro operators, and the unique formal solution of $\mathcal L_m\tau=0$25, $\mathcal L_m\tau=0$26, together with a dilaton-shift condition, is the Witten–Kontsevich tau-function. For $\mathcal L_m\tau=0$27, the Virasoro constraints sit inside a larger $\mathcal L_m\tau=0$28-constraint system that characterizes the total descendant potential of the $\mathcal L_m\tau=0$29-FJRW or higher-spin theory (Liu et al., 2019). For linear Hodge integrals, Guo and Wang write explicit Virasoro constraints for the Hodge partition function and show that, at the special value $\mathcal L_m\tau=0$30, they degenerate to the classical descendent Virasoro constraints of Witten–Kontsevich; they further prove equivalence with a polynomial recursion for pure $\mathcal L_m\tau=0$31-class intersections (Guo et al., 2016).

6. Sheaf-counting, wall-crossing, and conformal descendants

In sheaf-theoretic enumerative geometry, descendent insertions $\mathcal L_m\tau=0$32 are assembled into a generating series

$\mathcal L_m\tau=0$33

where the integrals are taken against virtual classes of moduli spaces of semistable sheaves. Joyce’s vertex superalgebra furnishes a conformal vector $\mathcal L_m\tau=0$34, whose modes $\mathcal L_m\tau=0$35 satisfy the Virasoro bracket with central charge $\mathcal L_m\tau=0$36. The sheaf-theoretic Virasoro constraints are rephrased as the condition that the state corresponding to $\mathcal L_m\tau=0$37 is primary of conformal weight zero. In this language, the space of primary states is preserved by the Borcherds–Lie wall-crossing algebra, so Virasoro constraints are preserved under wall-crossing. This yields proofs for torsion-free sheaves on any curve and for surfaces with only $\mathcal L_m\tau=0$38-cohomology classes by reduction to rank $\mathcal L_m\tau=0$39 (Bojko et al., 2022).

The same paper records Hilbert schemes of points on surfaces among the examples: these satisfy $\mathcal L_m\tau=0$40, and the nested-Hilbert-scheme statements follow by virtual projective-bundle compatibility (Bojko et al., 2022). This is consistent with the stable-pairs derivations of Hilbert-scheme Virasoro constraints obtained from $\mathcal L_m\tau=0$41 (Moreira et al., 2020, Moreira, 2020).

A different, conformal-field-theoretic realization appears in conformal restriction systems. There, certain renormalized observables associated with hypotrochoid curves have power-series expansions in $\mathcal L_m\tau=0$42 and $\mathcal L_m\tau=0$43, and the coefficients of pure $\mathcal L_m\tau=0$44 and $\mathcal L_m\tau=0$45 powers define holomorphic and antiholomorphic fields. These fields are identified explicitly with Virasoro descendants of the identity,

$\mathcal L_m\tau=0$46

and hence inherit the full vertex-operator-algebraic OPE and Ward-identity structure (Doyon, 2012). In this setting the term “descendant” refers to Virasoro descendants rather than geometric descendents, but the underlying mechanism is again the organization of correlation functions by Virasoro modes and their recursion relations.

Across these theories, descendent Virasoro constraints function as a unifying formalism: they encode string and dilaton equations, impose recursive structure on descendent potentials, interact naturally with localization, wall-crossing, topological recursion, and integrable hierarchies, and in several cases determine the full generating series from initial data or semisimple reconstruction (Moreira et al., 2020, Pandharipande et al., 2014, Guo et al., 26 Feb 2025, Guo et al., 27 Jul 2025).