Abstract
F-theory/heterotic duality is formulated in the stable degeneration limit of a K3 fibration on the F-theory side. In this note, we analyze the structure of the stable degeneration limit. We discuss whether stable degeneration exists for pairs of rational elliptic surfaces. We demonstrate that, when two rational elliptic surfaces have an identical complex structure, stable degeneration always exists. We provide an equation that systematically describes the stable degeneration of a K3 surface into a pair of isomorphic rational elliptic surfaces. When two rational elliptic surfaces have different complex structures, whether their sum glued along a smooth fiber admits deformation to a K3 surface can be determined by studying the structure of the K3 lattice. We investigate the lattice theoretic condition to determine whether a deformation to a K3 surface exists for pairs of extremal rational elliptic surfaces. In addition, we discuss the configurations of singular fibers under stable degeneration.
The sum of two isomorphic rational elliptic surfaces glued together admits a deformation to a K3 surface, the singular fibers of which are twice that of the rational elliptic surface. For special situations, singular fibers of the resulting K3 surface collide and they are enhanced to a fiber of another type. Some K3 surfaces become attractive in these situations. We determine the complex structures and the Weierstrass forms of these attractive K3 surfaces. We also deduce the gauge groups in F-theory compactifications on these attractive K3 surfaces times a K3. E6, E7, E8, SU(5), and SO(10) gauge groups arise in these compactifications.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
E. Witten, Strong coupling expansion of Calabi-Yau compactification, Nucl. Phys. B 471 (1996) 135 [hep-th/9602070] [INSPIRE].
R. Donagi and M. Wijnholt, Model building with F-theory, Adv. Theor. Math. Phys. 15 (2011) 1237 [arXiv:0802.2969] [INSPIRE].
C. Beasley, J.J. Heckman and C. Vafa, GUTs and exceptional branes in F-theory — I, JHEP 01 (2009) 058 [arXiv:0802.3391] [INSPIRE].
C. Beasley, J.J. Heckman and C. Vafa, GUTs and exceptional branes in F-theory — II: experimental predictions, JHEP 01 (2009) 059 [arXiv:0806.0102] [INSPIRE].
R. Donagi and M. Wijnholt, Breaking GUT groups in F-theory, Adv. Theor. Math. Phys. 15 (2011) 1523 [arXiv:0808.2223] [INSPIRE].
C. Vafa, Evidence for F-theory, Nucl. Phys. B 469 (1996) 403 [hep-th/9602022] [INSPIRE].
D.R. Morrison and C. Vafa, Compactifications of F-theory on Calabi-Yau threefolds. 1, Nucl. Phys. B 473 (1996) 74 [hep-th/9602114] [INSPIRE].
D.R. Morrison and C. Vafa, Compactifications of F-theory on Calabi-Yau threefolds. 2, Nucl. Phys. B 476 (1996) 437 [hep-th/9603161] [INSPIRE].
A. Sen, F theory and orientifolds, Nucl. Phys. B 475 (1996) 562 [hep-th/9605150] [INSPIRE].
R. Friedman, J. Morgan and E. Witten, Vector bundles and F-theory, Commun. Math. Phys. 187 (1997) 679 [hep-th/9701162] [INSPIRE].
P.S. Aspinwall and D.R. Morrison, Point-like instantons on K3 orbifolds, Nucl. Phys. B 503 (1997) 533 [hep-th/9705104] [INSPIRE].
L.B. Anderson, J.J. Heckman and S. Katz, T-branes and geometry, JHEP 05 (2014) 080 [arXiv:1310.1931] [INSPIRE].
A.P. Braun, Y. Kimura and T. Watari, The Noether-Lefschetz problem and gauge-group-resolved landscapes: F-theory on K3 × K3 as a test case, JHEP 04 (2014) 050 [arXiv:1401.5908] [INSPIRE].
N. Cabo Bizet, A. Klemm and D. Vieira Lopes, Landscaping with fluxes and the E 8 Yukawa point in F-theory, arXiv:1404.7645 [INSPIRE].
M. Cvetič, A. Grassi, D. Klevers, M. Poretschkin and P. Song, Origin of abelian gauge symmetries in heterotic/F-theory duality, JHEP 04 (2016) 041 [arXiv:1511.08208] [INSPIRE].
S. Mizoguchi and T. Tani, Looijenga’s weighted projective space, Tate’s algorithm and Mordell-Weil Lattice in F-theory and heterotic string theory, JHEP 11 (2016) 053 [arXiv:1607.07280] [INSPIRE].
F.R. Cossec and I.V. Dolgachev, Enriques surfaces I, Progress in Mathematics volume 76, Birkhäuser, Germany (1989).
R. Miranda and U. Persson, On extremal rational elliptic surfaces, Math. Z. 193 (1986) 537.
I. Naruki, Configurations related to maximal rational elliptic surfaces, Adv. Stud. Pure Math. 8 (1986) 315.
M. Schütt and T. Shioda, Elliptic surfaces, Adv. Studies Pure Math. 60 (2010) 51 [arXiv:0907.0298].
G.W. Moore, Les Houches lectures on strings and arithmetic, hep-th/0401049 [INSPIRE].
T. Shioda, K3 surfaces and sphere packings, J. Math. Soc. Japan 60 (2008) 1083.
Y. Kimura, Gauge symmetries and matter fields in F-theory models without section-compactifications on double cover and Fermat quartic K3 constructions times K3, arXiv:1603.03212 [INSPIRE].
Y. Kimura, Gauge groups and matter fields on some models of F-theory without section, JHEP 03 (2016) 042 [arXiv:1511.06912] [INSPIRE].
I. Shimada and D.-Q. Zhang, Classification of extremal elliptic K3 surfaces and fundamental groups of open K3 surfaces, Nagoya Math. J. 161 (2001) 23 [math/0007171].
T. Shioda and H. Inose, On singular K3 surfaces, in Complex analysis and algebraic geometry, in W.L. Jr. Baily and T. Shioda eds., Iwanami Shoten, Tokyo Japan (1977).
M. Bershadsky et al., Geometric singularities and enhanced gauge symmetries, Nucl. Phys. B 481 (1996) 215 [hep-th/9605200] [INSPIRE].
M. Schütt, Elliptic fibrations of some extremal K3 surfaces, Rocky Mount. J. Math. 37 (2007) 609 [math/0412049].
K. Kodaira, On compact analytic surfaces III, Ann. Math. 78 (1963) 1.
K. Becker and M. Becker, M theory on eight manifolds, Nucl. Phys. B 477 (1996) 155 [hep-th/9605053] [INSPIRE].
S. Sethi, C. Vafa and E. Witten, Constraints on low dimensional string compactifications, Nucl. Phys. B 480 (1996) 213 [hep-th/9606122] [INSPIRE].
E. Witten, On flux quantization in M-theory and the effective action, J. Geom. Phys. 22 (1997) 1 [hep-th/9609122] [INSPIRE].
S. Gukov, C. Vafa and E. Witten, CFT’s from Calabi-Yau four folds, Nucl. Phys. B 584 (2000) 69 [Erratum ibid. B 608 (2001) 477] [hep-th/9906070] [INSPIRE].
K. Dasgupta, G. Rajesh and S. Sethi, M theory, orientifolds and G-flux, JHEP 08 (1999) 023 [hep-th/9908088] [INSPIRE].
P.S. Aspinwall and R. Kallosh, Fixing all moduli for M-theory on K3 × K3, JHEP 10 (2005) 001 [hep-th/0506014] [INSPIRE].
I.I. Piatetski-Shapiro and I.R. Shafarevich, A Torelli theorem for algebraic surfaces of type K3, Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971) 530.
D.R. Morrison and W. Taylor, Sections, multisections and U(1) fields in F-theory, arXiv:1404.1527 [INSPIRE].
V. Braun and D.R. Morrison, F-theory on genus-one fibrations, JHEP 08 (2014) 132 [arXiv:1401.7844] [INSPIRE].
L.B. Anderson, I. García-Etxebarria, T.W. Grimm and J. Keitel, Physics of F-theory compactifications without section, JHEP 12 (2014) 156 [arXiv:1406.5180] [INSPIRE].
D. Klevers et al., F-Theory on all toric hypersurface fibrations and its Higgs branches, JHEP 01 (2015) 142 [arXiv:1408.4808] [INSPIRE].
I. García-Etxebarria, T.W. Grimm and J. Keitel, Yukawas and discrete symmetries in F-theory compactifications without section, JHEP 11 (2014) 125 [arXiv:1408.6448] [INSPIRE].
C. Mayrhofer, E. Palti, O. Till and T. Weigand, Discrete gauge symmetries by Higgsing in four-dimensional F-theory compactifications, JHEP 12 (2014) 068 [arXiv:1408.6831] [INSPIRE].
C. Mayrhofer, E. Palti, O. Till and T. Weigand, On discrete symmetries and torsion homology in F-theory, JHEP 06 (2015) 029 [arXiv:1410.7814] [INSPIRE].
V. Braun, T.W. Grimm and J. Keitel, Complete intersection fibers in F-theory, JHEP 03 (2015) 125 [arXiv:1411.2615] [INSPIRE].
M. Cvetič et al., F-theory vacua with ℤ3 gauge symmetry, Nucl. Phys. B 898 (2015) 736 [arXiv:1502.06953] [INSPIRE].
L. Lin, C. Mayrhofer, O. Till and T. Weigand, Fluxes in F-theory compactifications on genus-one fibrations, JHEP 01 (2016) 098 [arXiv:1508.00162] [INSPIRE].
Y. Kimura, Gauge groups and matter spectra in F-theory compactifications on genus-one fibered Calabi-Yau 4-folds without section — Hypersurface and double cover constructions, arXiv:1607.02978 [INSPIRE].
Y. Kimura, Discrete gauge groups in F-theory models on genus-one fibered Calabi-Yau 4-folds without section, JHEP 04 (2017) 168 [arXiv:1608.07219] [INSPIRE].
S. Kondo, Automorphisms of algebraic K3 surfaces which act trivially on Picard groups, J. Math. Soc. Japan 44 (1992) 75.
S. Kondo, Type II degenerations of K3 surfaces, Nagoya Math J. 99 (1985) 11.
V.V. Nikulin, Integral symmetric bilinear forms and some of their applications, Math. USSR Izv. 14 (1980) 103.
J. Milnor, On simply connected 4-manifolds, talk given at the Symposium Internacional de Topologia Algebraica (International Symposium on Algebraic Topology), Mexico City, Mexico (1958).
T. Shioda, On the Mordell-Weil lattices, Comment. Math. Univ. St. Pauli 39 (1990) 211.
K. Oguiso and T. Shioda, The Mordell-Weil lattice of a rational elliptic surface, Comment. Math. Univ. St. Pauli 40 (1991) 83.
I. Shimada, On elliptic K3 surfaces, Michigan Math. J. 47 (2000) 423 [math/0505140].
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1710.04984
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kimura, Y. Structure of stable degeneration of K3 surfaces into pairs of rational elliptic surfaces. J. High Energ. Phys. 2018, 45 (2018). https://doi.org/10.1007/JHEP03(2018)045
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP03(2018)045