Type: Article
Publication Date: 2022-11-02
Citations: 7
DOI: https://doi.org/10.1007/jhep11(2022)004
A bstract Root bundles appear prominently in studies of vector-like spectra of 4d F-theory compactifications. Of particular importance to phenomenology are the Quadrillion F-theory Standard Models (F-theory QSMs). In this work, we analyze a superset of the physical root bundles whose cohomologies encode the vector-like spectra for the matter representations ( 3 , 2 ) 1 / 6 , ( $$ \overline{\textbf{3}} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mover> <mml:mn>3</mml:mn> <mml:mo>¯</mml:mo> </mml:mover> </mml:math> , 1 ) − 2 / 3 and ( 1 , 1 ) 1 . For the family B 3 ( $$ {\Delta }_4^{{}^{\circ}} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msubsup> <mml:mtext>∆</mml:mtext> <mml:mn>4</mml:mn> <mml:mo>°</mml:mo> </mml:msubsup> </mml:math> ) consisting of $$ \mathcal{O} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>O</mml:mi> </mml:math> (10 11 ) F-theory QSM geometries, we argue that more than 99 . 995% of the roots in this superset have no vector-like exotics. This indicates that absence of vector-like exotics in those representations is a very likely scenario in the $$ \mathcal{O} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>O</mml:mi> </mml:math> (10 11 ) QSM geometries B 3 ( $$ {\Delta }_4^{{}^{\circ}} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msubsup> <mml:mtext>∆</mml:mtext> <mml:mn>4</mml:mn> <mml:mo>°</mml:mo> </mml:msubsup> </mml:math> ). The QSM geometries come in families of toric 3-folds B 3 (∆ ° ) obtained from triangulations of certain 3-dimensional polytopes ∆ ° . The matter curves in X Σ ∈ B 3 (∆ ° ) can be deformed to nodal curves which are the same for all spaces in B 3 (∆ ° ). Therefore, one can probe the vector-like spectra on the entire family B 3 (∆ ° ) from studies of a few nodal curves. We compute the cohomologies of all limit roots on these nodal curves. In our applications, for the majority of limit roots the cohomologies are determined by line bundle cohomology on rational tree-like curves. For this, we present a computer algorithm. The remaining limit roots, corresponding to circuit-like graphs, are handled by hand. The cohomologies are independent of the relative position of the nodes, except for a few circuits. On these jumping circuits , line bundle cohomologies can jump if nodes are specially aligned. This mirrors classical Brill-Noether jumps. B 3 ( $$ {\Delta }_4^{{}^{\circ}} $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msubsup> <mml:mtext>∆</mml:mtext> <mml:mn>4</mml:mn> <mml:mo>°</mml:mo> </mml:msubsup> </mml:math> ) admits a jumping circuit, but the root bundle constraints pick the canonical bundle and no jump happens.