THE PROPER LANDAU–GINZBURG POTENTIAL, INTRINSIC MIRROR SYMMETRY AND THE RELATIVE MIRROR MAP

. Given a smooth log Calabi–Yau pair ( X,D ) , we use the intrinsic mirror symmetry construction to deﬁne the mirror proper Landau– Ginzburg potential and show that it is a generating function of two-point relative Gromov–Witten invariants of ( X,D ) . 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 , we prove the conjecture of [GRZ22] 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.


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 ∨ with a proper map, called the superpotential, W ∶ X ∨ → 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 ∨ and the proper Landau-Ginzburg potential W .
The variety X ∨ is considered as the mirror of the complement X ∖ D. A general construction of the variety X ∨ is through intrinsic mirror symmetry [GS19] in the Gross-Siebert program.One considers a maximally unipotent degeneration g ∶ Y → 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 ′ ) of (Y, D ′ ), where D ′ 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 function in [GRZ22] was defined tropically.By proving a tropical correspondence theorem in [Gra22], they showed that the theta function can be written as a generating function 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 X.Then use the local-relative correspondence of [vGGR19] to relate these invariants to local invariants of the Calabi-Yau threefold K 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 → S and the pair (Y, D ′ ) from the construction of X ∨ .Following the mirror construction of [GS19, Construction 1.19], the theta functions in QH 0 log (Y, D ′ ) 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 Spec QH 0 log (X, D) = A 1 and the superpotential is W = ϑ 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 ≥ 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 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 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 .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 wellknown, 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 [TY20a]) 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 Ifunction, 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, [TY20a].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 Definition 4.1 and Definition 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 τ (y, 0), denoted by τ (y).
The relative mirror theorem of [FTY19] states that Therefore from the expression of τ (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 0,l+1,β , where γ ∈ H * (D), k i 's are positive integers, and With these preparations, we are able to express invariants in J(τ (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 r i=1 p i log q i = r i=1 p i log y i + g(y)D.
(3) 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: In Proposition 4.7, we show that these invariants equal to two point invariants 0,2,β .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: 0,l+2,0 .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] and [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 insertions k i ≥ 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 ϑ 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 ∶= ϑ 1 be the mirror proper Landau-Ginzburg potential.Set q β = t D⋅β x D⋅β .Then W = x −1 exp (g(y(q))) , 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 ∨ , 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] and [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] and [BECHL21].
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 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 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 O X (−D).
In general, Theorem 1.10 is true as long as the open-closed duality (e.g.[CLT13] and [CCLT16]) between open Gromov-Witten invariants K X and closed Gromov-Witten invariants P (O(−D) ⊕ O) is true.Therefore, we have the following.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] and [TY20a].It has already been observed in [TY20a] 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 [TY20a].
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 ∖ D [Aur07].Open Gromov-Witten invariants of O X (−D) appear in Theorem 1.10 maybe because there exists an identity between open Gromov-Witten invariants of O X (−D) and the open Gromov-Witten invariants of X ∖ 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 ∖ 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 Section 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 [CCG + 13].
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.
1.4.Acknowledgement.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 Section 3.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 lodowska -Curie grant agreement 101025386.

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 ⊂ X be a smooth divisor.We consider a topological type (also called an admissible graph) Definition 2.1 ([FWY20], Definition 2.4).A rubber graph Γ ′ is an admissible graph whose roots have two different types.There are (1) 0-roots (whose weights will be denoted by µ 0 1 , . . ., µ 0 ρ 0 ), and (2) ∞-roots (whose weights will be denoted by µ Definition 2.2 ([FWY20], Definition 4.1).A (connected) graph of type 0 is a weighted graph Γ 0 consisting of a single vertex, no edges, and the following.
(1) 0-roots, (2) ∞-roots of node type, (3) ∞-roots of marking type, (4) Legs.0-roots are weighted by positive integers, and ∞-roots are weighted by negative integers.The vertex is associated with a tuple (g, β) where g ≥ 0 and A graph Γ ∞ of type ∞ is an admissible graph such that the roots are distinguished by node type and marking type.
(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 B Γ be a connected admissible bipartite graph of topological type Γ.Given a bipartite graph G ∈ B Γ , we consider is the moduli space of relative stable maps to rubber target is the moduli space of relative stable maps of type Γ ∞ ; • × D E is the fiber product identifying evaluation maps according to edges.We have the following diagram. (4) There is a natural virtual class where ∆ ! is the Gysin map.
For each where n i is the number of legs, ρ i is the number of 0-roots plus the number of ∞-roots of marking type, and β i is the curve class of Γ 0 i .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 Γ.
Let t be a formal parameter.Given a Γ ∞ , we define where Ψ ∞ is the divisor corresponding to the cotangent line bundle determined by the relative divisor on the ∞ side.We then define where d e j is the absolute value of the weight at the root e j .
For each Γ 0 i , define where ρ ∞ (i) is the number of ∞-roots (of both types) associated with Γ 0 i .For each G, we write where [⋅] t 0 means taking the constant term, and 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 Γ is defined to be where ι is the vertical arrow in Diagram (4).
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 0,n+ρ,β , where r is sufficiently large; ρ − is the number of orbifold markings with large ages (=relative markings with negative contact orders); γ 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.

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 G such that {Γ 0 i } consists of only one element (denoted by Γ 0 ).Denote such a set of graphs by B ′ Γ .The relative Gromov-Witten cycle of topological type Γ is simply Note that , and a i ∈ Z ≥0 for i ∈ {1, . . ., n}; ǫ j ∈ H * (D), and b j ∈ Z ≥0 for j ∈ {1, . . ., ρ}.
Without loss of generality, we assume that ǫ 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 Aut(E) is the permutation group of the set {d 1 , . . ., d E }; η is defined by taking the Poincaré dual of the cohomology weights of the cohomology weighted partition η; the second sum is over all splittings of {1, . . ., n} = S α,1 ⊔ S α,2 , {2, . . ., ρ} = S ǫ,1 ⊔ S ǫ,2 and all intermediate cohomology weighted partitions η.
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 ⊂ 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 c Γ (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] and [GS21] 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 → S of the smooth pair (X, D).The mirror of X ∖ D is constructed as the projective spectrum of the degree zero part of the relative quantum cohomology of (Y, D ′ ), where D ′ is certain divisor of Y that includes g −1 (0).
Let (B ′ , P, ϕ) be the dual intersection complex or the fan picture of the degeneration.Recall that B ′ is an integral affine manifold with finite polyhedral decomposition P and a multi-valued strictly convex piecewise linear function ϕ.An asymptotic direction is an integral tangent vector of a one-dimensional unbounded cell in (B ′ , P, ϕ) that points in the unbounded direction.
Definition 3.1.The dual intersection complex (B ′ , P) is asymptotically cylindrical if • For every polyhedron σ in P, all of the unbounded one-faces of σ are parallel with respect to the affine structure on σ.
We consider the case when D is smooth.Hence, (B ′ , P) is asymptotically cylindrical and B ′ has one unbounded direction m out .We choose φ such that φ(m out ) = 1 on all unbounded cells.
For the smooth pair (X, D), one can also consider its relative quantum cohomology.Let QH 0 log (X, D) be the degree zero subalgebra of the relative quantum cohomology ring QH * 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(Z) be the set of integer points of B. Since D is smooth, B(Z) is the set of nonnegative integers.The set of theta functions form a canonical basis of QH 0 log (X, D).Moreover, theta functions satisfy the following multiplication rule Recall that the structure constants N β 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 ∈ B(Z), one "output" with negative contact order given by −r such that r ∈ B(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 → S and the pair (Y, D ′ ) from the intrinsic mirror construction of the mirror X ∨ .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 ′ ) agrees with QH 0 log (X, D).The base of the Landau-Ginzburg mirror of (X, D) is Spec QH 0 log (X, D) = A 1 and the superpotential is W = ϑ 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 ϑ 1 .We would like to compute the structure constants N β 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.
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 ≤ p 2 .Then the structure constants N β 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 β p 1 ,p 2 ,−r (9) is a relative invariant with one negative contact order.It can be written as where be the natural projection of the rubber map to X and contracting the resulting unstable components.By [JPPZ20, Theorem 2], we have The marking [1] k becomes the identity class 1 ∈ H * (D).Applying the string equation implies that the rubber invariant ⟨ [pt] r , η⟩ ∼ Γ 0 vanishes unless π * (β 1 ) = 0 and m = 3.However, π * (β 1 ) = 0 implies that D 0 ⋅ β 1 = D ∞ ⋅ β 1 .On the other hand, there is no relative marking at D 0 .Therefore D 0 ⋅ β 1 = 0. We also know that D ∞ ⋅ β 1 > 0 because η is not empty.This is a contradiction.Therefore, we can not have S 1 = ∅.(II) S 1 ≠ ∅: In this case, for ⟨∏ j∈S 1 ǫ j , [pt] r , η⟩ ∼ Γ 0 , the relative insertion Again, we consider the natural projection by the projection formula and the string equation, ⟨ vanishes unless π * (β 1 ) = 0 and m = 3.Note that π * (β 1 ) = 0 implies D 0 ⋅ β = D ∞ ⋅ β, for any effective curve class β of P .We recall that we assume that r < p 1 ≤ p 2 , therefore η must contain at least one markings with positive contact order.Then ∏ j∈S 1 ǫ j must contain exactly one of [1] p 1 , [1] p 2 when r < p 1 .Therefore, Hence, (11) is the sum of the following two invariants 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 [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 ≤ r < p 2 : We again have the formula (11) as in the first case.The difference is that we can not have ∏ j∈S 1 ǫ j = [1] p 1 because this will imply that η contains the non-positive contact order element [1] p 1 −r .Therefore, we have (4) r ≥ p 2 and r ≠ p 1 + p 2 : Similar to the previous case, we can not have The invariant is 0.
(5) p 1 + p 2 = r: In this case, we can have η to be empty.Then there is no Γ ∞ and the curves entirely lie in D. Therefore, there is only one rubber integral.The invariant is just 1.
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 3.3.Theta functions.Now we define the theta function in terms of twopoint relative Gromov-Witten invariants of (X, D).
Definition 3.6.Write x = z (−mout,−1) and t = z (0,1) .For p ≥ 1, the theta function is where We also write To justify the definition of the theta function, we need to show that this definition satisfies the multiplication rule (8).Plug-in (12) to ϑ p 1 ⋆ ϑ 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 ≤ 0, of (13) and ( 14) are the same: without loss of generality, we assume that p 1 ≤ p 2 .Then, we have the following cases.
• k ≤ −p 2 , and k ≠ −p 1 − p 2 : we see that the coefficient of ϑ p 1 ⋆ ϑ 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.
By Proposition 3.3, the corresponding coefficient N p 1 ,p 2 ,k in ( 14) is: 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 β such that D ⋅ β = p 1 + p 2 + k, all splittings of β 1 + β 2 = β and the dual bases (I) We first consider the LHS of the WDVV equation ( 16): We analyze the invariant in (17).(i) i < 0: we claim that the invariant vanishes.By the virtual dimension constraint, deg We apply the definition of relative Gromov-Witten invariants with negative contact orders in Section 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 ∞ with insertion 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 c Γ is trivial.We consider the rubber moduli space where the third marking is distributed to and pushforward this rubber moduli space to the moduli space M 0,m (D, π * β v ) of stable maps to D. The marking with [1] p 1 +p 2 becomes the identity class 1 ∈ H * (D).Apply the string equation, we see that the rubber invariant vanishes unless π * (β v ) = 0 and m = 3. However π * (β v ) = 0 implies that D 0 ⋅ β v = D ∞ ⋅ β v .This is not possible because, based on the insertions of the markings, we must have 2): the first marking and the third marking are distributed to the same rubber space.The class c Γ is a sum of descendant classes of degree one.By the virtual dimension constraint, η 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 ≥ 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 C X − 1).By the virtual dimension constraint, we must have -When i = p 2 , we have the term in (17), by Proposition 3.5.
, by Proposition 3.5.We summarize the above analysis of (17) in terms of i: (II) Now we look at the RHS of the WDVV equation ( 16): 0,β 2 ,3 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: It is a contradiction.
• If i = 0, by the virtual dimension constraint, we must have The string equation implies the invariant is zero.
We have This completes the proof.
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 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].

