Abstract
Global F-theory compactifications whose fibers are realized as complete inter-sections form a richer set of models than just hypersurfaces. The detailed study of the physics associated with such geometries depends crucially on being able to put the elliptic fiber into Weierstrass form. While such a transformation is always guaranteed to exist, its explicit form is only known in a few special cases. We present a general algorithm for computing the Weierstrass form of elliptic curves defined as complete intersections of different codimensions and use it to solve all cases of complete intersections of two equations in an ambient toric variety. Using this result, we determine the toric Mordell-Weil groups of all 3134 nef partitions obtained from the 4319 three-dimensional reflexive polytopes and find new groups that do not exist for toric hypersurfaces. As an application, we construct several models that cannot be realized as toric hypersurfaces, such as the first toric SU(5) GUT model in the literature with distinctly charged 10 representations and an F-theory model with discrete gauge group ℤ4 whose dual fiber has a Mordell-Weil group with ℤ4 torsion.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
C. Vafa, Evidence for F-theory, Nucl. Phys. B 469 (1996) 403 [hep-th/9602022] [INSPIRE].
V. Braun and D.R. Morrison, F-theory on genus-one fibrations, JHEP 08 (2014) 132 [arXiv:1401.7844] [INSPIRE].
P. Candelas and A. Font, Duality between the webs of heterotic and type-II vacua, Nucl. Phys. B 511 (1998) 295 [hep-th/9603170] [INSPIRE].
M. Bershadsky et al., Geometric singularities and enhanced gauge symmetries, Nucl. Phys. B 481 (1996) 215 [hep-th/9605200] [INSPIRE].
P. Candelas, E. Perevalov and G. Rajesh, Toric geometry and enhanced gauge symmetry of F-theory/heterotic vacua, Nucl. Phys. B 507 (1997) 445 [hep-th/9704097] [INSPIRE].
T.W. Grimm and T. Weigand, On Abelian gauge symmetries and proton decay in global F-theory GUTs, Phys. Rev. D 82 (2010) 086009 [arXiv:1006.0226] [INSPIRE].
D.R. Morrison and D.S. Park, F-theory and the Mordell-Weil group of elliptically-fibered Calabi-Yau threefolds, JHEP 10 (2012) 128 [arXiv:1208.2695] [INSPIRE].
V. Braun, T.W. Grimm and J. Keitel, New global F-theory GUTs with U(1) symmetries, JHEP 09 (2013) 154 [arXiv:1302.1854] [INSPIRE].
T.W. Grimm, A. Kapfer and J. Keitel, Effective action of 6D F-theory with U(1) factors: rational sections make Chern-Simons terms jump, JHEP 07 (2013) 115 [arXiv:1305.1929] [INSPIRE].
M. Kuntzler and S. Schäfer-Nameki, Tate trees for elliptic fibrations with rank one Mordell-Weil group, arXiv:1406.5174 [INSPIRE].
J. Borchmann, C. Mayrhofer, E. Palti and T. Weigand, SU(5) tops with multiple U(1)s in F-theory, Nucl. Phys. B 882 (2014) 1 [arXiv:1307.2902] [INSPIRE].
M. Cvetič, D. Klevers and H. Piragua, F-theory compactifications with multiple U(1)-factors: constructing elliptic fibrations with rational sections, JHEP 06 (2013) 067 [arXiv:1303.6970] [INSPIRE].
M. Cvetič, A. Grassi, D. Klevers and H. Piragua, Chiral four-dimensional F-theory compactifications with SU(5) and multiple U(1)-factors, JHEP 04 (2014) 010 [arXiv:1306.3987] [INSPIRE].
J. Borchmann, C. Mayrhofer, E. Palti and T. Weigand, Elliptic fibrations for SU(5) × U(1) × U(1) F-theory vacua, Phys. Rev. D 88 (2013) 046005 [arXiv:1303.5054] [INSPIRE].
M. Cvetič, D. Klevers, H. Piragua and P. Song, Elliptic fibrations with rank three Mordell-Weil group: F-theory with U(1) × U(1) × U(1) gauge symmetry, JHEP 03 (2014) 021 [arXiv:1310.0463] [INSPIRE].
V. Braun, T.W. Grimm and J. Keitel, Geometric engineering in toric F-theory and GUTs with U(1) gauge factors, JHEP 12 (2013) 069 [arXiv:1306.0577] [INSPIRE].
D. Klevers, D.K. Mayorga Pena, P.-K. Oehlmann, H. Piragua and J. Reuter, F-theory on all toric hypersurface fibrations and its Higgs branches, JHEP 01 (2015) 142 [arXiv:1408.4808] [INSPIRE].
D.R. Morrison and W. Taylor, Sections, multisections and U(1) fields in F-theory, arXiv:1404.1527 [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].
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, arXiv:1410.7814 [INSPIRE].
T.W. Grimm, M. Kerstan, E. Palti and T. Weigand, Massive Abelian gauge symmetries and fluxes in F-theory, JHEP 12 (2011) 004 [arXiv:1107.3842] [INSPIRE].
A.P. Braun, A. Collinucci and R. Valandro, The fate of U(1)’s at strong coupling in F-theory, JHEP 07 (2014) 028 [arXiv:1402.4054] [INSPIRE].
C. Mayrhofer, E. Palti and T. Weigand, U(1) symmetries in F-theory GUTs with multiple sections, JHEP 03 (2013) 098 [arXiv:1211.6742] [INSPIRE].
V. Braun, Toric elliptic fibrations and F-theory compactifications, JHEP 01 (2013) 016 [arXiv:1110.4883] [INSPIRE].
P. Berglund and T. Hubsch, On a residue representation of deformation, Koszul and chiral rings, Int. J. Mod. Phys. A 10 (1995) 3381 [hep-th/9411131] [INSPIRE].
P. Deligne, Courbes elliptiques: formulaire d’après J. Tate (in French), in Modular functions of one variable, IV (Proc. Internat. Summer School, Univ. Antwerp, Antwerp Belgium 1972), Lect. Notes Math. 476 (1975) 53.
S.Y. An et al., Jacobians of genus one curves, J. Number Theor. 90 (2001) 304.
Sage Development Team collaboration, W. Stein et al., Sage mathematics software (version 6.2), http://www.sagemath.org/, (2014).
J.J. Duistermaat, Discrete integrable systems. QRT maps and elliptic surfaces, Springer Monographs in Mathematics, Springer, Berlin Germany (2010).
G. Salmon, A treatise on conic sections: containing an account of some of the most important modern algebraic and geometric methods, Chelsea Publishing Series, Chelsea Publishing Company, U.S.A. (1954).
Sage Development Team collaboration, V. Braun and J. Keitel, Invariants of two ternary quadratics, http://trac.sagemath.org/17305, (2013).
V.V. Batyrev, Dual polyhedra and mirror symmetry for Calabi-Yau hypersurfaces in toric varieties, J. Alg. Geom. 3 (1994) 493 [alg-geom/9310003] [INSPIRE].
V.V. Batyrev and L.A. Borisov, On Calabi-Yau complete intersections in toric varieties, alg-geom/9412017 [INSPIRE].
M. Kreuzer and H. Skarke, Classification of reflexive polyhedra in three-dimensions, Adv. Theor. Math. Phys. 2 (1998) 847 [hep-th/9805190] [INSPIRE].
M. Kreuzer and H. Skarke, Complete classification of reflexive polyhedra in four-dimensions, Adv. Theor. Math. Phys. 4 (2002) 1209 [hep-th/0002240] [INSPIRE].
M. Kreuzer and H. Skarke, PALP: a package for analyzing lattice polytopes with applications to toric geometry, Comput. Phys. Commun. 157 (2004) 87 [math/0204356] [INSPIRE].
J.H. Silverman, The arithmetic of elliptic curves, Graduate Texts in Mathematics 106, Springer, Germany (2009).
Sage Development Team collaboration, A. Novoseltsev, Lattice polytope module for Sage, http://www.sagemath.org/doc/reference/geometry/sage/geometry/lattice_polytope.html, (2010).
Sage Development Team collaboration, Toric geometry module for Sage, http://www.sagemath.org/doc/reference/schemes/sage/schemes/toric/variety.html, (2013).
W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, Singular 3-1-6 — a computer algebra system for polynomial computations, http://www.singular.uni-kl.de/, (2012).
P. Candelas, A. Constantin and H. Skarke, An abundance of K3 fibrations from polyhedra with interchangeable parts, Commun. Math. Phys. 324 (2013) 937 [arXiv:1207.4792] [INSPIRE].
V. Bouchard and H. Skarke, Affine Kac-Moody algebras, CHL strings and the classification of tops, Adv. Theor. Math. Phys. 7 (2003) 205 [hep-th/0303218] [INSPIRE].
T.W. Grimm and H. Hayashi, F-theory fluxes, chirality and Chern-Simons theories, JHEP 03 (2012) 027 [arXiv:1111.1232] [INSPIRE].
M. Cvetič, T.W. Grimm and D. Klevers, Anomaly cancellation and Abelian gauge symmetries in F-theory, JHEP 02 (2013) 101 [arXiv:1210.6034] [INSPIRE].
M. Esole, J. Fullwood and S.-T. Yau, D 5 elliptic fibrations: non-Kodaira fibers and new orientifold limits of F-theory, arXiv:1110.6177 [INSPIRE].
C. Mayrhofer, D.R. Morrison, O. Till and T. Weigand, Mordell-Weil torsion and the global structure of gauge groups in F-theory, JHEP 10 (2014) 016 [arXiv:1405.3656] [INSPIRE].
A. Grassi and D.R. Morrison, Anomalies and the Euler characteristic of elliptic Calabi-Yau threefolds, Commun. Num. Theor. Phys. 6 (2012) 51 [arXiv:1109.0042] [INSPIRE].
C. Long, L. McAllister and P. McGuirk, Heavy tails in Calabi-Yau moduli spaces, JHEP 10 (2014) 187 [arXiv:1407.0709] [INSPIRE].
D.R. Morrison and W. Taylor, Classifying bases for 6D F-theory models, Central Eur. J. Phys. 10 (2012) 1072 [arXiv:1201.1943] [INSPIRE].
D.R. Morrison and W. Taylor, Toric bases for 6D F-theory models, Fortsch. Phys. 60 (2012) 1187 [arXiv:1204.0283] [INSPIRE].
T.W. Grimm and W. Taylor, Structure in 6D and 4D N = 1 supergravity theories from F-theory, JHEP 10 (2012) 105 [arXiv:1204.3092] [INSPIRE].
G. Martini and W. Taylor, 6D F-theory models and elliptically fibered Calabi-Yau threefolds over semi-toric base surfaces, arXiv:1404.6300 [INSPIRE].
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: 1411.2615
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.