Pith. Sign in

REVIEW

Mirror Symmetry, Mirror Map and Applications to Calabi-Yau Hypersurfaces

High Energy Physics - Theory · Submitted 26 Aug 1993 · 48 references

Pith's verdict: A real landmark in the multi-parameter mirror program, with one load-bearing identification in §2.3 that is asserted rather than proved and never carried through the pipeline.

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 · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9308122 (version 2)
Pith IDT24RR5QE, Pith's permanent record of this paper and its review
CitationA. Klemm (2), Harvard University; (2) Sektion Physik der Universit\"at M\"unchen), S. Hosono (1), S. Theisen (2), S.-T. Yau (1) ((1) Dept. of Mathematics. "Mirror Symmetry, Mirror Map and Applications to Calabi-Yau Hypersurfaces." arXiv:hep-th/9308122 (1993). https://pith.science/paper/T24RR5QE
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

Using reflexive polyhedra from toric geometry, the authors construct mirror partners for Calabi-Yau hypersurfaces in weighted projective spaces where orbifold methods found none, and compute the Picard-Fuchs equations, mirror maps and Yukaw

The reading

Mirror symmetry says two geometrically different Calabi-Yau spaces can describe the same string theory, with their Hodge numbers exchanged. Finding the partner of a given space had been an art: one looked for a discrete symmetry of the defining polynomial and took a quotient, which worked for some families and failed for others. The authors adopt a construction in which a Calabi-Yau hypersurface is encoded by a lattice polyhedron that is 'reflexive' (its dual is again an integral polyhedron), and the dual polyhedron automatically supplies the mirror. Because this encoding exists for every weighted-projective hypersurface, the authors claim the missing mirrors can now be written down, and they demonstrate it on a hypersurface in $IP^4(3,9,17,22,24)$ whose ambient space is not Gorenstein, a case the earlier methods could not reach. The paper then does the practical work that makes the claim useful: it derives the Picard-Fuchs differential equations for two- and three-modulus models from a hypergeometric system attached to the polyhedron, extracts the mirror map and the Yukawa couplings, and reads off integer invariants that count rational curves, some of which turn out to be negative.

What carries the argument

Three pieces carry the argument. First, the reflexive polyhedron: a Calabi-Yau hypersurface is encoded by an integral polyhedron $Delta$ containing the origin, and the mirror family lives on the toric variety of the dual polyhedron $Delta^*$; the Hodge numbers of the pair are computed by counting lattice points on faces of $Delta$ and $Delta^*$, with the last term in each formula counting dual-face pairs that correspond to twisted sectors. Second, the monomial-divisor mirror map, which sends an integral point of $Delta^*$ to a monomial in the homogeneous coordinates of the original weighted projective space, so that divisors on one side correspond to complex-structure deformations on the other. Third, the $Delta^*$-hypergeometric system of Gel'fand-Kapranov-Zelevinsky: for each lattice relation $l$ among the lifted points one writes a differential operator $D_l$, and the algebraic relations among the invariant monomials become the Picard-Fuchs equations after the constraint operators are solved and trivial factors removed. The authors classify their models into three types according to whether extra symmetries or higher-degree invariants must be adjoined, and give a recipe for extending the hypergeometric system in each case. The mirror map is then $t_k(x)=partial_{rho_k}w(x;0)/w(x;0)$, and the Yukawa couplings follow from the Picard-Fuchs operators up to one integration constant, which is fixed by matching the topological triple intersection numbers.

Extended reading notes

Core claim

