---
title: Ancestor Virasoro Constraints in CohFT
url: https://www.emergentmind.com/topics/ancestor-virasoro-constraints
type: topic
---

# Ancestor Virasoro Constraints in CohFT

Ancestor Virasoro constraints are systems of differential equations that annihilate the total ancestor potential of a cohomological field theory, singularity theory, or related enumerative structure. In the Fan–Jarvis–Ruan–Witten theory of an admissible Landau–Ginzburg pair \((W,G)\), they take the form
\[
L_k^{(W,G)}\,\mathcal A_{W,G}(\mathbf t;\hbar)=0,\qquad k\ge -1,
\]
where the operators \(L_k^{(W,G)}\) realize a half-Virasoro algebra on the formal Fock space of ancestor variables [2103.00313]. Closely related formulations appear for homogeneous CohFTs with vacuum, where Guo–Zhang propose the ancestor Virasoro conjecture for calibrated theories [2502.18895], in singularity theory, where Milanov identifies \(N\) copies of Virasoro constraints with the Eynard–Orantin recursion for the total ancestor potential [1211.5847], and in topological recursion for arbitrary spectral curves, where a direct residue proof yields \(L_mA=0\) for all \(m\ge -1\) [2507.20151]. Across these settings, the constraints organize higher-genus ancestor invariants into a rigid representation-theoretic structure.

## 1. Total ancestor potential and ancestor correlators

For an admissible Landau–Ginzburg pair \((W,G)\), the FJRW theory defines a CohFT
\[
\Lambda^{\mathrm{FJRW}}_{g,k}:H_{W,G}^{\otimes k}\longrightarrow H^*(\overline{\mathcal M}_{g,k},\mathbb C),
\]
on the state space \(H_{W,G}\). Its ancestor invariants are
\[
\big\langle \tau_{m_1}(d_{i_1})\dots\tau_{m_k}(d_{i_k})\big\rangle^{(W,G)}_{g,k}
=
\int_{[\overline{\mathcal M}_{g,k}]^{\rm vir}}
\prod_{j=1}^k\psi_j^{m_j}\;
\Lambda^{\mathrm{FJRW}}_{g,k}(d_{i_1}\otimes\cdots\otimes d_{i_k}),
\]
and the total ancestor potential is the formal exponential generating series
\[
\mathcal A_{W,G}(\mathbf t;\hbar)
=
\exp\!\Bigg(
\sum_{g\ge0}\hbar^{g-1}
\sum_{k\ge0}\frac1{k!}
\sum_{i_1,\dots,i_k}\sum_{m_1,\dots,m_k}
\big\langle \tau_{m_1}(d_{i_1})\dots\tau_{m_k}(d_{i_k})\big\rangle^{(W,G)}_{g,k}
\,t^{i_1}_{m_1}\cdots t^{i_k}_{m_k}
\Bigg).
\]
It is therefore a formal function of the variables \(\{t_m^i\}\) that packages all FJRW ancestor invariants in all genera [2103.00313].

In the more general framework of a CohFT with vacuum, one starts with a finite-dimensional complex vector space \((H,\eta)\), multilinear classes
\[
\Omega_{g,n}:H^{\otimes n}\to H^*(\overline M_{g,n}),
\]
and a vacuum vector \(v_T(z)\in H[z]\) satisfying the forgetful pull-back identity
\[
\pi^*\Omega_{g,n}(v_1,\dots,v_n)=\Omega_{g,n+1}(v_T(z),v_1,\dots,v_n).
\]
After choosing an \(S\)-calibration and a \(\nu\)-calibration, the total ancestor potential is written as
\[
A(s;\hbar)=\exp\!\Bigl(\sum_{g\ge0}\hbar^{2g-2}\,\mathcal F^g(s)\Bigr),
\]
with \(\mathcal F^g(s)\) the generating series of ancestor correlators in variables \(s_a^k\) [2502.18895]. The common feature is that ancestor potentials are genus-graded partition functions whose coefficients are \(\psi\)-class correlators on moduli spaces.

