Pith. Sign in

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

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 4 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9412236 (version 2)
Pith ID3SQ6CINM, Pith's permanent record of this paper and its review
CitationDavid R. Morrison, M. Ronen Plesser. "Summing the Instantons: Quantum Cohomology and Mirror Symmetry in Toric Varieties." arXiv:hep-th/9412236 (1994). https://pith.science/paper/3SQ6CINM
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

The paper sets out to compute the instanton corrections to correlation functions in the topological A-twisted $\sigma$ model when the target is a toric variety $V$, or a Calabi–Yau hypersurface $M$ inside one, without appealing to mirror symmetry. The authors' route is Witten's gauged linear $\sigma$ model: in the linear theory the moduli space of degree-$n$ instantons is a compact toric quotient built from spaces of holomorphic sections of line bundles on the worldsheet, so each instanton coefficient becomes an ordinary intersection number in a toric variety that can be evaluated combinatorially. Because those spaces are compact, the sum over all instanton numbers is not merely formal — it produces explicit rational functions of the exponentiated couplings $q_a = e^{2i}$, whose only singularities are poles, and which can therefore be continued across the whole parameter space. For smooth $V$ the result reproduces and explains Batyrev's algebraic presentation of the quantum cohomology ring, with the relations $x_i^{Q_{ai}} = q_a$ derived rather than postulated. For the hypersurface $M$ the authors obtain a quantum restriction formula expressing the correlators of $M$ in terms of those of $V$, and a second, more symmetric formulation (the $V^+$ model, the total space of the canonical bundle with a superpotential switched off) that allows instanton expansions about any limiting point, including Landau–Ginzburg and hybrid phases. The payoff the authors claim is a proof, at the level of topological correlation functions, of mirror-symmetry conjectures for hypersurfaces in smooth toric varieties, including the monomial-divisor mirror map.

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 5,689 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.20 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.94 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 0.93 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. Classical phase diagram. As we decrease the value of r we will find quantum corrections to these results. There is a natural deformation of the low-energy model (given by deforming the K¨ahler class) which one expects to correspond to the deformation of the ultraviolet theory by changing r. Thus we can expect that at least for sufficiently large r (we use this language somewhat loosely; what we mean is r deep in KV , so that all of the gauge couplings are small) the low￾energy theory is given by the nonlinear sigma model with target space V and some K¨ahler form. The quantum…
Figure 2. Phase diagram for M. r1 ≥ 0, 2r1 + r2 = 0
Figure 3. Fully corrected phase diagram for M. r the singular locus approaches the cones predicted in subsection 3.2 above. For finite r there are instanton corrections as predicted in section two and computed above; these introduce a θ dependence in the singular locus (which is a holomorphic divisor in q space). For the remainder of this section we once more restrict attention to the “geometric” phases (values of r in the interior of Kq). (This includes the phases we have labeled I and II in example 2.) 4.3. The Topological Model As in the previous section, our main interest will be in the…

Figures reproduced from arXiv:hep-th/9412236 by the authors.

References
How later papers used it

92 later papers cite it

Evidence: substantial. 83 of the citing papers share no author with it, and 24 of those carry a confident label from Pith's citation classifier.

Pith read 20 of the 264 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 4 of 17 papers with this label · 1 by the same authors

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
How the literature uses it

91 arXiv papers cite this in 275 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

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
Cites it as support 2 papers
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.