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
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
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
- 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.
The abstract, sentence by sentence
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
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| 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 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 later papers used it
131 later papers cite it
1 later paper by other authors is listed below: 1 built on it. 1 more paper by the same authors is listed: 1 used its method or tool.
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
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
-
In Section [ref], we found that the technique suggested by Hori and Vafa [ref] for determining the Picard-Fuchs equations satisfied by $Π_M_G$ when the Calabi-Yau condition ([ref]) holds yields results which agree with those obtained in [ref] working in the Batyrev-Borisov [ref] framework.
Hori-Vafa mirror periods, Picard-Fuchs equations, and Berglund-H\"{u}bsch-Krawitz duality · Discussion · 0.95
-
The resulting numbers of $^1$ curves in each homology class has been compared with the Gromov-Witten invariants obtained using [ref] , and a perfect match has been found in all cases.
Heterotic Instanton Superpotentials from Complete Intersection Calabi-Yau Manifolds · Example of type 2 · 0.96
-
The function $F_nm(t)=F_mn(t)$ is given by [equation] Finally, we relate the residue expansions ([ref]) with the geometric formula proposed in [ref] .
B-brane Transport and Grade Restriction Rule for Determinantal Varieties · Determinantal quintic in $^4$ · 0.86
Cites it as background 45 papers
-
The classic paper of Hosono, Klemm, Theisen, and Yau [ref] laid out a procedure that is valid for Calabi-Yau threefold hypersurfaces in which the Mori cone is simplicial.
Computational Mirror Symmetry · Conclusions · 0.96
-
Such cases are discussed in [ref] .] $T$ determine the set of generators $l^(k)$ of $L$ and the Stanley-Reisner ideal $Z_T$.
The $l$-loop Banana Amplitude from GKZ Systems and relative Calabi-Yau Periods · Calabi-Yau hypersurfaces in toric ambient spaces · 0.92
-
Their quantum geometry has been analyzed in great detail using mirror symmetry in [ref] .
Analytic Periods via Twisted Symmetric Squares · Examples · 0.89
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.