The same packaging principle appears in topological recursion. For a spectral curve \(C=(\Sigma,x,y)\), the Eynard–Orantin correlators \(\omega_{g,n}\) are expanded in the basis \(d\zeta_k^{\bar\beta}\) near branch points, and the corresponding coefficients define ancestor correlators
\[
\langle \bar e_{\beta_1}\psi^{k_1},\dots,\bar e_{\beta_n}\psi^{k_n}\rangle_{g,n}.
\]
The ancestor partition function is then
\[
A(\mathbf s;\hbar)
=
\exp\!\Bigg(\sum_{\substack{g\ge0,n\ge0\\2g-2+n>0}}
\hbar^{2g-2}\frac1{n!}
\sum_{\beta_i,k_i}
\langle \bar e_{\beta_1}\psi^{k_1},\dots,\bar e_{\beta_n}\psi^{k_n}\rangle_{g,n}
\prod_i s_{k_i}^{\bar\beta_i}
\Bigg),
\]
so the ancestor formalism extends well beyond geometric Gromov–Witten or FJRW theories [2507.20151].

## 2. Virasoro operators and loop-space quantization

In FJRW theory, the operator construction is formulated on the infinite-dimensional symplectic vector space
\[
\mathcal H=H_{W,G}((z^{-1})),
\qquad
\Omega(f,g)=\operatorname{Res}_{z=0}(f(-z),g(z)),
\]
with Darboux coordinates
\[
f(z)=\sum_{m\ge0}p_{i,m}\,d^i(-z)^{-m-1}+\sum_{m\ge0}q_m^i\,d_i\,z^m.
\]
Quadratic Hamiltonians are quantized by
\[
\widehat{q_m^iq_n^j}=\frac1\hbar q_m^iq_n^j,\qquad
\widehat{p_{i,m}p_{j,n}}=\hbar\,\partial_{q_m^i}\partial_{q_n^j},\qquad
\widehat{q_m^ip_{j,n}}=q_m^i\partial_{q_n^j}.
\]
With grading operator
\[
\mathcal E:d_i\mapsto \Bigl(\deg_{\mathrm H}d_i-\frac{c_W}{2}\Bigr)d_i,
\qquad
c_W=\sum_i(1-2q_i),
\]
one sets
\[
D(z)=z^{1/2}(\mathcal E+z\partial_z)z^{1/2},
\qquad
L_k^{(W,G)}=z^{-1/2}D(z)^{k+1}z^{-1/2}.
\]
After quantization and the dilaton shift \(q_m^i=t_m^i-\delta_{m,1}\delta_{i,0}\), one obtains explicit quadratic differential operators in the \(t_m^i\), and these operators satisfy
\[
[L_m^{(W,G)},L_n^{(W,G)}]=(m-n)L_{m+n}^{(W,G)},
\qquad m,n\ge -1.
\]
This is the half-Virasoro algebra relevant to the ancestor potential [2103.00313].

