Non-vanishing superpotentials in heterotic string theory and discrete torsion

• Published in: The journal of high energy physics 2017-01, Vol.2017 (1), p.1-42, Article 38
• Main Authors: Buchbinder, Evgeny I., Ovrut, Burt A.
• Format: Article
• Language: English
• Subjects: Classical and Quantum Gravitation; Elementary Particles; High energy physics; Homology; Manifolds; Mathematical analysis; Physics; Physics and Astronomy; PHYSICS OF ELEMENTARY PARTICLES AND FIELDS; Quantum Field Theories; Quantum Field Theory; Quantum Physics; Regular Article - Theoretical Physics; Relativity Theory; Residues; String Theory; Superstring Vacua; Superstrings and Heterotic Strings; Texts; Theorems; Torsion
• ISSN: 1029-8479; 1029-8479
• DOI: 10.1007/JHEP01(2017)038

A bstract We study the non-perturbative superpotential in E 8 × E 8 heterotic string theory on a non-simply connected Calabi-Yau manifold X , as well as on its simply connected covering space X ˜ . The superpotential is induced by the string wrapping holomorphic, isolated, genus 0 curves. According to the residue theorem of Beasley and Witten, the non-perturbative superpotential must vanish in a large class of heterotic vacua because the contributions from curves in the same homology class cancel each other. We point out, however, that in certain cases the curves treated in the residue theorem as lying in the same homology class, can actually have different area with respect to the physical Kahler form and can be in different homology classes. In these cases, the residue theorem is not directly applicable and the structure of the superpotential is more subtle. We show, in a specific example, that the superpotential is non-zero both on X ˜ and on X . On the non-simply connected manifold X , we explicitly compute the leading contribution to the superpotential from all holomorphic, isolated, genus 0 curves with minimal area. The reason for the non-vanishing of the superpotental on X is that the second homology class contains a finite part called discrete torsion. As a result, the curves with the same area are distributed among different torsion classes and, hence, do not cancel each other.