×

Gauge backgrounds and zero-mode counting in F-theory. (English) Zbl 1383.81126

Summary: Computing the exact spectrum of charged massless matter is a crucial step towards understanding the effective field theory describing F-theory vacua in four dimensions. In this work we further develop a coherent framework to determine the charged massless matter in F-theory compactified on elliptic fourfolds, and demonstrate its application in a concrete example. The gauge background is represented, via duality with M-theory, by algebraic cycles modulo rational equivalence. Intersection theory within the Chow ring allows us to extract coherent sheaves on the base of the elliptic fibration whose cohomology groups encode the charged zero-mode spectrum. The dimensions of these cohomology groups are computed with the help of modern techniques from algebraic geometry, which we implement in the software gap. We exemplify this approach in models with an abelian and non-abelian gauge group and observe jumps in the exact massless spectrum as the complex structure moduli are varied. An extended mathematical appendix gives a self-contained introduction to the algebro-geometric concepts underlying our framework.

MSC:

81T10 Model quantum field theories
81R15 Operator algebra methods applied to problems in quantum theory
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] C. Vafa, Evidence for F-theory, Nucl. Phys.B 469 (1996) 403 [hep-th/9602022] [INSPIRE]. · Zbl 1003.81531 · doi:10.1016/0550-3213(96)00172-1
[2] 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]. · Zbl 0925.14005
[3] 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]. · Zbl 0925.14005
[4] D.R. Morrison and W. Taylor, Classifying bases for 6D F-theory models, Central Eur. J. Phys.10 (2012) 1072 [arXiv:1201.1943] [INSPIRE]. · Zbl 1255.81210
[5] J.J. Heckman, D.R. Morrison and C. Vafa, On the Classification of 6D SCFTs and Generalized ADE Orbifolds, JHEP05 (2014) 028 [Erratum ibid.06 (2015) 017] [arXiv:1312.5746] [INSPIRE].
[6] J.J. Heckman, D.R. Morrison, T. Rudelius and C. Vafa, Atomic Classification of 6D SCFTs, Fortsch. Phys.63 (2015) 468 [arXiv:1502.05405] [INSPIRE]. · Zbl 1338.81326 · doi:10.1002/prop.201500024
[7] R. Donagi and M. Wijnholt, Model Building with F-theory, Adv. Theor. Math. Phys.15 (2011) 1237 [arXiv:0802.2969] [INSPIRE]. · Zbl 1260.81194 · doi:10.4310/ATMP.2011.v15.n5.a2
[8] C. Beasley, J.J. Heckman and C. Vafa, GUTs and Exceptional Branes in F-theory — I, JHEP01 (2009) 058 [arXiv:0802.3391] [INSPIRE]. · Zbl 1243.81142 · doi:10.1088/1126-6708/2009/01/058
[9] T. Weigand, Lectures on F-theory compactifications and model building, Class. Quant. Grav.27 (2010) 214004 [arXiv:1009.3497] [INSPIRE]. · Zbl 1204.83007 · doi:10.1088/0264-9381/27/21/214004
[10] A. Maharana and E. Palti, Models of Particle Physics from Type IIB String Theory and F-theory: A Review, Int. J. Mod. Phys.A 28 (2013) 1330005 [arXiv:1212.0555] [INSPIRE]. · doi:10.1142/S0217751X13300056
[11] S. Schäfer-Nameki and T. Weigand, F-theory and 2d (0, 2) theories, JHEP05 (2016) 059 [arXiv:1601.02015] [INSPIRE]. · Zbl 1388.81189 · doi:10.1007/JHEP05(2016)059
[12] F. Apruzzi, F. Hassler, J.J. Heckman and I.V. Melnikov, UV Completions for Non-Critical Strings, JHEP07 (2016) 045 [arXiv:1602.04221] [INSPIRE]. · Zbl 1390.81296 · doi:10.1007/JHEP07(2016)045
[13] H. Esnault and E. Viehweg, Deligne-Beilinson cohomology, in Beilinson’s conjectures on special values of L-functions, Academic Press, Waltham (1988). · Zbl 0656.14012
[14] E. Diaconescu, G.W. Moore and D.S. Freed, The M-theory three form and E8gauge theory, hep-th/0312069 [INSPIRE]. · Zbl 1232.58016
[15] D.S. Freed and G.W. Moore, Setting the quantum integrand of M-theory, Commun. Math. Phys.263 (2006) 89 [hep-th/0409135] [INSPIRE]. · Zbl 1124.58011 · doi:10.1007/s00220-005-1482-7
[16] G.W. Moore, Anomalies, Gauss laws and Page charges in M-theory, Comptes Rendus Physique6 (2005) 251 [hep-th/0409158] [INSPIRE]. · doi:10.1016/j.crhy.2004.12.005
[17] G. Curio and R.Y. Donagi, Moduli in N = 1 heterotic/F theory duality, Nucl. Phys.B 518 (1998) 603 [hep-th/9801057] [INSPIRE]. · Zbl 0945.81047 · doi:10.1016/S0550-3213(98)00185-0
[18] R. Donagi, Heterotic/F theory duality: ICMP lecture, hep-th/9802093 [INSPIRE]. · Zbl 1253.14043
[19] R. Donagi and M. Wijnholt, Gluing Branes, I, JHEP05 (2013) 068 [arXiv:1104.2610] [INSPIRE]. · Zbl 1342.83357 · doi:10.1007/JHEP05(2013)068
[20] A. Clingher, R. Donagi and M. Wijnholt, The Sen Limit, Adv. Theor. Math. Phys.18 (2014) 613 [arXiv:1212.4505] [INSPIRE]. · Zbl 1314.81143 · doi:10.4310/ATMP.2014.v18.n3.a2
[21] L.B. Anderson, J.J. Heckman and S. Katz, T-Branes and Geometry, JHEP05 (2014) 080 [arXiv:1310.1931] [INSPIRE]. · Zbl 1333.81300 · doi:10.1007/JHEP05(2014)080
[22] M. Bies, C. Mayrhofer, C. Pehle and T. Weigand, Chow groups, Deligne cohomology and massless matter in F-theory, arXiv:1402.5144 [INSPIRE].
[23] J. Cheeger and J. Simons, Differential characters and geometric invariants, Lect. Notes Math.1167 (1985) 50. · Zbl 0621.57010 · doi:10.1007/BFb0075216
[24] K. Intriligator, H. Jockers, P. Mayr, D.R. Morrison and M.R. Plesser, Conifold Transitions in M-theory on Calabi-Yau Fourfolds with Background Fluxes, Adv. Theor. Math. Phys.17 (2013) 601 [arXiv:1203.6662] [INSPIRE]. · Zbl 1306.81251 · doi:10.4310/ATMP.2013.v17.n3.a2
[25] E. Witten, Phase transitions in M-theory and F-theory, Nucl. Phys.B 471 (1996) 195 [hep-th/9603150] [INSPIRE]. · Zbl 1003.81537 · doi:10.1016/0550-3213(96)00212-X
[26] J. Marsano and S. Schäfer-Nameki, Yukawas, G-flux and Spectral Covers from Resolved Calabi-Yau’s, JHEP11 (2011) 098 [arXiv:1108.1794] [INSPIRE]. · Zbl 1306.81258 · doi:10.1007/JHEP11(2011)098
[27] 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]. · Zbl 1285.81053 · doi:10.1016/j.nuclphysb.2014.02.006
[28] A.P. Braun, A. Collinucci and R. Valandro, G-flux in F-theory and algebraic cycles, Nucl. Phys.B 856 (2012) 129 [arXiv:1107.5337] [INSPIRE]. · Zbl 1246.81223 · doi:10.1016/j.nuclphysb.2011.10.034
[29] S. Krause, C. Mayrhofer and T. Weigand, G4flux, chiral matter and singularity resolution in F-theory compactifications, Nucl. Phys.B 858 (2012) 1 [arXiv:1109.3454] [INSPIRE]. · Zbl 1246.81271 · doi:10.1016/j.nuclphysb.2011.12.013
[30] T.W. Grimm and H. Hayashi, F-theory fluxes, Chirality and Chern-Simons theories, JHEP03 (2012) 027 [arXiv:1111.1232] [INSPIRE]. · Zbl 1309.81218 · doi:10.1007/JHEP03(2012)027
[31] S. Krause, C. Mayrhofer and T. Weigand, Gauge Fluxes in F-theory and Type IIB Orientifolds, JHEP08 (2012) 119 [arXiv:1202.3138] [INSPIRE]. · Zbl 1397.81160 · doi:10.1007/JHEP08(2012)119
[32] M. Cvetič, A. Grassi, D. Klevers and H. Piragua, Chiral Four-Dimensional F-theory Compactifications With SU(5) and Multiple U(1)-Factors, JHEP04 (2014) 010 [arXiv:1306.3987] [INSPIRE]. · doi:10.1007/JHEP04(2014)010
[33] N. Cabo Bizet, A. Klemm and D. Vieira Lopes, Landscaping with fluxes and the E8 Yukawa Point in F-theory, arXiv:1404.7645 [INSPIRE].
[34] A.P. Braun and T. Watari, The Vertical, the Horizontal and the Rest: anatomy of the middle cohomology of Calabi-Yau fourfolds and F-theory applications, JHEP01 (2015) 047 [arXiv:1408.6167] [INSPIRE]. · Zbl 1388.81495 · doi:10.1007/JHEP01(2015)047
[35] M. Cvetič, D. Klevers, D.K.M. Peña, P.-K. Oehlmann and J. Reuter, Three-Family Particle Physics Models from Global F-theory Compactifications, JHEP08 (2015) 087 [arXiv:1503.02068] [INSPIRE]. · Zbl 1388.81800 · doi:10.1007/JHEP08(2015)087
[36] L. Lin, C. Mayrhofer, O. Till and T. Weigand, Fluxes in F-theory Compactifications on Genus-One Fibrations, JHEP01 (2016) 098 [arXiv:1508.00162] [INSPIRE]. · Zbl 1388.81185 · doi:10.1007/JHEP01(2016)098
[37] H. Jockers, S. Katz, D.R. Morrison and M.R. Plesser, SU(N) Transitions in M-theory on Calabi-Yau Fourfolds and Background Fluxes, Commun. Math. Phys.351 (2017) 837 [arXiv:1602.07693] [INSPIRE]. · Zbl 1361.81094 · doi:10.1007/s00220-016-2741-5
[38] L. Lin and T. Weigand, G 4 -flux and standard model vacua in F-theory, Nucl. Phys.B 913 (2016) 209 [arXiv:1604.04292] [INSPIRE]. · Zbl 1349.81159
[39] M. Bies, C. Mayrhofer and T. Weigand, Algebraic Cycles and Local Anomalies in F-theory, arXiv:1706.08528 [INSPIRE]. · Zbl 1383.81269
[40] M. Barakat and M. Lange-Hegermann, An axiomatic setup for algorithmic homological algebra and an alternative approach to localization, J. Algebra Appl.10 (2011) 269. · Zbl 1227.18009 · doi:10.1142/S0219498811004562
[41] M. Barakat and M. Lange-Hegermann, On monads of exact reflective localizations of Abelian categories, Homology Homotopy Appl.15 (2013) 145. · Zbl 1287.18013 · doi:10.4310/HHA.2013.v15.n2.a8
[42] M. Barakat and M. Lange-Hegermann, Characterizing Serre quotients with no section functor and applications to coherent sheaves, Appl. Categ. Structures22 (2014) 457. · Zbl 1305.18054 · doi:10.1007/s10485-013-9314-y
[43] M. Barakat and M. Lange-Hegermann, On the Ext-computability of Serre quotient categories, J. Algebra420 (2014) 333. · Zbl 1308.18013 · doi:10.1016/j.jalgebra.2014.08.004
[44] M. Barakat and M. Lange-Hegermann, A constructive approach to the module of twisted global sections on relative projective spaces, in Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory, Springer (2017). · Zbl 1402.13016
[45] M. Barakat and M. Lange-Hegermann, Gabriel morphisms and the computability of Serre quotients with applications to coherent sheaves, arXiv:1409.2028. · Zbl 1305.18054
[46] The GAP Group, GAP — Groups, Algorithms, and Programming, Version 4.8.7, (2017).
[47] S. Gutsche, Ø. Skartsæterhagen and S. Posur, The CAP project — Categories, Algorithms, and Programming, 2013-2017, http://homalg-project.github.io/CAP project.
[48] S. Posur, Constructive Category Theory and Applications to Equivariant Sheaves, Ph.D. Thesis, University of Siegen (2017).
[49] S. Gutsche, Constructive category theory with applications to algebraic geometry, Ph.D. Thesis, University of Siegen (2017).
[50] P. Arras, A. Grassi and T. Weigand, Terminal Singularities, Milnor Numbers and Matter in F-theory, J. Geom. Phys.123 (2018) 71 [arXiv:1612.05646] [INSPIRE]. · Zbl 1380.32022 · doi:10.1016/j.geomphys.2017.09.001
[51] V. Braun and D.R. Morrison, F-theory on Genus-One Fibrations, JHEP08 (2014) 132 [arXiv:1401.7844] [INSPIRE]. · Zbl 1333.81200 · doi:10.1007/JHEP08(2014)132
[52] R. Blumenhagen, T.W. Grimm, B. Jurke and T. Weigand, Global F-theory GUTs, Nucl. Phys.B 829 (2010) 325 [arXiv:0908.1784] [INSPIRE]. · Zbl 1203.81188 · doi:10.1016/j.nuclphysb.2009.12.013
[53] T.W. Grimm, S. Krause and T. Weigand, F-Theory GUT Vacua on Compact Calabi-Yau Fourfolds, JHEP07 (2010) 037 [arXiv:0912.3524] [INSPIRE]. · Zbl 1290.81211 · doi:10.1007/JHEP07(2010)037
[54] C.-M. Chen, J. Knapp, M. Kreuzer and C. Mayrhofer, Global SO(10) F-theory GUTs, JHEP10 (2010) 057 [arXiv:1005.5735] [INSPIRE]. · Zbl 1291.81300
[55] A. Collinucci and R. Savelli, On Flux Quantization in F-theory, JHEP02 (2012) 015 [arXiv:1011.6388] [INSPIRE]. · Zbl 1309.81210 · doi:10.1007/JHEP02(2012)015
[56] J. Knapp, M. Kreuzer, C. Mayrhofer and N.-O. Walliser, Toric Construction of Global F-theory GUTs, JHEP03 (2011) 138 [arXiv:1101.4908] [INSPIRE]. · Zbl 1301.81231 · doi:10.1007/JHEP03(2011)138
[57] M. Esole and S.-T. Yau, Small resolutions of SU(5)-models in F-theory, Adv. Theor. Math. Phys.17 (2013) 1195 [arXiv:1107.0733] [INSPIRE]. · Zbl 1447.81171 · doi:10.4310/ATMP.2013.v17.n6.a1
[58] C. Lawrie and S. Schäfer-Nameki, The Tate Form on Steroids: Resolution and Higher Codimension Fibers, JHEP04 (2013) 061 [arXiv:1212.2949] [INSPIRE]. · Zbl 1342.81302 · doi:10.1007/JHEP04(2013)061
[59] H. Hayashi, C. Lawrie and S. Schäfer-Nameki, Phases, Flops and F-theory: SU(5) Gauge Theories, JHEP10 (2013) 046 [arXiv:1304.1678] [INSPIRE]. · Zbl 1342.81289 · doi:10.1007/JHEP10(2013)046
[60] H. Hayashi, C. Lawrie, D.R. Morrison and S. Schäfer-Nameki, Box Graphs and Singular Fibers, JHEP05 (2014) 048 [arXiv:1402.2653] [INSPIRE]. · Zbl 1333.81369 · doi:10.1007/JHEP05(2014)048
[61] M. Esole, S.-H. Shao and S.-T. Yau, Singularities and Gauge Theory Phases, Adv. Theor. Math. Phys.19 (2015) 1183 [arXiv:1402.6331] [INSPIRE]. · Zbl 1428.81123 · doi:10.4310/ATMP.2015.v19.n6.a2
[62] L.B. Anderson, I. García-Etxebarria, T.W. Grimm and J. Keitel, Physics of F-theory compactifications without section, JHEP12 (2014) 156 [arXiv:1406.5180] [INSPIRE]. · Zbl 1333.81299 · doi:10.1007/JHEP12(2014)156
[63] 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, JHEP01 (2015) 142 [arXiv:1408.4808] [INSPIRE]. · Zbl 1388.81563 · doi:10.1007/JHEP01(2015)142
[64] I. García-Etxebarria, T.W. Grimm and J. Keitel, Yukawas and discrete symmetries in F-theory compactifications without section, JHEP11 (2014) 125 [arXiv:1408.6448] [INSPIRE]. · Zbl 1333.81332 · doi:10.1007/JHEP11(2014)125
[65] C. Mayrhofer, E. Palti, O. Till and T. Weigand, Discrete Gauge Symmetries by Higgsing in four-dimensional F-theory Compactifications, JHEP12 (2014) 068 [arXiv:1408.6831] [INSPIRE]. · doi:10.1007/JHEP12(2014)068
[66] C. Mayrhofer, E. Palti, O. Till and T. Weigand, On Discrete Symmetries and Torsion Homology in F-theory, JHEP06 (2015) 029 [arXiv:1410.7814] [INSPIRE]. · Zbl 1388.81353 · doi:10.1007/JHEP06(2015)029
[67] M. Cvetič, R. Donagi, D. Klevers, H. Piragua and M. Poretschkin, F-theory vacua with Z3gauge symmetry, Nucl. Phys.B 898 (2015) 736 [arXiv:1502.06953] [INSPIRE]. · Zbl 1329.81309 · doi:10.1016/j.nuclphysb.2015.07.011
[68] Y. Kimura, Discrete Gauge Groups in F-theory Models on Genus-One Fibered Calabi-Yau 4-folds without section, JHEP04 (2017) 168 [arXiv:1608.07219] [INSPIRE]. · Zbl 1378.83086 · doi:10.1007/JHEP04(2017)168
[69] M. Rapoport, P. Schneider and N. Schappacher, Beilinson’s conjectures on special values of L-functions, Academic Press, Waltham (1988). · Zbl 0635.00005
[70] M. Green, J. Murre and C. Voisin, Algebraic Cycles and Hodge Theory, Springer (1994).
[71] K. Becker and M. Becker, M theory on eight manifolds, Nucl. Phys.B 477 (1996) 155 [hep-th/9605053] [INSPIRE]. · Zbl 0925.81190 · doi:10.1016/0550-3213(96)00367-7
[72] S. Sethi, C. Vafa and E. Witten, Constraints on low dimensional string compactifications, Nucl. Phys.B 480 (1996) 213 [hep-th/9606122] [INSPIRE]. · Zbl 0925.81209 · doi:10.1016/S0550-3213(96)00483-X
[73] K. Dasgupta, G. Rajesh and S. Sethi, M theory, orientifolds and G-flux, JHEP08 (1999) 023 [hep-th/9908088] [INSPIRE]. · Zbl 1060.81575 · doi:10.1088/1126-6708/1999/08/023
[74] E. Witten, On flux quantization in M-theory and the effective action, J. Geom. Phys.22 (1997) 1 [hep-th/9609122] [INSPIRE]. · Zbl 0908.53065 · doi:10.1016/S0393-0440(96)00042-3
[75] R. Donagi and M. Wijnholt, Higgs Bundles and UV Completion in F-theory, Commun. Math. Phys.326 (2014) 287 [arXiv:0904.1218] [INSPIRE]. · Zbl 1285.81070 · doi:10.1007/s00220-013-1878-8
[76] A. Collinucci and R. Savelli, On Flux Quantization in F-theory II: Unitary and Symplectic Gauge Groups, JHEP08 (2012) 094 [arXiv:1203.4542] [INSPIRE]. · Zbl 1309.81210 · doi:10.1007/JHEP08(2012)094
[77] A. Collinucci and R. Savelli, F-theory on singular spaces, JHEP09 (2015) 100 [arXiv:1410.4867] [INSPIRE]. · Zbl 1309.81210 · doi:10.1007/JHEP09(2015)100
[78] A. Collinucci, S. Giacomelli, R. Savelli and R. Valandro, T-branes through 3d mirror symmetry, JHEP07 (2016) 093 [arXiv:1603.00062] [INSPIRE]. · Zbl 1390.81581 · doi:10.1007/JHEP07(2016)093
[79] S.H. Katz and E. Sharpe, D-branes, open string vertex operators and Ext groups, Adv. Theor. Math. Phys.6 (2003) 979 [hep-th/0208104] [INSPIRE]. · doi:10.4310/ATMP.2002.v6.n6.a1
[80] R. Blumenhagen, V. Braun, T.W. Grimm and T. Weigand, GUTs in Type IIB Orientifold Compactifications, Nucl. Phys.B 815 (2009) 1 [arXiv:0811.2936] [INSPIRE]. · Zbl 1194.81288 · doi:10.1016/j.nuclphysb.2009.02.011
[81] R. Blumenhagen, M. Cvetič and T. Weigand, Spacetime instanton corrections in 4D string vacua: The Seesaw mechanism for D-brane models, Nucl. Phys.B 771 (2007) 113 [hep-th/0609191] [INSPIRE]. · Zbl 1117.81112 · doi:10.1016/j.nuclphysb.2007.02.016
[82] L.E. Ibáñez and A.M. Uranga, Neutrino Majorana Masses from String Theory Instanton Effects, JHEP03 (2007) 052 [hep-th/0609213] [INSPIRE]. · doi:10.1088/1126-6708/2007/03/052
[83] B. Florea, S. Kachru, J. McGreevy and N. Saulina, Stringy Instantons and Quiver Gauge Theories, JHEP05 (2007) 024 [hep-th/0610003] [INSPIRE]. · doi:10.1088/1126-6708/2007/05/024
[84] M. Haack, D. Krefl, D. Lüst, A. Van Proeyen and M. Zagermann, Gaugino Condensates and D-terms from D7-branes, JHEP01 (2007) 078 [hep-th/0609211] [INSPIRE]. · doi:10.1088/1126-6708/2007/01/078
[85] R. Blumenhagen, M. Cvetič, S. Kachru and T. Weigand, D-Brane Instantons in Type II Orientifolds, Ann. Rev. Nucl. Part. Sci.59 (2009) 269 [arXiv:0902.3251] [INSPIRE]. · doi:10.1146/annurev.nucl.010909.083113
[86] B.R. Greene, D.R. Morrison and M.R. Plesser, Mirror manifolds in higher dimension, Commun. Math. Phys.173 (1995) 559 [hep-th/9402119] [INSPIRE]. · Zbl 0842.32014 · doi:10.1007/BF02101657
[87] T.W. Grimm, T.-W. Ha, A. Klemm and D. Klevers, Five-Brane Superpotentials and Heterotic/F-theory Duality, Nucl. Phys.B 838 (2010) 458 [arXiv:0912.3250] [INSPIRE]. · Zbl 1206.81099 · doi:10.1016/j.nuclphysb.2010.06.011
[88] T.W. Grimm, T.-W. Ha, A. Klemm and D. Klevers, Computing Brane and Flux Superpotentials in F-theory Compactifications, JHEP04 (2010) 015 [arXiv:0909.2025] [INSPIRE]. · Zbl 1272.81153 · doi:10.1007/JHEP04(2010)015
[89] M. Alim, M. Hecht, H. Jockers, P. Mayr, A. Mertens and M. Soroush, Type II/F-theory Superpotentials with Several Deformations and N = 1 Mirror Symmetry, JHEP06 (2011) 103 [arXiv:1010.0977] [INSPIRE]. · Zbl 1298.81225 · doi:10.1007/JHEP06(2011)103
[90] A.P. Braun, A. Collinucci and R. Valandro, Hypercharge flux in F-theory and the stable Sen limit, JHEP07 (2014) 121 [arXiv:1402.4096] [INSPIRE]. · doi:10.1007/JHEP07(2014)121
[91] 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].
[92] C. Mayrhofer, E. Palti and T. Weigand, Hypercharge Flux in IIB and F-theory: Anomalies and Gauge Coupling Unification, JHEP09 (2013) 082 [arXiv:1303.3589] [INSPIRE]. · doi:10.1007/JHEP09(2013)082
[93] D. Eisenbud and J. Harris, 3264 & all that intersection theory, Cambridge University Press (2016). · Zbl 1341.14001
[94] D. Cox, J. Little and H. Schenck, Toric Varieties, Graduate studies in mathematics, American Mathematical Soc. (2011).
[95] R. Donagi and M. Wijnholt, Breaking GUT Groups in F-theory, Adv. Theor. Math. Phys. 15 (2011) 1523 [arXiv:0808.2223] [INSPIRE]. · Zbl 1269.81121 · doi:10.4310/ATMP.2011.v15.n6.a1
[96] C. Beasley, J.J. Heckman and C. Vafa, GUTs and Exceptional Branes in F-theory — II: Experimental Predictions, JHEP01 (2009) 059 [arXiv:0806.0102] [INSPIRE]. · Zbl 1243.81141 · doi:10.1088/1126-6708/2009/01/059
[97] R. Blumenhagen, B. Jurke, T. Rahn and H. Roschy, Cohomology of Line Bundles: A Computational Algorithm, J. Math. Phys.51 (2010) 103525 [arXiv:1003.5217] [INSPIRE]. · Zbl 1314.55012 · doi:10.1063/1.3501132
[98] cohomCalg package, https://github.com/BenjaminJurke/cohomCalg (2010).
[99] S.-Y. Jow, Cohomology of toric line bundles via simplicial Alexander duality, J. Math. Phys.52 (2011) 033506 [arXiv:1006.0780]. · Zbl 1315.55010 · doi:10.1063/1.3562523
[100] T. Rahn and H. Roschy, Cohomology of Line Bundles: Proof of the Algorithm, J. Math. Phys.51 (2010) 103520 [arXiv:1006.2392] [INSPIRE]. · Zbl 1314.55013 · doi:10.1063/1.3429582
[101] R. Blumenhagen, B. Jurke, T. Rahn and H. Roschy, Cohomology of Line Bundles: Applications, J. Math. Phys.53 (2012) 012302 [arXiv:1010.3717] [INSPIRE]. · Zbl 1273.81180 · doi:10.1063/1.3677646
[102] L.B. Anderson, Heterotic and M-theory Compactifications for String Phenomenology, arXiv:0808.3621 [INSPIRE].
[103] A. Collinucci and R. Savelli, T-branes as branes within branes, JHEP09 (2015) 161 [arXiv:1410.4178] [INSPIRE]. · Zbl 1388.81510 · doi:10.1007/JHEP09(2015)161
[104] S. Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, Springer New York (1998). · Zbl 0906.18001
[105] R. Hartshorne, Algebraic Geometry, Graduate Texts in Mathematics, Springer (1977). · Zbl 0367.14001
[106] M. Bies, CAPCategoryOfProjectiveGradedModules, https://github.com/HereAround/CAPCategoryOfProjectiveGradedModules (2017).
[107] M. Bies, CAPPresentationCategory, https://github.com/HereAround/CAPPresentationCategory (2017).
[108] M. Bies, PresentationsByProjectiveGradedModules, https://github.com/HereAround/PresentationsByProjectiveGradedModules (2017).
[109] M. Bies, TruncationsOfPresentationsByProjectiveGradedModules, https://github.com/HereAround/TruncationsOfPresentationsByProjectiveGradedModules (2017).
[110] The homalg project — Algorithmic Homological Algebra, 2003-2017, http://homalg-project.github.io/.
[111] M. Bies, SheafCohomologyOnToricVarieties, https://github.com/HereAround/SheafCohomologyOnToricVarieties (2017).
[112] M. Bies, C. Mayrhofer and T. Weigand, to appear.
[113] S. Greiner and T.W. Grimm, On Mirror Symmetry for Calabi-Yau Fourfolds with Three-Form Cohomology, JHEP09 (2016) 073 [arXiv:1512.04859] [INSPIRE]. · Zbl 1390.81385 · doi:10.1007/JHEP09(2016)073
[114] S. Greiner and T.W. Grimm, Three-form periods on Calabi-Yau fourfolds: Toric hypersurfaces and F-theory applications, JHEP05 (2017) 151 [arXiv:1702.03217] [INSPIRE]. · Zbl 1380.81272 · doi:10.1007/JHEP05(2017)151
[115] V. Braun, Y.-H. He, B.A. Ovrut and T. Pantev, Moduli dependent mu-terms in a heterotic standard model, JHEP03 (2006) 006 [hep-th/0510142] [INSPIRE]. · Zbl 1226.81169 · doi:10.1088/1126-6708/2006/03/006
[116] V. Bouchard and R. Donagi, An SU(5) heterotic standard model, Phys. Lett.B 633 (2006) 783 [hep-th/0512149] [INSPIRE]. · Zbl 1247.81348 · doi:10.1016/j.physletb.2005.12.042
[117] L.B. Anderson, J. Gray, A. Lukas and B. Ovrut, Vacuum Varieties, Holomorphic Bundles and Complex Structure Stabilization in Heterotic Theories, JHEP07 (2013) 017 [arXiv:1304.2704] [INSPIRE]. · Zbl 1342.81391 · doi:10.1007/JHEP07(2013)017
[118] W. Bosma, J. Cannon and C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput.24 (1997) 235. · Zbl 0898.68039 · doi:10.1006/jsco.1996.0125
[119] L.B. Anderson, J.J. Heckman, S. Katz and L. Schaposnik, T-Branes at the Limits of Geometry, JHEP10 (2017) 058 [arXiv:1702.06137] [INSPIRE]. · Zbl 1383.83148 · doi:10.1007/JHEP10(2017)058
[120] D.R. Morrison and W. Taylor, Matter and singularities, JHEP01 (2012) 022 [arXiv:1106.3563] [INSPIRE]. · Zbl 1306.81261 · doi:10.1007/JHEP01(2012)022
[121] W. Fulton, Introduction to Toric Varieties, Annals of mathematics studies, Princeton University Press (1993). · Zbl 0813.14039
[122] F. Rohrer, Toric schemes, Ph.D. dissertation, Universitaet Zuerich (2010). · Zbl 1312.14125
[123] F. Rohrer, Completions of fans, arXiv:1107.2483. · Zbl 1276.14074
[124] F. Rohrer, On quasicoherent sheaves on toric schemes, arXiv:1212.3956. · Zbl 1326.14043
[125] F. Rohrer, On toric schemes, arXiv:1107.2713. · Zbl 1326.14043
[126] M. Perling, A lifting functor for toric sheaves, arXiv:1110.0323. · Zbl 1298.14051
[127] D. Maclagan and G.G. Smith, Multigraded Castelnuovo-Mumford Regularity, math/0305214. · Zbl 1062.13004
[128] Mini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory, Mathematisches Forschungsinstitut Oberwolfach, 12-18 May 2013.
[129] M. Bies, Cohomologies of coherent sheaves and massless spectra in F-theory, Ph.D. dissertation, Ruprecht-Karls-Universitaet Heidelberg (2017), to appear.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.