No Arabic abstract
Spacetime theories obtained from perturbative string theory constructions are automatically free of perturbative anomalies, but it is not settled whether they are always free of global anomalies. Here we discuss a possible $mathbb{Z}_{24}$-valued pure gravitational anomaly of heterotic compactifications down to two spacetime dimensions, and point out that it can be shown to vanish using the theory of topological modular forms, assuming the validity of the Stolz-Teichner conjecture.
We reformulate the question of the absence of global anomalies of heterotic string theory mathematically in terms of a certain natural transformation $mathrm{TMF}^bulletto (I_{mathbb{Z}}Omega^text{string})^{bullet-20}$, from topological modular forms to the Anderson dual of string bordism groups, using the Segal-Stolz-Teichner conjecture. We will show that this natural transformation vanishes, implying that heterotic global anomalies are always absent. The fact that $mathrm{TMF}^{21}(mathrm{pt})=0$ plays an important role in the process. Along the way, we also discuss how the twists of $mathrm{TMF}$ can be described under the Segal-Stolz-Teichner conjecture, by using the result of Freed and Hopkins concerning anomalies of quantum field theories. The paper contains separate introductions for mathematicians and for string theorists, in the hope of making the content more accessible to a larger audience. The sections are also demarcated cleanly into mathematically rigorous parts and those which are not.
We construct non-geometric compactifications by using the F-theory dual of the heterotic string compactified on a two-torus, together with a close connection between Siegel modular forms of genus two and the equations of certain K3 surfaces. The modular group mixes together the Kahler, complex structure, and Wilson line moduli of the torus yielding weakly coupled heterotic string compactifications which have no large radius interpretation.
We build a connection between topology of smooth 4-manifolds and the theory of topological modular forms by considering topologically twisted compactification of 6d (1,0) theories on 4-manifolds with flavor symmetry backgrounds. The effective 2d theory has (0,1) supersymmetry and, possibly, a residual flavor symmetry. The equivariant topological Witten genus of this 2d theory then produces a new invariant of the 4-manifold equipped with a principle bundle, valued in the ring of equivariant weakly holomorphic (topological) modular forms. We describe basic properties of this map and present a few simple examples. As a byproduct, we obtain some new results on t Hooft anomalies of 6d (1,0) theories and a better understanding of the relation between 2d (0,1) theories and TMF spectra.
We investigate one-loop four-point scattering of non-abelian gauge bosons in heterotic string theory and identify new connections with the corresponding open-string amplitude. In the low-energy expansion of the heterotic-string amplitude, the integrals over torus punctures are systematically evaluated in terms of modular graph forms, certain non-holomorphic modular forms. For a specific torus integral, the modular graph forms in the low-energy expansion are related to the elliptic multiple zeta values from the analogous open-string integrations over cylinder boundaries. The detailed correspondence between these modular graph forms and elliptic multiple zeta values supports a recent proposal for an elliptic generalization of the single-valued map at genus zero.
We consider supersymmetric near-horizon geometries in heterotic supergravity up to two loop order in sigma model perturbation theory. We identify the conditions for the horizons to admit enhancement of supersymmetry. We show that solutions which undergo supersymmetry enhancement exhibit an sl(2,R) symmetry, and we describe the geometry of their horizon sections. We also prove a modified Lichnerowicz type theorem, incorporating $alpha$ corrections, which relates Killing spinors to zero modes of near-horizon Dirac operators. Furthermore, we demonstrate that there are no AdS2 solutions in heterotic supergravity up to second order in $alpha$ for which the fields are smooth and the internal space is smooth and compact without boundary. We investigate a class of nearly supersymmetric horizons, for which the gravitino Killing spinor equation is satisfied on the spatial cross sections but not the dilatino one, and present a description of their geometry.