A bstract We introduce and initiate the study of a general class of 2 d $$ \mathcal{N} $$ N = (0, 2) quiver gauge theories, defined in terms of certain 2-dimensional CW complexes on oriented 3-manifolds. We refer to this class of theories as BFT 2 ’s. They are natural generalizations of Brane Brick Models, which capture the gauge theories on D1-branes probing toric Calabi-Yau 4-folds. The dynamics and triality of the gauge theories translate into simple transformations of the underlying CW complexes. We introduce various combinatorial tools for analyzing these theories and investigate their connections to toric Calabi-Yau manifolds, which arise as their master and moduli spaces. Invariance of the moduli space is indeed a powerful criterion for identifying theories in the same triality class. We also investigate the reducibility of these theories.
more »
« less
Fano 3-folds, reflexive polytopes and brane brick models
A bstract Reflexive polytopes in n dimensions have attracted much attention both in mathematics and theoretical physics due to their connection to Fano n -folds and mirror symmetry. This work focuses on the 18 regular reflexive polytopes corresponding to smooth Fano 3-folds. For the first time, we show that all 18 regular reflexive polytopes have corresponding 2 d (0 , 2) gauge theories realized by brane brick models. These 2 d gauge theories can be considered as the worldvolume theories of D1-branes probing the toric Calabi-Yau 4-singularities whose toric diagrams are given by the associated regular reflexive polytopes. The generators of the mesonic moduli space of the brane brick models are shown to form a lattice of generators due to the charges under the rank 3 mesonic flavor symmetry. It is shown that the lattice of generators is the exact polar dual reflexive polytope to the corresponding toric diagram of the brane brick model. This duality not only highlights the close relationship between the geometry and 2 d gauge theory, but also opens up pathways towards new discoveries in relation to reflexive polytopes and brane brick models.
more »
« less
- NSF-PAR ID:
- 10348265
- Date Published:
- Journal Name:
- Journal of High Energy Physics
- Volume:
- 2022
- Issue:
- 8
- ISSN:
- 1029-8479
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)A bstract We study 4 d $$ \mathcal{N} $$ N = 1 gauge theories engineered via D-branes at orientifolds of toric singularities, where gauge anomalies are cancelled without the introduction of non-compact flavor branes. Using dimer model techniques, we derive geometric criteria for establishing whether a given singularity can admit anomaly-free D-brane configurations purely based on its toric data and the type of orientifold projection. Our results therefore extend the dictionary between geometric properties of singularities and physical properties of the corresponding gauge theories.more » « less
-
A bstract The 2 d (0 , 2) supersymmetric gauge theories corresponding to the classes of Y p,k (ℂℙ 1 × ℂℙ 1 ) and Y p,k (ℂℙ 2 ) manifolds are identified. The complex cones over these Sasaki-Einstein 7-manifolds are non-compact toric Calabi-Yau 4-folds. These infinite families of geometries are the largest ones for Sasaki-Einstein 7-manifolds whose metrics, toric diagrams, and volume functions are known explicitly. This work therefore presents the largest list of 2 d (0 , 2) supersymmetric gauge theories corresponding to Calabi-Yau 4-folds with known metrics.more » « less
-
null (Ed.)A bstract The open string sector of the topological B-model on CY ( m + 2)-folds is described by m -graded quivers with superpotentials. This correspondence generalizes the connection between CY ( m + 2)-folds and gauge theories on the worldvolume of D(5 − 2 m )-branes for m = 0 , . . . , 3 to arbitrary m . In this paper we introduce the Calabi-Yau product, a new algorithm that starting from the known quiver theories for a pair of toric CY m +2 and CY n +2 produces the quiver theory for a related CY m + n +3 . This method significantly supersedes existing ones, enabling the simple determination of quiver theories for geometries that were previously out of practical reach.more » « less
-
Brill-Noether-general limit root bundles: absence of vector-like exotics in F-theory Standard ModelsA 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}} $$ 3 ¯ , 1 ) − 2 / 3 and ( 1 , 1 ) 1 . For the family B 3 ( $$ {\Delta }_4^{{}^{\circ}} $$ ∆ 4 ° ) consisting of $$ \mathcal{O} $$ O (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} $$ O (10 11 ) QSM geometries B 3 ( $$ {\Delta }_4^{{}^{\circ}} $$ ∆ 4 ° ). 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}} $$ ∆ 4 ° ) admits a jumping circuit, but the root bundle constraints pick the canonical bundle and no jump happens.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1007/JHEP08(2022)008
