Heterotic quantum cohomology

It is believed, but not demonstrated, that the large radius massless spectrum of a heterotic string theory compactified to four-dimensional Minkowski space should obey equations that split into 'F-terms' and 'D-terms' in ways analogous to that of fourdimensional supersymmetric field theories. This is not easy to do directly as string theory is first quantised. Nonetheless, in this paper we demonstrate this splitting. We construct an operator D whose kernel amounts to deformations solving 'F-term' type equations. In many previous works in this field, the spin connection is treated as an independent degree of freedom (and so is spurious or fake)" here our results apply on the physical moduli space in which these fake degrees of freedom are eliminated. We utilise the moduli space metric, constructed in previous work, to define an adjoint operator D^† . The kernel of D^† amounts to 'D-term' type equations. Put together, we show there is a D-operator in which the massless spectrum are harmonic representatives of D. We conjecture that one could better study the moduli space of heterotic theories by studying the corresponding cohomology, a natural counterpart to studying the ∂-cohomology groups relevant to moduli of Calabi-Yau manifolds.