The central claim is that Batyrev's reflexive-polyhedron construction systematically produces mirror partners for Calabi-Yau hypersurfaces in weighted projective spaces, including cases where the mirror had been unavailable in previous constructions, and that the same toric data determines the Picard-Fuchs equations, the mirror map and the Yukawa couplings in closed form. The load-bearing example is the hypersurface $z_1^{25}+z_2^8 z_1+z_3^3 z_5+z_4^3 z_2+z_5^5 z_1+z_2^5 z_3^2=0$ in $IP^4(3,9,17,22,24)$, whose ambient space is not Gorenstein: the authors show that the associated polyhedron $Delta(vec{w})$ is still reflexive, that its Newton polyhedron matches the one cut out by the constraint, and that the Hodge numbers agree, so that the mirror is a hypersurface in the dual toric variety $IP_{Delta^*}$. They report checking several thousand models from the existing classification lists, including ones for which no mirror had been found even after all abelian orbifolds, and finding reflexive polyhedra in every case. On top of the existence statement, the paper gives explicit Picard-Fuchs operators, logarithmic solutions at the point of maximally unipotent monodromy, mirror maps, discriminant surfaces and Yukawa couplings for a set of two- and three-moduli models, and converts them into tables of instanton numbers.

Load-bearing premise

For the non-Gorenstein ambient spaces, everything rests on identifying the resolved hypersurface with the toric hypersurface of the reflexive polyhedron, an identification supported here by one worked example plus matching Newton polyhedra and Hodge numbers, with the general combinatorial proof deferred to a forthcoming publication.

Editorial extensions

If this is right

  • Every Calabi-Yau hypersurface in a weighted projective space acquires a constructible mirror, so the mirror-symmetry prediction of rational-curve counts becomes available for families where it previously could not be made.
  • For two- and three-moduli models, the Yukawa couplings and hence the instanton-corrected topological couplings are given explicitly as rational functions divided by a component of the discriminant surface.
  • The instanton numbers extracted for these models are integers but not always positive, which forces the interpretation of these numbers as counts of rational curves to be extended to singular and non-isolated curves.
  • Summing the two-modulus invariants over one degree reproduces the known one-modulus results for related complete intersections, tying the new construction to earlier computations.
  • The Kähler cone of each model is read off from the same toric data, giving the region of moduli space where the large-radius expansion and the instanton sum are under control.

Reading between the lines

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

  • If the polyhedron encoding really is available for every weighted-projective hypersurface, the classification of Calabi-Yau hypersurfaces becomes a classification problem for reflexive polyhedra, which is a finite combinatorial question rather than a geometric search for discrete symmetries.
  • The negative invariants are a warning that 'number of rational curves' is the wrong name for these coefficients once singular curves are present; a separate enumerative theory for multiple covers of degenerate curves would be needed to give them a direct geometric meaning.
  • The paper's method of fixing the mirror map by requiring integrality of the instanton numbers plus agreement with the topological intersection numbers is a consistency check that could be turned around: a model where no integer matrix satisfies both would falsify the identification of the Mori cone basis with the large-radius coordinates.
Original abstract

Mirror Symmetry, Picard-Fuchs equations and instanton corrected Yukawa couplings are discussed within the framework of toric geometry. It allows to establish mirror symmetry of Calabi-Yau spaces for which the mirror manifold had been unavailable in previous constructions. Mirror maps and Yukawa couplings are explicitly given for several examples with two and three moduli.

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, 2,880 input tokens, $0.0001 reported.

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

The abstract, sentence by sentence

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

Mirror Symmetry, Picard-Fuchs equations and instanton corrected Yukawa couplings are discussed within the framework of toric geometry. It allows to establish mirror symmetry of Calabi-Yau spaces for which the mirror manifold had been unavailable in previous constructions. Mirror maps and Yukawa couplings are explicitly given for several examples with two and three moduli.

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 Mirror Symmetry, Picard-Fuchs equations and instanton corrected Yukawa couplings are discussed within the framework of toric geometry. contribution 0.61 0.55 0.14 asserted 0.93
s1 It allows to establish mirror symmetry of Calabi-Yau spaces for which the mirror manifold had been unavailable in previous constructions. contribution 0.38 0.77 0.53 asserted 0.95
s2 Mirror maps and Yukawa couplings are explicitly given for several examples with two and three moduli. result 0.84 0.89 0.17 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.72 · 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

