The proper Landau-Ginzburg potential is the open mirror map (Q6540259)

For a smooth toric del Pezzo surface \(X\), the authors prove that the Landau-Ginzburg potential equals the open mirror map, up to a coordinate substitution.\N\NLet \(X\) be such a smooth toric del Pezzo surface, and let \(\mathrm{NE}(X)\) be the monoid of effective curve classes. Choose a general fiber \(L\) of the toric moment map of the total space of the canonical bundle \(K_X\) as a Lagrangian submanifold of the symplectic manifold \(K_X\). For a specific choice of curve class \(\beta_0\) and each \(\beta \in \mathrm{NE}(X)\), one has the genus-zero \textit{open} Gromov-Witten invariants \(n_{\beta_0 + \beta} \in \mathbb{Q}\) of \((K_X,L)\) of class \(\beta_0 + \beta \in \pi_2(K_X,L)\). They are assembled into the formal power series\N\[\NM(Q) = \sum_{\beta \in \mathrm{NE}(X)} n_{\beta_0 + \beta}Q^\beta,\N\]\Nwhich is the \textit{open mirror map} of the title. It was previously known from [\textit{K. Chan} et al., Adv. Math. 244, 605--625 (2013; Zbl 1286.14056)] that these \textit{open} Gromov-Witten invariants equal the \textit{local} Gromov-Witten invariants of the canonical bundle of some blow-up \(\widehat X\) of \(X\): \(N(K_{\widehat X},\pi^*\beta - C) = n_{\beta_0 + \beta}\). In this formula, \(C\) is the exceptional divisor of the blow-up \(\pi\colon \widehat X \to X\). It was also previously known from [\textit{M. van Garrel} et al., Adv. Math. 350, 860--876 (2019; Zbl 1440.14260)] that these local Gromov--Witten invariants can be expressend in the one-point \textit{logarithmic} Gromov-Witten invariants of \(K_{\widehat X}\): we have \(R(\widehat X,\gamma) = (-1)^{n + 1}n \cdot N(K_{\widehat X},\gamma)\), where \(R(\widehat X,\gamma)\) is the one-point log Gromov-Witten invariant of class \(\gamma\). The crucial new insight of the article under review is the \textit{blow-up formula}\N\[\NR(\widehat X,\pi^*\beta - C) = R_{1,q}(X,\beta),\N\]\Nwhich relates one-point log Gromov--Witten invariants of \(\widehat X\) with two-point log Gromov--Witten invariants of \((X,E)\), where \(E \subset X\) is a smooth anticanonical divisor.\N\NFrom here, one considers a (formal) toric degeneration \(f\colon \mathfrak{X} \to \operatorname{\mathrm{Spf}} \mathbb{C}[\![t]\!]\) of \((X,E)\). The central fiber \((X_0,E_0)\) arises from an integral tropical manifold \((B,\mathscr{P},\varphi)\) via the Gross--Siebert construction. Concretely, \((B,\mathscr{P})\) is the central subdivision of the moment polytope of the toric del Pezzo surface \(X\), and the affine structure is ``flat'' at the boundary but has singularities in the interior of \(B\). The discrete Legendre transform \((\check B,\check{\mathscr{P}},\check\varphi)\) is another integral tropical manifold; counting of tropical curves inside \((\check B,\check{\mathscr{P}},\check\varphi)\) then gives rise to the tropical invariants \(R^{g,\mathrm{trop}}_{p,q}(X,\beta)\). It is an insight of the first author from [\textit{T. Graefnitz}, ``Theta functions, broken lines and 2-marked log Gromov-Witten invariants'', Preprint, \url{arXiv:2204.12257}] that these are related to the two-point log Gromov-Witten invariants of \((X,E)\) by the formula \(R^{g,\mathrm{trop}}_{p,q}(X,\beta) = p \cdot R^g_{p,q}(X,\beta)\).\N\NThe Gross-Siebert construction, applied to \((\check B,\check{\mathscr{P}},\check\varphi)\), yields a degenerate variety \(\check X_0\) and in fact a whole formal toric degeneration \(\check f\colon \check{\mathfrak{X}} \to \operatorname{\mathrm{Spf}} A[\![t]\!]\) for an appropriate ring \(A\). In [\textit{M. Carl} et al., Acta Math. Sin., Engl. Ser. 40, No. 1, 329--382 (2024; Zbl 1536.14028)], a formal function \(W\colon \check{\mathfrak{X}} \to \mathbb{A}^1\) is constructed; this function is considered as the \textit{Landau-Ginzburg potential} of the mirror family \(\check f\colon \check{\mathfrak{X}} \to \operatorname{\mathrm{Spf}} A[\![t]\!]\) to \(f\colon \mathfrak{X} \to \operatorname{\mathrm{Spf}} \mathbb{C}[\![t]\!]\). The Landau--Ginzburg potential is constructed in terms of counts of \textit{broken lines} in \((\check B,\check{\mathscr{P}},\check\varphi)\), and a comparison between counts of tropical curves and counts of broken lines yields the desired equality of the open mirror map with the Landau-Ginzburg potential. This comparison relies on the equality\N\[\NR^g_{1,n}(X,\beta) = n^2 \cdot R^g_{n,1}(X,\beta),\N\]\Nwhich is established by the authors using the multiplicative structure of Gross-Hacking-Siebert's theta functions, and which generalizes a result of [\textit{C. Cadman} and \textit{L. Chen}, Adv. Math. 219, No. 1, 316--343 (2008; Zbl 1157.14040)].\N\NThe formula \(R^{g,\mathrm{trop}}_{p,q}(X,\beta) = p \cdot R^g_{p,q}(X,\beta)\) shows that the Landau-Ginzburg potential used in the proof presented by the authors equals the standard definition of the Landau-Ginzburg potential on the mirror of a toric del Pezzo surface.\N\NWhile the main result concerns Gromov-Witten invariants of genus \(0\), many of the formulae established in the article hold in arbitrary genus.