For homogeneous CohFTs with vacuum, the corresponding operators are constructed from the infinitesimal symplectic operators
\[
\ell'_m=-\frac12:\!\bigl((z\partial_z+E)z\bigr)^{m+1}\!:
\]
and then quantized to
\[
L_m^{\rm anc}=\widehat{\ell'_m}.
\]
In local coordinates \(s_a^k\), they take the general quadratic form
\[
L_m^{\rm anc}
=
\sum_{k,\ell\ge0}\sum_{a,b}
C_{m;k,a}^{\ \ \ell,b}\,
\frac{\partial^2}{\partial s_a^k\,\partial s_b^\ell}
+
\sum_{k\ge0}\sum_a
A_{m;k}^a\,\frac{\partial}{\partial s_a^k}
+
\frac12\sum_{k,\ell\ge0}\sum_{a,b}
B_{m;k,a;\ell,b}\,s_a^k s_b^\ell,
\]
where the coefficients are universal polynomials in the Euler operator and the calibration data [2502.18895].

In topological recursion, the explicit operators involve the spectral-curve data more transparently. For each \(m\ge -1\), one has an operator
\[
L_m
=
\frac1{2\hbar^2}\eta(E^{m+1}s_0,s_0)
+\frac{m+1}{16}\operatorname{tr}(E^m)
+\frac12\operatorname{tr}(E^{m+1}R_1)
+\cdots
\]
with first- and second-order differential terms determined by the coefficients \((C_m)\), the first \(R\)-matrix coefficient \(R_1\), and the vacuum shift \(\tilde s_k^{\bar\beta}=s_k^{\bar\beta}-v_{k-1}^{\bar\beta}\). These operators also satisfy
\[
[L_m,L_n]=(m-n)L_{m+n}.
\]
In this formulation, the Virasoro algebra is read directly from the recursion data of the spectral curve [2507.20151].

A distinct but related singularity-theoretic realization appears in Milanov’s construction. There one introduces fields
\[
Y^i(\lambda)=\frac14:\!I_i^{(-1)}(t,\lambda)^2\!:+\frac12P_i(\lambda),
\]
expands them as
\[
Y^i(\lambda)=\sum_{m\in\mathbb Z}L_m^i(\lambda-u_i)^{-m-2},
\]
and obtains \(N\) independent copies of the Virasoro algebra,
\[
[L_m^i,L_n^j]
=
\delta_{ij}\Bigl((m-n)L_{m+n}^i+\frac1{12}(m^3-m)\delta_{m,-n}\Bigr),
\]
all with central charge \(1\) [1211.5847].

## 3. The constraint equations and their lowest consequences

The basic ancestor Virasoro statement in FJRW theory is the conjecture that for every admissible pair \((W,G)\),
\[
L_k^{(W,G)}\,\mathcal A_{W,G}(\mathbf t;\hbar)=0,
\qquad k\ge -1.
\]
Expanding in \(\hbar\) and in the variables \(t_m^i\), this becomes an infinite system of linear relations among ancestor invariants in every genus and with every number of marked points [2103.00313].

The first two constraints recover standard structural equations. In the FJRW formulation,
\[
L_{-1}\mathcal A=0
\quad\Longleftrightarrow\quad
\frac{\partial\mathcal A}{\partial t_0^0}
=
\sum_{i,m}t_{m+1}^i\frac{\partial\mathcal A}{\partial t_m^i}
+\frac1{2\hbar}(t_0^it_0^j)\eta_{ij}\,\mathcal A,
\]
which is the string equation, while \(L_0\mathcal A=0\) gives a homogeneity equation of the form
\[
\Bigl(\sum_{i,m}(m+\langle\deg d_i\rangle)t_m^i\partial_{t_m^i}
-\frac{c_W-3}{2}\hbar\partial_\hbar\Bigr)\mathcal A=0.
\]
In genus \(0\), one may ignore \(\hbar\) and the second-order terms in \(L_k\), and the resulting modified Virasoro operators yield pure linear recursion among the primary genus-\(0\) correlators [2103.00313].

In the CohFT-with-vacuum setting, the ancestor Virasoro conjecture is formulated under a homogeneity condition on the vacuum and on the \(S\)- and \(\nu\)-calibrations:
\[
(z\partial_z+E)v_T(z)=-(\mu+1)v_T(z),
\]
\[
(z\partial_z+E)S_T(z)=[S_T(z),p]+S_T(z)p/z,
\qquad
(z\partial_z+E)U_T(z)=-(\mu+1)U_T(z).
\]
Under these assumptions, the conjecture states
\[
L_m^{\rm anc}\,A(s;\hbar)=0,\qquad m\ge -1.
\]
Guo–Zhang verify the genus-\(0\) part and deduce a simplified form of the genus-\(1\) part for arbitrary CohFTs [2502.18895].

At genus \(1\), the higher-insertion structure collapses dramatically: for \(m\ge0\), the condition \(L_m^{\rm anc}\mathcal F^1(s)=0\) is equivalent to the trace identity
\[
\sum_{a+b=m}
\Bigl\{
\operatorname{str}(E_aE_b)
-\frac1{24}\operatorname{str}\bigl((E_ap+pE_a)E_b\bigr)
\Bigr\}=0.
\]
This reduction is significant because it replaces a formally infinite system of genus-\(1\) differential constraints by a finite supertrace expression [2502.18895].

The topological-recursion version has parallel lowest equations. Writing
\[
L_mA/A=\sum_{g\ge0}\hbar^{2g-2}\,\mathscr L_{g,m}(s),
\]
the \(g=0\), \(m=-1\) equation yields the string equation
\[
\sum_{k\ge0}s_{k+1}^{\bar\beta}\frac{\partial}{\partial s_k^{\bar\beta}}
+\frac12\sum_{\beta=1}^N(s_0^{\bar\beta})^2=0,
\]
while the \(g=1\), \(m=0\) equation gives the dilaton equation
\[
\sum_{\beta,k}\Bigl(k+\frac32\Bigr)s_k^{\bar\beta}\frac{\partial}{\partial s_k^{\bar\beta}}
+\frac N{16}
+\frac12\sum_\beta x(z^\beta)(R_1)^{\bar\beta}_{\bar\beta}=0.
\]
These formulas make explicit that the ancestor Virasoro hierarchy begins with the expected string and dilaton constraints and then continues to higher nontrivial recursions [2507.20151].

## 4. Proven cases and proof mechanisms

He–Shen prove the FJRW ancestor Virasoro conjecture in three principal classes of examples. The first class consists of invertible polynomials with maximal symmetry group \(G=\operatorname{Aut}(W)\). In this setting, Berglund–Hübsch–Krawitz mirror symmetry and the Polishchuk–Vaintrob / Saito–Givental identification imply that the FJRW CohFT of \((W,G_{\max})\) is equivalent to the Saito–Givental semisimple CohFT of the mirror singularity \(W^T\). Since Givental–Teleman implies that any semisimple CohFT satisfies Virasoro constraints, one obtains \(L_k\mathcal A_{W,G}=0\) [2103.00313].

The second class is formed by selected two-variable examples \(W=x^a+y^b\) with minimal group \(G=\langle J_W\rangle\). Here the proof proceeds by direct semisimplicity analysis in genus \(0\): one computes the quantum multiplication by the Euler vector field and verifies that it has distinct eigenvalues. Givental’s result then yields the full constraints [2103.00313].

The third class consists of Calabi–Yau type polynomials. When the central charge satisfies \(c_W\ge3\), a degree count shows that the only possible nonzero correlators satisfy the homogeneity condition needed for \(L_0\); string and dilaton hold formally, and higher \(k\) follow by grading symmetry. In the elliptic-curve case \(\dim_{\mathbb C}X_{W,G}=1\), the proof uses the Landau–Ginzburg/Calabi–Yau correspondence of Li–Shen–Zhou: under a holomorphic Cayley transform, the ancestor Gromov–Witten potential of the elliptic curve is carried to the FJRW ancestor potential, and since the Gromov–Witten side satisfies Virasoro and the transform commutes with the Virasoro operators, the FJRW side does as well [2103.00313].

For homogeneous CohFTs with vacuum, Guo–Zhang establish several complementary results. The genus-\(0\) part of the conjecture is a formal consequence of topological recursion relations in genus \(0\), namely WDVV together with string and dilaton, and of the cone property \(z\cdot T_L\subset L\) for the graph of \(d\mathcal F^0(s)\). In the semisimple case, the full higher-genus statement follows from the Givental–Teleman reconstruction
\[
A(s;\hbar)=T_\nu\circ\widehat R\Bigl(\bigotimes_{i=1}^N\mathcal A_{\rm KdV}(u_i;\hbar)\Bigr),
\]
where \(\mathcal A_{\rm KdV}\) is the Witten–Kontsevich \(\tau\)-function, \(R(z)=\exp(r(z))\) is the homogeneous \(R\)-matrix, and \(T_\nu\) is the translation by the \(\nu\)-vector. Since the Virasoro constraints hold for each \(\mathcal A_{\rm KdV}\), they survive the \(R\)- and \(T\)-conjugations [2502.18895].

These proofs exhibit a recurrent mechanism: semisimplicity reduces ancestor Virasoro constraints to the one-dimensional KdV model through Givental’s quantization formalism. A plausible implication is that semisimplicity is not merely a technical convenience but a structural regime in which Virasoro symmetries become directly reconstructible from calibration data and canonical coordinates.

## 5. Relations with mirror symmetry, topological recursion, and singularity theory

In the invertible FJRW case with maximal group, the ancestor constraints are tied to mirror symmetry in a precise sense: the FJRW theory is identified with the Saito–Givental \(B\)-model of the transpose polynomial \(W^T\), and Virasoro annihilation follows from semisimplicity on the mirror side [2103.00313]. For elliptic curves, the use of quasi-modular forms and the Cayley transform converts Gromov–Witten Virasoro constraints into FJRW Virasoro constraints; the map preserving Virasoro is identified with the comparison between quasi-modular expansions around a cusp [2103.00313].

Milanov’s work places ancestor Virasoro constraints inside the Eynard–Orantin formalism of singularity theory. Starting from a miniversal unfolding \(F(t,x)\) with primitive form, one defines period vectors \(I_\alpha^{(k)}(t,\lambda)\) and phase forms governing the propagators \(P_{ij}(\lambda,\mu)\). The total ancestor potential \(\mathcal A(t;\hbar)\) is then acted on by operators \(L_m^i\) extracted from the expansion of the fields \(Y^i(\lambda)\), and the main theorem states that
\[
L_m^i\,\mathcal A(t;\hbar)=0,\qquad m\ge -1,\ i=1,\dots,N.
\]
Moreover, this system is exactly equivalent to the local Eynard–Orantin recursion built from the same period data [1211.5847]. The equivalence furnishes a dictionary between recursive residue calculus and Virasoro representation theory.

The 2025 topological-recursion formulation removes the restriction to semisimple singularity theory and works for an arbitrary spectral curve \(C=(\Sigma,x,y)\). The crucial residue identity
\[
\sum_\beta \operatorname{Res}_{z^\beta} x^{m+1}y\,\omega_{g,n+1}
=
\frac12\sum_\beta \operatorname{Res}_{z^\beta} \frac{x^{m+1}dx}{}
\Bigl\{
\omega_{g-1,n+2}(z,\bar z,\dots)+\sum' \omega_{g_1,|I|+1}(z,\dots)\,\omega_{g_2,|J|+1}(\bar z,\dots)
\Bigr\}
\]
is shown term-by-term to be equivalent to \(L_mA=0\) [2507.20151]. In this setting, the Virasoro constraints arise directly from the recursion kernel residue rather than from Givental–Teleman reconstruction.

The Airy curve
\[
x=\frac12z^2,\qquad y=z,\qquad B(z_1,z_2)=\frac{dz_1\,dz_2}{(z_1-z_2)^2}
\]
provides the basic example. Here the nonzero correlators are the usual \(\psi\)-class integrals on \(\overline M_{g,n}\), the ancestor potential begins with explicitly listed low-order terms, and the operator \(L_{-1}\) reproduces the Witten–Kontsevich Virasoro constraints [2507.20151]. This identifies the classical point-target theory as the local model for the general ancestor Virasoro formalism in topological recursion.

## 6. Generalizations, examples, and conceptual distinctions

A central distinction is between ancestor and descendent Virasoro constraints. The ancestor version acts on the total ancestor potential, typically after a dilaton shift or its analogue. In a CohFT with vacuum, the \(\nu\)-calibration explicitly plays the role of the dilaton shift in the absence of a flat unit [2502.18895]. In topological recursion, the ancestor variables \(s_k^{\bar\beta}\) can be related to descendant-type variables \(p_k^i\) by a Miura-type change of variables, and one then recovers descendant Virasoro operators from the ancestor ones [2507.20151]. This rules out the common conflation of ancestor and descendant constraints as merely notational variants.

A second distinction concerns the algebra itself. In FJRW theory, the operators form a half-Virasoro algebra indexed by \(k\ge -1\) [2103.00313]. In homogeneous CohFT with vacuum and in topological recursion, the operators satisfy the standard commutation relations \([L_m,L_n]=(m-n)L_{m+n}\) for \(m,n\ge -1\) [2502.18895; 2507.20151]. In Milanov’s singularity-theory formulation, one obtains \(N\) independent copies of the Virasoro algebra, each of central charge \(1\), one for each branch point or canonical sector [1211.5847]. These are structurally related but not identical realizations.

Guo–Zhang also provide two explicit applications of the general CohFT-with-vacuum formalism. For the deformed negative \(r\)-spin theory \(\Omega_{r,\varepsilon}\), one constructs a homogeneous CohFT on \(H=\langle \phi_1,\dots,\phi_{r-1}\rangle\), writes the \(S\)-matrix and \(\nu\)-vector in closed form, and obtains
\[
L_m^{\rm desc}\,D_{r,\varepsilon}(t;\hbar)=0,\qquad m\ge0.
\]
This generalizes BGW-type Virasoro constraints to arbitrary \(r\) [2502.18895]. For the semisimple CohFT \(\Omega_{Gdd}\) associated with extended Grothendieck’s dessins d’enfants, explicit \(S(z)\) and \(\nu(z)\) calibrations produce a descendent potential whose specialization recovers the dessins-counting generating function of Kazarian–Zograf [2502.18895].

A further generalization appears in Drinfeld–Sokolov hierarchies. There the DS tau-function can be written as the ancestor potential of a semisimple Frobenius manifold, and the Virasoro symmetries of the hierarchy translate into constraints
\[
L_m^{\rm anc}\,\mathcal A(t;\hbar)=0,\qquad m\ge -1.
\]
In the point-target case this reproduces the Witten–Kontsevich theorem, while similarity equations select the Brezin–Gross–Witten solution and other special solutions characterized by ordinary differential equations of Painlevé type [1908.06707].

Taken together, these developments show that ancestor Virasoro constraints form a unifying structure across FJRW theory, semisimple and calibrated CohFTs, singularity theory, topological recursion, and integrable hierarchies. What varies from setting to setting is the realization of the operators—via loop-space quantization, period fields, calibration data, or recursion residues—rather than the underlying principle that the total ancestor potential is characterized by Virasoro annihilation.

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