Local mirror symmetry of curves: Yukawa couplings and genus 1
Brian Forbes, Masao Jinzenji
备注：
20 pages, no figures; v2: added details on connection to hep-th/0606120; v3: corrected triple intersection number, which gives sleek formula for Yukawa couplings
We continue our study of equivariant local mirror symmetry of curves, i.e. mirror symmetry for X_k=O(k)+O(-2-k) over P^1 with torus action (lambda_1,lambda_2) on the bundle. For the antidiagonal action lambda_1=-lambda_2, we find closed formulas for the mirror map and a rational B model Yukawa coupling for all k. Moreover, we give a simple closed form for the B model genus 1 Gromov-Witten potential. For the diagonal action lambda_1=lambda_2, we argue that the mirror symmetry computation is equivalent to that of the projective bundle P(O+O(k)+O(-2-k)) over P^1. Finally, we outline the computation of equivariant Gromov-Witten invariants for A_n singularities and toric tree examples via mirror symmetry.
We derive a closed formula for the generating function of genus two Gromov-Witten invariants of quintic 3-folds and verify the corresponding mirror symmetry conjecture of Bershadsky, Cecotti, Ooguri and Vafa.
In this paper we calculate the elliptic genus of certain complete intersections in products of projective spaces. We show that it is equal to the elliptic genus of the Landau-Ginzburg models that are, according to Hori and Vafa, mirror partners of these complete intersections. This provides additional evidence of the validity of their construction.
We discuss local mirror symmetry for higher-genus curves. Specifically, we consider the topological string partition function of higher-genus curves contained in a Fano surface within a Calabi-Yau. Our main example is the local P^2 case. The Kodaira-Spencer theory of gravity, tailored to this local geometry, can be solved to compute this partition function. Then, using the results of Gopakumar and Vafa and the local mirror map, the partition function can be rewritten in terms of expansion coefficients, which are found to be integers. We verify, through localization calculations in the A-model,…
We develop the quantum Kodaira-Spencer theory on the elliptic curve and establish the corresponding higher genus B-model. We show that the partition functions of the higher genus B-model on the elliptic curve are almost holomorphic modular forms, which can be identified with partition functions of descendant Gromov-Witten invariants on the mirror elliptic curve. This gives the first compact Calabi-Yau example where mirror symmetry is established at all genera.
The paper contains a proof that elliptic genus of a Calabi-Yau manifold is a Jacobi form, finds in which dimensions the elliptic genus is determined by the Hodge numbers and shows that elliptic genera of a Calabi-Yau hypersurface in a toric variety and its mirror coincide up to sign. The proof of the mirror property is based on the extension of elliptic genus to Calabi-Yau hypersurfaces in toric varieties with Gorenstein singularities.
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.
Gross, Hacking, and Keel have constructed mirrors of log Calabi-Yau surfaces in terms of counts of rational curves. Using $q$-deformed scattering diagrams defined in terms of higher genus log Gromov-Witten invariants, we construct deformation quantizations of these mirrors and we produce canonical bases of the corresponding noncommutative algebras of functions.
We prove the genus-one restriction of the all-genus Landau-Ginzburg/Calabi-Yau conjecture of Chiodo and Ruan, stated in terms of the geometric quantization of an explicit symplectomorphism determined by genus-zero invariants. This provides the first evidence supporting the higher-genus Landau-Ginzburg/Calabi-Yau correspondence for the quintic threefold, and exhibits the first instance of the "genus zero controls higher genus" principle, in the sense of Givental's quantization formalism, for non-semisimple cohomological field theories.
We study a generalization of Lian-Liu-Yau's notion of Euler data in genus zero and show that certain sequences of multiplicative equivariant characteristic classes on Kontsevich's stable map moduli with markings induce data satisfying the generalization. In the case of one or two markings, this data is explicitly identified in terms of hypergeometric type classes, constituting a complete extension of Lian-Liu-Yau's mirror principle in genus zero to the case of two marked points and establishing a program for the general case. We give several applications involving the Euler class of obstructio…
Katzarkov has proposed a generalization of Kontsevich's mirror symmetry conjecture, covering some varieties of general type. We prove a version of this conjecture in the simplest example, relating the Fukaya category of a genus two curve to the category of Landau-Ginzburg branes on a certain singular rational surface.
The Remodeling Conjecture proposed by Bouchard-Klemm-Marino-Pasquetti [arXiv:0709.1453, arXiv:0807.0597] relates all genus open and closed Gromov-Witten invariants of a semi-projective toric Calabi-Yau 3-manifolds/3-orbifolds to the Eynard-Orantin invariants of the mirror curve of the toric Calabi-Yau 3-fold. In this paper, we present a proof of the Remodeling Conjecture for open-closed orbifold Gromov-Witten invariants of an arbitrary affine toric Calabi-Yau 3-orbifold relative to a framed Aganagic-Vafa Lagrangian brane. This can be viewed as an all genus open-closed mirror symmetry for affin…
Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）；School of Mathematical Sciences, Peking University（北京大学数学科学学院）；Department of Mathematical Sciences, Tsinghua University（清华大学数学科学系）
We prove an explicit formula for the genus-one Fan-Jarvis-Ruan-Witten invariants associated to the quintic threefold, verifying the genus-one mirror conjecture of Huang, Klemm, and Quackenbush. The proof involves two steps. The first step uses localization on auxiliary moduli spaces to compare the usual Fan-Jarvis-Ruan-Witten invariants with a semisimple theory of twisted invariants. The second step uses the genus-one formula for semisimple cohomological field theories to compute the twisted invariants explicitly.
A conjecture expressing genus 1 Gromov-Witten invariants in mirror-theoretic terms of semi-simple Frobenius structures and complex oscillating integrals is formulated. The proof of the conjecture is given for torus-equivariant Gromov - Witten invariants of compact Kähler manifolds with isolated fixed points and for concave bundle spaces over such manifolds. Several results on genus 0 Gromov - Witten theory include: a non-linear Serre duality theorem, its application to the genus 0 mirror conjecture, a mirror theorem for concave bundle spaces over toric manifolds generalizing a recent result of…
Recently, a correspondence has been proposed between spectral theory and topological strings on toric Calabi-Yau manifolds. In this paper we develop in detail this correspondence for mirror curves of higher genus, which display many new features as compared to the genus one case studied so far. Given a curve of genus g, our quantization scheme leads to g different trace class operators. Their spectral properties are encoded in a generalized spectral determinant, which is an entire function on the Calabi-Yau moduli space. We conjecture an exact expression for this spectral determinant in terms …
In this paper, we will apply the ideas from the mirror symmetry of Calabi-Yau threefolds to study the modular forms and one-parameter family of K3 surfaces found by Beukers and Peters, which provide enlightenment to the two mysterious sequences constructed by Apéry in his proof of the irrationality of $ζ(3)$. We will construct a fourth order differential operator and a prepotential from the canonical solutions of this differential operator. The third derivative of this prepotential with respect to the mirror map defines a Yukawa coupling that is a weight-4 modular form. The instanton expansion…
We find that for many Calabi-Yau threefolds with elliptic or genus one fibrations mirror symmetry factorizes between the fiber and the base of the fibration. In the simplest examples, the generic CY elliptic fibration over any toric base surface $B$ that supports an elliptic Calabi-Yau threefold has a mirror that is an elliptic fibration over a dual toric base surface $\tilde{B}$ that is related through toric geometry to the line bundle $-6K_B$. The Kreuzer-Skarke database includes all these examples and gives a wide range of other more complicated constructions where mirror symmetry also fact…
For each positive rational number epsilon, the theory of epsilon-stable quasimaps to certain GIT quotients W//G developed in arXiv:1106.3724[math.AG] gives rise to a Cohomological Field Theory. Furthermore, there is an asymptotic theory corresponding to epsilon --> 0. For epsilon >1 one obtains the usual Gromov-Witten theory of W//G, while the other theories are new. However, they are all expected to contain the same information and in particular the numerical invariants should be related by wall-crossing formulas. In this paper we analyze the genus zero picture and find that the wall-crossing…
In this paper we compute certain two-point integrals over a moduli space of stable maps into projective space. Computation of one-point analogues of these integrals constitutes a proof of mirror symmetry for genus-zero one-point Gromov-Witten invariants of projective hypersurfaces. The integrals computed in this paper constitute a significant portion in the proof of mirror symmetry for genus-one GW-invariants completed in a separate paper. These integrals also provide explicit mirror formulas for genus-zero two-point GW-invariants of projective hypersurfaces. The approach described in this pap…
The mathematical physicists Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed, in a seminal article from '94, a conjecture extending genus zero mirror symmetry to higher genera. With a view towards a refined formulation of the Grothendieck-Riemann-Roch theorem, we offer a mathematical description of the BCOV conjecture at genus one. As an application of the arithmetic Riemann-Roch theorem of Gillet-Soulé and of our previous results on the BCOV invariant, we establish this conjecture for Calabi-Yau hypersurfaces in projective spaces. Our contribution takes place on the $B$-side, and together with …
In the first part of this paper, we obtain mirror formulas for twisted genus 0 two-point Gromov-Witten (GW) invariants of projective spaces and for the genus 0 two-point GW-invariants of Fano and Calabi-Yau complete intersections. This extends previous results for projective hypersurfaces, following the same approach, but we also completely describe the structure coefficients in both cases and obtain relations between these coefficients that are vital to the applications to mirror symmetry in the rest of this paper. In the second and third parts of this paper, we confirm Walcher's mirror symme…
We use the mirror theorem for toric Deligne-Mumford stacks, proved recently by the authors and by Cheong-Ciocan-Fontanine-Kim, to compute genus-zero Gromov-Witten invariants of a number of toric orbifolds and gerbes. We prove a mirror theorem for a class of complete intersections in toric Deligne-Mumford stacks, and use this to compute genus-zero Gromov-Witten invariants of an orbifold hypersurface.
For an in invertible quasihomogeneous singularity $w$ we prove an all-genus mirror theorem establishing an isomorphism between two cohomological field theories. On the $B$-side it is the Saito-Givental theory given by a certain choice of a primitive form. On the $A$-side, it is the reduced matrix factorization CohFT for the dual singularity $w^T$ with the maximal diagonal symmetry group.
In this paper, we directly derive generalized mirror transformation of projective hypersurfaces up to degree 3 genus 0 Gromov-Witten invariants by comparing Kontsevich localization formula with residue integral representation of the virtual structure constants. We can easily generalize our method for rational curves of arbitrary degree except for combinatorial complexities.
We show that certain hypergeometric series used to formulate mirror symmetry for Calabi-Yau hypersurfaces, in string theory and algebraic geometry, satisfy a number of interesting properties. Many of these properties are used in separate papers to verify the BCOV prediction for the genus one Gromov-Witten invariants of a quintic threefold and more generally to compute the genus one Gromov-Witten invariants of any Calabi-Yau projective hypersurface.
Our earlier proof of mirror formulas for genus 0 Gromov -- Witten invariants of Fano and Calabi -- Yau toric complete intersections is illustrated in the example of quintic 3-folds.
Using the exact formula for the A-twisted correlation functions of the two dimensional $\mathcal{N}=(2,2)$ gauged linear sigma model, we reconsider the computation of the B-model Yukawa couplings of the local toric Calabi-Yau varieties. Our analysis is based on an exact result that has been evaluated from the supersymmetric localization technique and careful treatment of its application. We provide a detailed description of a procedure to investigate the local B-model Yukawa couplings and also test our prescription by comparing the results with known expressions evaluated from the local mirror…
The Remodeling Conjecture proposed by Bouchard-Klemm-Mariño-Pasquetti (BKMP) relates the A-model open and closed topological string amplitudes (open and closed Gromov-Witten invariants) of a symplectic toric Calabi-Yau 3-fold to Eynard-Orantin invariants of its mirror curve. The Remodeling Conjecture can be viewed as a version of all genus open-closed mirror symmetry. The SYZ conjecture explains mirror symmetry as $T$-duality. After a brief review on SYZ mirror symmetry and mirrors of symplectic toric Calabi-Yau 3-orbifolds, we give a non-technical exposition of our results on the Remodeling C…
We establish a $\mathbb{Z}[[t_1,\ldots, t_n]]$-linear derived equivalence between the relative Fukaya category of the 2-torus with $n$ distinct marked points and the derived category of perfect complexes on the $n$-Tate curve. Specialising to $t_1= \ldots =t_n=0$ gives a $\mathbb{Z}$-linear derived equivalence between the Fukaya category of the $n$-punctured torus and the derived category of perfect complexes on the standard (Néron) $n$-gon. We prove that this equivalence extends to a $\mathbb{Z}$-linear derived equivalence between the wrapped Fukaya category of the $n$-punctured torus and the…
We describe in detail the space of the two Kähler parameters of the Calabi--Yau manifold $¶_4^{(1,1,1,6,9)}[18]$ by exploiting mirror symmetry. The large complex structure limit of the mirror, which corresponds to the classical large radius limit, is found by studying the monodromy of the periods about the discriminant locus, the boundary of the moduli space corresponding to singular Calabi--Yau manifolds. A symplectic basis of periods is found and the action of the $Sp(6,\Z)$ generators of the modular group is determined. From the mirror map we compute the instanton expansion of the Yukawa co…
In this paper, we verify a part of the Mirror Symmetry Conjecture for Schoen's Calabi-Yau 3-fold, which is a special complete intersection in a toric variety. We calculate a part of the prepotential of the A-model Yukawa couplings of the Calabi-Yau 3-fold directly by means of a theta function and Dedekind's eta function. This gives infinitely many Gromov-Witten invariants, and equivalently infinitely many sets of rational curves in the Calabi-Yau 3-fold. Using the toric mirror construction, we also calculate the prepotential of the B-model Yukawa couplings of the mirror partner. Comparing the …
Witten's gauged linear sigma model [Wi1] is one of the universal frameworks or structures that lie behind stringy dualities. Its A-twisted moduli space at genus 0 case has been used in the Mirror Principle [L-L-Y] that relates Gromov-Witten invariants and mirror symmetry computations. In this paper the A-twisted moduli stack for higher genus curves is defined and systematically studied. It is proved that such a moduli stack is an Artin stack. For genus 0, it has the A-twisted moduli space of [M-P] as the coarse moduli space. The detailed proof of the regularity of the collapsing morphism by Ju…
We develop some ideas of Morrison and Plesser and formulate a precise mathematical conjecture which has close relations to toric mirror symmetry. Our conjecture, we call it Toric Residue Mirror Conjecture, claims that the generating functions of intersection numbers of divisors on a special sequence of simplicial toric varieties are power series expansions of some rational functions obtained as toric residues. We expect that this conjecture holds true for all Gorenstein toric Fano varieties associated with reflexive polytopes and give some evidences for that. The proposed conjecture suggests a…
These are notes of a series of lectures on mirror symmetry and topological string theory given at the Mathematical Sciences Center at Tsinghua University. The N=2 superconformal algebra, its deformations and its chiral ring are reviewed. A topological field theory can be constructed whose observables are only the elements of the chiral ring. When coupled to gravity, this leads to topological string theory. The identification of the topological string A- and B-models by mirror symmetry leads to surprising connections in mathematics and provides tools for exact computations as well as new insigh…
We state a wall-crossing formula for the virtual classes of epsilon-stable quasimaps to GIT quotients and prove it for complete intersections in projective space, with no positivity restrictions on their first Chern class. As a consequence, the wall-crossing formula relating the genus g descendant Gromov-Witten potential and the genus g epsilon-quasimap descendant potential is established. For the quintic threefold, our results may be interpreted as giving a rigorous and geometric interpretation of the holomorphic limit of the BCOV B-model partition function of the mirror family.
Edge-contraction operations form an effective tool in various graph enumeration problems, such as counting Grothendieck's dessins d'enfants and simple and double Hurwitz numbers. These counting problems can be solved by a mechanism known as topological recursion, which is a mirror B-model corresponding to these counting problems. We show that for the case of orbifold Hurwitz numbers, the mirror objects, i.e., the spectral curve and the differential forms on it, are constructed solely from the edge-contraction operations of the counting problem in genus $0$ and one marked point. This forms a pa…
In this paper, we will describe the mathematical foundation of topological Landau-Ginzburg (LG) models coupled to gravity at genus 0 in terms of primitive forms. We also discuss the mirror symmetry for Calabi-Yau manifolds and CP^1 in our context. We will show that the mirror partner of CP^1 is the theory of primitive form associated to f=z+qz^{-1}.
We obtain mirror formulas for the genus 1 Gromov-Witten invariants of projective Calabi-Yau complete intersections. We follow the approach previously used for projective hypersurfaces by extending the scope of its algebraic results; there is little change in the geometric aspects. As an application, we check the genus 1 BPS integrality predictions in low degrees for all projective complete intersections of dimensions 3, 4, and 5.
We study some arithmetic properties of the mirror maps and the quantum Yukawa coupling for some 1-parameter deformations of Calabi-Yau manifolds. First we use the Schwarzian differential equation, which we derived previously, to characterize the mirror map in each case. For algebraic K3 surfaces, we solve the equation in terms of the $J$-function. By deriving explicit modular relations we prove that some K3 mirror maps are algebraic over the genus zero function field ${\bf Q}(J)$. This leads to a uniform proof that those mirror maps have integral Fourier coefficients. Regarding the maps as Rie…
In this paper, we prove the mirror symmetry conjecture between the Saito-Givental theory of exceptional unimodular singularities on Landau-Ginzburg B-side and the Fan-Jarvis-Ruan-Witten theory of their mirror partners on Landau-Ginzburg A-side. On the B-side, we compute the genus-zero generating function from a perturbative formula of primitive forms introduced by the first three authors recently. This computation matches the orbifold-Grothendieck-Riemann-Roch and WDVV calculations in FJRW theory on the A-side. The coincidence of the full data at all genera is established by reconstruction tec…
The moduli dependence of $(2,2)$ superstring compactifications based on Calabi--Yau hypersurfaces in weighted projective space has so far only been investigated for Fermat-type polynomial constraints. These correspond to Landau-Ginzburg orbifolds with $c=9$ whose potential is a sum of $A$-type singularities. Here we consider the generalization to arbitrary quasi-homogeneous singularities at $c=9$. We use mirror symmetry to derive the dependence of the models on the complexified Kähler moduli and check the expansions of some topological correlation functions against explicit genus zero and genu…
This work establishes a subtle connection between mirror symmetry for Calabi-Yau threefolds and that of curves of higher genus. The linking structure is what we call a perverse curve. We show how to obtain such from Calabi-Yau threefolds in the Batyrev mirror construction and prove that their Hodge diamonds are related by the mirror duality.
We give a mathematical account of a recent string theory calculation which predicts the number of rational curves on the generic quintic threefold. Our account involves the interpretation of Yukawa couplings in terms of variations of Hodge structure, a new $q$-expansion principle for functions on the moduli space of Calabi-Yau manifolds, and the ``mirror symmetry'' phenomenon recently observed by string theorists.
Let E be a toric fibration arising from symplectic reduction of a direct sum of line bundles over (almost-) Kähler base B. Then each torus-fixed point of the toric manifold fiber defines a section of the fibration. Let L_a be convex line bundles over B, A_a smooth divisors of B arising as the zero loci of generic sections of L_a, and \a:B\to E a particular fixed-point section of E. Further assume the \{A_a\} to be mutually disjoint. We compute genus-0 Gromov--Witten invariants of the blowup of E along \a(\coprod_a A_a) in terms of genus-0 Gromov--Witten invariants of B and of \{A_a\}, the matr…
This is a brief summary of our works [arXiv:1112.4063, arXiv:1201.4501] on constructing higher genus B-model from perturbative quantization of BCOV theory. We analyze Givental's symplectic loop space formalism in the context of B-model geometry on Calabi-Yau manifolds, and explain the Fock space construction via the renormalization techniques of gauge theory. We also give a physics interpretation of the Virasoro constraints as the symmetry of the classical BCOV action functional, and discuss the Virasoro constraints in the quantum theory.
We study the equivariantly perturbed mirror Landau-Ginzburg model of the projective line. We show that the Eynard-Orantin recursion on this model encodes all genus all descendants equivariant Gromov-Witten invariants of the projective line. The non-equivariant limit of this result is the Norbury-Scott conjecture, while by taking large radius limit we recover the Bouchard-Marino conjecture on simple Hurwitz numbers.
Bershadsky-Cecotti-Ooguri-Vafa (BCOV) proposed that the B-model of mirror symmetry should be described by a quantum field theory on a Calabi-Yau variety, which they called the Kodaira-Spenser theory (we call it the BCOV theory). This is the first of three papers in which we construct and analyze the quantum BCOV theory. In this paper, we construct the classical field theory on a Calabi-Yau variety of arbitrary dimension; define what it means to give a quantization; analyze the relation Givental's symplectic formalism for Gromov-Witten theory; prove uniqueness of the quantization on an elliptic…
We describe the structure of mirror formulas for genus 0 Gromov-Witten invariants of projective complete intersections with any number of marked points and provide an explicit algorithm for obtaining the relevant structure coefficients. The structural description alone suffices for some qualitative applications, such as vanishing results and the bounds on the growth of these invariants predicted by R. Pandharipande.