References
How later papers used it

131 later papers cite it

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

Pith read 13 of the 297 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 1 of 4 papers with this label
  • Generalized this paper's approach to threefolds with non-simplicial Mori cones and presented an efficient algorithm for carrying out the mirror map in this setting.

    Computational Mirror Symmetry (2023) · 0.99 · paraphrased: the licence does not allow quoting

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

By the same authors

  • Obtained BPS numbers with the methods explained in this paper, implementing the explicit calculations in the program Instanton using toric data as input.

    U(1) Mediation of Flux Supersymmetry Breaking (2008) (same authors) · 0.99 · paraphrased: the licence does not allow quoting

How the literature uses it

127 arXiv papers cite this in 292 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 · 151 sentences without a confident label

Builds on it 4 papers
  • In the present work, we overcome the two remaining obstacles: we generalize the approach of [ref] to threefolds with non-simplicial Mori cones, and we present an efficient algorithm for carrying out the mirror map in this setting.

    Computational Mirror Symmetry · Introduction · 0.99

  • As was also discussed in [ref] , generalizing the well known results for $N=1$ from [ref] , the prepotential $F(t)$ takes the form [equation] Here $κ$ is the triple intersection number of the smooth deformation $X$ of $X$ and the coefficient of the constant term takes the form [equation] Here we define $n_q$ for $q=1,…,⌊N/2⌋$ as [equation]

    In search of almost generic Calabi-Yau 3-folds · The B-model at genus zero · 0.86

  • Our method is an extension of the procedure which is studied for the period integrals without boundaries [ref] .

    A Note on Computations of D-brane Superpotential · An alternative technique to Griffiths' reduction · 0.97

Uses its method or tool 47 papers
  • We will obtain closed forms for the periods using four ingredients: * the known formulae [ref] for the periods around the LCS point, which express the periods in terms of parameter derivatives of hypergeometric functions; * Clausen's identity, reducing the problem to the solutions of second order operators; * a relation between the periods originating from supersymmetry [ref] , which allows expressing the periods in terms of the first parameter derivatives; * the so-called $ϵ$-expansion of a family of hypergeometric functions to first order [ref] .

    Analytic Periods via Twisted Symmetric Squares · Computation of the periods · 0.80

  • Notably, the series coefficients of the relevant power series for $ϖ(ψ),c^a(ψ)$ and $ĉ^ab(ψ)$ are all rational.[Formulas for the $c_n$ and $ĉ^ab_n$ are given in Appendix [ref], following, with some minor simplifications, Appendix A of [ref] .]

    Computational Mirror Symmetry · Enumerative invariants · 0.86

  • We descend from the lofty heights of all genus results, as all we require are genus 0 invariants (though in the case of E-strings, these in fact uniquely specify all invariants [ref] ), which we obtain via mirror symmetry computations [ref] .[We refer to these invariants as “genus 0 Gromov-Witten invariants” throughout the paper to emphasize that the only tool involved in their computation is mirror symmetry.

    Determining F-theory matter via Gromov-Witten invariants · Introduction · 0.89

Uses its data or values 1 paper
  • The extended set of integral points in its toric geometric construction is given in [ref] as [equation] and after the embedding into $ℝ^5$ leads to a lattice of dependencies ([ref]) from which we extract the Mori cone basis[Notice a typing error in [ref] affecting $l_1$ and $𝒟_3$.] [equation] These give through [ref] the appropriate LCS coordinates [equation] The Picard-Fuchs operators in these coordinates read[footnote] [equation] where we have employed the logarithmic derivatives $Θ_x_i = x_i ∂_x_i$.

    Small Flux Superpotentials for Type IIB Flux Vacua Close to a Conifold · A (not so) special example P(1,1,2,8,12)[24] · 0.81

Compares with it 5 papers
Cites it as background 45 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.