REVIEW
Evidence for F-Theory
High Energy Physics - Theory · Submitted 5 Feb 1996 · 39 references
Pith's verdict: The founding F-theory paper, and the core construction holds up; the section 4 spectrum claims are conditional on an adiabatic step the author flags but does not establish.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Type IIB string theory is reformulated as a twelve-dimensional F-theory whose elliptic fibrations reproduce the type IIB coupling constant and generate new six-dimensional vacua.
The reading
Extended reading notes
Core claim
The load-bearing assertion is that type IIB string theory admits a twelve-dimensional reformulation, F-theory, and that compactification of M-theory on an elliptically fibered manifold K is equivalent to compactification of F-theory on K x S1 (abstract:s3). If correct, the SL(2,Z) symmetry of type IIB is the modular group of a physical torus of signature (1,1), the axion-dilaton is its complex structure, seven-branes are degeneration loci of an elliptic fibration, and the 24 seven-branes on S2 with 18 complex moduli plus one real Kaehler parameter are exactly heterotic string theory on T2. The paper's own framing is calibrated: it offers evidence for a reformulation, not a proof.
Load-bearing premise
The adiabatic argument, invoked in section 2 ('to the extent that we can trust the adiabatic argument') and again in section 4 to move the M-theory/type IIB duality fiberwise over a base. This is what licenses the claim that F-theory on K x S1 sits on the same moduli space as M-theory on K, and therefore what licenses every statement in section 4 about supersymmetry and spectra of the six-, five- and four-dimensional compactifications. The argument is cited to Vafa and Witten [19] and is assumed rather than proved; if it fails for a fibration with degenerating fibers, the spectrum claims in section 4 lose their derivation and the four-dimensional Spin(7) discussion loses its link to M-theory.
Original abstract
We construct compact examples of D-manifolds for type IIB strings. The construction has a natural interpretation in terms of compactification of a 12 dimensional `F-theory'. We provide evidence for a more natural reformulation of type IIB theory in terms of F-theory. Compactification of M-theory on a manifold $K$ which admits elliptic fibration is equivalent to compactification of F-theory on $K\times S^1$. A large class of $N=1$ theories in 6 dimensions are obtained by compactification of F-theory on Calabi-Yau threefolds. A class of phenomenologically promising compactifications of F-theory is on $Spin(7)$ holonomy manifolds down to 4 dimensions. This may provide a concrete realization of Witten's proposal for solving the cosmological constant problem in four dimensions.
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
We construct compact examples of D-manifolds for type IIB strings. The construction has a natural interpretation in terms of compactification of a 12 dimensional `F-theory'. We provide evidence for a more natural reformulation of type IIB theory in terms of F-theory. Compactification of M-theory on a manifold $K$ which admits elliptic fibration is equivalent to compactification of F-theory on $K\times S^1$. A large class of $N=1$ theories in 6 dimensions are obtained by compactification of F-theory on Calabi-Yau threefolds. A class of phenomenologically promising compactifications of F-theory is on $Spin(7)$ holonomy manifolds down to 4 dimensions. This may provide a concrete realization of Witten's proposal for solving the cosmological constant problem in four dimensions.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We construct compact examples of D-manifolds for type IIB strings. | contribution 0.99 | 0.95 | 0.06 | asserted 1.00 |
| s1 | The construction has a natural interpretation in terms of compactification of a 12 dimensional `F-theory'. | interpretation 1.00 | 0.74 | 0.20 | asserted 0.94 |
| s2 | We provide evidence for a more natural reformulation of type IIB theory in terms of F-theory. | interpretation 0.46 | 0.83 | 0.77 | asserted 0.94 |
| s3 | Compactification of M-theory on a manifold $K$ which admits elliptic fibration is equivalent to compactification of F-theory on $K\times S^1$. | result 0.88 | 0.50 | 0.16 | asserted 1.00 |
| s4 | A large class of $N=1$ theories in 6 dimensions are obtained by compactification of F-theory on Calabi-Yau threefolds. | result 0.79 | 0.51 | 0.11 | asserted 1.00 |
| s5 | A class of phenomenologically promising compactifications of F-theory is on $Spin(7)$ holonomy manifolds down to 4 dimensions. | result 0.47 | 0.55 | 0.08 | asserted 0.78 |
| s6 | This may provide a concrete realization of Witten's proposal for solving the cosmological constant problem in four dimensions. | interpretation 1.00 | 0.16 | 0.07 | hedged possibility 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- 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
472 later papers cite it
2 later papers by other authors are listed below: 1 built on it and 1 cited it as support. 1 more paper by the same authors is listed: 1 cited it as support.
Builds on it 1 of 3 papers with this label
-
Used the idea of this paper and generalized it to the eight-derivative level.
On effective field theory of F-theory beyond leading order (2018) · 0.99 · paraphrased: the licence does not allow quoting
Cites it as support 2 of 7 papers with this label · 1 by the same authors
-
Said its finding that the manifold has no integrable complex structure but only an almost complex structure is consistent with this paper's prediction.
Supersymmetric Configurations, Geometric Transitions and New Non-Kahler Manifolds (2010) · 0.97 · paraphrased: the licence does not allow quoting
By the same authors
-
Said that this F-theory setup avoids the problem of net charge in a compact space because the 7-branes source non-abelian flux that can cancel with themselves, as in this paper.
The String Landscape, the Swampland, and the Missing Corner (2017) (same authors) · 0.95 · paraphrased: the licence does not allow quoting
How the literature uses it
458 arXiv papers cite this in 693 sentences
Papers citing it · 258 sentences without a confident label
Contests it 1 paper
-
More recently, it has been claimed that F-theory [ref] admits a 12d action [ref] , taking the form [equation] Upon closer examination, we find [ref] is just 11d supergravity integrated over a spectator dimension[ We provide support for this claim in Appendix [ref]. ].
A 12d Origin of the Type IIB String Theory: A Review · A 10+2d Theory? · contest 0.82
Builds on it 2 papers
-
We use eq. higherlast to show that the on-source curvature vanishes for F-theory axio-dilaton compactifications of 10D Type IIB supergravity with arbitrary codimension-two sources, generalizing a known result when the sources are supersymmetric [ref] .
On Brane Back-Reaction and de Sitter Solutions in Higher-Dimensional Supergravity · Example: the axio-dilaton and 10D Type IIB supergravity · 0.98
-
This correspondence is an adiabatic extension of an $8$-dimensional duality [ref] (i.e. heterotic theory compactified on $T^2$ related to F-theory on a $K3$ surface), fibered over a shared base manifold $B_n-1$ to obtain lower-dimensional dualities.
Multiple Fibrations in Calabi-Yau Geometry and String Dualities · Multiple Fibrations and Heterotic/F-theory Duality · 0.85
Uses its method or tool 6 papers
-
In order to control the contributions of the 7-branes to the curvature and to the resulting potential energy in five dimensions, we will use F theory [ref] .
Dual Purpose Landscaping Tools: Small Extra Dimensions in AdS/CFT · $AdS_5×Small$ Examples · 0.97
-
As in [ref] , our approach to understand the non-geometry of the heterotic string will be to use the map to F-theory [ref] .
Ubiquity of non-geometry in heterotic compactifications · Introduction · 0.94
-
We use F-theory [ref] to study these questions, as this approach gives a global and nonperturbative picture of the largest currently understood set of string vacua.
Applications of Flux Compactifications in F-Theory · Introduction · 0.84
Uses its data or values 1 paper
-
For instance, the F-theory [ref] geometry with $O(10^272,000)$ flux vacua [ref] and the exact ensemble [ref] of $4/3 ×2.96 ×10^755$ F-theory geometries exhibit $33$ and and $762 ±11$ gauged dark sectors, respectively.
On Axion Reheating in the String Landscape · Introduction · 0.81
Compares with it 3 papers
-
This number can easily be compared to the moduli of $K3$ considered as an elliptic fibration over $ℂℙ^1$ [ref] , defined by the Weierstrass equation y^2=x^3+f_8(a,b) x+g_12(a,b) where $[a:b]$ are the homogeneous coordinates of $ℂℙ^1$ and $f_8$ and $g_12$ are homogeneous polynomials of degree 8 and 12 respectively.
D7-Brane Motion from M-Theory Cycles and Obstructions in the Weak Coupling Limit · General remarks on $K3$ · 0.81
-
This functional form is also the same as the F-theory case [ref] , in which one takes $e^φ(z)∝η(ρ)^-2z^-N/12$ so that the transverse space has conical deficit angle $πN/ 12$.
Exotic Branes in String Theory · Near-ring analysis · 0.88
-
It is similar to the situation in F-theory [ref] , where the area of the $T^2$ is fixed and the modulus of the torus is not a dynamical parameter.
Semi-Flatland · Reduction to seven dimensions · 0.95
Cites it as support 5 papers
-
Later, through the study of the 6d (2,0) gravity theory [ref] , and the 7-brane backreacted vacua [ref] , more evidence for an effective 12d interpretation of the type IIB string theory have emerged.
A 12d Origin of the Type IIB String Theory: A Review · Introduction · 0.99
-
A convincing argument that they correspond to gauge transformations of the target space theory, uses the duality between Type IIB string theory with M-theory on $T^2$ [ref] (or the duality with F-theory [ref] ). $Ω$ and $(-1)^F_L$ then correspond to a parity transformation on $T^2$ [ref] , and once again, it is an spacetime diffeomorphism, and the symmetries are gauged in the target space.
The AdS/$\mathsf{C}$-$\mathsf{P}$-${\mathsf T}$ Correspondence · Holographic $𝖯$-symmetry · 0.97
-
This picture is also necessitated by heterotic duality [ref] : at a generic point in the moduli space of an $E_8$ gauge bundle the theory is completely Higgsed and the $240$ W-bosons of $E_8$ are massive; in the dual F-theory picture the heterotic bundle moduli map to complex structure moduli which deform the $E_8$ singularity and give rise to the necessary two-cycles.
Matter From Geometry Without Resolution · Introduction · 0.96
Cites it as background 333 papers
-
Orientifold compactifications of Type IIB string theory on a Calabi-Yau threefold in the presence of D3 and D7 branes can be geometrically described by F-theory compactified on a Calabi-Yau fourfold [ref] .
Chern class identities from tadpole matching in type IIB and F-theory · Introduction · 0.93
-
Static codimension two configurations with varying axion-dilaton are the starting point for F-theory [ref] .
Expanding F-Theory · F-theory Revisited · 0.89
-
In this work, we initiate the study of the D(-1)-instanton superpotential in type IIB compactification by focusing on the Sen-limit [ref] in F-theory [ref] .
D(-1)-Instanton Superpotential In String Theory · Introduction · 0.82
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.