---
title: Descendent Virasoro Constraints
url: https://www.emergentmind.com/topics/descendent-virasoro-constraints
type: topic
---

# Descendent Virasoro Constraints

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 [2008.12514] [1409.2191] [1901.10393] [2502.18895] [2507.20151].

## 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 [1908.06707]. In open intersection theory on moduli of disks, the closed Virasoro operators are extended by \(s\)-derivative terms to operators \(\mathcal L_m\) satisfying \([\mathcal L_m,\mathcal L_n]=(m-n)\mathcal L_{m+n}\), and the total open–closed \(\tau\)-function is annihilated by all \(\mathcal L_m\) [1409.2191].

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 \(ch_k(\gamma)\) and defines operators \(L_k^{PT}\) from derivation terms and quadratic multiplication terms; the stationary partition function is annihilated by these operators [2008.12514]. For CohFTs with vacuum, one defines a formal total descendent potential from \(S\)- and \(\nu\)-calibrations and then quantizes quadratic Hamiltonians to obtain operators \(L_m\) obeying the standard Virasoro bracket [2502.18895]. For topological recursion, the descendent partition function built from the local expansions of \(\omega_{g,n}\) satisfies explicit differential constraints \(\,_m Z=0\), again with \([\,_m,\,_n]=(m-n)\,_{m+n}\) [2507.20151].

The cases \(m=-1\) and \(m=0\) 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 [2507.20151] [1908.06707] [1409.2191]. 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 \(X\), one studies the moduli space \(P_n(X,\beta)\) of stable pairs \((F,s)\) with \(\chi(F)=n\) and \([\operatorname{Supp}F]=\beta\). Descendent insertions are defined from the universal sheaf by
\[
ch_k(\gamma):=\pi_{P*}\bigl(ch_k(F)\cup \pi_X^*(\gamma)\bigr)\in H^*(P_n),
\]
with \(ch_k(\gamma)=0\) for \(k<0\). The basic generating series in class \(\beta\) is
\[
\left\langle \prod_i \tau_{k_i}(\gamma_i)\right\rangle^{(X,PT)}_\beta
=\sum_{n\in \mathbb Z} q^n \int_{[P_n(X,\beta)]^{vir}} \prod_i ch_{k_i}(\gamma_i).
\]
Rationality of these descendent series is known for toric 3-folds [2008.12514].

Moreira–Oblomkov–Okounkov–Pandharipande define the stable-pairs Virasoro operators in the descendent algebra by
\[
L_k^{PT}=T_k+R_k+(k+1)!\,R_{-1}\,ch_{k+1}(pt),
\]
with \(T_k\) a quadratic operator built from \(c_1\) and \(c_1c_2\), and \(R_k\) a derivation. They satisfy bracket relations of Virasoro type, and the stationary Virasoro constraints assert
\[
L_k^{PT}(\mathcal Z_{PT}^X(\tau;q))=0,\qquad k\ge -1,
\]
on the stationary subalgebra generated by \(ch_k(\gamma)\) with \(\gamma\in H^{>0}(X)\). Here “stationary” means no insertion of \(\tau_0(1)\) [2008.12514].

The proof in the toric case uses the stationary GW/PT descendent correspondence. There is an explicit linear map \(\mathcal C:\mathcal D^{PT}_*\to \mathcal D^{GW}_+\) with self-reaction, two-body reaction, and three-body reaction formulas, and under the change of variables \(-q=e^{iu}\) one has the master theorem
\[
(-q)^{-d/2}\,\langle \prod_i ch_{k_i}(\gamma_i)\rangle^{PT}_{\beta}
=
(-iu)^d\,\langle \prod_i \mathcal C(ch_{k_i}(\gamma_i))\rangle^{GW}_{\beta},
\qquad d=\int_\beta c_1(X).
\]
A filtration-by-“bumping” argument then shows
\[
\mathcal C\circ L_k^{PT}(D)=(iu)^{-k}\,L_k^{GW}\circ \mathcal C(D).
\]
Since Givental’s localization proof gives \(L_k^{GW}(\mathcal Z_{GW})=0\) for toric \(X\), the stationary Virasoro constraints for stable pairs follow [2008.12514].

The same framework yields new Virasoro constraints for tautological integrals on Hilbert schemes of points on surfaces. If \(X=S\times \mathbb P^1\) and the class is \(n[\mathbb P^1]\), then \(P_n(S\times \mathbb P^1,n[\mathbb P^1])\cong \operatorname{Hilb}^n(S)\), and the stable-pairs descendents become tautological descendents on \(\operatorname{Hilb}^n(S)\). Moreira extends the conjecture to 3-folds with non-\((p,p)\)-cohomology and proves the Hilbert-scheme constraints for every projective surface with \(H^1(S)=0\) 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 [2008.13746].

