REVIEW
Summing the Instantons: Quantum Cohomology and Mirror Symmetry in Toric Varieties
High Energy Physics - Theory · Submitted 30 Dec 1994 · 72 references
Pith's verdict: The paper that actually sums the toric instanton series directly, without assuming mirror symmetry, and gets the monomial-divisor map out as a theorem under stated hypotheses.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
In the gauged linear sigma model the instanton moduli spaces for a toric target are themselves compact toric varieties, so the whole instanton series can be summed in closed form, giving exact quantum cohomology for toric varieties and for.
The reading
What carries the argument
The load-bearing mechanism is the replacement of the nonlinear $\sigma$ model's noncompact space of holomorphic maps by the linear model's compact toric instanton moduli space $M_n = (Y_n - F_n)/T$, where the excluded set $F_n$ is read off from the same fan data and moment-map constants $r_a$ that define $V$ itself. Intersections in $M_n$ are computed by the Stanley–Reisner relations of that toric variety, so each instanton coefficient is a monomial counting problem. Two further devices carry the argument: the operator relations $x_i^{Q_{ai}} = q_a$ (equivalently $x_i^{d_i^*} = _a q_a^{n_a^*}$ for every $n^*$ with all $d_i^* 0$), proved by a point-splitting argument that relates the $n$-th and $(n+n^*)$-th moduli spaces; and the introduction of an extra chiral field with charges $Q_{a0} = -_i Q_{ai}$, which makes the model Calabi–Yau, turns the parameter space into a symmetric object where all anomaly coefficients vanish, and yields the trace functional $(O) = O _0 O$ that converts the $V^+$ computation into the $M$ computation via $O _M = (-_0 O)$.
Extended reading notes
Core claim
The central claim is that the A-model correlation functions of a toric variety, and of a Calabi–Yau hypersurface in one, are exactly computable by summing instantons in the linear model, and that the resulting algebraic relations between the generators are precisely the relations that appear in the mirror's Jacobian ring. Concretely, the authors show that the degree-$n$ instanton moduli space is $M_n = (Y_n - F_n)/T$ with $Y_n = i H^0(O(d_i))$ and $d_i = _a Q_{ai} n_a$, a compact toric variety whose intersection numbers give each instanton coefficient, with an Euler-class factor $_{d_i<0} _i^{-d_i-1}$ when some $d_i$ is negative. Summing these coefficients yields explicit rational functions: for the quintic in $^4$ the single Yukawa coupling is $5/(1+5^5 q)$; for the two-parameter example the four Yukawa couplings are given in closed form with denominator $(1-2^8 q_1)^2 - 2^{18} q_1^2 q_2$, and the authors verify these agree with the mirror computations of Candelas and collaborators under the substitution the monomial-divisor map prescribes. For the hypersurface they prove a quantum restriction formula, expressing an $M$-model correlator as $O (-K)/(1-(-K)^p)$ evaluated in the quantum cohomology ring of $V$, and they show that the resulting ring agrees with the restricted chiral ring of the conjectured mirror hypersurface, matching the principal discriminant's components face by face with the components of the A-model singular locus.
Load-bearing premise
The identification of the linear model's operator $_a$ with the divisor class $_a$ on every instanton moduli space, with a normalization that does not vary with instanton number, is assumed rather than proved; the authors state in section 3.8 that they 'do not have a complete justification for this choice,' and every instanton coefficient depends on it.
Editorial extensions
If this is right
- For any smooth toric variety, the quantum cohomology ring is generated by divisor classes subject to the relations $x_i^{Q_{ai}} = q_a$, with no further relations needed, giving a complete and checkable algorithm for the ring and its correlators.
- The A-model correlators of a Calabi–Yau hypersurface $M V$ are determined by those of $V$ through the quantum restriction formula, so the notoriously hard Gromov–Witten problem for hypersurfaces reduces to a toric intersection computation.
- Instanton expansions can be computed about any limiting point of the moduli space, so the Landau–Ginzburg, orbifold and hybrid phases are all reachable, and the expansions in different phases are shown to agree after analytic continuation.
- Under the hypotheses that $V$ is smooth and the mirror fan is simplicial, the monomial-divisor mirror map of Aspinwall, Greene and Morrison is proved at the level of topological correlation functions, with the map given globally as $x_i c_i _i$ and $q_a _i (c_i/c_0)^{Q_{ai}}$.
- The components of the A-model singular locus, indexed by faces of the polytope, are matched one-to-one with the irreducible components of the principal discriminant of the mirror's defining polynomial, as described by Kapranov's toric generalization of Horn's results.
Reading between the lines
- Because the summed correlators are rational functions with poles only along the discriminant, the paper effectively gives a global coordinate system on the whole moduli space rather than a large-radius asymptotic expansion; a reader could use this to test whether the analytic continuation through the strongly coupled region enclosed by the singular curve is really single-valued, which the authors
- The authors note that their coefficients are not the standard Gromov–Witten invariants because they work in 'algebraic' coordinates and gauge; extracting the canonical coordinates would amount to computing the instanton corrections to $t_a = _a + Q_{a0}/2$ from pointlike instantons, which they leave open. That inversion is the natural next computation, and it is what would let the results be compa
- The observation that the linear model's instanton spaces are compactifications of the map spaces by pointlike instantons suggests a general principle: any sigma model whose target sits inside a Fano or toric quotient admits a compactified moduli problem, so the same summation may work for complete intersections and for hypersurfaces in arbitrary Fano varieties, as the authors themselves suggest in
- The proof strategy — match the ring of relations on one side with a Jacobian ring on the other, then invoke uniqueness of the graded expectation function up to scale — is a template that does not depend on the details of toric geometry, and could plausibly be applied to other mirror constructions where both chiral rings are presented by generators and relations.
Original abstract
We use the gauged linear sigma model introduced by Witten to calculate instanton expansions for correlation functions in topological sigma models with target space a toric variety $V$ or a Calabi--Yau hypersurface $M \subset V$. In the linear model the instanton moduli spaces are relatively simple objects and the correlators are explicitly computable; moreover, the instantons can be summed, leading to explicit solutions for both kinds of models. In the case of smooth $V$, our results reproduce and clarify an algebraic solution of the $V$ model due to Batyrev. In addition, we find an algebraic relation determining the solution for $M$ in terms of that for $V$. Finally, we propose a modification of the linear model which computes instanton expansions about any limiting point in the moduli space. In the smooth case this leads to a (second) algebraic solution of the $M$ model. We use this description to prove some conjectures about mirror symmetry, including the previously conjectured ``monomial-divisor mirror map'' of Aspinwall, Greene, and Morrison.
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 use the gauged linear sigma model introduced by Witten to calculate instanton expansions for correlation functions in topological sigma models with target space a toric variety $V$ or a Calabi--Yau hypersurface $M \subset V$. In the linear model the instanton moduli spaces are relatively simple objects and the correlators are explicitly computable; moreover, the instantons can be summed, leading to explicit solutions for both kinds of models. In the case of smooth $V$, our results reproduce and clarify an algebraic solution of the $V$ model due to Batyrev. In addition, we find an algebraic relation determining the solution for $M$ in terms of that for $V$. Finally, we propose a modification of the linear model which computes instanton expansions about any limiting point in the moduli space. In the smooth case this leads to a (second) algebraic solution of the $M$ model. We use this description to prove some conjectures about mirror symmetry, including the previously conjectured ``monomial-divisor mirror map'' of Aspinwall, Greene, and Morrison.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We use the gauged linear sigma model introduced by Witten to calculate instanton expansions for correlation functions in topological sigma models with target space a toric variety $V$ or a Calabi--Yau hypersurface $M \subset V$. | method 0.71 | 0.92 | 0.11 | asserted 1.00 |
| s1 | In the linear model the instanton moduli spaces are relatively simple objects and the correlators are explicitly computable; moreover, the instantons can be summed, leading to explicit solutions for both kinds of models. | method 0.66 | 0.77 | 0.21 | asserted 1.00 |
| s2 | In the case of smooth $V$, our results reproduce and clarify an algebraic solution of the $V$ model due to Batyrev. | result 0.88 | 0.76 | 0.11 | asserted 1.00 |
| s3 | In addition, we find an algebraic relation determining the solution for $M$ in terms of that for $V$. | result 0.96 | 0.96 | 0.17 | asserted 1.00 |
| s4 | Finally, we propose a modification of the linear model which computes instanton expansions about any limiting point in the moduli space. | contribution 0.82 | 0.93 | 0.13 | asserted 0.72 |
| s5 | In the smooth case this leads to a (second) algebraic solution of the $M$ model. | result 0.97 | 0.91 | 0.12 | asserted 0.99 |
| s6 | We use this description to prove some conjectures about mirror symmetry, including the previously conjectured ``monomial-divisor mirror map'' of Aspinwall, Greene, and Morrison. | result 0.85 | 0.92 | 0.40 | 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
Figures
Figures reproduced from arXiv:hep-th/9412236 by the authors.
References
How later papers used it
92 later papers cite it
4 later papers by other authors are listed below: 3 used its method or tool and 1 compared its own results with it. 1 more paper by the same authors is listed: 1 used its method or tool.
Uses its method or tool 4 of 17 papers with this label · 1 by the same authors
-
Applied this paper's methods to the Coulomb branch, using the one-loop-exact twisted effective superpotential.
Quantum cohomology from mixed Higgs-Coulomb branches (2023) · 0.91 · paraphrased: the licence does not allow quoting
-
Employed the strategy developed in this paper for (2,2) theories to solve the A/2-twisted M model.
Testing the (0,2) mirror map (2018) · 0.98 · paraphrased: the licence does not allow quoting
-
Changed to the algebraic coordinate of this paper's GLSM.
Hemisphere Partition Function and Analytic Continuation to the Conifold Point (2016) · 0.80 · paraphrased: the licence does not allow quoting
By the same authors
-
Used techniques developed in this paper for abelian GLSMs to analyze the phase structure of the quantum-corrected Kähler moduli spaces of linear determinantal varieties in projective space.
Nonabelian 2D Gauge Theories for Determinantal Calabi-Yau Varieties (2012) (same authors) · 0.89 · paraphrased: the licence does not allow quoting
Compares with it 1 of 6 papers with this label
-
Said that on the (2,2) locus its own result reduces to that obtained in this paper and given in eqn.
Summing the Instantons in Half-Twisted Linear Sigma Models (2008) · 0.98 · paraphrased: the licence does not allow quoting
How the literature uses it
91 arXiv papers cite this in 275 sentences
Papers citing it · 173 sentences without a confident label
Builds on it 7 papers
-
This (0,2) extension of the quantum restriction formula of [ref] is derived in section [ref].
Summing the Instantons in Half-Twisted Linear Sigma Models · A Summary of the Results · 1.00
-
Expanding on earlier work [ref] , I focus on a particular infinite sequence of constructions corresponding to Calabi–Yau hypersurfaces in Hirzebruch scrolls, the rich mathematical history of the latter [ref] affording their study from multiple different points of view, including their realization within GLSM models [ref] — which is where we start.
Beyond Algebraic Superstring Compactification · A Showcasing Deformation Family · 0.95
-
In this paper, we have generalized the Coulomb-branch based computations of quantum cohomology described in [ref] to cases with mixed Higgs-Coulomb branches, discussing in detail the case of GLSMs for hypersurfaces in projective spaces, $ℙ^n[d]$.
Quantum cohomology from mixed Higgs-Coulomb branches · Conclusions · 0.99
Uses its method or tool 17 papers
-
By using the GLSM fields and localization, the correlation functions $⟨O[η]^k⟩$ can also be calculated in the IR by the methods of [ref] for the Higgs contribution and those of [ref] for the Coulomb contribution.
Quantum cohomology from mixed Higgs-Coulomb branches · IR correlation functions · 1.00
-
In order to solve the A/2-twisted $M$ model we employ the strategy developed in [ref] for (2,2) theories and later extended to a class of (0,2) linear models in [ref] .
Testing the (0,2) mirror map · A/2 correlators · 0.98
-
To construct these, we first note that the action on the $α_m$ is the same as in the (2,2) case, and there is a well-known way to pick invariant coordinates [ref] .
A (0,2) Mirror Map · GLSM moduli space of reflexively plain models · 0.88
Compares with it 6 papers
-
On the (2,2) locus $M_(0) = K = -∑_i,a Q_i^a σ_a$, and our result reduces to that obtained in [ref] and given in eqn.
Summing the Instantons in Half-Twisted Linear Sigma Models · Localization and Quantum Restriction · 0.98
-
This matches precisely the results of [ref] .
The equivariant A-twist and gauged linear sigma models on the two-sphere · Geometric and orbifold phases in the $=0$ and $m^F=0$ limit · 1.00
-
This result was previously obtained in [ref] using the topologically A-twisted version of the GLSM which doesn't require the supersymmetric localization and the counterterm analysis that we did.
2D BPS Rings from Sphere Partition Functions · Relations and the ring · 1.00
Cites it as support 2 papers
-
This was confirmed for Calabi-Yau hypersurface examples in [ref] by summing the gauge instanton sums.
Quantum cohomology from mixed Higgs-Coulomb branches · Introduction · 0.98
-
This sum-rule in turn implies that the initial toric manifold (and therefore its squashed deformation) is non-compact [ref] .
Squashed toric sigma models and mock modular forms · Introduction and summary · 0.96
Cites it as background 35 papers
-
We have drawn heavily upon [ref] , [ref] , [ref] , [ref] in preparing this review.
Gromov-Witten invariants and localization · Introduction · 0.91
-
While this is the natural choice of coordinates from the GLSM perspective, in general these are related in a non-trivial fashion to the natural coordinates of the nonlinear model: see the discussion around equation (4.20) in [ref] , for example. ] $r$ has nontrivial RG flow, and will flow between different phases of the GLSM.
Quantum cohomology from mixed Higgs-Coulomb branches · Introduction · 0.80
-
For over three decades now, the standard vehicle to this end is Witten's gauged linear sigma model (GLSM) [ref] , where the space of ground-states is defined as the subset of the field space where a well-specified potential is minimized, at the intersection [equation] Here, $W(X)$ is the superpotnential function of chiral $(2,2)$-superfields[This brief discussion is limited to the simplest, $(2,2)$-supersymmetric case; $(0,2)$-generalizations are described in the literature [ref] , while the ultimate, minimally $(0,1)$-supersymmetric extensions remain largely unexplored.], $X_i$, with lowest component fields $x_i$.
Ricci-Flat Mirror Hypersurfaces in Spaces of General Type · Extending Gauged Linear Sigma Models · 0.81
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.