REVIEW
Geometric Singularities and Enhanced Gauge Symmetries
High Energy Physics - Theory · Submitted 29 May 1996 · 35 references
Pith's verdict: The durable contribution is the split/non-split refinement of Tate's algorithm; the dimension matches are a real check, and the soft spots are the ones the authors themselves flag.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Tate's algorithm turns elliptic-fiber singularities into gauge groups
The reading
What carries the argument
Tate's algorithm is the engine: a step-by-step procedure that reads the Kodaira fiber type from divisibility conditions on the coefficients $a_1,a_2,a_3,a_4,a_6$ of the generalized Weierstrass equation along a divisor $z_1=0$, and then asks whether certain polynomials factor modulo that divisor. The factorization question is what separates the split from the non-split cases, and it is what carries the physics: a non-split fiber means the vanishing cycles are exchanged by an outer automorphism of the Dynkin diagram as one moves around the base, so the gauge group is the quotient $A_{2n-1}/Z_2 = C_n$, $D_n/Z_2 = B_{n-1}$, $E_6/Z_2 = F_4$, or $D_4/S_3 = G_2$. The authors extend Tate's classification with explicit split, semi-split and non-split entries and a table of the discriminant's next branch, and later re-express the same conditions as toric data — vectors $v$ with $v·(i,j,k) ≥ -1$ — so that resolving the singularity becomes adding points to a reflexive polyhedron, which is what makes the four-dimensional chain computable.
Extended reading notes
Core claim
The central claim is a dictionary: the order of vanishing of the Weierstrass coefficients $f$ and $g$ along a divisor, together with the split/non-split factorization conditions of Tate's algorithm, determines the enhanced gauge symmetry and the matter content of the six-dimensional F-theory vacuum. The evidence is a long series of dimension matches. For example, an $E_7$ singularity requires $f$ to vanish to order three and $g$ beyond order five, leaving the coefficients $f_{8+n}$ and $g_{12+n}$ free and giving $2n+21$ moduli after subtracting one rescaling of $z_1$; the heterotic count for $12+n$ instantons in commutant $SU(2)$ is also $2n+21$. The same exercise is repeated for $E_6$, $F_4$, $SO(11)$, $SO(10)$, $SO(9)$, $SO(8)$, $SO(7)$, $G_2$, $SU(4)$, $SO(5)$, $SO(4)$, $SU(3)$, $SU(2)$, $SU(2)^2$, $SO(12)$, $SU(6)$, $SU(5)$, $Sp(3)$ and $SU(3)^2$, with the split/non-split distinction doing the work of breaking a simply laced singularity to a non-simply laced group. Applied to $n=4$, the dictionary reproduces the physics of $k$ coincident small $SO(32)$ instantons: an $A_{2k-1}$ singularity in $z_2$ forces a larger singularity in $z_1$, yielding an $SO(8+k)SU(k)$-type enhancement at codimension $k(45-k)/2-1$. Applied to the symmetric $(12,12)$ compactification, it predicts mixed symmetries $SU(2)_{(p,q)}$ with anomaly coefficients $(u,v)=(2p,2q)$, whose compact part is a curve of genus $(p-1)(q-1)$ — exactly the number of adjoints the four-dimensional topological argument requires. Compactifying further on a torus turns these loci into a chain of Calabi–Yau threefolds dual to the Coulomb branches of the heterotic string.
Load-bearing premise
The load-bearing premise is that the Kodaira singularity type of the elliptic fiber continues to determine the gauge group when the base of the fibration has more than one dimension — a point the authors themselves call 'a priori less clear' in section 2, since the match is only established for the K3 case.
Editorial extensions
If this is right
- Every enhanced gauge symmetry locus in the F-theory moduli space acquires a computational recipe, so the heterotic Higgs branches can be located geometrically rather than inferred.
- The small $SO(32)$ instanton story follows from the same dictionary: $k$ instantons at a point give a perturbative $SO(8+k)$ together with a non-perturbative $Sp(k)$, at a codimension the authors compute and match against Higgs counting.
- A new class of six-dimensional gauge theories appears that are neither perturbative nor non-perturbative on the heterotic side, labeled by a pair $(p,q)$ with anomaly coefficients $(u,v)=(2p,2q)$ and $(p-1)(q-1)$ adjoints.
- Compactifying to four dimensions produces an explicit list of Calabi–Yau threefolds, given as reflexive polyhedra, dual to the Coulomb branches of the heterotic string, extending the web of $N=2$ dualities.
- The matter representations of the simply laced cases localize at zeros of specific polynomials in the discriminant, giving a geometric handle on charged hypermultiplets.
Reading between the lines
- The genus formula $(p-1)(q-1)$ and the codimension $29(p+q)-5pq$ are two independent routes to the same number; the agreement is a check the authors could have pushed further by computing the four-dimensional spectra explicitly from the type IIA side.
- Because the dictionary is stated for any divisor in any base, it should extend beyond Hirzebruch surfaces to more general elliptic threefolds and fourfolds, which would turn it into a general tool rather than a duality test.
- The failure to localize matter for the non-simply laced groups is a structural clue: it suggests the outer-automorphism quotient acts on the matter curves as well as on the fiber, which a D-brane analysis could confirm or rule out.
- The tensionless string appearing where two $D_4$ singularities intersect is a prediction that could be probed by looking for a light tower of states in the four-dimensional compactification at that locus.
Original abstract
Using ``Tate's algorithm,'' we identify loci in the moduli of F-theory compactifications corresponding to enhanced gauge symmetry. We apply this to test the proposed F-theory/heterotic dualities in six dimensions. We recover the perturbative gauge symmetry enhancements of the heterotic side and the physics of small $SO(32)$ instantons, and discover new mixed perturbative/non-perturbative gauge symmetry enhancements. Upon further toroidal compactification to 4 dimensions, we derive the chain of Calabi-Yau threefolds dual to various Coulomb branches of heterotic strings.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Using ``Tate's algorithm,'' we identify loci in the moduli of F-theory compactifications corresponding to enhanced gauge symmetry. We apply this to test the proposed F-theory/heterotic dualities in six dimensions. We recover the perturbative gauge symmetry enhancements of the heterotic side and the physics of small $SO(32)$ instantons, and discover new mixed perturbative/non-perturbative gauge symmetry enhancements. Upon further toroidal compactification to 4 dimensions, we derive the chain of Calabi-Yau threefolds dual to various Coulomb branches of heterotic strings.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Using ``Tate's algorithm,'' we identify loci in the moduli of F-theory compactifications corresponding to enhanced gauge symmetry. | method 0.92 | 0.94 | 0.08 | asserted 1.00 |
| s1 | We apply this to test the proposed F-theory/heterotic dualities in six dimensions. | method 0.50 | 0.91 | 0.05 | asserted 0.80 |
| s2 | We recover the perturbative gauge symmetry enhancements of the heterotic side and the physics of small $SO(32)$ instantons, and discover new mixed perturbative/non-perturbative gauge symmetry enhancements. | result 1.00 | 0.96 | 0.53 | asserted 1.00 |
| s3 | Upon further toroidal compactification to 4 dimensions, we derive the chain of Calabi-Yau threefolds dual to various Coulomb branches of heterotic strings. | result 0.88 | 0.94 | 0.18 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
224 later papers cite it
2 later papers by other authors are listed below: 1 built on it and 1 used its method or tool.
Builds on it 1 paper
-
Extended the work of this paper to access the full decomposition of discriminant using intersection theory.
Extended Gauge Symmetries in F-theory (2009) · 1.00 · paraphrased: the licence does not allow quoting
Uses its method or tool 1 of 43 papers with this label
-
Added N toric vectors with N projective relations, labeled with odd numbers only to stick with the notations of this paper.
On Flux Quantization in F-Theory II: Unitary and Symplectic Gauge Groups (2012) · 0.91 · paraphrased: the licence does not allow quoting
How the literature uses it
220 arXiv papers cite this in 529 sentences
Papers citing it · 331 sentences without a confident label
Contests it 1 paper
-
Our main conclusion is that, with the exception of one new ansatz which must be introduced for certain $Sp$ groups, the “Tate forms” of [ref] hold up fairly well, as long as (1) we avoid certain matter representations (such as the $2$-symmetric representation of $SU(m)$) which are associated with singularities in components of the discriminant locus of the elliptic fibration [ref] (2) we avoid gauge groups $SU(m)$ with $6≤m≤9$, $Sp(n)$ with $n=3, 4$, and $SO(ℓ)$ with $ℓ= 13, 14$.
Tate's algorithm and F-theory · Introduction · contest 0.71
Builds on it 1 paper
-
For this, in Section 2, we extend the work of Ref. [ref] to access the full decomposition of discriminant, using intersection theory.
Extended Gauge Symmetries in F-theory · Introduction · 1.00
Uses its method or tool 43 papers
-
In this work we restrict our analysis to Weiestrass equation given by the original Tate's algorithm [ref] [A generalisation of these results can be found in [ref] .].
F-GUTs with Mordell-Weil U(1)'s · Constraints on Gauge Group Structure of the effective model · 0.90
-
Since the analysis of the singular geometry and its resolution has been exemplified in detail in the previous sections, we content ourselves with determining the resulting gauge groups by application of Tate's algorithm [ref] without explicitly constructing the resolution.
Mordell-Weil Torsion and the Global Structure of Gauge Groups in F-theory · Generalisation to $Sp(n)/ℤ_2$, $SU(2n)/ℤ_2$, $Spin(4n) /ℤ_2$, Type IIB limit and restricted monodromies · 0.99
-
The gauge algebra along a given component $C$ of the discriminant locus can be determined by the Kodaira classification and the Tate algorithm [ref] in terms of the degrees of vanishing of $f, g, Δ$ along the curve $C$ (see Table [ref]).
Classifying bases for 6D F-theory models · Geometric and F-theory preliminaries · 0.86
Uses its data or values 3 papers
-
For completeness, we reproduce the main table with the “Tate form” ansätze from [ref] in Appendix [ref].
Tate's algorithm and F-theory · Introduction · 0.86
-
These conditions have been worked out in [ref] and are given in table [ref] which was taken from [ref] .
Higgs Bundles and UV Completion in F-Theory · Introduction · 0.91
-
[ref] , which we are reproducing (in the form given in [ref] ) for convenience of the reader in table [ref].[Note that this table was derived for the case of elliptic Calabi-Yau 3-folds, see footnote [ref].]
Lectures on F-theory compactifications and model building · Tate models · 0.86
Compares with it 7 papers
-
We have further seen that the blow-up procedure of [ref] , which holds for general models, produces the same additional scaling relations as the alogrithm of [ref] for torically embedded models.
G_4 flux, chiral matter and singularity resolution in F-theory compactifications · Resolution · 0.96
-
This partially reproduces what is called the E-string diagram in [ref] , see also the earlier works [ref] .
The Higgs Mechanism -- Hasse Diagrams for Symplectic Singularities · 6d SCFTs · 0.81
-
A similar thing happens for a generic $A_1$ singularity in Ref. [ref] , where we have `antisymmetric' representation $1$ of $SU(2)$ with multiplicity $(4+2n)/2=n+2$.
Extended Gauge Symmetries in F-theory · $F_4$ · 0.82
Cites it as support 1 paper
-
From the general Weierstrass form, it can be confirmed [ref] that the type $I_4$ fibers over the seven-branes wrapped on the components ${fg-1=0}$ and ${fg+1=0}$ are split [ref] .
A note on transition in discrete gauge groups in F-theory · An interpretation of the transition from a discrete $_2$ gauge group to a discrete $_4$ gauge group · 0.96
Cites it as background 88 papers
-
(It has become common to refer to models in one of the forms given in [ref] as being in “Tate form”.)
Tate's algorithm and F-theory · Introduction · 0.89
-
The correspondence of non-Abelian gauge groups that arise on the 7-branes in F-theory compactifications and the types of the singular fibers of the compactification spaces are discussed in [ref] .
K3 surfaces without section as double covers of Halphen surfaces, and F-theory compactifications · Introduction · 0.95
-
F-theory [ref] (see [ref] for review) is a twelve-dimensional geometric extension of string theory where one can engineer gauge theories from a geometric approach [ref] .
Flipped SU(5) GUTs from E_8 Singularities in F-theory · Introduction · 0.99
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.