Abstract
Given a smooth log Calabi–Yau pair (X, D), we use the intrinsic mirror symmetry construction to define the mirror proper Landau–Ginzburg potential and show that it is a generating function of two-point relative Gromov–Witten invariants of (X, D). We compute certain relative invariants with several negative contact orders, and then apply the relative mirror theorem of Fan et al. (Sel Math (NS) 25(4): Art. 54, 25, 2019. https://doi.org/10.1007/s00029-019-0501-z) to compute two-point relative invariants. When D is nef, we compute the proper Landau–Ginzburg potential and show that it is the inverse of the relative mirror map. Specializing to the case of a toric variety X, this implies the conjecture of m Gräfnitz et al. (2022) that the proper Landau–Ginzburg potential is the open mirror map. When X is a Fano variety, the proper potential is related to the anti-derivative of the regularized quantum period.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Mirror symmetry is originally stated as a duality between Calabi–Yau manifolds. Mirror symmetry predicts that the symplectic geometry (or the complex geometry) of a Calabi–Yau manifold is equivalent to the complex geometry (or the symplectic geometry, respectively) of the mirror Calabi–Yau manifold. The mirror duality has been generalized to Fano varieties, more generally, to log Calabi–Yau pairs. The mirror of a smooth log Calabi–Yau pair (X, D) is a Landau–Ginzburg model, which is a variety \(X^\vee \) with a proper map, called the superpotential, \(W:X^\vee \rightarrow {\mathbb {C}}\). One further expects that the generic fiber of the superpotential W is mirror to a smooth anticanonical divisor D of X. We call the mirror duality between a smooth log Calabi–Yau pair (X, D) and a proper Landau–Ginzburg model relative mirror symmetry. To construct the mirror of the smooth log Calabi–Yau pair (X, D), one needs to construct the variety \(X^\vee \) and the proper Landau–Ginzburg potential W.
The variety \(X^\vee \) is considered as the mirror of the complement \(X\setminus D\). A general construction of the variety \(X^\vee \) is through intrinsic mirror symmetry [GS19] in the Gross–Siebert program. One considers a maximally unipotent degeneration \(g: Y\rightarrow S\), where S is an affine curve, of the pair (X, D). The mirror is constructed as the projective spectrum of the degree zero part of the relative quantum cohomology \(QH^0_{\log }(Y,D^\prime )\) of \((Y,D^\prime )\), where \(D^\prime \) is a certain divisor that contains \(g^{-1}(0)\).
It remains to compute the proper Landau–Ginzburg potential W. Following the Gross–Siebert program, the Landau–Ginzburg potentials are given by the theta functions. The theta functions are usually difficult to compute.
Recently, [GRZ22] computed the proper Landau–Ginzburg potentials for toric del Pezzo surfaces. They considered a toric degeneration of the smooth pair (X, D), then applied the tropical view of the Landau–Ginzburg models [CPS22]. The theta functions in [GRZ22] were defined tropically. By proving a tropical correspondence theorem in [Gra22], they showed that the theta functions can be written as generating functions of two-point relative invariants. The idea of computing two-point relative invariants in [GRZ22] was to relate these two-point relative invariants with one-point relative invariants of a blow-up \(\tilde{X}\). Then use the local-relative correspondence of [vGGR19] to relate these invariants to local invariants of the Calabi–Yau threefold \(K_{\tilde{X}}\). By the open-closed duality of [LLW11], these local invariants are open invariants of the local Calabi–Yau threefold \(K_X\) which form the open mirror map. Therefore, [GRZ22] showed that, for toric del Pezzo surfaces, the proper Landau–Ginzburg potentials are the open mirror maps.
In this paper, we study the Landau–Ginzburg model from the intrinsic mirror symmetry construction in [GS19]. The goal of this paper is to generalize the result of [GRZ22] to all dimensions via a direct computation of two-point relative Gromov–Witten invariants. The computation is based on the relative mirror theorem of [FTY19], where we only need to assume that D is nef. The variety X is not necessarily toric or Fano.
1.1 Intrinsic mirror symmetry and theta functions
Besides the tropical view of the Landau–Ginzburg model [CPS22], the proper Landau–Ginzburg model can also be constructed through intrinsic mirror symmetry. We learnt about the following construction from Mark Gross.
Given a smooth log Calabi–Yau pair (X, D). We recall the maximally unipotent degeneration \(g:Y\rightarrow S\) and the pair \((Y,D^\prime )\) from the construction of \(X^\vee \). Following the mirror construction of [GS19, Construction 1.19], the theta functions in \(QH^0_{\log }(Y,D^\prime )\) form a graded ring. The degree zero part of the ring agrees with \(QH^0_{\log }(X,D)\). The base of the Landau–Ginzburg mirror of (X, D) is \({\text {Spec}}QH^0_{\log }(X,D)={\mathbb {A}}^1\) and the superpotential is \(W=\vartheta _{1}\), the unique primitive theta function of \(QH^0_{\log }(X,D)\).
We claim that the theta functions of \(QH^0_{\log }(X,D)\) are generating functions of two-point relative Gromov–Witten invariants as follows.
Definition 1.1
(=Definition 3.6). For \(p\ge 1\), the theta function is
where
is the sum of two-point relative Gromov–Witten invariants with the first marking having contact order n along with a point constraint and the second marking having contact order p.
By [GS19], theta functions should satisfy the following product rule
where the structure constants \(N_{p_1,p_2,-r}^{\beta }\) are punctured invariants with two positive contacts and one negative contact.
In Proposition 3.3, we show that the structure constants can be written in terms of two-point relative invariants. For example, when \(r<p_1,p_2\), we have
In other words, we reduce relative invariants with two positive contacts and one negative contact to relative invariants with two positive contacts. We refer to Proposition 3.3 for the formula of \(N_{p_1,p_2,-r}^{\beta }\) in other cases.
Then we show that the theta functions in Definition 1 indeed satisfy the product rule (2) with the correct structure constants \(N_{p_1,p_2,-r}^{\beta }\). In particular, in Proposition 3.7, we prove an identity of two-point relative invariants generalizing [GRZ22, Lemma 5.3] and show that it follows from the WDVV equation.
Remark 1.2
During the preparation of our paper, we learnt that Yu Wang[Wan22] also obtained the same formula as in Proposition 3.3 but using the punctured invariants of [ACGS20]. Some formulas for two-point relative invariants are also obtained in [Wan22] via a different method.
1.2 Relative mirror maps and computing genus zero relative invariants.
The relative mirror theorem of [FTY19] states that, under the assumption that D is nef and \(-K_X-D\) is nef, a genus zero generating function of relative Gromov–Witten invariants (the J-function) can be identified with the relative periods (the I-function) via a change of variables called the relative mirror map. This provides a powerful tool to compute genus zero relative Gromov–Witten invariants.
Our computation of these two-point relative invariants is straightforward but complicated. It is straightforward to see that these invariants can be extracted from the relative J-function after taking derivatives. On the other hand, although such computation for (one-point) absolute invariants is well-known, the computation of two-point relative invariants is much more complicated due to the following reasons.
First of all, we need to compute two-point relative invariants instead of one-point invariants. For one-point relative invariants, one can also use the local-relative correspondence of [vGGR19] (see also [TY23b]) to reduce the computation to local invariants when the divisor D is nef. To compute these two-point invariants one need to consider the so-called extended relative I-function, instead of the much easier non-extended relative I-function.
Secondly, the relative mirror map has never been studied systematically. There have been some explicit computations of relative invariants when the relative mirror maps are trivial, see, for example, [TY23b]. When the relative mirror maps are not trivial, more complicated invariants will appear. One of the important consequences of this paper is to provide a systematic analysis of these invariants and set up the foundation of future applications of the relative mirror theorem.
We would like to point out a related computation in [You20], where we computed one-point relative invariants of some partial compactifications of toric Calabi–Yau orbifolds. The computation is much easier in [You20] because of the two reasons that we just mentioned. First of all, one can apply the local-relative correspondence to compute these invariants, although we did not use it in [You20]. Secondly, although the mirror map is not trivial, the mirror map is essentially coming from the absolute Gromov–Witten theory of the partial compactifications. The relative theory in [You20] does not contribute to the non-trivial mirror map. Therefore we were able to avoid all these complexities. We would also like to point out that the computation in [You20] is restricted to the toric case. In this paper, we work beyond the toric setting.
In order to apply the relative mirror theorem of [FTY19], we need to study the relative mirror map carefully. Let X be a smooth projective variety and D be a smooth nef divisor, we recall that the J-function for the pair (X, D) is defined as
and the (non-extended) I-function of the smooth pair (X, D) is
We refer to Definitions 4.1 and 4.2 for the precise meaning of the notation. The extended I-function \(I(y,x_1,z)\) takes a more complicated form than the non-extended I-fnction I(y, z). We refer to Definition 4.4 for the precise definition of the extended I-function. We further assume that \(-K_X-D\) is nef. The extended relative mirror map is given by the \(z^0\)-coefficient of the extended I-function:
The (non-extended) relative mirror map is given by \(\tau (y,0)\), denoted by \(\tau (y)\). The relative mirror theorem of [FTY19] states that
Therefore from the expression of \(\tau (y,x_1)\), we can see that relative invariants with several negative contact orders will appear when the relative mirror map is not trivial. We obtain the following identity which shows that the negative contact insertion \([1]_{-k}\) is similar to the insertion of a divisor class \([D]_0\).
Proposition 1.3
(=Proposition 4.6).
where \(\gamma \in H^*(D)\), \(k_i\)’s are positive integers, and
With these preparations, we are able to express invariants in \(J(\tau (y,0),z)\) in terms of relative invariants without negative contact orders and the relative mirror map can be written as the following change of variables
Since we need to compute invariants with an insertion \([1]_1\), we also need to compute the following relative invariants with insertions of \([1]_1\).
-
Relative invariants with two positive contact orders and several negative contact orders of the following form:
$$\begin{aligned}{} & {} \langle [1]_1, [1]_{-k_1},\cdots , [1]_{-k_l}, [\gamma ]_{k_{l+1}} \rangle _{0,l+2,\beta }^{(X,D)}, \\{} & {} D\cdot \beta -1=k_{l+1}-\sum _{i=1}^l k_i\ge 0, \text { and } k_i>0. \end{aligned}$$In Proposition 4.7, we show that these invariants equal to two point invariants
$$\begin{aligned} (D\cdot \beta -1)^l\langle [1]_1, [\gamma ]_{D\cdot \beta -1} \rangle _{0,2,\beta }^{(X,D)}. \end{aligned}$$For invariants with several insertions of \([1]_1\), we refer to Proposition 4.8.
-
Degree zero relative invariants with two positive contact orders and several negative contact orders of the following form:
$$\begin{aligned} \langle [1]_1,[1]_{-k_1},\cdots , [1]_{-k_l},[{\text {pt}}]_{k_{l+1}} \rangle _{0,l+2,0}^{(X,D)}. \end{aligned}$$By Proposition 4.9, these invariants equal to \((-1)^{l-1}\).
Remark 1.4
We would like to point out that a key point of the computation of the proper potential is to observe the subtle (but vital) difference between the above mentioned formulas for invariants with two positive contacts and formulas for invariants with one positive contact.
Remark 1.5
The proof of Proposition 4.6, Proposition 4.7, Proposition 4.8, and Proposition 4.9 make essential use of the (both orbifold and graph sum) definitions of relative Gromov–Witten invariants with negative contact orders in [FWY20]. Since these invariants reduce to relative invariants with two positive contact orders, we do not need to assume a general relation between the punctured invariants of [ACGS20, FWY20]. To match with the intrinsic mirror symmetry in the Gross–Siebert program, we only need to assume that punctured invariants of a smooth pair with one negative contact order defined in [ACGS20] coincide with the ones in [FWY20]. A more general comparison result is an upcoming work of [BNR22a], so we do not attempt to give a proof of this special case.
Relative mirror theorem was established in [FTY19], however, it was not clear how to apply the relative mirror theorem to compute relative invariants when the mirror map is not trivial. Understanding these invariants with several negative contact orders are essential for the application of the relative mirror theorem to compute relative invariants when the mirror map is not trivial. Our approach provides a powerful tool to compute genus zero relative invariants. It is not limited to two-point invariants, it can be generalized to compute genus zero relative invariants with several relative markings with contact orders \(k_i\ge 1\).
1.3 The proper Landau–Ginzburg potential
The main result of the paper is to relate the proper Landau–Ginzburg potential with the relative mirror map. Note that the generating function \(\vartheta _1\) in Definition 1.1 is not simply a coefficient of the J-function. Instead, it is a derivative of a coefficient of the J-function. By extracting a coefficient of the J-function and the I-function, applying the computation of relative invariants with several negative contact orders in Proposition 4.7 and Proposition 4.9, and taking derivatives, we have the following statement.
Theorem 1.6
(=Theorem 5.1). Let X be a smooth projective variety with a smooth nef anticanonical divisor D. Let \(W:=\vartheta _1\) be the mirror proper Landau–Ginzburg potential. Set \(q^\beta =t^{D\cdot \beta }x^{D\cdot \beta }\). Then
where
and \(y=y(q)\) is the inverse of the relative mirror map (3).
Remark 1.7
This is a natural expectation from the point of view of relative mirror symmetry. Recall that the proper Landau–Ginzburg model \((X^\vee ,W)\) is mirror to the smooth log Calabi–Yau pair (X, D). The proper Landau–Ginzburg potential W should encode the instanton corrections. On the other hand, the relative mirror theorem relates relative Gromov–Witten invariants with relative periods (relative I-functions) via the relative mirror map. In order to have a mirror construction with a trivial mirror map, the instanton corrections should be the inverse relative mirror map. This provides an enumerative meaning of the relative mirror map.
Remark 1.8
In [CJL21, CJL20], Collins–Jacob–Lin constructed the SYZ fibration and the dual fibration with respect to the Ricci-flat metric for del Pezzo surfaces and rational elliptic surfaces. It would be interesting to see how to extract quantum corrections from their construction, then compare with the computation from the Gross–Siebert program. There are some related computation in [Lin20, LLL22, BECHL21].
Remark 1.9
Applications of mirror theorems (e.g. [CCLT16, CLT13, CLLT17] and [You20]) are usually for toric targets. Theorem 1.6 holds for general targets based on highly non-trivial computations.
In [GRZ22], the authors conjectured that the proper Landau–Ginzburg potential is the open mirror map. We also have a natural explanation for it. The open mirror map of [GRZ22] is given by open Gromov–Witten invariants of the local Calabi–Yau \({\mathcal {O}}_X(-D)\). These open invariants encode the instanton corrections and are expected to be the inverse mirror map of the local Gromov–Witten theory of \({\mathcal {O}}_X(-D)\). We observe that the relative mirror map (3) and the local mirror map coincide up to a sign. So we claim that the proper Landau–Ginzburg potential is also the open mirror map. When X is a toric variety, we proved the conjecture of [GRZ22].
Theorem 1.10
(=Theorem 6.1). Let (X, D) be a smooth log Calabi–Yau pair, such that X is toric and D is nef. The proper Landau–Ginzburg potential of (X, D) is the open mirror map of the local Calabi–Yau manifold \({\mathcal {O}}_X(-D)\).
In general, Theorem 1.10 is true as long as the open-closed duality (e.g. [CLT13, CCLT16]) between open Gromov–Witten invariants \(K_X\) and closed Gromov–Witten invariants \(P({\mathcal {O}}_X(-D)\oplus {\mathcal {O}})\) is true. Therefore, we have the following.
Corollary 1.11
The open-closed duality implies the proper Landau–Ginzburg potential is the open mirror map.
Remark 1.12
The reason that the relative mirror map is the same as the local mirror map can also be seen from the local-relative correspondence of [vGGR19, TY23b]. It has already been observed in [TY23b] that the local and (non-extended) relative I-functions can be identified. And this identification has been used to prove the local-relative correspondence for some invariants in [TY23b].
Remark 1.13
We consider Theorem 1.6 provides a complete story from algebro-geometric point of view. It provides a connection between the Gross–Siebert mirror construction [GS19] and the relative version of the enumerative mirror symmetry in [FTY19]. For the SYZ mirror symmetry, one may naturally expect that the proper potential is a generating function of genus zero open Gromov–Witten invariants of \(X\setminus D\) [Aur07]. Open Gromov–Witten invariants of \({\mathcal {O}}_X(-D)\) appear in Theorem 1.10 maybe because there exists an identity between open Gromov–Witten invariants of \({\mathcal {O}}_X(-D)\) and the open Gromov–Witten invariants of \(X\setminus D\), similar to the local-relative correspondence [vGGR19] for closed Gromov–Witten invariants. However, we do not know if such an identity will be true in general. We refer to [Lin20] for some discussions about open Gromov–Witten invariants of \(X\setminus D\).
Theorem 1.6 provides explicit formulas for the proper potentials whenever the relevant genus zero absolute Gromov–Witten invariants of X are computable. These absolute invariants can be extracted from the J-function of the absolute Gromov–Witten theory of X. Therefore, we have explicit formulas of the proper Landau–Ginzburg potentials whenever a Givental style mirror theorem holds. Givental style mirror theorem has been proved for many cases beyond the toric setting (e.g. [CFKS08] for non-abelian quotients via the abelian/non-abelian correspondence). Therefore, we have explicit formulas for the proper Landau–Ginzburg potentials for large classes of examples. Note that there may be non-trivial mirror maps for absolute Gromov–Witten theory of X. If we replace the absolute invariants in g(y) by the corresponding coefficients of the absolute I-function, we also need to plug-in the inverse of the absolute mirror map. This can be seen in the case of toric varieties in Sect. 6.2.
For Fano varieties, the invariants in g(y) are usually easier. We observed that g(y) is closely related to the regularized quantum periods in the Fano search program [CCG13].
Theorem 1.14
The function g(y) coincides with the anti-derivative of the regularized quantum period.
By mirror symmetry, it is expected that regularized quantum periods of Fano varieties coincide with the classical periods of their mirror Laurent polynomials. Therefore, as long as one knows the mirror Laurent polynomials, one can compute the proper Landau–Ginzburg potentials. For example, the proper Landau–Ginzburg potentials for all Fano threefolds can be explicitly computed using [CCGK16]. More generally, Theorem 1.14 allows one to use the large databases [CK22] of quantum periods for Fano manifolds to compute the proper Landau–Ginzburg potentials.
Interestingly, the Laurent polynomials are considered as the mirror of Fano varieties with maximal boundaries (or as the potential for the weak, non-proper, Landau–Ginzburg models of [Prz07, Prz13]). Therefore, we have an explicit relation between the proper and non-proper Landau–Ginzburg potentials.
2 Relative Gromov–Witten Invariants with Negative Contact Orders
2.1 General theory
We follow the presentation of [FWY20] for the definition of genus zero relative Gromov–Witten theory with negative contact orders.
Let X be a smooth projective variety and \(D\subset X\) be a smooth divisor. We consider a topological type (also called an admissible graph)
with
and
Definition 2.1
[FWY20, Definition 2.4]. A rubber graph \(\Gamma '\) is an admissible graph whose roots have two different types. There are
-
(1)
0-roots (whose weights will be denoted by \(\mu ^0_1,\ldots ,\mu ^0_{\rho _0}\)), and
-
(2)
\(\infty \)-roots (whose weights will be denoted by \(\mu ^\infty _1,\ldots ,\mu ^\infty _{\rho _\infty }\)).
The map b maps \(V(\Gamma )\) to \(H_2(D,{\mathbb {Z}})\).
Definition 2.2
[FWY20, Definition 4.1]. A (connected) graph of type 0 is a weighted graph \(\Gamma ^0\) consisting of a single vertex, no edges, and the following.
-
(1)
0-roots,
-
(2)
\(\infty \)-roots of node type,
-
(3)
\(\infty \)-roots of marking type,
-
(4)
Legs.
0-roots are weighted by positive integers, and \(\infty \)-roots are weighted by negative integers. The vertex is associated with a tuple \((g,\beta )\) where \(g\ge 0\) and \(\beta \in H_2(D,{\mathbb {Z}})\).
A graph \(\Gamma ^\infty \) of type \(\infty \) is an admissible graph such that the roots are distinguished by node type and marking type.
Definition 2.3
[FWY20, Definition 4.8] An admissible bipartite graph \({\mathfrak {G}}\) is a tuple \(({\mathfrak {S}}_0,\Gamma ^\infty ,I,E,g,b)\), where
-
(1)
\({\mathfrak {S}}_0=\{\Gamma _i^0\}\) is a set of graphs of type 0; \(\Gamma ^\infty \) is a (possibly disconnected) graph of type \(\infty \).
-
(2)
E is a set of edges.
-
(3)
I is the set of markings.
-
(4)
g and b represent the genus and the degree respectively.
Moreover, the admissible bipartite graph must satisfy some conditions described in [FWY20, Definition 4.8]. We refer to [FWY20] for more details.
Let \({\mathcal {B}}_\Gamma \) be a connected admissible bipartite graph of topological type \(\Gamma \). Given a bipartite graph \({\mathfrak {G}}\in {\mathcal {B}}_\Gamma \), we consider
where
-
\(\overline{{\mathcal {M}}}_{\Gamma _i^0}^\sim (D)\) is the moduli space of relative stable maps to rubber target over D of type \(\Gamma _i^0\);
-
\(\overline{{\mathcal {M}}}_{\Gamma ^\infty }^{\bullet }(X,D)\) is the moduli space of relative stable maps of type \(\Gamma ^\infty \);
-
\(\times _{D^{|E|}}\) is the fiber product identifying evaluation maps according to edges.
We have the following diagram.
There is a natural virtual class
where \(\Delta ^!\) is the Gysin map.
For each \(\overline{{\mathcal {M}}}^\sim _{\Gamma _i^0}(D)\), we have a stabilization map \(\overline{{\mathcal {M}}}^\sim _{\Gamma _i^0}(D) \rightarrow \overline{{\mathcal {M}}}_{0,n_i+\rho _i}(D,\beta _i)\) where \(n_i\) is the number of legs, \(\rho _i\) is the number of 0-roots plus the number of \(\infty \)-roots of marking type, and \(\beta _i\) is the curve class of \(\Gamma _i^0\). Hence, we have a map
Composing with the boundary map
we obtain a map
Following the definition in [FWY20], we need to introduce the relative Gromov–Witten cycle of the pair (X, D) of topological type \(\Gamma \).
Let t be a formal parameter. Given a \(\Gamma ^\infty \), we define
Then we consider \(\Gamma _i^0\). Define
where \(\Psi _\infty \) is the divisor corresponding to the cotangent line bundle determined by the relative divisor on the \(\infty \) side. We then define
where \(d_{e_j}\) is the absolute value of the weight at the root \(e_j\).
For each \(\Gamma _i^0\), define
where \(\rho _\infty (i)\) is the number of \(\infty \)-roots (of both types) associated with \(\Gamma _i^0\).
For each \({\mathfrak {G}}\), we write
where \([\cdot ]_{t^{0}}\) means taking the constant term, and \(p_{\Gamma ^\infty }, p_{\Gamma _i^0}\) are projections from \(\prod \limits _{\Gamma ^0_i\in {\mathfrak {S}}_0}\overline{{\mathcal {M}}}^\sim _{\Gamma ^0_i}(D) \times \overline{{\mathcal {M}}}^{\bullet }_{\Gamma ^\infty }(X,D)\) to the corresponding factors. Recall that
is the closed immersion from diagram (4).
Definition 2.4
[FWY20, Definition 5.3]. The relative Gromov–Witten cycle of the pair (X, D) of topological type \(\Gamma \) is defined to be
where \(\iota \) is the vertical arrow in Diagram (4).
Proposition 2.5
(=[FWY20], Proposition 3.4).
where
where \(\rho _+\) is the number of relative markings with positive contact.
Let
We have evaluation maps
Definition 2.6
[FWY20, Definition 5.7]. The relative Gromov–Witten invariant of topological type \(\Gamma \) is
where \(\bar{\psi }_{D,j}, \bar{\psi }_{X,i}\) are pullback of psi-classes from \(\overline{{\mathcal {M}}}_{0,n+\rho }(X,\beta )\) to \(\overline{{\mathcal {M}}}_{0,n+\rho }(X,\beta )\times _{X^{\rho }} D^{\rho }\) corresponding to markings.
Remark 2.7
In [FWY20], relative Gromov–Witten invariants of (X, D) with negative contact order are also defined as a limit of the corresponding orbifold Gromov–Witten invariants of the r-th root stack \(X_{D,r}\) with large ages
where r is sufficiently large; \(\rho _-\) is the number of orbifold markings with large ages (=relative markings with negative contact orders); \(\gamma _i\) are cohomology classes of X or D depending on the markings being interior or orbifold/relative. We refer to [FWY20, Section 3] for more details.
We recall the topological recursion relation and the WDVV equation which will be used later in our paper.
Proposition 2.8
[FWY20, Proposition 7.4]. Relative Gromov–Witten theory satisfies the topological recursion relation:
where the sum is over all \(\beta _1+\beta _2=\beta \), all indices i, k of basis, and \(S_1, S_2\) disjoint sets with \(S_1\cup S_2=\{4,\ldots ,n\}\).
Proposition 2.9
[FWY20, Proposition 7.5]. Relative Gromov–Witten theory satisfies the WDVV equation:
where each sum is over all \(\beta _1+\beta _2=\beta \), all indices i, k of basis, and \(S_1, S_2\) disjoint sets with \(S_1\cup S_2=\{5,\ldots ,n\}\).
2.2 A special case
As explained in [FWY20, Example 5.5], relative Gromov–Witten invariants with one negative contact order can be written down in a simpler form. In this case, we only have the graphs \({\mathfrak {G}}\) such that \(\{\Gamma _i^0\}\) consists of only one element (denoted by \(\Gamma ^0\)). Denote such a set of graphs by \({\mathcal {B}}_\Gamma '\). The relative Gromov–Witten cycle of topological type \(\Gamma \) is simply
Note that
Let
Without loss of generality, we assume that \(\epsilon _1\) is the insertion that corresponds to the unique negative contact marking. Then the relative invariant with one negative contact order can be written as
where \({\text {Aut}}(E)\) is the permutation group of the set \(\{d_1,\ldots , d_{|E|}\}\); \(\check{\eta }\) is defined by taking the Poincaré dual of the cohomology weights of the cohomology weighted partition \(\eta \); the second sum is over all splittings of
and all intermediate cohomology weighted partitions \(\eta \).
The following comparison theorem between punctured invariants of [ACGS20] and relative invariants with one negative contact order of [FWY20] for smooth pairs is an upcoming work of [BNR22b].
Theorem 2.10
Given a smooth projective variety X and a smooth divisor \(D\subset X\), the punctured Gromov–Witten invariants of (X, D) and the relative Gromov–Witten invariants of (X, D) with one negative contact order coincide.
Remark 2.11
[BNR22b] studies the comparison between punctured invariants of [ACGS20] and relative invariants with several negative contact orders. For the purpose of this paper, we only need the case with one negative contact order. In this case, the comparison is significantly simpler because we have simple graphs as described above and the class \({\mathfrak {c}}_\Gamma (X/D)\) is trivial. Since the general comparison is obtained in [BNR22b], we do not attempt to give a proof for this special case.
Theorem 2.10 is sufficient for us to fit our result into the Gross–Siebert program as theta functions and structure constants in [GS19, GS22] only involve punctured invariants with one punctured marking. Note that relative invariants with several negative contact orders will also appear in this paper. However, the general comparison theorem is not necessary because we will reduce relevant invariants with several negative contact orders to invariants without negative contact order.
3 The Proper Landau–Ginzburg Potential from Intrinsic Mirror Symmetry
3.1 The Landau–Ginzburg potential
A tropical view of the Landau–Ginzburg potential is given in [CPS22] using the toric degeneration approach to mirror symmetry. We consider the intrinsic mirror symmetry construction instead and focus on the case when the Landau–Ginzburg potential is proper.
Following intrinsic mirror symmetry [GS19], one considers a maximally unipotent degeneration \(g:Y\rightarrow S\) of the smooth pair (X, D). The mirror of \(X\setminus D\) is constructed as the projective spectrum of the degree zero part of the relative quantum cohomology of \((Y,D^\prime )\), where \(D^\prime \) is certain divisor of Y that includes \(g^{-1}(0)\).
Let \((B^\prime ,\mathscr {P}, \varphi )\) be the dual intersection complex or the fan picture of the degeneration. Recall that \(B^\prime \) is an integral affine manifold with finite polyhedral decomposition \(\mathscr {P}\) and a multi-valued strictly convex piecewise linear function \(\varphi \). An asymptotic direction is an integral tangent vector of a one-dimensional unbounded cell in \((B^\prime ,\mathscr {P}, \varphi )\) that points in the unbounded direction.
Definition 3.1
The dual intersection complex \((B^\prime , \mathscr {P})\) is asymptotically cylindrical if
-
\(B^\prime \) is non-compact.
-
For every polyhedron \(\sigma \) in \(\mathscr {P}\), all of the unbounded one-faces of \(\sigma \) are parallel with respect to the affine structure on \(\sigma \).
We consider the case when D is smooth. Hence, \((B^\prime , \mathscr {P})\) is asymptotically cylindrical and \(B^\prime \) has one unbounded direction \(m_{{\text {out}}}\). We choose \(\phi \) such that \(\phi (m_{{\text {out}}})=1\) on all unbounded cells.
For the smooth pair (X, D), one can also consider its relative quantum cohomology. Let \(QH^0_{{\text {log}}}(X,D)\) be the degree zero subalgebra of the relative quantum cohomology ring \({\text {QH}}^*_{{\text {log}}}(X,D)\) of a pair (X, D). Let S be the dual intersection complex of D. Let B be the cone over S and \(B({\mathbb {Z}})\) be the set of integer points of B. Since D is smooth, \(B({\mathbb {Z}})\) is the set of nonnegative integers. The set
of theta functions form a canonical basis of \({\text {QH}}^0_{{\text {log}}}(X,D)\). Moreover, theta functions satisfy the following multiplication rule
Recall that the structure constants \(N^{\beta }_{p_1,p_2,-r}\) are defined as the invariants of (X, D) with two “inputs” with positive contact orders given by \(p_1, p_2\in B({\mathbb {Z}})\), one “output” with negative contact order given by \(-r\) such that \(r\in B({\mathbb {Z}})\), and a point constraint for the punctured point. Namely,
We learnt about the following intrinsic mirror symmetry construction of the proper Landau–Ginzburg potential from Mark Gross (see [GS19, Construction 1.19]).
Construction 3.2
We recall the maximally unipotent degeneration \(g:Y\rightarrow S\) and the pair \((Y,D^\prime )\) from the intrinsic mirror construction of the mirror \(X^\vee \). Following the mirror construction of [GS19, Construction 1.19], the degree zero part of the graded ring of theta functions in \(QH^0_{\log }(Y,D^\prime )\) agrees with \(QH^0_{\log }(X,D)\). The base of the Landau–Ginzburg mirror of (X, D) is \({\text {Spec}}QH^0_{\log }(X,D)={\mathbb {A}}^1\) and the superpotential is \(W=\vartheta _{1}\), the unique primitive theta function of \(QH^0_{\log }(X,D)\).
Under this construction, to compute the proper Landau–Ginzburg potential, we just need to compute the theta function \(\vartheta _1\). We would like to compute the structure constants \(N^{\beta }_{p_1,p_2,-r}\) and then provide a definition of the theta functions, in terms of two-point relative invariants of (X, D), which satisfy the multiplication rule (8). The notion of broken lines will not be mentioned here. Recall that, by Theorem 2.10, the structure constants considered here are the same as Gross–Sibert’s structure constant for smooth log Calabi–Yau pairs which are also computed in [Wan22]. Indeed, there is only one type of broken lines in this case, and the theta functions defined via the logarithmic broken line types in [GS22] are the same as the theta functions that we consider here.
3.2 Structure constants
We first express the structure constants in terms of two-point relative invariants.
Proposition 3.3
Let (X, D) be a smooth log Calabi–Yau pair. Without loss of generality, we assume that \(p_1\le p_2\). Then the structure constants \(N^{\beta }_{p_1,p_2,-r}\) can be written as two-point relative invariants (without negative contact):
Proof
We divide the proof into different cases.
-
(1)
\(0<r<p_1:\) We use the definition of relative Gromov–Witten invariants with negative contact orders in [FWY20]. Recall that \(N^{\beta }_{p_1,p_2,-r}\) (9) is a relative invariant with one negative contact order. It can be written as
$$\begin{aligned} \sum _{{\mathfrak {G}}\in {\mathcal {B}}_\Gamma } \frac{\prod _{e\in E}d_e}{|{\text {Aut}}(E)|}\sum \langle \prod _{j\in S_1}\epsilon _j, \, |\,|[{\text {pt}}]_r,\eta \rangle ^{\sim }_{\Gamma ^0} \langle \check{\eta },\prod _{j\in S_2}\epsilon _j \rangle ^{\bullet , (X,D)}_{\Gamma _\infty }, \end{aligned}$$(11)where \(S_1\sqcup S_2=\{1,2\}\), \(\{\epsilon _j\}_{j=1,2}=\{[1]_{p_1},[1]_{p_2}\}\); the sum is over the cohomology weighted partition \(\eta \) and the splitting \(S_1\sqcup S_2=\{1,2\}\).
-
[(I) \(|S_1|=\emptyset \):] Then by the virtual dimension constraint on \(\langle \, |\,|[{\text {pt}}]_r,\eta \rangle ^{\sim }_{\Gamma ^0}\), the insertions in \(\eta \) must contain at least one element with insertion \([1]_k\), for some integer \(k>0\). Let \(\pi :P:={\mathbb {P}}_D({\mathcal {O}}_D\oplus N_D)\rightarrow D\) be the projection map and \(D_0\) and \(D_\infty \) be the zero and infinity divisors of P. Let
$$\begin{aligned} p: \overline{{\mathcal {M}}}_{\Gamma ^0}^\sim (P,D_0\cup D_\infty )\rightarrow \overline{{\mathcal {M}}}_{0,m}(D,\pi _*(\beta _1)) \end{aligned}$$be the natural projection of the rubber map to X and contracting the resulting unstable components. By [JPPZ20, Theorem 2], we have
$$\begin{aligned} p_*[\overline{{\mathcal {M}}}_{\Gamma ^0}^\sim (P,D_0\cup D_\infty )]^{{\text {vir}}} =[\overline{{\mathcal {M}}}_{0,m}(D,\pi _*(\beta _1))]^{{\text {vir}}}. \end{aligned}$$The marking \([1]_k\) becomes the identity class \( 1\in H^*(D)\). Applying the string equation implies that the rubber invariant \(\langle \, |\,|[{\text {pt}}]_r,\eta \rangle ^{\sim }_{\Gamma ^0}\) vanishes unless \(\pi _*(\beta _1)=0\) and \(m=3\). However, \(\pi _*(\beta _1)=0\) implies that \(D_0\cdot \beta _1=D_\infty \cdot \beta _1\). On the other hand, there is no relative marking at \(D_0\). Therefore \(D_0\cdot \beta _1=0\). We also know that \(D_\infty \cdot \beta _1>0\) because \(\eta \) is not empty. This is a contradiction. Therefore, we can not have \(|S_1|=\emptyset \).
-
[(II) \(|S_1|\ne \emptyset \):] In this case, for \(\langle \prod _{j\in S_1}\epsilon _j, \, |\,|[{\text {pt}}]_r,\eta \rangle ^{\sim }_{\Gamma ^0} \), the relative insertion \(\prod _{j\in S_1}\epsilon _j\) at \(D_0\) is not empty. That is, it must contain at least one of \([1]_{p_1},[1]_{p_2}\). Again, we consider the natural projection
$$\begin{aligned} p: \overline{{\mathcal {M}}}_{\Gamma ^0}^\sim (P,D_0\cup D_\infty ) \rightarrow \overline{{\mathcal {M}}}_{0,m}(D,\pi _*(\beta _1)). \end{aligned}$$Since \(\prod _{j\in S_1}\epsilon _j\) must contain at least one of \([1]_{p_1},[1]_{p_2}\), by the projection formula and the string equation,
$$\begin{aligned} \langle \prod _{j\in S_1}\epsilon _j, \, |\,|[{\text {pt}}]_r, \eta \rangle ^{\sim }_{\Gamma ^0} \end{aligned}$$vanishes unless \(\pi _*(\beta _1)=0\) and \(m=3\). Note that \(\pi _*(\beta _1)=0\) implies \(D_0\cdot \beta =D_\infty \cdot \beta \), for any effective curve class \(\beta \) of P. We recall that we assume that \(r<p_1\le p_2\), therefore \(\eta \) must contain at least one markings with positive contact order. Then \(\prod _{j\in S_1}\epsilon _j\) must contain exactly one of \([1]_{p_1},[1]_{p_2}\) when \(r<p_1\). Therefore, \(\eta \) contains exactly one element \([1]_{p_1-r}\) or \([1]_{p_2-r}\) respectively. Hence, (11) is the sum of the following two invariants
$$\begin{aligned} (p_1-r)\langle [{\text {pt}}]_{p_1-r}, [1]_{p_2} \rangle _{0,2,\beta }^{(X,D)}, \quad \text {and} \quad (p_2-r)\langle [{\text {pt}}]_{p_2-r},[1]_{p_1} \rangle _{0,2,\beta }^{(X,D)}, \end{aligned}$$which are exactly the invariants that appear on the RHS of (10) when \(r<p_1\).
-
-
(2)
\(r=0\): In this case, there are no negative contacts. We can require the marking with the point insertion \([{\text {pt}}]_0\) maps to D. Consider the degeneration to the normal cone of D and apply the degeneration formula. After applying the rigidification lemma [MP06, Lemma 2], we also obtain the formula (11) with \(r=0\). Then the rest of the proof is the same as the case when \(0<r<p_1\).
-
(3)
\(p_1\le r< p_2\): We again have the formula (11) as in the first case. The difference is that we can not have \(\prod _{j\in S_1}\epsilon _j=[1]_{p_1}\) because this will imply that \(\eta \) contains the non-positive contact order element \([1]_{p_1-r}\). Therefore, we have
$$\begin{aligned} (p_2-r)\langle [{\text {pt}}]_{p_2-r}, [1]_{p_1} \rangle _{0,2,\beta }^{(X,D)}. \end{aligned}$$ -
(4)
\(r\ge p_2\) and \(r\ne p_1+p_2\): Similar to the previous case, we can not have \(\prod _{j\in S_1}\epsilon _j=[1]_{p_1}\) or \(\prod _{j\in S_1}\epsilon _j=[1]_{p_2}\). The invariant is 0.
-
05
\(p_1+p_2=r\): In this case, we can have \(\eta \) to be empty. Then there is no \(\Gamma ^\infty \) and the curves entirely lie in D. Therefore, there is only one rubber integral. The invariant is just 1.\(\square \)
Remark 3.4
A special case of Proposition 3.3 also appears in [Gra22, Theorem 2] for del Pezzo surfaces via tropical correspondence. Our result here uses the definition of [FWY20] for punctured invariants and it works for all dimensions and X is not necessarily Fano.
Later, we will also need to consider invariants of the following form:
The proof of the following identity is similar to the proof of Proposition 3.3.
Proposition 3.5
Let (X, D) be a smooth log Calabi–Yau pair. If \(p_1\le p_2\), then
If \(p_2\le p_1\), then
3.3 Theta functions
Now we define the theta functions in terms of two-point relative Gromov–Witten invariants of (X, D).
Definition 3.6
Write \(x=z^{(-m_{{\text {out}}},-1)}\) and \(t=z^{(0,1)}\). For \(p\ge 1\), the theta function is
where
We also write
To justify the definition of the theta functions, we need to show that this definition satisfies the multiplication rule (8). Plug-in (12) to \(\vartheta _{p_1}\star \vartheta _{p_2}\), we have
On the other hand, we have
where the second line follows from (12). Note that \(N_{k,r}=0\) when \(r=0\) by the string equation.
By Proposition 3.3, it is straightforward that the coefficients of \(x^k\), for \(k\le 0\), of (13) and (14) are the same: without loss of generality, we assume that \(p_1\le p_2\). Then, we have the following cases.
-
\(k\le -p_2\), and \(k\ne -p_1-p_2\): we see that the coefficient of \(\vartheta _{p_1}\star \vartheta _{p_2}\) in (13) is zero. The corresponding coefficient \(N_{p_1,p_2,k}\) in (14) is also zero because of Proposition 3.3.
-
\(k=-p_1-p_2\): we see that the coefficient of \(\vartheta _{p_1}\star \vartheta _{p_2}\) in (13) is 1. The corresponding coefficient \(N_{p_1,p_2,k}\) in (14) is also 1 because of Proposition 3.3.
-
\(-p_2<k\le -p_1\): the coefficient of \(\vartheta _{p_1}\star \vartheta _{p_2}\) in (13) is \((p_2+k)N_{p_2+k,p_1}\). By Proposition 3.3, the corresponding coefficient \(N_{p_1,p_2,k}\) in (14) is:
$$\begin{aligned} N_{p_1,p_2,k}=(p_2+k)N_{p_2+k,p_1}. \end{aligned}$$ -
\(-p_1<k\le 0\): the coefficient of \(\vartheta _{p_1}\star \vartheta _{p_2}\) in (13) is
$$\begin{aligned} (p_1+k)N_{p_1+k,p_2}+(p_2+k)N_{p_2+k,p_1}. \end{aligned}$$This coincides with the corresponding coefficient \(N_{p_1,p_2,k}\) by Proposition 3.3.
For the coefficients of \(x^k\), for \(k>0\), the coefficients also match because of the following result.
Proposition 3.7
Let (X, D) be a smooth log Calabi–Yau pair. We have
Proof
It can be proved using the WDVV equation of relative Gromov–Witten theory in [FWY20, Proposition 7.5]. Set
Then the WDVV equation states that
where each sum is over the curve class \(\beta \) such that \(D\cdot \beta =p_1+p_2+k\), all splittings of \(\beta _1+\beta _2=\beta \) and the dual bases \(\{[\gamma ]_{-i}\}\) and \(\{[\gamma ^\vee ]_{i}\}\) of \({\mathfrak {H}}\).
- (I):
-
We first consider the LHS of the WDVV equation (16):
$$\begin{aligned} \sum \langle [1]_{p_2},[{\text {pt}}]_{k+p_1+p_2},[\gamma ]_{-i} \rangle _{0,\beta _1,3}^{(X,D)} \langle [\gamma ^\vee ]_{i}, [1]_{p_1},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)}. \end{aligned}$$(17)We analyze the invariant
$$\begin{aligned} \langle [\gamma ^\vee ]_{i}, [1]_{p_1},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)} \end{aligned}$$in (17).
- (i) \(i<0\)::
-
we claim that the invariant vanishes. By the virtual dimension constraint, \(\deg (\gamma ^\vee )=\dim _{{\mathbb {C}}}X-2\).
We apply the definition of relative Gromov—Witten invariants with negative contact orders in Sect. 2.1. The marking with negative contact order \([1]_{-p_1-p_2}\) is distributed to a rubber space. The marking becomes a relative marking at \(D_\infty \) with insertion \([1]_{p_1+p_2}\).
We further divide it into two cases.
-
(Case 1):
the first marking and the third marking are distributed to different rubber spaces. Then the class \({\mathfrak {c}}_\Gamma \) is trivial. We consider the rubber moduli space \(\overline{{\mathcal {M}}}_{\Gamma ^0_v}^\sim (P,D_0\cup D_\infty )\) where the third marking is distributed to and pushforward this rubber moduli space to the moduli space \(\overline{M}_{0,m}(D,\pi _*\beta _v)\) of stable maps to D. The marking with \([1]_{p_1+p_2}\) becomes the identity class \(1\in H^*(D)\). Apply the string equation, we see that the rubber invariant vanishes unless \(\pi _*(\beta _v)=0\) and \(m=3\). However \(\pi _*(\beta _v)=0\) implies that \(D_0\cdot \beta _v=D_\infty \cdot \beta _v\). This is not possible because, based on the insertions of the markings, we must have \(D_\infty \cdot \beta _v\ge p_1+p_2>D_0\cdot \beta _v\).
-
(Case 2):
the first marking and the third marking are distributed to the same rubber space. The class \({\mathfrak {c}}_\Gamma \) is a sum of descendant classes of degree one. By the virtual dimension constraint, \(\eta \) must contain at least one element with insertion \([1]_k\) for some positive integer k. Pushing forward to the moduli space of stable maps to D and applying the string equation twice, we again conclude that the invariant vanishes as in (Case 1).
- (ii) \(i\ge 0\)::
-
The invariants in (17) are genus zero 3-point relative invariants of (X, D) with one negative contact order. Therefore, the virtual dimensions of the moduli spaces are \((\dim _{{\mathbb {C}}} X-1)\). By the virtual dimension constraint, we must have
$$\begin{aligned} {[}\gamma ]_{-i}=[1]_{-i}, \quad [\gamma ^\vee ]_{i} =[{\text {pt}}]_{i}. \end{aligned}$$By Proposition 3.5, \(\langle [{\text {pt}}]_{i},[1]_{p_1},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)} \) vanishes unless \(i>p_1+p_2\) or \(i=p_2\).
-
When \(i=p_2\), we have the term
$$\begin{aligned}{} & {} \langle [1]_{p_2},[{\text {pt}}]_{k+p_1 +p_2},[1]_{-i}\rangle _{0,\beta _1,3}^{(X,D)} \langle [{\text {pt}}]_{i}, [1]_{p_1},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)}\\{} & {} \quad =(k+p_1) \langle [{\text {pt}}]_{k+p_1}, [1]_{p_2}\rangle _{0,\beta ,2}^{(X,D)} \end{aligned}$$ -
When \(i>p_1+p_2\), we have
$$\begin{aligned} \langle [{\text {pt}}]_{i}, [1]_{p_1},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)} =(i-p_1-p_2) \langle [{\text {pt}}]_{i-p_1-p_2}, [1]_{p_1} \rangle _{0,\beta _2,2}^{(X,D)}, \end{aligned}$$by Proposition 3.5.
Similarly, by Proposition 3.5, \(\langle [1]_{p_2},[{\text {pt}}]_{k+p_1+p_2},[1]_{-i} \rangle _{0,\beta _1,3}^{(X,D)}\) vanishes unless \(i<k+p_1+p_2\) or \(i=k+p_1+2p_2\).
-
When \(i=k+p_1+2p_2\) we have the term
$$\begin{aligned}{} & {} \langle [1]_{p_2},[{\text {pt}}]_{k+p_1+p_2},[1]_{-i} \rangle _{0,\beta _1,3}^{(X,D)} \langle [{\text {pt}}]_{i}, [1]_{p_1},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)}\\{} & {} \quad =(k+p_2) \langle [{\text {pt}}]_{k+p_2}, [1]_{p_1} \rangle _{0,\beta ,2}^{(X,D)}, \end{aligned}$$ -
When \(i<k+p_1+p_2\), we have
$$\begin{aligned} \langle [1]_{p_2},[{\text {pt}}]_{k+p_1+p_2},[1]_{-i} \rangle _{0,\beta _1,3}^{(X,D)} =(k+p_1+p_2-i) \langle [{\text {pt}}]_{k+p_1+p_2-i}, [1]_{p_2} \rangle _{0,\beta _2,2}^{(X,D)}, \end{aligned}$$by Proposition 3.5.
We summarize the above analysis of (17) in terms of i:
-
\(i<0\), the summand is 0.
-
\(i=p_2\), the summand is
$$\begin{aligned} (k+p_1)\langle [{\text {pt}}]_{k+p_1}, [1]_{p_2} \rangle _{0,\beta ,2}^{(X,D)}. \end{aligned}$$ -
\(i=k+p_1+2p_2\), the summand is
$$\begin{aligned} (k+p_2)\langle [{\text {pt}}]_{k+p_2}, [1]_{p_1} \rangle _{0,\beta ,2}^{(X,D)}. \end{aligned}$$ -
\(p_1+p_2<i<k+p_1+p_2\), the summand is
$$\begin{aligned} (k+p_1+p_2-i)\langle [{\text {pt}}]_{k+p_1+p_2-i}, [1]_{p_2} \rangle _{0,\beta _2,2}^{(X,D)}(i-p_1-p_2) \langle [{\text {pt}}]_{i-p_1-p_2}, [1]_{p_1} \rangle _{0,\beta _2,2}^{(X,D)}. \end{aligned}$$
Set \(m:=i-p_1-p_2\) and \(n:=k+p_1+p_2-i\). Then (17) becomes
- (II):
-
Now we look at the RHS of the WDVV equation (16):
$$\begin{aligned} \sum \langle [1]_{p_1},[1]_{p_2},[\gamma ]_{-i} \rangle _{0,\beta _1,3}^{(X,D)} \langle [\gamma ^\vee ]_{i} , [{\text {pt}}]_{k+p_1+p_2},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)}. \end{aligned}$$(18)
-
If \(i<0\), then the invariant \(\langle [\gamma ^\vee ]_{i},[{\text {pt}}]_{k+p_1+p_2},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)}\) is a genus zero three-point relative invariant with two negative contact orders. The virtual dimension of the moduli space is \((n-2)\). On the other hand, the second marking has a point insertion:
$$\begin{aligned} \deg ([{\text {pt}}]_{k+p_1+p_2})=n-1>n-2. \end{aligned}$$It is a contradiction.
-
If \(i=0\), by the virtual dimension constraint, we must have
$$\begin{aligned} {[}\gamma ^\vee ]_{i}=[1]_0. \end{aligned}$$The string equation implies the invariant is zero.
-
If \(i>0\), we must have
$$\begin{aligned} {[}\gamma ^\vee ]_{i}=[1]_{r}, \quad \text {and } [\gamma ]_{-i} =[{\text {pt}}]_{-r} \quad \text {for } r:=i>0. \end{aligned}$$We have
$$\begin{aligned} \langle [1]_{p_1},[1]_{p_2},[\gamma ]_{-i} \rangle _{0,\beta _1,3}^{(X,D)}=\langle [1]_{p_1},[1]_{p_2},[{\text {pt}}]_{-r}\rangle _{0,\beta _1,3}^{(X,D)}. \end{aligned}$$By Proposition 3.5,
$$\begin{aligned} \langle [1]_{r}, [{\text {pt}}]_{k+p_1+p_2},[1]_{-p_1-p_2} \rangle _{0,\beta _2,3}^{(X,D)}=k\langle [1]_{r}, [{\text {pt}}]_{k} \rangle _{0,\beta _2,2}^{(X,D)}. \end{aligned}$$
Therefore, (18) becomes
This completes the proof. \(\square \)
Remark 3.8
We can consider the special case when \(p_1=1\), then the LHS of (15) is
and the RHS of (15) is
by Proposition 3.3. Identity (15) becomes
If we further specialize to the case of toric del Pezzo surfaces with smooth divisors, we recover [GRZ22, Lemma 5.3]. Here, we give a direct explanation of Identity (15) in terms of the WDVV equation of the relative Gromov–Witten theory in [FWY20].
4 A Mirror Theorem for Smooth Pairs
4.1 Relative mirror theorem
Let X be a smooth projective variety. Let \(\{p_i\}_{i=1}^r\) be an integral, nef basis of \(H^2(X)\). For the rest of the paper, we assume that D is nef.
Recall that the J-function for absolute Gromov–Witten theory of X is
where \(\tau =\tau _{0,2}+\tau ^\prime \in H^*(X)\); \(\tau _{0,2}=\sum _{i=1}^r p_i \log q_i\in H^2(X)\); \(\tau ^\prime \in H^*(X){\setminus } H^2(X)\); \({\text {NE(X)}}\) is the cone of effective curve classes in X; \(\{\phi _\alpha \}\) is a basis of \(H^*(X)\); \(\{\phi ^\alpha \}\) is the dual basis under the Poincaré pairing. We can decompose the J-function as follows
The J-function of the smooth pair (X, D) is defined similarly. We first define
The ring of insertions (state space) of relative Gromov–Witten theory is defined as
Each \(\mathfrak {H}_i\) naturally embeds into \(\mathfrak {H}\). For an element \(\gamma \in \mathfrak {H}_i\), we denote its image in \(\mathfrak {H}\) by \([\gamma ]_i\). Define a pairing on \(\mathfrak {H}\) by the following.
The pairing on the rest of the classes is generated by linearity.
Definition 4.1
Let X be a smooth projective variety and D be a smooth nef divisor, the J-function for the pair (X, D) is defined as
where \(\tau =\tau _{0,2}+\tau ^\prime \in H^*(X)\); \(\tau _{0,2}=\sum _{i=1}^r p_i \log q_i\in H^2(X)\); \(\tau ^\prime \in {\mathfrak {H}}{\setminus } H^2(X)\); \(\{\phi _\alpha \}\) is a basis of the ambient part of \({\mathfrak {H}}\); \(\{\phi ^\alpha \}\) is the dual basis under the Poincaré pairing.
Definition 4.2
The (non-extended) I-function of the smooth pair (X, D) is
where \(\tau _{0,2}\in H^2(X)\).
Theorem 4.3
[FTY19, Theorem 1.4]. Let X be a smooth projective variety and D be a smooth nef divisor such that \(-K_X-D\) is nef. Then the I-function \(I_{(X,D)}(y,\tau ,z)\) coincides with the J-function \(J_{(X,D)}(q,z)\) via change of variables, called the relative mirror map.
The relative mirror theorem also holds for the extended I-function of the smooth pair (X, D). For the purpose of this paper, we only write down the simplest case when the extended data S is the following:
Definition 4.4
The S-extended I-function of (X, D) is defined as follows.
where
and
Theorem 4.5
[FTY19, Theorem 1.5]. Let X be a smooth projective variety and D be a smooth nef divisor such that \(-K_X-D\) is nef. Then the S-extended I-function \(I^S_{(X,D)}(y,x_1,z)\) coincides with the J-function \(J_{(X,D)}(q,z)\) via change of variables, called the relative mirror map.
Although the relative mirror theorem of [FTY19] has been used in the literature several times, the relative mirror map has never been studied in detail. We would like to provide a detailed description of the relative mirror map here.
We consider the extended I-function in Definition 4.4 under the assumption that D is nef and \(-K_X-D\) is nef. The extended I-function can be expanded as follows
where the coefficient of \(z^0\), denoted by \(\tau (y,x_1)\), is the relative mirror map:
The relative mirror theorem of [FTY19] states that
The function \(\tau (y,x_1)\) is the mirror map computed from the extended I-function. We will refer to \(\tau (y,x_1)\) as the extended relative mirror map. The relative mirror map for the non-extended I-function is \(\tau (y,0)\). We will refer to it as the relative mirror map and denote it by \(\tau (y)\).
To be able to compute invariants from the relative mirror theorem, we need to understand the invariants that appear in \(J(\tau (y,x_1),z)\). In particular, we need to understand the following invariants in order to compute the theta function \(\vartheta _1\).
-
Relative invariants with one positive contact order and several negative contact orders:
$$\begin{aligned} \langle [1]_{-k_1},\cdots , [1]_{-k_l}, [\gamma ]_{k_{l+1}} \bar{\psi }^a\rangle _{0,l+1,\beta }^{(X,D)}, \end{aligned}$$where
$$\begin{aligned} D\cdot \beta =k_{l+1}-\sum _{i=1}^l k_i\ge 0, \text { and } k_i>0. \end{aligned}$$This is needed to understand the relative mirror map.
-
Relative invariants with two positive contact orders and several negative contact orders of the following form:
$$\begin{aligned}{} & {} \langle [1]_1, [1]_{-k_1},\cdots , [1]_{-k_l}, [\gamma ]_{k_{l+1}} \rangle _{0,l+2,\beta }^{(X,D)},\\{} & {} D\cdot \beta -1=k_{l+1}-\sum _{i=1}^l k_i\ge 0, \text { and } k_i>0. \end{aligned}$$ -
Degree zero relative invariants with two positive contact orders and several negative contact orders of the following form:
$$\begin{aligned} \langle [1]_1,[1]_{-k_1},\cdots , [1]_{-k_l},[{\text {pt}}]_{k_{l+1}}\rangle _{0,l+2,0}^{(X,D)}. \end{aligned}$$
We will compute these invariants in the following sections.
4.2 Relative invariants with several negative contact orders
Based on the expression of relative mirror map in (20), to be able to compute relative invariants from the relative mirror theorem, we first need to study relative invariants with several insertions of \([1]_{-i}\) for \(i\in {\mathbb {Z}}_{>0}\). We start with the case when \(x=0\). That is, there is only one marking with positive contact order and no marking with insertion \([1]_1\). We would like to claim that the insertion \([1]_{-i}\) behaves like the divisor class D in the sense that there is an analogous of the divisor equation as follows.
Proposition 4.6
Given a curve class \(\beta \), Let \(k_i\in {\mathbb {Z}}_{>0}\) for \(i\in \{1,\ldots , l+1\}\) such that
Then we have the following relation.
where \(\gamma \in H^*(D)\).
Proof
The base case I: \(a=0\).
In this case, there are no descendant classes. Then the identity becomes
By Sect. 2.1, relative Gromov–Witten theory is defined as graph sums by gluing moduli spaces of relative stable maps with moduli space of rubber maps using fiber products. When there are more than one negative contact orders, the invariants are usually complicated and involve summation over different graphs as described in Sect. 2.1. But for invariants on the LHS of (22), the situation is significantly simplified.
Every negative contact marking must be distributed to a rubber moduli \(\overline{{\mathcal {M}}}^\sim _{\Gamma _i^0}(D)\) labelled by \(\Gamma _i^0\). Since D is a nef divisor in X, we have
for every effective curve class \(\beta _D\) in D. Let \(\beta _v\) be a curve class associated to a vertex v in \(\Gamma ^0\), we must have
where \(\pi :P\rightarrow D\) is the projection map. Therefore, the nefness of D implies that, for each \(\overline{{\mathcal {M}}}^\sim _{\Gamma _i^0}(D)\), the relative insertion at \(D_0\) can not be empty. Hence, at least one of the positive contact markings on the LHS of (22) must be distributed to \(\overline{{\mathcal {M}}}^\sim _{\Gamma _i^0}(D)\). Since there is only one positive contact marking, there can only be one rubber moduli, denoted by \(\overline{{\mathcal {M}}}^\sim _{\Gamma ^0}(D)\). Therefore, all the negative contact markings, as well as the positive contact marking, are distributed to \(\overline{{\mathcal {M}}}^\sim _{\Gamma ^0}(D)\). The invariant can be written as
where the superscript \({\mathfrak {c}}_\Gamma \) means capping with the class \({\mathfrak {c}}_\Gamma (X/D)\) in Definition 2.4.
Let
be the natural projection of the rubber map to X and contracting the resulting unstable components. By [JPPZ20, Theorem 2], we have
where \(\pi :P\rightarrow D\) is the projection map.
Note that there are l identity classes [1] and the degree of the class \({\mathfrak {c}}_\Gamma (X/D)\) is less or equal to \(l-1\). We can apply the string equation l-times. Then the invariant
vanishes unless \(\pi _*(\beta )=0\) and \(\eta \) contains exactly one element. Moreover, \(\eta \) needs to be \([\check{\gamma }]_{D\cdot \beta }\) and \(\check{\eta }\) needs to be \([\gamma ]_{D\cdot \beta }\). Therefore,
There is only one edge, hence
It remains to compute
with \(\pi _*(\beta )=0\). This is the same as the rubber invariant with the base being a point. Set \(d=D\cdot \beta \). We claim that it coincides with the following relative Gromov–Witten invariants of \(({\mathbb {P}}^1,0\cup \infty )\) with negative contact orders
This is because one can run the above computation of the LHS of (22) to the invariant (23), we see that (23) equals to
It is straightforward to compute that
This proves the claim that
with \(\pi _*(\beta )=0\) equals to (23). The invariant (23) has already been computed in [UKW23, Proposition B.2]:
Therefore the LHS of (22) is
by the divisor equation.
The base case II: \(l=1\).
Then the LHS of (22) is a relative invariant with one negative contact order. Similar to the proof of Proposition 3.3, the invariant is of the form,
For the RHS of (22), we consider the degeneration to the normal cone of D and apply the degeneration formula. After applying the rigidification lemma [MP06, Lemma 2], the invariant is of the form
The only difference between the LHS of (22) and the RHS of (22) is the contact orders of two markings (contact orders \(k_2\) and \(k_1\) for the LHS and contact orders \(k_2-k_1\) and 0 for the RHS) for the rubber invariants. We pushforward the rubber moduli spaces to the moduli space \(\overline{M}(D)\) of stable maps to D. Since the genus zero double ramification cycle is trivial, it does not depend on the contact orders. Therefore, the LHS of (22) and the RHS of (22) are the same.
Induction:
Now we use the induction to prove the case when \(a>0\) and \(l>1\). Suppose Identity (21) is true when \(a=N\ge 0\). When \(a=N+1\), we apply the topological recursion relation
where the sum is over all \(\beta _1+\beta _2=\beta \), all indices i, k of basis and \(S_1, S_2\) disjoint sets with \(S_1\cup S_2=\{3,\ldots ,l\}\). The nefness of the divisor D implies that
for some positive integer \(b\ge k_1\).
Note that
follows from the base case.
On the other hand, we have
This is because, for these invariants, the graph sum in the definition of the relative invariants only has one rubber space and all the markings are in the rubber space. Moreover, the class \({\mathfrak {c}}_\Gamma \) does not depend on the value of \(k_{l+1}\) and b. Therefore, we have the identity.
Therefore, we have
where the third line is the topological recursion relation. We have the identity
Run the above argument multiple times to trade markings with negative contact orders with markings with insertion \([D]_0\). We end up with either one negative contact order or no negative contact order. The former case is the base case II: \(l=1\), the latter case is just Identity (21). \(\square \)
The identity will be slightly different if we add an insertion of \([1]_1\). For the purpose of this paper, we only consider the case when there are no descendant classes. There is also a (more complicated) identity for descendant invariants, but we do not plan to discuss it here.
Proposition 4.7
Given a curve class \(\beta \), let \(k_i\in {\mathbb {Z}}_{>0}\) for \(i\in \{1,\ldots , l+1\}\) such that
Then we have the following relation.
where \(\gamma \in H^*(D)\).
Proof
The proof is similar to the proof of Proposition 4.6. We first consider the LHS of (24). By definition, every negative contact marking must be in a rubber moduli \(\overline{{\mathcal {M}}}^\sim _{\Gamma _i^0}(D)\) labelled by \(\Gamma _i^0\) and each rubber moduli \(\overline{{\mathcal {M}}}^\sim _{\Gamma _i^0}(D)\) has at least one negative contact marking distributed to it. Similar to the proof of Proposition 4.6, the nefness of D implies that the last marking (with insertion \([\gamma ]_{k_{l+1}}\)) has to be distributed to the rubber space.
Now we examine the first marking. Since the contact order of the first marking is 1, the nefness of D implies that the first marking and the last marking can not be in different rubber space. On the other hand, if the first marking and the last marking (both with positive contact orders) are in the same rubber space, then we claim the invariant vanishes. This is because, after pushing forward to \(\overline{M}_{g,n}(D, \pi _*(\beta ))\), there are \((l+1)\)-identity class 1 and the degree of the class \({\mathfrak {c}}_\Gamma \) is \(l-1\). Applying the string equation \((l+1)\)-times implies that the invariant is zero. Therefore, there is only one rubber moduli, labelled by \(\Gamma ^0\), and the first marking can not be distributed to the rubber moduli. The LHS of (24) is of the following form
Then the rest of the proof follows from the proof of Proposition 4.6 that the Equation (24) holds. Note that the contact order of the unique marking in \(\eta \) is \(D\cdot \beta -1\) instead of \(D\cdot \beta \). Therefore, we have the factor \((D\cdot \beta -1)^l\) instead of \((D\cdot \beta )^l\). \(\square \)
One can add more insertions of \([1]_1\), then we have a similar identity as follows.
Proposition 4.8
Given a curve class \(\beta \), Let \(k_i\in {\mathbb {Z}}_{>0}\) for \(i\in \{1,\ldots , l+1\}\) such that
Then we have the following relation.
where \(\gamma \in H^*(D)\).
Proof
The proof is similar to the proof of Proposition 4.6 and Proposition 4.7. We do not repeat the details. \(\square \)
4.3 Degree zero relative invariants
The following invariants will also appear in the J-function when plugging in the mirror map:
We again apply the definition of relative Gromov–Witten invariants with negative contact orders in Sect. 2.1 and then pushforward the rubber moduli to \(\overline{M}_{0,l+2} (D,\pi _*(\beta ))\). Then applying the string equation \((l+1)\)-times, then the invariants vanish unless \(\beta =0\).
When \(l=1\), the invariants have two markings with positive contact orders and one marking with negative contact order. By direct computation, we have
Therefore, We still need to compute degree zero, genus zero relative invariants with two positive contacts and several negative contacts. By the definition of relative invariants with negative contact orders in Sect. 2.1, the bipartite graphs simplifies to a single vertex of type 0 and the moduli space is simply the product \(\overline{M}_{0,n}\times D\).
We will have the following result.
Proposition 4.9
where \(k_1, \ldots , k_l\) are positive integers and
These invariants can be computed from the I-function. The I-function is a limit of the I-function for the twisted invariants of \(B{\mathbb {Z}}_r\). The I-function is also the restriction of the I-function for (X, D) to the degree zero case.
Before computing the corresponding orbifold invariants, we briefly recall the relative-orbifold correspondence of [FWY20]:
where there are m markings in total and \(m_-\) of them are markings with negative contact orders; \(a_i\in {\mathbb {Z}}_{\ge 0}\); \(\gamma _i\) are cohomology classes of X (or D) when the marking is interior (or relative/orbifold, respectively). We would like to point out that it is important to keep in mind the factor \(r^{m_-}\).
We need to consider the S-extended I-function for the twisted Gromov–Witten invariants of \(B{\mathbb {Z}}_r\) for sufficiently large r, with extended data
The I-function is
where \(\langle b \rangle \) is the fractional part of the rational number b.
The orbifold mirror map, the \(z^0\)-coefficient of the I-function, is
Since the expression of the I-function and the mirror map looks quite complicated for general l. We would like to first start with the computation for the case when \(l=2\) for a better explanation of the idea.
4.3.1 Computation for \(l=2\)
When \(l=2\), the I-function becomes
The orbifold mirror map is
We would like to take the coefficient of \(x_1x_{-k_1}x_{-k_2}z^{-1}[1]_{-\frac{k_1+k_2-1}{r}}\) of the I-function and the J-function. The coefficient of the I-function is
By the mirror theorem, this coefficient of the I-function coincides with the coefficient of the J-function:
Note that the invariant
coincides with degree zero relative invariant with one negative contact order and the value of the invariants is 1 by direct computation. Therefore, we have
Hence, we have
We conclude that, the degree zero relative invariant with two negative contact orders is
4.3.2 Computation for general l
Proof of Proposition 4.9
We proceed with induction on l. Suppose Identity (26) is true for \(l=N>0\). For \(l=N+1\), extracting the coefficient \(x_1\prod _{i=1}^{N+1} x_{-k_i}z^{-1}[1]_{-1-\frac{\sum _{i=1}^{N+1} k_i}{r}}\) of the I-function (27), we have
The corresponding coefficient of the J-function is
We further multiply both coefficients of the I-function and the J-function by \(r^{-N}\), then take the constant coefficient (which is the coefficient of the lowest power of r). This coefficient of the I-function is
Apply the induction on l, the coefficient of the J-function is
The coefficient of the J-function can be simplified to
Therefore, the identity of the (coefficients of the) I-function and the J-function is
The binomial theorem implies that
The orbifold definition of the relative Gromov–Witten invariants with negative contact orders implies Identity (26). \(\square \)
4.4 Relative mirror map
We recall that the extended relative mirror map (20) is
Let
Let \(\iota : D\hookrightarrow X\) be the inclusion map and \(\iota _!:H^*(D)\rightarrow H^*(X)\) be the Gysin pushforward. Recall that
where \({\mathfrak {H}}_0=H^*(X)\) and \({\mathfrak {H}}_i=H^*(D)\) for \(i\ne 0\). We also denote \(\iota _!:{\mathfrak {H}}\rightarrow H^*(X)\) for the map such that it is the identity map for the identity sector \({\mathfrak {H}}_0\) and is the Gysin pushforward for twisted sectors \({\mathfrak {H}}_i\). We first let \(x_1=0\), then
This has the same effect with the change of variables
or,
We will also refer to the change of variables (28) as the relative mirror map. In particular, relative mirror map coincides with the local mirror map of \({\mathcal {O}}_X(-D)\) after a change of variables \(y\mapsto -y\).
When \(x_1\ne 0\), we will be able to compute invariants with more than one positive contact order. We will consider it in the following section.
5 Theta Function Computation via Relative Mirror Theorem
Theorem 5.1
Let X be a smooth projective variety with a smooth nef anticanonical divisor D. Let \(W:=\vartheta _1\) be the mirror proper Landau–Ginzburg potential. Set \(q^\beta =t^{D\cdot \beta }x^{D\cdot \beta }\). Then
where
and \(y=y(q)\) is the inverse of the relative mirror map (28).
We will prove Theorem 5.1 in this section through the mirror theorem for the smooth pair (X, D) proved in [FTY19].
For the purpose of the computation of the theta function:
we will only consider the S-extended I-function with
Recall that the S-extended I-function of (X, D) is defined as follows:
where
and
5.1 Extracting the coefficient of the J-function
We consider the J-function
where
and
The sum over the coefficient of \(x_1z^{-1}\) of \(J(\tau (y,x_1),z)\) that takes value in \([1]_{-n}\), for \(n\ge 1\), is the following
By Proposition 4.7, we have
where
and
When \(D\cdot \beta =0\), the invariants are studied in Sect. 4.3. As mentioned at the beginning of Sect. 4.3, we need to have \(\beta =0\). The degree zero invariants are computed in Proposition 4.9. Therefore, we have
Therefore, (30) and (31) imply that (29) is
Note that (32) is not exactly the generating function of relative invariants in the theta function \(\vartheta _1\). We want to compute \(\sum _{\beta : D\cdot \beta =n+1,n\ge 1}n \langle [1]_1,[{\text {pt}}]_{n}\rangle _{0,\beta ,2}^{(X,D)}q^\beta \) instead of \(\sum _{\beta : D\cdot \beta =n+1,n\ge 1} \langle [1]_1,[{\text {pt}}]_{n}\rangle _{0,\beta ,2}^{(X,D)}q^\beta \).
Write
for some \(m_i\in {\mathbb {Z}}_{\ge 0}\). In order to compute \(\vartheta _1\), we apply the operator \(\Delta _D=\sum _{i=1}^r m_iy_i\frac{\partial }{\partial y_i}-1\) to the J-function \(J(\tau (y,x_1),z)\). Then (32) becomes
We compute the partial derivatives
Therefore,
Hence, (33) is
5.2 Extracting the coefficient of the I-function
Recall that, when \(\beta =0\), we have
When \(\beta \ne 0\), we have
and
The I-function can be expanded as
We would like to sum over the coefficient of \(x_1z^{-1}\) of the I-function that takes value in \([1]_{-n}\) for \(n\ge 1\). By direct computation, the sum of the coefficients is
We apply the operator
to the I-function I(y, z). Then (34) becomes
5.3 Matching
The relative mirror theorem of [FTY19] states that the coefficients of the I-function and the J-function are the same. Therefore, we have
Recall that
Therefore
we conclude that (35) becomes
Therefore
We have
where \(y=y(q)\) is the inverse mirror map. This concludes Theorem 5.1.
6 Toric Varieties and the Open Mirror MMap
In this section, we will specialize our result to the toric case. The proper Landau–Ginzburg potential can be computed explicitly.
Let X be a toric variety with a smooth, nef anticanonical divisor D. Recall that the small J-function for absolute Gromov–Witten theory of X is
where \(\tau _{0,2}=\sum _{i=1}^r p_i \log q_i\in H^2(X)\); \(\{\phi _\alpha \}\) is a basis of \(H^*(X)\); \(\{\phi ^\alpha \}\) is the dual basis under the Poincaré pairing.
By [Giv98], the I-function for a toric variety X is
where \(t=\sum _{a=1}^r p_a \log y_a\), \(y^\beta =y_1^{p_1\cdot \beta }\cdots y_r^{p_r\cdot \beta }\) and \(D_i\)’s are toric divisors.
The I-function can be expanded as
The J-function and the I-function are related by the following change of variables, called the (absolute) mirror map:
Set \(z=1\), the coefficient of the \(1\in H^0(X)\) of the J-function is
The corresponding coefficient of the I-function is
6.1 Toric Fano varieties
When X is Fano, the absolute mirror map is trivial. Then we have
Then Theorem 5.1 specialize to
where y(q) is the inverse to the relative mirror map
If we further specialize the result to dimension 2 case, we recover the main result of [GRZ22].
6.2 Toric varieties with a smooth, nef anticanonical divisor
Theorem 5.1 specializes to
where y(q) is the inverse to the relative mirror map
Let X be a Fano variety with a smooth anticanonical divisor D. In [GRZ22], the authors proposed that the mirror proper Landau–Ginzburg potential is the open mirror map of the local Calabi–Yau \({\mathcal {O}}_X(-D)\). When X is toric, the open mirror map for the toric Calabi–Yau \({\mathcal {O}}_X(-D)\) has been computed in [CCLT16, CLT13] (see also [You20] for the computation in terms of relative Gromov–Witten invariants).
The SYZ mirror construction for a toric Calabi–Yau manifold Y was constructed in [CCLT16, CLT13]. We specialize to the case when \(Y={\mathcal {O}}_X(-D)\) where D is a smooth, nef, anticanonical divisor of X. Note that, we do not need to assume X is Fano. The SYZ mirror of Y is modified by the instanton corrections. Following [Aur07, Aur09], the SYZ mirror of a toric Calabi–Yau manifold was constructed in [CCLT16, CLT13] where the instanton corrections are given by genus zero open Gromov–Witten invariants. These open Gromov–Witten invariants are virtual counts of holomorphic disks in Y bounded by fibers of the Gross fibration. It was shown in [CCLT16, CLT13] that the generating function of these open invariants is the inverse of the mirror map for Y. This generating function of these open invariants is referred to as the open mirror map in [GRZ22].
Comparing the open mirror map of [CCLT16, CLT13] with our relative mirror map, we directly have
Theorem 6.1
Let (X, D) be a smooth log Calabi–Yau pair, such that X is toric and D is nef. The proper Landau–Ginzburg potential of (X, D) is the open mirror map of the local Calabi–Yau manifold \({\mathcal {O}}_X(-D)\).
6.3 Beyond the toric case
Beyond the toric setting, the conjecture of [GRZ22] is also expected to be true as long as we assume the following principal (open-closed duality) in mirror symmetry.
Conjecture 6.2
The instanton corrections of a local Calabi–Yau manifold \({\mathcal {O}}_X(-D)\) is the inverse mirror map of the local mirror theorem that relates local Gromov–Witten invariants with periods.
Open Gromov–Witten invariants have not been defined in the general setting. Moreover, open Gromov–Witten invariants are more difficult to compute. On the other hand, the local mirror map can usually be computed. As we have seen in Sect. 4.4, the local mirror map and the relative mirror map coincide. Therefore, we have the following result.
Corollary 6.3
Assuming Conjecture 6.2, the proper Landau–Ginzburg potential is the open mirror map.
7 Fano Varieties and Quantum Periods
For a Fano variety X, the function g(y) is closely related to the quantum period of X. In fact, we have
Theorem 7.1
The function g(y) coincides with the anti-derivative of the regularized quantum period.
Proof
We recall that
We consider the change of variables
Then the derivative \(\frac{d}{dt}\) of g(t) is
which is precisely the regularized quantum period in [CCG13]. \(\square \)
Following the Fanosearch program, the regularized quantum period of a Fano variety coincides with the classical period of its mirror Laurent polynomial. A version of the relation between the quantum period and the classical period was obtained in [TY23b] using the formal orbifold invariants of infinite root stacks [TY23a]. Combining with the Fanosearch program, one can explicitly compute the proper Landau–Ginzburg potential of a Fano variety as long as one knows its mirror Lanurent polynomial. In particular, we have found explicit expressions of the proper Landau–Ginzburg potentials for all Fano threefolds using the expression of the quantum periods in [CCGK16].
Example 7.2
We consider the Fano threefold \(V_{10}\) in [CCGK16, Section 12]. It is a Fano threefold with Picard rank 1, Fano index 1, and degree 10. It can be considered as a complete intersection in the Grassmannian \({\text {Gr}}(2,5)\). Following [CCGK16], the quantum period is
where \(H_m\) is the m-th harmonic number.
Therefore,
The proper Landau–Ginzburg potential is
where y(tx) is the inverse of
Similarly, one can compute the proper Landau–Ginzburg potential for all Fano threefold using the quantum period in [CCGK16]. Moreover, there are large databases [CK22] of quantum periods for Fano manifolds which can be used to compute the proper Landau–Ginzburg potential.
Remark 7.3
We noticed that H. Ruddat [Rud22] has been working on the relation between the proper Landau–Ginzburg potential and the classical period. This can also be seen from Theorem 7.1 because it is expected from mirror symmetry that the regularized quantum period of a Fano variety equals the classical period of the mirror Laurent polynomial. The Laurent polynomials are considered as the potential for the weak, non-proper, Landau–Ginzburg model of [Prz07, Prz13]. Therefore, Theorem 7.1 provides an explicit relation between the proper and non-proper Landau–Ginzburg potentials.
References
Abramovich, D., Chen, Q., Gross, M., Siebert, B.: Punctured logarithmic maps (2020). arXiv preprint arXiv:2009.07720
Auroux, D.: Mirror symmetry and \(T\)-duality in the complement of an anticanonical divisor. J. Gökova Geom. Topol. GGT 1, 51–91 (2007)
Auroux, D.: Special Lagrangian fibrations, wall-crossing, and mirror symmetry, Surveys in differential geometry. Vol. XIII. Geometry, analysis, and algebraic geometry: forty years of the Journal of Differential Geometry, Surv. Differ. Geom., vol. 13. Int. Press, Somerville, MA, pp. 1–47 (2009). https://doi.org/10.4310/SDG.2008.v13.n1.a1
Bardwell-Evans, S., Cheung, M.-W. M., Hong, H., Lin, Y.-S.: Scattering diagrams from holomorphic discs in log Calabi-Yau surfaces (2021). arXiv preprint arXiv:2110.15234
Battistella, L., Nabijou, N., Ranganathan, D.: Gromov–Witten theory via roots and logarithms. Geom. Topol. (to appear) (2022). arXiv preprint arXiv:2203.17224
Battistella, L., Nabijou, N., Ranganathan, D.: In preparation, Dhruv (2022)
Coates, T., Corti, A., Galkin, S., Kasprzyk, A.: Quantum periods for 3-dimensional Fano manifolds. Geom. Topol. 20(1), 103–256 (2016). https://doi.org/10.2140/gt.2016.20.103
Coates, T., Corti, A., Galkin, S., Golyshev, V., Kasprzyk, A.: Mirror symmetry and Fano manifolds. In: European Congress of Mathematics, pp. 285–300. Eur. Math. Soc., Zürich (2013)
Chan, K., Cho, C.-H., Lau, S.-C., Tseng, H.-H.: Gross fibrations, SYZ mirror symmetry, and open Gromov-Witten invariants for toric Calabi-Yau orbifolds. J. Differ. Geom. 103(2), 207–288 (2016)
Ciocan-Fontanine, I., Kim, B., Sabbah, C.: The abelian/nonabelian correspondence and Frobenius manifolds. Invent. Math. 171(2), 301–343 (2008). https://doi.org/10.1007/s00222-007-0082-x
Collins, T.C., Jacob, A., Lin, Y.-S.: The SYZ mirror symmetry conjecture for del Pezzo surfaces and rational elliptic surfaces (2020). arXiv preprint arXiv:2012.05416
Collins, T.C., Jacob, A., Lin, Y.-S.: Special Lagrangian submanifolds of log Calabi–Yau manifolds. Duke Math. J. 170(7), 1291–1375 (2021). https://doi.org/10.1215/00127094-2021-0012
Coates, T., Kasprzyk, A.M.: Databases of quantum periods for Fano manifolds. Sci. Data 9(1), 1–8 (2022)
Chan, K., Lau, S.-C., Leung, N.C., Tseng, H.-H.: Open Gromov-Witten invariants, mirror maps, and Seidel representations for toric manifolds. Duke Math. J. 166(8), 1405–1462 (2017). https://doi.org/10.1215/00127094-0000003X
Chan, K., Lau, S.-C., Tseng, H.-H.: Enumerative meaning of mirror maps for toric Calabi–Yau manifolds. Adv. Math. 244, 605–625 (2013). https://doi.org/10.1016/j.aim.2013.05.018
Carl, M., Pumperla, M., Siebert, B.: A tropical view on Landau–Ginzburg models (2022). arXiv preprint arXiv:2205.07753
Fan, H., Tseng, H.-H., You, F.: Mirror theorems for root stacks and relative pairs. Sel. Math. (N.S.) 25(4), Art. 54, 25 (2019). https://doi.org/10.1007/s00029-019-0501-z
Fan, H., Wu, L., You, F.: Structures in genus-zero relative Gromov–Witten theory. J. Topol. 13(1), 269–307 (2020)
Givental, A.: A mirror theorem for toric complete intersections, Topological field theory, primitive forms and related topics (Kyoto, 1996), Progr. Math., vol. 160, pp. 141–175. Birkhäuser Boston, Boston (1998)
Graefnitz, T.: Theta functions, broken lines and 2-marked log Gromov–Witten invariants (2022). arXiv preprint arXiv:2204.12257
Gräfnitz, T., Ruddat, H., Zaslow, E.: The proper Landau-Ginzburg potential is the open mirror map (2022). arXiv preprint arXiv:2204.12249
Gross, M., Siebert, B.: Intrinsic mirror symmetry (2019). arXiv preprint arXiv:1909.07649
Gross, M., Siebert, B.: The canonical wall structure and intrinsic mirror symmetry. Invent. Math. 229(3), 1101–1202 (2022). https://doi.org/10.1007/s00222-022-01126-9
Janda, F., Pandharipande, R., Pixton, A., Zvonkine, D.: Double ramification cycles with target varieties. J. Topol. 13(4), 1725–1766 (2020). https://doi.org/10.1112/topo.12174
Lin, Y.-S.: Enumerative geometry of del Pezzo surfaces (2020). arXiv preprint arXiv:2005.08681, to appear in Trans. Amer. Math. Soc
Lau, S.-C., Lee, T.-J., Lin, Y.-S.: SYZ mirror symmetry for del Pezzo surfaces and affine structures (2022). arXiv preprint arXiv:2206.01681
Lau, S.-C., Leung, N.C., Wu, B.: A relation for Gromov–Witten invariants of local Calabi–Yau threefolds. Math. Res. Lett. 18(5), 943–956 (2011). https://doi.org/10.4310/MRL.2011.v18.n5.a12
Maulik, D., Pandharipande, R.: A topological view of Gromov–Witten theory. Topology 45(5), 887–918 (2006). https://doi.org/10.1016/j.top.2006.06.002
Przyjalkowski, V.: On Landau-Ginzburg models for Fano varieties. Commun. Number Theory Phys. 1(4), 713–728 (2007). https://doi.org/10.4310/CNTP.2007.v1.n4.a4
Przhiyalkovskiĭ, V.V.: Weak Landau-Ginzburg models of smooth Fano threefolds. Izv. Ross. Akad. Nauk Ser. Mat. 77(4), 135–160 (2013). https://doi.org/10.1070/im2013v077n04abeh002660
Ruddat, H.: In preparation (2022)
Tseng, H.-H., You, F.: A Gromov–Witten theory for simple normal-crossing pairs without log geometry. Commun. Math. Phys. 401(1), 803–839 (2023). https://doi.org/10.1007/s00220-023-04656-2
Tseng, H.-H., You, F.: A mirror theorem for multi-root stacks and applications. Sel. Math. (N.S.) 29(1), Paper No. 6, 33 (2023). https://doi.org/10.1007/s00029-022-00809-8
Urundolil Kumaran, A., Wu, L.: A new approach to the operator formalism for Gromov–Witten invariants of the cap and tube. Adv. Math. 435(part A), Paper No. 109357, 49 (2023). https://doi.org/10.1016/j.aim.2023.109357
van Garrel, M., Graber, T., Ruddat, H.: Local Gromov–Witten invariants are log invariants. Adv. Math. 350, 860–876 (2019)
Wang, Y.: Gross-Siebert intrinsic mirror ring for smooth log Calabi–Yau pairs (2022). arXiv preprint arXiv:2209.15365
You, F.: Relative Gromov–Witten invariants and the enumerative meaning of mirror maps for toric Calabi–Yau orbifolds. Trans. Am. Math. Soc. 373(11), 8259–8288 (2020). https://doi.org/10.1090/tran/8196
Acknowledgements
The author would like to thank Mark Gross for explaining the construction of Landau–Ginzburg potentials from intrinsic mirror symmetry. The author would also like to thank Yu Wang for illuminating discussions regarding Sect. 3.
Funding
Open access funding provided by Swiss Federal Institute of Technology Zurich This project has received funding from the Research Council of Norway Grant No. 202277 and the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska -Curie Grant Agreement 101025386.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author has no competing interests to declare that are relevant to the content of this article.
Additional information
Communicated by N. Nekrasov
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
You, F. The Proper Landau–Ginzburg Potential, Intrinsic Mirror Symmetry and the Relative Mirror Map. Commun. Math. Phys. 405, 79 (2024). https://doi.org/10.1007/s00220-024-04954-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00220-024-04954-3