Pith. Sign in

REVIEW

Mirror Symmetry

High Energy Physics - Theory · Submitted 25 Feb 2000 · 105 references

Pith's verdict: The exact twisted superpotential and the vortex derivation are the real contribution and they hold up; the abstract's unqualified 'we prove' outruns what the paper establishes for positive first Chern class, and the authors say so themselves in §5.1 and §5.3.

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 →

· 3 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0002222 (version 3)
Pith IDCEB7ROFG, Pith's permanent record of this paper and its review
CitationCumrun Vafa, Kentaro Hori. "Mirror Symmetry." arXiv:hep-th/0002222 (2000). https://pith.science/paper/CEB7ROFG
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

Mirror symmetry of two-dimensional sigma models follows from abelian gauge duality: the dual theory is a Landau-Ginzburg model with superpotential mu times the sum of exponentials e to the minus Y_i, generated by vortices.

The reading

Mirror symmetry is a conjectured equivalence between two Calabi-Yau manifolds whose complex and Kahler structures are exchanged. Hori and Vafa argue it is not a new symmetry but a consequence of a duality that is already known. Their starting point is the gauged linear sigma model: a two-dimensional U(1) gauge theory with N charged chiral fields whose low-energy limit is a sigma model on a toric variety. They dualize the phase of each charged field, the same radius-inversion step that maps a circle of radius R to one of radius 1/R. The charged fields become neutral periodic fields Y_i coupled to the gauge field strength Sigma through a term Sigma times (sum of Q_i Y_i minus t). The key step is that vortices, the instantons of this theory, generate extra terms in the twisted superpotential. A vortex around which the i-th scalar winds is dual to the insertion of e to the minus Y_i. Summing the vortex gas gives the exact twisted superpotential: Sigma times (sum Q_i Y_i minus t) plus mu times the sum of e to the minus Y_i. Integrating out Sigma imposes sum Q_i Y_i equals t, leaving N minus 1 periodic variables with superpotential mu times the sum of e to the minus Y_i. That is the mirror: a Landau-Ginzburg model on an algebraic torus. For CP^{N-1} the constraint turns this into the affine A_{N-1} Toda superpotential, reproducing a known mirror pair. For a degree-d hypersurface in CP^{N-1} the mirror is an orbifold of the Landau-Ginzburg model with superpotential sum X_i^d plus e^{t/d} times the product of X_i. The paper extends this to complete intersections, computes D-brane periods and Picard-Fuchs equations, and recovers the trilogarithm prepotential for the O(-1) plus O(-1) bundle over CP^1.
Extended reading notes

Core claim

The exact twisted superpotential of the dualized U(1) gauge theory is W-tilde = Sigma (sum_i Q_i Y_i - t) + mu sum_i e^{-Y_i}, with the exponential terms generated by vortex instantons, and integrating out Sigma yields the Landau-Ginzburg mirror of the sigma model on the toric variety. The paper states this in section 3.2 as equation (3.38) and calls it one of the main results. If correct, mirror symmetry for toric targets, CP^{N-1} (affine Toda), line bundles over projective space, and hypersurfaces follows from ordinary abelian duality plus a semiclassical instanton sum, rather than from case-by-case conjecture.

Load-bearing premise

The localization argument in section 3.2.1, which reduces the general N-flavor theory to N copies of the single-flavor case. It assumes the twisted superpotential is independent of D-term variations, so it can be computed with a diagonal gauge coupling matrix and then continued to the U(1) embedding, and it assumes no singularity is crossed along that deformation. The paper states this directly: the superpotential is valid for all values of the inverse coupling matrix as long as there is no singularity in going from the diagonal one. If a singularity is crossed, or if the twisted superpotential picks up D-term dependence, the general-N result does not follow from the single-flavor computation.

Original abstract

