REVIEW
Exact Results for N=2 Compactifications of Heterotic Strings
High Energy Physics - Theory · Submitted 17 May 1995 · 40 references
Pith's verdict: The rank-three heterotic/type II pair is the real content and its weak-coupling checks hold up; the finite-y and rank-four material is flagged conjecture and should be read that way.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper argues that a specific four-dimensional heterotic compactification on $K3 times T^2$ and the type IIA string on a known Calabi-Yau threefold are two descriptions of the same theory, so each side's tree-level geometry supplies the
The reading
What carries the argument
The load-bearing device is the proposed dictionary between the type II algebraic variables and the heterotic fields: $bar x = 1728,j(tau)$ at weak coupling, $bar y = e^{-S}$ to leading order, and the conjecture that the mirror map continues to relate $bar x, bar y$ to $tau, S$ beyond leading order. Once that dictionary is assumed, the discriminant locus of the Calabi-Yau becomes a statement about the heterotic quantum moduli space, and the known Yukawa couplings of the threefold become predictions for the third derivatives $tilde F_{tau tau tau}$ and $tilde F_{S tau tau}$ of the heterotic prepotential. The modular weight of those predictions is fixed by multiplying by the Eisenstein series $E_4(tau)$, the unique weight-four modular form available.
Extended reading notes
Core claim
The central claim is that the vector multiplet moduli space of type IIA on the degree-12 hypersurface in $WP_{1,1,2,2,6}$ (with $b_{11}=2$, $b_{21}=128$) is the exact quantum moduli space of a heterotic $E_7 times E_7 times U(1)^3$ compactification broken by $SU(2)$ bundles with $c_2 = 10, 10, 4$, leaving 129 hypermultiplets and three vectors. The evidence is a chain of coincidences that the authors read as one structure: the discriminant $(1- bar x)^2 - bar x^2 bar y = 0$ is quadratic in $bar x$, exactly the shape needed for a classical $SU(2)$ point to split into two quantum singularities; at $bar y = 0$ the mirror map is the elliptic $j$-function, $bar x = 1728,j(tau)$, so $bar x = 1$ lands on $tau = i$ where the heterotic model classically restores $SU(2)$; and the third derivatives of the prepotential reduce, via the identity $j_tau^2 = -960 pi^2 j(tau)(j(tau)-j(i)) E_4(tau)$, to the form $S + log(j(tau)-j(i))$ expected from a one-loop heterotic gauge coupling. A second, rank-four example matches $b_{11}=3$, $b_{21}=243$ against the degree-24 hypersurface in $WP_{1,1,2,8,12}$, where the discriminant at $bar y = 0$ becomes a perfect square $((1-bar x)^2 - bar x^2 bar z)^2$, as a doubled $SU(2)$ locus should. The paper also argues that distinct heterotic $N=2$ vacua are connected to one another through Higgs and Coulomb transitions at points of enhanced stringy gauge symmetry.
Load-bearing premise
The identification of the type II variable $bar y$ with $e^{-S}$ is proposed only to leading order in the coupling, and the paper then conjectures that $bar x$ and $bar y$ continue to be related to $tau$ and $S$ by the mirror map at finite coupling; everything said about the strong-coupling locus at $bar y = 1$ rests on that unproved extension.
Editorial extensions
If this is right
- The exact non-perturbative prepotential of the heterotic vector multiplets is obtained in closed form from a tree-level type II computation, giving $tilde F_{tau tau tau}$ and $tilde F_{S tau tau}$ as modular forms of weight 2 and 0 under the $SL(2,\mathbb{Z})$ acting on $tau$.
- The classical $SU(2)$ restoration point at $tau = i$ splits into two singular points once the string coupling is turned on, which is the stringy version of the Seiberg-Witten monopole splitting, here corrected by gravitational and stringy effects.
- The extra singular locus at $bar y = 1$, corresponding to $S \to 0$, marks a strong-coupling transition where the threefold becomes birationally equivalent to a complete intersection, a phenomenon with no field theory counterpart.
- Conversely, the heterotic tree-level hypermultiplet moduli space gives the exact type II hypermultiplet geometry, since the type II dilaton sits in a hypermultiplet and cannot correct it.
- Heterotic $N=2$ vacua with different spectra, including the $(0,24)$ and $(4,20)$ models, are connected by moving to enhanced stringy gauge symmetry points and going to Coulomb or Higgs phases.
Reading between the lines
- If the dictionary holds, the short list of known Calabi-Yau threefolds with small $b_{11}$ becomes a selection rule for which heterotic compactifications have exact solutions, since a dual can only be found where such a threefold exists.
- The $(0,24)$ model has no dilaton on the type II side, so the connected web of $N=2$ vacua must include regions with no geometric description at all; the connectivity claim is therefore about a larger space that is only partly Calabi-Yau.
- The identity that fixes the modular weight suggests the gauge coupling function is determined by its singularity structure alone, which would make the prediction insensitive to the details of the bundle embedding and hence extendable to the other examples listed.
- The strong-coupling locus at $bar y = 1$ is a concrete prediction for the heterotic side: something must fail at $S \to 0$ in a way that mirrors the birational transition, and a one-loop $R^2$ computation counting massless hypermultiplets is the natural place to look for it.
Original abstract
We search for $N=2$, $d=4$ theories which can be realized both as heterotic string compactifications on $K_{3}\times T^{2}$ and as type II string compactifications on Calabi-Yau threefolds. In such cases, the exact non-perturbative superpotential of one string theory is given in terms of tree level computations in the other string theory. In particular we find concrete examples which provide the stringy realization of the results of Seiberg and Witten on N=2 Yang-Mills theory, corrected by gravitational/stringy effects. We also discuss some examples which shed light on how the moduli spaces of different N=2 heterotic vacua are connected.
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 search for $N=2$, $d=4$ theories which can be realized both as heterotic string compactifications on $K_{3}\times T^{2}$ and as type II string compactifications on Calabi-Yau threefolds. In such cases, the exact non-perturbative superpotential of one string theory is given in terms of tree level computations in the other string theory. In particular we find concrete examples which provide the stringy realization of the results of Seiberg and Witten on N=2 Yang-Mills theory, corrected by gravitational/stringy effects. We also discuss some examples which shed light on how the moduli spaces of different N=2 heterotic vacua are connected.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We search for $N=2$, $d=4$ theories which can be realized both as heterotic string compactifications on $K_{3}\times T^{2}$ and as type II string compactifications on Calabi-Yau threefolds. | contribution 0.95 | 0.85 | 0.10 | asserted 0.54 |
| s1 | In such cases, the exact non-perturbative superpotential of one string theory is given in terms of tree level computations in the other string theory. | result 0.42 | 0.25 | 0.31 | asserted 1.00 |
| s2 | In particular we find concrete examples which provide the stringy realization of the results of Seiberg and Witten on N=2 Yang-Mills theory, corrected by gravitational/stringy effects. | result 0.92 | 0.91 | 0.41 | asserted 1.00 |
| s3 | We also discuss some examples which shed light on how the moduli spaces of different N=2 heterotic vacua are connected. | contribution 0.82 | 0.82 | 0.06 | asserted 0.75 |
What was examined, and what was not
- arXiv listing abstract v3
- 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 the literature uses it
70 arXiv papers cite this in 108 sentences
Papers citing it · 70 sentences without a confident label
Builds on it 3 papers
-
It is interesting to generalize the canonical well-studied $N=2$ duality of heterotic on $K3×T^2$ and type IIA studied in [ref] to these orbifolds of $K3$.
Gravitational couplings in ${\cal N}=2$ heterotic compactifications with Wilson lines · Introduction · 0.98
-
From this perspective we recognize the compactification as a $5$-dimensional lift of a familiar $4$-dimensional vacuum with $2$ vector multiplets and $129$ neutral hypermultiplets discussed in [ref] .
Topology change and heterotic flux vacua · Non-abelian gauge sector · 0.86
-
These models are the generalization of the ones considered in [ref] for $k=10$.
Heterotic string on the CHL orbifold of K3 · Gauge sector · 0.99
Uses its data or values 1 paper
-
The dual type IIA CY three-fold $X$ has $h^1,1(X)=18$ and $h^1,2(X)=64$ resulting in a $65$-dimensional hypermultiplet moduli space [ref] .
Heterotic-Type II duality in the hypermultiplet sector · $SU(2)$ bundle from 3d Seiberg-Witten · 0.95
Compares with it 1 paper
-
Among these models, the rank $23$ model is previously constructed in [ref] .
On the String Landscape Without Hypermultiplets · S1 compactification of 5d models · 0.84
Cites it as support 1 paper
-
Indeed models without hypermultiplets can be realized in asymmetric orbifolds [ref] in 4d.
On the String Landscape Without Hypermultiplets · 6d models without neutral hypermultiplets · 0.99
Cites it as background 27 papers
-
Quite early on it was appreciated that K3-fibered and elliptically-fibered Calabi-Yau three folds should play a special role in the duality [ref] .
Heterotic flux backgrounds and their IIA duals · Some potential IIA duals of heterotic flux vacua · 0.97
-
This ignorance, along with an incomplete understanding of non-perturbative effects in type II Calabi-Yau vacua, has prevented detailed tests of heterotic/type II duality [ref] in the hypermultiplet sector, beyond the early attempts in [ref] .
N=2 Heterotic-Type II duality and bundle moduli · Introduction · 0.85
-
The definition of the GVI [ref] quintessentially combines $N=2$ heterotic/type II duality to 4d [ref] , with arguments from instanton counting in 5d gauge theory [ref] , concrete calculations of heterotic BPS amplitudes [ref] and applications of heterotic/type II duality to higher genus world-sheet counting [ref] on $K3$ fibered Calabi-Yau spaces.
Towards Refining the Topological Strings on Compact Calabi-Yau 3-folds · Introduction · 0.98
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.