REVIEW
Geometric Engineering of Quantum Field Theories
High Energy Physics - Theory · Submitted 30 Sep 1996 · 38 references
Pith's verdict: The founding paper of geometric engineering: the construction is real and the checks are nontrivial, but the abstract oversells the scope and the local mirror prescription is asserted more than derived.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Exact gauge-theory instanton results are derived from string geometry alone, without assuming any duality.
The reading
What carries the argument
Local mirror symmetry. For a local Calabi-Yau neighborhood $X$ of a surface $S$, the authors write the mirror as a Riemann surface $Ŝ$ obtained by projectivizing the mirror coordinates, together with the meromorphic one-form $Ω = log P (dy_1/y_1)∧(dy_2/y_2)$, whose derivatives $a_i ∂_{a_i} Ω$ give unambiguous forms on $Ŝ$. Periods of $Ω$ satisfy Picard-Fuchs operators read off from the toric charge vectors, $∏_{q^{(k)}_i>0} (∂/∂a_i)^{q^{(k)}_i} = ∏_{q^{(k)}_i<0} (∂/∂a_i)^{-q^{(k)}_i}$, and these operators depend only on the local data, not on which compact Calabi-Yau contains $X$. This is what lets a threefold period problem collapse to a curve period problem, and it is the step that turns the geometry into computable gauge-theory data.
Extended reading notes
Core claim
The central claim is that non-trivial exact results for $N=2$ gauge theories in four dimensions follow from type IIA string theory compactified on a *local* Calabi-Yau geometry, with no duality conjecture as input. Concretely, an $A_1$ singularity fibered over a $P^1$ — realized by a Hirzebruch surface $F_n$ sitting inside a Calabi-Yau threefold — gives $SU(2)$ gauge symmetry, with $1/g^2$ set by the area of the base and the $W^+$ mass by the area of the fiber. Worldsheet instantons wrapping the base are identified with spacetime gauge instantons, via the six-dimensional equation $d*(e^{-2φ})H = tr R∧R - tr F∧F$, and the perturbative running of the coupling is recovered by resumming the multi-covers of the single holomorphic fiber curve. The authors then build a local mirror: a Riemann surface $P = a_1 z + a_2/z + b_2 + b_1 t + b_0 t^2 = 0$ with a meromorphic one-form, whose periods solve Picard-Fuchs equations derived directly from the toric charge vectors. In the double-scaling limit $q_b ∼ ǫ^4$, $q_f → 1$, this curve becomes the Seiberg-Witten curve $y^2 = (x^2-u)^2 - Λ^4$, and the asymptotic growth of the computed worldsheet instanton numbers reproduces the field-theory instanton coefficients, with $γ_n = 2^{3(3n-1)}(4n-3)! F_n$. The construction is then extended to $SU(n+1)$ without matter and to $SU(n+1)$ with fundamental matter, where the local mirror curve becomes the corresponding matter Seiberg-Witten curve with $Λ^3(x+m)$.
Load-bearing premise
The load-bearing premise is that the periods of the meromorphic one-form on the local mirror curve really do reproduce, in the field-theory limit, the relevant periods of the full compact mirror threefold; the authors derive this by a residue argument and note in Section 4 that the local application of mirror symmetry they need has not been fully developed, so the later match to Seiberg-Witten is a consistency check rather than an independent proof of the prescription.
Editorial extensions
If this is right
- Any $N=2$ gauge theory that can be realized as a fibered ADE singularity with prescribed matter can in principle have its Coulomb branch computed by finding the local mirror curve and its Picard-Fuchs system, without prior knowledge of the answer.
- The identification of worldsheet instantons wrapping the base with spacetime gauge instantons gives a geometric decomposition of the prepotential instanton by instanton, isolating individual gauge-instanton contributions from stringy multi-cover effects.
- The same local construction yields the perturbative one-loop prepotential for any ADE gauge group, since the wrapped fiber curves are in one-to-one correspondence with the positive roots.
- Different resolutions of the same singularity — $F_0$, $F_1$, $F_2$ for pure $SU(2)$ — must give the same field-theory limit, providing internal consistency checks and, for $F_1$, a discrete theta angle interpretation of the sign alternation in odd instanton numbers.
- The method extends to matter: the $SU(2)$ plus one fundamental case produces the massive Seiberg-Witten curve $y^2 = (x^2-u)^2 - Λ^3(x+m)$ from a blown-up local geometry, and the $SU(n+1)$ chains follow the same pattern.
Reading between the lines
- The framework suggests a practical algorithm: read off charge vectors from the divisor intersections of the singular geometry, solve the resulting Picard-Fuchs system, and identify the discriminant locus; the field-theory limit is then the tangency structure of that discriminant with the large-base divisor. This is a route to Coulomb branches for theories where no curve is known.
- Because the local mirror curve depends only on the neighborhood of the singular surface, the results are insensitive to the global Calabi-Yau used to embed it — an assertion of locality that could be tested by comparing two embeddings with different global topology but the same local model.
- The asymptotic growth law $d_{n,m} ∼ γ_n m^{4n-3}$ is a falsifiable regularity of Gromov-Witten invariants of these non-compact toric geometries; it could be checked independently by localization or by direct curve counting for $n \geq 3$ where the paper gives no table.
- The absence of any duality input suggests the same strategy could reach $N=1$ theories and theories with non-simply-laced gauge groups via outer automorphisms, where the field-theory answers are far less settled.
Original abstract
Using the recent advances in our understanding of non-perturbative aspects of type II strings we show how non-trivial exact results for $N=2$ quantum field theories can be reduced to T-dualities of string theory. This is done by constructing a local geometric realization of quantum field theories together with a local application of mirror symmetry. This construction is not based on any duality conjecture and thus reduces non-trivial quantum field theory results to much better understood T-dualities of type II strings. Moreover it can be used in principle to construct in a systematic way the vacuum structure for arbitrary $N=2$ gauge theories with matter representations.
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 the recent advances in our understanding of non-perturbative aspects of type II strings we show how non-trivial exact results for $N=2$ quantum field theories can be reduced to T-dualities of string theory. This is done by constructing a local geometric realization of quantum field theories together with a local application of mirror symmetry. This construction is not based on any duality conjecture and thus reduces non-trivial quantum field theory results to much better understood T-dualities of type II strings. Moreover it can be used in principle to construct in a systematic way the vacuum structure for arbitrary $N=2$ gauge theories with matter representations.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Using the recent advances in our understanding of non-perturbative aspects of type II strings we show how non-trivial exact results for $N=2$ quantum field theories can be reduced to T-dualities of string theory. | contribution 0.80 | 0.89 | 0.70 | asserted 1.00 |
| s1 | This is done by constructing a local geometric realization of quantum field theories together with a local application of mirror symmetry. | method 0.99 | 0.89 | 0.12 | asserted 1.00 |
| s2 | This construction is not based on any duality conjecture and thus reduces non-trivial quantum field theory results to much better understood T-dualities of type II strings. | interpretation 0.65 | 0.80 | 0.40 | asserted 1.00 |
| s3 | Moreover it can be used in principle to construct in a systematic way the vacuum structure for arbitrary $N=2$ gauge theories with matter representations. | future work 0.52 | 0.53 | 0.12 | hedged possibility 0.96 |
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 the literature uses it
174 arXiv papers cite this in 272 sentences
Papers citing it · 148 sentences without a confident label
Builds on it 1 paper
-
In this Appendix, we determine the central charge at a general point along the slice of $Π$-stability conditions, extending earlier studies of mirror symmetry for local $_0$ [ref] (or its close cousin $_2$ [ref] ).
BPS Dendroscopy on Local $\mathbb{P}^1\times \mathbb{P}^1$ · Central charge along the Pi-stability slice · 0.98
Uses its method or tool 4 papers
-
This now allows us to apply the method of steepest decent from [ref] described in subsections [ref]-[ref] and developed in [ref] to theories described in the literature [ref] on type II effective field theories.
Special geometry, quasi-modularity and attractor flow for BPS structures · BPS spectrum from attractor flow · 0.91
-
We will construct these models using geometric engineering [ref] in type IIB string theory on a non-compact Calaibi-Yau threefold.
BPS Quivers and Spectra of Complete N=2 Quantum Field Theories · BPS Quivers of Complete Theories · 0.90
-
The expression [ref] is obtained by implementing the geometric engineering limit [ref] in [ref].
Non-perturbative approaches to the quantum Seiberg-Witten curve · A closed formula and its derivation · 0.90
Compares with it 3 papers
-
Notice that the scaling [ref] is slightly different from the typical four-dimensional scaling of geometric engineering [ref] where one defines Q=^-t(μ, ħ)=(βΛ/2)^4, Q_f=m_𝔽_0 Q= exp(-2 a β), ħ=βϵand takes $β→0$ i.e. m_𝔽_0 →∞, ħ→0.In the scaling limit [ref] the conjecture of [ref] makes contact with the $SU(2)$ quantum Toda as shown in [ref] .
Seiberg-Witten theory as a Fermi gas · The four–dimensional limit · 0.90
-
For completeness, one can check that the instanton sum in [ref] is matched with the 4d Seiberg-Witten result following [ref] .
Aspects of 5d Seiberg-Witten Theories on $\mathbb{S}^1$ · Positive bare coupling-squared · 0.93
-
Up to a subleading term in $u$, this agrees with the geometric engineering limit introduced in [ref] (see [ref] ), z_1 = 1/4 exp(-4 ^2 u_SW ) , z_2 = ^4 Λ^4, →0 keeping $u_SW ,Λ$ fixed.
BPS Dendroscopy on Local $\mathbb{P}^1\times \mathbb{P}^1$ · 4D limit · 0.91
Cites it as background 100 papers
-
The low energy theory obtained from geometric engineering [ref] is a 5d $𝒩=1$ supersymmetric quantum field theory (SQFT), which is a supersymmetric gauge theory or a non-Lagrangian theory with eight supercharges on Omega-deformed background $ℝ_ϵ_1,2^4×S^1$.
Topological strings and Wilson loops · Introduction · 0.81
-
Via geometric engineering [ref] , M-theory compactified on a local Calabi-Yau threefold defines a five dimensional $N=1$ gauge theory, whose Seiberg-Witten curve is identified with the mirror curve, while the topological string partition function gets related to the Nekrasov partition function in a self-dual Omega background [ref] .
M2-branes and $\mathfrak{q}$-Painlev\'e equations · Topological string/spectral theory correspondence · 0.98
-
We are mainly interested in the mirror Type IIB geometry with Calabi-Yau space $Y$ and D5-branes [ref] . $Y$ is a conic bundle [equation] branched over a Riemann surface $Y$ given by $H(x,y;z)=0$ [ref] .
The D5-brane effective action and superpotential in N=1 compactifications · Non-compact Calabi-Yau spaces · 0.91
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.