## 3. Open theories and genus-0 open descendents

Pandharipande–Solomon–Tessler define descendent integration on the moduli spaces \(\overline M_{0,k,l}\) 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 \(\langle \sigma^3\rangle^o=1\). The open–closed free energies \(F^c\) and \(F^o\) determine the total open–closed \(\tau\)-function
\[
\tau(u;\mathbf t,s)=\exp(F^c(u;\mathbf t)+F^o(u;\mathbf t,s)).
\]
The open operators \(\mathcal L_m\) extend the standard closed Virasoro operators by extra \(s\)-derivative terms, satisfy the half-Virasoro algebra, and annihilate \(\tau\):
\[
\mathcal L_m\,\tau(u;\mathbf t,s)=0,\qquad m\ge -1.
\]
In genus \(0\), the proof proceeds by establishing \(\mathcal L_{-1}\) and \(\mathcal L_0\), then reducing \(\mathcal L_1\) and \(\mathcal L_2\) 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 [1409.2191].

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 \(F_0^{\rm open\,desc}(t,s)\) from an open calibration and an open principal hierarchy, prove open topological recursion relations, and define open Virasoro operators \(\mathcal L_m\) by adding purely open correction terms to the closed operators \(L_m\). The resulting genus-0 open Virasoro constraints take the form
\[
\mathcal L_m\,\exp(F_0^{\rm open\,desc})=0,\qquad m\ge -1.
\]
The same paper formulates conjectural all-genera open Virasoro equations in which the operators acquire higher-order \(\hbar\)-corrections [1901.10393].

A related conjectural framework writes the full open-and-closed partition function
\[
Z(u;s;\{t_i\}_{i\ge0})=\exp(F^c(u;\{t_i\})+F^o(u;s;\{t_i\}))
\]
and imposes the open Virasoro system
\[
\frac{(2n+3)!!}{2^{n+1}}\,\frac{\partial Z}{\partial t_{n+1}}=\widehat L_n Z,\qquad n\ge -1,
\]
where \(\widehat L_n\) is an \(s\)-extension of the closed operator \(L_n\). 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 \(Z\) from the open Virasoro constraints and the initial condition \(Z|_{t_*=0}=\exp(u^{-1}s^3/6)\) [1409.7470].

## 4. CohFTs with vacuum, calibrations, and semisimplicity

Guo and Zhang formulate descendent Virasoro constraints for CohFTs with vacuum. A vacuum vector, or \(\nu\)-calibration, is an \(H\)-valued formal polynomial \(v^{\rm anc}(T,z)\) satisfying a pull-back identity under the forgetful map \(\pi:\overline{\mathcal M}_{g,n+1}\to\overline{\mathcal M}_{g,n}\). In parallel, an \(S\)-calibration is an \(S\)-matrix \(S_T(z)\in \operatorname{End}(H)[[z^{-1}]]\) satisfying the quantum differential equation and the symplectic condition \(S_T^*(-z)S_T(z)=\mathrm{Id}\). These calibrations determine the total descendent potential
\[
D(t;\hbar)=\exp\Bigl(\sum_{g\ge0}\hbar^{g-1}F_g(t)\Bigr),
\]
with a generalized Kontsevich–Manin formula involving the quadratic form \(W_T\), the ancestor potential \(\mathcal A_T\), and a dilaton-shifted change of variables [2502.18895].

Homogeneity is built into both the CohFT and the calibrations through an Euler vector field and a grading operator \(p\in \operatorname{End}(H)\). After the shift \(t(z)\mapsto \mathbf t(z)=t(z)-T-z\,u(z)\), one introduces quadratic Hamiltonians \(\ell_m\), quantizes them à la Givental, and obtains operators \(L_m=\widehat{\ell_m}+O_m\) satisfying
\[
[L_m,L_n]=(m-n)L_{m+n}.
\]
The generalized Virasoro conjecture states that, for \(m\ge m_y\),
\[
\Bigl(L_m+\tfrac12\,\delta_{m,2m_y}\,c_{m_y}\Bigr)D(t;\hbar)=0.
\]
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 [2502.18895].

The semisimple proof uses Givental’s reconstruction together with Teleman’s theorem. The shifted CohFT is assembled by an \(R\)-action and a translation-action on a product of trivial one-dimensional theories, and the trivial theory is \(N\) copies of the Kontsevich–Witten \(\tau\)-function. The Virasoro operators transform compatibly under the quantized \(R\)- and \(T\)-actions, so the semisimple ancestor potential is annihilated by the appropriate \(L_m\). Applications include Virasoro constraints for the \(\epsilon\)-deformed negative \(r\)-spin theory and a specialization that yields an extension of Grothendieck’s dessins d’enfants theory [2502.18895].

