Type: Article
Publication Date: 2019-02-01
Citations: 11
DOI: https://doi.org/10.1007/jhep02(2019)038
A bstract We consider a family of perturbative heterotic string backgrounds. These are complex threefolds X with c 1 = 0, each with a gauge field solving the Hermitian Yang-Mill’s equations and compatible B and H fields that satisfy the anomaly cancellation conditions. Our perspective is to consider a geometry in which these backgrounds are fibred over a parameter space. If the manifold X has coordinates x , and parameters are denoted by y , then it is natural to consider coordinate transformations $$ x\to \tilde{x}\left(x,y\right)\kern0.5em \mathrm{and}\kern0.5em y\to \tilde{y}(y) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>x</mml:mi> <mml:mo>→</mml:mo> <mml:mover> <mml:mi>x</mml:mi> <mml:mo>˜</mml:mo> </mml:mover> <mml:mfenced> <mml:mi>x</mml:mi> <mml:mi>y</mml:mi> </mml:mfenced> <mml:mspace /> <mml:mi>and</mml:mi> <mml:mspace /> <mml:mi>y</mml:mi> <mml:mo>→</mml:mo> <mml:mover> <mml:mi>y</mml:mi> <mml:mo>˜</mml:mo> </mml:mover> <mml:mfenced> <mml:mi>y</mml:mi> </mml:mfenced> </mml:math> . Similarly, gauge transformations of the gauge field and B field also depend on both x and y . In the process of defining deformations of the background fields that are suitably covariant under these transformations, it turns out to be natural to extend the gauge field A to a gauge field $$ \mathbb{A} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>A</mml:mi> </mml:math> on the extended ( x , y )-space. Similarly, the B , H , and other fields are also extended. The total space of the fibration of the heterotic structures is the Universal Geometry of the title. The extension of gauge fields has been studied in relation to Donaldson theory and monopole moduli spaces. String vacua furnish a richer application of these ideas. One advantage of this point of view is that previously disparate results are unified into a simple tensor formulation. In a previous paper, by three of the present authors, the metric on the moduli space of heterotic theories was derived, correct through $$ \mathcal{O} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>O</mml:mi> </mml:math> ( α ′), and it was shown how this was related to a simple Kähler potential. With the present formalism, we are able to rederive the results of this previously long and involved calculation, in less than a page.