A mirror theorem for smooth pairs
4.1.Relative mirror theorem.Let X be a smooth projective variety.Let {p i } r i=1 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 is the cone of effective curve classes in X; {φ α } is a basis of H * (X); {φ α } 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 H i naturally embeds into H.For an element γ ∈ H i , we denote its image in H by [γ] i .Define a pairing on 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 τ 0,2 ∈ 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 Ifunction I (X,D) (y, τ, 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.
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 τ (y, x 1 ), is the relative mirror map: The relative mirror theorem of [FTY19] states that J(τ (y, x 1 ), z) = I(y, x 1 , z).
The function τ (y, x 1 ) is the mirror map computed from the extended Ifunction.We will refer to τ (y, x 1 ) as the extended relative mirror map.The relative mirror map for the non-extended I-function is τ (y, 0).We will refer to it as the relative mirror map and denote it by τ (y).
To be able to compute invariants from the relative mirror theorem, we need to understand the invariants that appear in J(τ (y, x 1 ), z).In particular, we need to understand the following invariants in order to compute the theta function ϑ 1 .
• Relative invariants with one positive contact order and several negative contact orders: , where 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: k i ≥ 0, and k i > 0.
• Degree zero relative invariants with two positive contact orders and several negative contact orders of the following form: 0,l+2,0 .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 ∈ 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 β, Then we have the following relation.
Proof.The base case I: a = 0.
In this case, there are no descendant classes.Then the identity becomes By Section 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 Section 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 for every effective curve class β D in D. Let β v be a curve class associated to a vertex v in Γ 0 , we must have where π ∶ P → D is the projection map.Therefore, the nefness of D implies that, for each M ∼ Γ 0 i (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 Since there is only one positive contact marking, there can only be one rubber moduli, denoted by M ∼ Γ 0 (D).Therefore, all the negative contact markings, as well as the positive contact marking, are distributed to M ∼ Γ 0 (D).The invariant can be written as where the superscript c Γ means capping with the class c )) be the natural projection of the rubber map to X and contracting the resulting unstable components.By [JPPZ20, Theorem 2], we have where π ∶ P → D is the projection map.
Note that there are l identity classes [1] and the degree of the class c Γ (X D) is less or equal to l − 1.We can apply the string equation l-times.
vanishes unless π * (β) = 0 and η contains exactly one element.Moreover, η needs to be [γ] D⋅β and η needs to be [γ] D⋅β .Therefore, ⟨η⟩ 0,1,β .There is only one edge, hence with π * (β) = 0.This is the same as the rubber invariant with the base being a point.Set d = D ⋅ β.We claim that it coincides with the following relative Gromov-Witten invariants of (P 1 , 0 ∪ ∞) 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 This proves the claim that 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 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 ≥ 0. When a = N + 1, we apply the topological recursion relation where the sum is over all β 1 + β 2 = β, all indices i, k of basis and S 1 , S 2 disjoint sets with S 1 ∪ S 2 = {3, . . ., l}.The nefness of the divisor D implies 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 c Γ 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).
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.
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 M ∼ Γ 0 i (D) labelled by Γ 0 i and each rubber moduli 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 [γ] 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 M g,n (D, π * (β)), there are (l + 1)-identity class 1 and the degree of the class c Γ 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 Γ 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 η is D ⋅ β − 1 instead of D ⋅ β.Therefore, we have the factor (D ⋅ β − 1) l instead of (D ⋅ β) l .
One can add more insertions of [1] 1 , then we have a similar identity as follows.
Proof.The proof is similar to the proof of Proposition 4.6 and Proposition 4.7.We do not repeat the details.4.3.Degree zero relative invariants.The following invariants will also appear in the J-function when plugging in the mirror map: 0,l+2,β , with D ⋅ β = 0. We again apply the definition of relative Gromov-Witten invariants with negative contact orders in Section 2.1 and then pushforward the rubber moduli to M 0,l+2 (D, π * (β)).Then applying the string equation (l+1)-times, then the invariants vanish unless β = 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 0,3,0 = 1.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 Section 2.1, the bipartite graphs simplifies to a single vertex of type 0 and the moduli space is simply the product M 0,n × D.
We will have the following result.
where k 1 , . . ., 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 BZ 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 ∈ Z ≥0 ; γ 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 BZ r for sufficiently large r, with extended data where ⟨b⟩ 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 The binomial theorem implies that The orbifold definition of the relative Gromov-Witten invariants with negative contact orders implies Identity (26).
4.4.Relative mirror map.We recall that the extended relative mirror map (20) is Let ι ∶ D ↪ X be the inclusion map and ι !∶ H * (D) → H * (X) be the Gysin pushforward.Recall that where H 0 = H * (X) and H i = H * (D) for i ≠ 0. We also denote ι !∶ H → H * (X) for the map such that it is the identity map for the identity sector H 0 and is the Gysin pushforward for twisted sectors H i .We first let x 1 = 0, then ι!J (X,D) (τ (y), z) = e (∑ r i=1 p i log y i +g(y)D) z ⎛ ⎝ z + β∈NE(X) α This has the same effect with the change of variables r i=1 p i log q i = r i=1 p i log y i + g(y)D, (28) or, q β = e g(y)D⋅β y β .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 O X (−D) after a change of variables y ↦ −y.
When x 1 ≠ 0, we will be able to compute invariants with more than one positive contact order.We will consider it in the following section.

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 ∶= ϑ 1 be the mirror proper Landau-Ginzburg potential.Set q β = t D⋅β x D⋅β .Then 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: 5.1.Extracting the coefficient of the J-function.We consider the Jfunction J(τ (y, x 1 ), z), where The sum over the coefficient of x 1 z −1 of J(τ (y, x 1 ), z) that takes value in [1] −n , for n ≥ 1, is the following By Proposition 4.7, we have When D ⋅ β = 0, the invariants are studied in Section 4.3.As mentioned at the beginning of Section 4.3, we need to have β = 0.The degree zero invariants are computed in Proposition 4.9.Therefore, we have β∶D⋅β=0 n≥1,k>0 Therefore, (30) and (31) imply that (29) is [J(τ (y, x 1 ), z)] Note that (32) is not exactly the generating function of relative invariants in the theta function ϑ 1 .We want to compute ∑ β∶D⋅β=n+1,n≥1 n⟨ for some m i ∈ Z ≥0 .In order to compute ϑ 1 , we apply the operator ∆ We compute the partial derivatives y j e m j g(y) m j ∂g(y) ∂y i j ≠ i; e m j g(y) + y j e m j g(y) m j ∂g(y) ∂y j j = i.⎛ ⎝ m j y j e m j g(y) + y j e m j g(y) m j ∂g(y) ∂y j + m i y i j≠i y j e m j g(y) m j ∂g(y) 5.2.Extracting the coefficient of the I-function.Recall that, when β = 0, we have J X,0 (τ 0,2 , z) = z.When β ≠ 0, we have The I-function can be expanded as We would like to sum over the coefficient of x 1 z −1 of the I-function that takes value in [1] −n for n ≥ 1.By direct computation, the sum of the coefficients is We apply the operator 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 We have where y = y(q) is the inverse mirror map.This concludes Theorem 5.1.

