The Virasoro conjecture in Gromov-Witten theory asserts that the total ordinary descendant potential of a smooth projective complex variety satisfies a system of target-dependent
differential equations. Writing for the connected genus-
potential, the total potential is
The constraints are
The operators use the Poincaré pairing, the first Hodge degree on
, and cup product with
,
with cohomological parity and a specified zero-mode scalar correction. The equations
are formal coefficientwise identities in genus, actual integral curve class, and
descendants.