Abstract
We give an analytic description of the moduli space of classical vacua for F-theory compactified on elliptic K3 surfaces, on open tubular regions near the two Type II boundary divisors. The structure of these open sets is related to the total spaces of certain holomorphic theta fibrations over the corresponding boundary divisors. As the two Type II divisors can be naturally identified as moduli spaces of elliptic curves and flat G-bundles with G=(E8×E8)⋊ or Spin(32)/, one is led to an analytic isomorphism between these open domains and regions of the moduli spaces of heterotic string theory compactified on the two-torus corresponding to large volumes of the torus. This provides a proof for the classical version of F-theory/Heterotic String Duality in eight dimensions. A description of the Type II boundary points in terms of elliptic stable K3 surfaces is also given.
Similar content being viewed by others
References
Ash, A., Mumford, D., Rapoport, M., Tai, Y.: Smooth Compactification of Locally Symmetric Varieties. In: Lie Groups: History, Frontiers and Applications, Vol. IV, Brookline, MA: Math. Sci. Press, 1975
Aspinwall, P.S., Morrison, D.R.: String Theory on K3 surfaces. In: Mirror symmetry, II, Providence, RI: Amer. Math. Soc., 1997. pp. 703–716
Baily, W.L. Jr., Borel, A.: Compactification of Arithmetic Quotients of Bounded Symmetric Domains. Ann. of Math. (2) 84, 442–528 (1966)
Barth, W., Peters, C., Van de Ven, A.: Compact Complex Surfaces. Berlin: Springer-Verlag, 1984
Carlson, J.A.: Extensions of Mixed Hodge Structures. In: Journées de Géometrie Algébrique d’Angers, Juillet 1979/Algebraic Geometry, Angers, 1979, Alphen aan den Rijn: Sijthoff & Noordhoff, 1980, pp. 107–127
Clingher, A.: Heterotic String Data and Theta Functions. http://arxiv.org/abs/math.DG/0110320, 2001
Demazure, M., Pinkham, H.C. (eds.): Séminaire sur les Singularités des Surfaces. Volume 777 of Lecture Notes in Mathematics. Berlin: Springer, 1980
Freed, D.S.: Dirac Charge Quantization and Generalized Differential Cohomology. In: Surveys in differential geometry, Surv. Differ. Geom., VII, Somerville, MA: International Press, 2000. pp. 129–194
Friedman, R.: Hodge Theory, Degenerations and the Global Torelli Problem. Thesis, Harvard University, 1981
Friedman, R.: Global Smoothings of Varieties with Normal Crossings. Ann. of Math. (2) 118(1), 75–114 (1983)
Friedman, R.: A New Proof of the Global Torelli Theorem for K3 Surfaces. Ann. of Math. (2) 120(2), 237–269 (1984)
Friedman, R.: The Period Map at the Boundary of Moduli. In: Topics in transcendental algebraic geometry (Princeton, N.J., 1981/1982), Princeton, NJ: Princeton Univ. Press, 1984, pp. 183–208
Friedman, R., Morgan, J., Witten, E.: Vector Bundles and F theory. Commun. Math. Phys. 187(3), 679–743 (1997)
Friedman, R., Morgan, J.W.: Principal Holomorphic Bundles over Elliptic Curves IV: del Pezzo Surfaces, in preparation
Friedman, R., Morgan, J.W., Witten, E.: Principal G-bundles over Elliptic Curves. Math. Res. Lett. 5(1–2), 97–118 (1998)
Ginsparg, P.: On Toroidal Compactification of Heterotic Superstrings. Phys. Rev. D (3) 35(2), 648–654 (1987)
Griffiths, P., Schmid, W.: Recent Developments in Hodge Theory: A Discussion of Techniques and Results. In: Discrete subgroups of Lie groups and applicatons to moduli (Internat. Colloq., Bombay, 1973), Bombay: Oxford Univ. Press, 1975, pp. 31–127
Griffiths, P.A.: Periods of Integrals on Algebraic Manifolds: Summary of Main Results and Discussion of Open Problems. Bull. Amer. Math. Soc. 76, 228–296 (1970)
Kac, V.G., Peterson, D.H. Infinite-Dimensional Lie Algebras, Theta Functions and Modular Forms. Adv. in Math. 53(2), 125–264 (1984)
Kulikov, V.S.: Degenerations of K3 Surfaces and Enriques Surfaces. Izv. Akad. Nauk SSSR Ser. Mat. 41(5), 1008–1042, 1199 (1977)
Looijenga, E., Peters, C.: Torelli Theorems for KählerK3Surfaces. Compositio Math. 42(2), 145–186 (1980/81)
Manin, Yu.I.: Cubic Forms:Algebra, Geometry, Arithmetic. Amsterdam: North-Holland Publishing Co., 1986
Mumford, D.: Tata Lectures on Theta. I (with the assistance of C. Musili, M. Nori, E. Previato and M. Stillman), Boston, MA: Birkhäuser Boston Inc., 1983
Narain, K.S.: New Heterotic String Theories in Uncompactified Dimensions <10. Phys. Lett. B 169(1), 41–46 (1986)
Narain, K.S., Sarmadi, M.H., Witten, E.: A Note on Toroidal Compactification of Heterotic String Theory. Nucl. Phys. B 279(3–4), 369–379 (1987)
Dolgachev, I.V.: Mirror Symmetry for Lattice Polarized K3 Surfaces. J. Math. Sci. 81(3), 2599–2630 (1996)
Persson, U., Pinkham, H.: Degeneration of Surfaces with Trivial Canonical Bundle. Ann. of Math. (2) 113(1), 45–66 (1981)
Pjateckii-Šapiro, I.I., Šafarevič, I.R.: Torelli’s Theorem for Algebraic Surfaces of Type k3. Izv. Akad. Nauk SSSR Ser. Mat. 35, 530–572 (1971)
Schmid, W.: Variation of Hodge Structure: The Singularities of the Period Mapping. Invent. Math. 22, 211–319 (1973)
Sen, A.: F-Theory and Orientifolds. Nucl. Phys. B 475(3), 562–578 (1996)
Cardoso, G., Curio, G., Lüst, D., Mohaupt, T.: On the duality between the heterotic string and F-theory in 8 dimensions. Phys. Lett. B 389(3), 479–484 (1996)
Siegel, C.L.: Advanced Analytic Number Theory. Second edition, Bombay: Tata Institute of Fundamental Research, 1980
Siu, Y.T., Trautmann, G.: Deformations of Coherent Analytic Sheaves with Compact Supports. Mem. Amer. Math. Soc. 29(238), iii+155 (1981)
Vafa, C.: Evidence for F-theory. Nucl. Phys. B 469(3), 403–415 (1996)
Witten, E.: World-Sheet Corrections via D-instantons. J. High Energy Phys. 2, Paper 30, 18 (2000)
Author information
Authors and Affiliations
Additional information
Communicated by M.R. Douglas
The first author was supported by NSF grants DMS-97-29992 and PHY-00-70928.
The second author was partially supported by NSF grant DMS-01-03877.
Acknowledgement The authors would like to thank Robert Friedman for many helpful conversations during the development of this work. The first author would also like to thank Charles Doran for many discussions regarding this work and the Institute for Advanced Study for its hospitality and financial support during the course of the academic year 2002–2003.
Rights and permissions
About this article
Cite this article
Clingher, A., Morgan, J. Mathematics Underlying the F-Theory/Heterotic String Duality in Eight Dimensions. Commun. Math. Phys. 254, 513–563 (2005). https://doi.org/10.1007/s00220-004-1270-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-004-1270-9