Toric varieties and the open mirror map
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 τ 0,2 = ∑ r i=1 p i log q i ∈ H 2 (X); {φ α } is a basis of H * (X); {φ α } is the dual basis under the Poincaré pairing.
By [Giv98], the I-function for a toric variety X 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 r i=1 p i log q i = r i=1 p i log y i + g(y)D.
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 O X (−D).When X is toric, the open mirror map for the toric Calabi-Yau O X (−D) has been computed in [CCLT16] and [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] and [CLT13].We specialize to the case when Y = 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] and [Aur09], the SYZ mirror of a toric Calabi-Yau manifold was constructed in [CCLT16] and [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] and [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] and [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 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.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 Section 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.

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 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 [TY20a] using the formal orbifold invariants of infinite root stacks [TY20b].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 Gr(2, 5).Following [CCGK16], the quantum period is The proper Landau-Ginzburg potential is W = x −1 exp (g V 10 (y(tx))) , where y(tx) is the inverse of tx = y exp (g V 10 (y)) .
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, nonproper, Landau-Ginzburg model of [Prz07], [Prz13].Therefore, Theorem 7.1

Corollary 1. 11 .
The open-closed duality implies the proper Landau-Ginzburg potential is the open mirror map.
the sum is over the cohomology weighted partition η and the splitting S 1 ⊔ S 2 = {1, 2}.(I) S 1 = ∅: Then by the virtual dimension constraint on ⟨ [pt] r , η⟩ ∼ Γ 0 , the insertions in η must contain at least one element with insertion [1] k , for some integer k > 0. Let π ∶ P ∶= P D (O D ⊕ N D ) → D be the projection map and D 0 and D ∞ be the zero and infinity divisors of P .Let

Conjecture 6. 2 .
The instanton corrections of a local Calabi-Yau manifold O X (−D) is the inverse mirror map of the local mirror theorem that relates local Gromov-Witten invariants with periods.