## 5. Topological recursion and integrable hierarchies

For a spectral curve \(C=(\Sigma,x,y)\) with simple branch points and boundary points \(b_i\), topological recursion produces symmetric meromorphic forms \(\omega_{g,n}\). Expanding these forms near the boundaries defines descendent invariants \(\langle \alpha_{k_1}^{i_1},\dots,\alpha_{k_n}^{i_n}\rangle_{g,n}\) and the TR descendent partition function
\[
Z(\{p\};\hbar)=\exp\Bigl\{\sum_{g,n\ge0}\hbar^{2g-2}\sum \langle \alpha_{k_1}^{i_1},\dots,\alpha_{k_n}^{i_n}\rangle_{g,n}\,p_{k_1}^{i_1}\cdots p_{k_n}^{i_n}\cdot n!\cdot \prod k_a\Bigr\}.
\]
Under the assumption that \(x\) and \(y\) are meromorphic and \(x^{m+1}y\) has no poles except at the boundary points, one obtains explicit operators \(\,_m\) with quadratic, linear, and constant terms determined by the local expansions of \(y\,dx\) and by residue constants \(c_m\). These operators satisfy
\[
[\,_m,\,_n]=(m-n)\,_{m+n},\qquad \,_m\,Z(\{p\};\hbar)=0,\quad m\ge -1.
\]
The same operators annihilate the non-perturbative partition function \(Z^{NP}\) for higher-genus curves [2507.20151].

The Airy curve recovers precisely the Witten–Kontsevich Virasoro operators, the deformed \(r\)-Bessel curve reproduces the negative \(r\)-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 [2507.20151]. 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 \(A_1\) Drinfeld–Sokolov hierarchy yields the standard KdV Virasoro operators, and the unique formal solution of \(L_nZ=0\), \(n\ge -1\), together with a dilaton-shift condition, is the Witten–Kontsevich tau-function. For \(A_N\), the Virasoro constraints sit inside a larger \(W_{N+1}\)-constraint system that characterizes the total descendant potential of the \(A_N\)-FJRW or higher-spin theory [1908.06707]. For linear Hodge integrals, Guo and Wang write explicit Virasoro constraints for the Hodge partition function and show that, at the special value \(u=0\), they degenerate to the classical descendent Virasoro constraints of Witten–Kontsevich; they further prove equivalence with a polynomial recursion for pure \(\psi\)-class intersections [1608.02077].

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

In sheaf-theoretic enumerative geometry, descendent insertions \(ch_k(\gamma)\) are assembled into a generating series
\[
Z(q;\{t_k(\gamma)\})=\sum_\alpha q^\alpha \left\langle \exp\Bigl(\sum_{k,\gamma} t_k(\gamma)\,ch_k(\gamma)\Bigr)\right\rangle,
\]
where the integrals are taken against virtual classes of moduli spaces of semistable sheaves. Joyce’s vertex superalgebra furnishes a conformal vector \(\omega\), whose modes \(L_n=\omega_{(n+1)}\) satisfy the Virasoro bracket with central charge \(c=\chi(X)\). The sheaf-theoretic Virasoro constraints are rephrased as the condition that the state corresponding to \(Z\) 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 \((p,p)\)-cohomology classes by reduction to rank \(1\) [2210.05266].

The same paper records Hilbert schemes of points on surfaces among the examples: these satisfy \(L_nZ=0\), and the nested-Hilbert-scheme statements follow by virtual projective-bundle compatibility [2210.05266]. This is consistent with the stable-pairs derivations of Hilbert-scheme Virasoro constraints obtained from \(S\times \mathbb P^1\) [2008.12514] [2008.13746].

A different, conformal-field-theoretic realization appears in conformal restriction systems. There, certain renormalized observables associated with hypotrochoid curves have power-series expansions in \(u=\epsilon e^{i\theta}\) and \(\bar u\), and the coefficients of pure \(u^{km}\) and \(\bar u^{km}\) powers define holomorphic and antiholomorphic fields. These fields are identified explicitly with Virasoro descendants of the identity,
\[
\mathcal T_{k,m}=\sum_{\lambda\in \Phi(m)} C_\lambda\,(k-1)^{m-|\lambda|}\,L_{-k\lambda_{|\lambda|}}\cdots L_{-k\lambda_1}\mathbf 1,
\]
and hence inherit the full vertex-operator-algebraic OPE and Ward-identity structure [1209.4860]. 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 [2008.12514] [1409.2191] [2502.18895] [2507.20151].

Source: https://www.emergentmind.com/topics/descendent-virasoro-constraints