We prove mirror symmetry for supersymmetric sigma models on Kahler manifolds in 1+1 dimensions. The proof involves establishing the equivalence of the gauged linear sigma model, embedded in a theory with an enlarged gauge symmetry, with a Landau-Ginzburg theory of Toda type. Standard R -> 1/R duality and dynamical generation of superpotential by vortices are crucial in the derivation. This provides not only a proof of mirror symmetry in the case of (local and global) Calabi-Yau manifolds, but also for sigma models on manifolds with positive first Chern class, including deformations of the action by holomorphic isometries.

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, 3,667 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

We prove mirror symmetry for supersymmetric sigma models on Kahler manifolds in 1+1 dimensions. The proof involves establishing the equivalence of the gauged linear sigma model, embedded in a theory with an enlarged gauge symmetry, with a Landau-Ginzburg theory of Toda type. Standard R -> 1/R duality and dynamical generation of superpotential by vortices are crucial in the derivation. This provides not only a proof of mirror symmetry in the case of (local and global) Calabi-Yau manifolds, but also for sigma models on manifolds with positive first Chern class, including deformations of the action by holomorphic isometries.

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 prove mirror symmetry for supersymmetric sigma models on Kahler manifolds in 1+1 dimensions. result 0.53 0.95 0.95 asserted 1.00
s1 The proof involves establishing the equivalence of the gauged linear sigma model, embedded in a theory with an enlarged gauge symmetry, with a Landau-Ginzburg theory of Toda type. method 0.99 0.88 0.05 asserted 1.00
s2 Standard R -> 1/R duality and dynamical generation of superpotential by vortices are crucial in the derivation. method 1.00 0.74 0.04 asserted 1.00
s3 This provides not only a proof of mirror symmetry in the case of (local and global) Calabi-Yau manifolds, but also for sigma models on manifolds with positive first Chern class, including deformations of the action by holomorphic isometries. result 0.73 0.89 0.44 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v3
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

References
How later papers used it

356 later papers cite it

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

Pith read 40 of the 602 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

Builds on it 2 of 11 papers with this label
Uses its method or tool 12 of 33 papers with this label · 1 by the same authors

By the same authors

Cites it as support 1 paper
How the literature uses it

359 arXiv papers cite this in 609 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 · 341 sentences without a confident label

Builds on it 11 papers
  • Employing the duality procedure of Roceck and Verlinde [ref] we have extended the mentioned exploration [ref] by constructing general T-dual models in GLSMs and in particular Non-Abelian T-dual models [ref] .

    T-dualities in gauged linear sigma models · Introduction · 0.86

  • In this section, we will explain how to construct mirror pairs of (0,2) models using worldsheet duality [ref] , generalizing the approach used in the (2,2) setting by [ref] .

    Recent Developments in (0,2) Mirror Symmetry · Worldsheet duality · 0.96

  • More recently, mirror descriptions of $(0,2)$ gauged linear sigma models were proposed [ref] using a generalization of [ref] .

    Half-Twisted (0,2) Landau-Ginzburg Models · Introduction · 0.81

Uses its method or tool 33 papers
Compares with it 17 papers
  • In [ref] all the gauge terms were gotten rid of, because there one is only interested in the non-gauged sigma-model with target $X$.

    The quantum equivariant cohomology of toric manifolds through mirror symmetry · The dual gauged lagrangian · 0.92

  • We implement T-dualities in GLSM [ref] by a different method than Hori and Vafa [ref] , that for a particular Abelian case leads to the same results, i.e. MS between dual models.

    T-dualities in gauged linear sigma models · T-duality in the GLSM · 0.98

  • The GW invariants do not depend on the choice of coordinates, hence remain the same for any non-zero value of $$. * In [ref] we derived the tropical mirror superpotential for toric $X$ and it matches with exponential mirror superpotential derived in [ref] , [ref] for the same toric space $X$.

    Tropical Mirror Symmetry: Correlation functions · Tropical GW invariants · 0.88

Cites it as support 1 paper
Cites it as background 161 papers

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.