1. Introduction
1·1. Overview
Gross and Siebert developed a program for constructing mirror families to Calabi–Yau varieties algebro-geometrically [
Reference Gross and Siebert16
]. More recently, this construction has been extended to the set up of log Calabi–Yau pairs (X, D), given by a smooth projective variety X along with a reduced normal–crossings anticanonical divisor D. The construction of the mirror family to (X, D) – or rather to the complement
$X \setminus D$
– uses a canonical wall structure on an affine manifold with singularities arising as the tropicalisation of (X, D) [
Reference Gross and Siebert16
]. Roughly put, such a structure is a combinatorial gadget incorporating tropical analogues of all rational stable log maps to (X, D), with a specified marked point mapping to D. Such maps, referred to as
$\mathbb{A}^1$
-curves throughout this paper, give rise to well defined invariants of (X, D), and fit into the more general framework of punctured log Gromov–Witten invariants defined by Abramovich–Chen–Gross–Siebert [
Reference Abramovich, Chen, Gross and Siebert2
,
Reference Abramovich, Chen, Gross and Siebert3
].
For a toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
, given by a smooth toric variety
$X_{\Sigma}$
associated to a complete fan
$\Sigma$
in
$\mathbb{R}^n$
, along with the toric boundary divisor
$D_{\Sigma}$
, the construction of the mirror family is pretty straightforward as there are no
$\mathbb{A}^1$
-curves in
$(X_{\Sigma},D_{\Sigma})$
– any curve in a toric variety touching the boundary at one point would necessarily touch also other boundary components. Thus, toric log Calabi–Yau pairs
$(X_{\Sigma},D_{\Sigma})$
form form an immediate class of examples where we know how to write explicit equations for the mirror family. Beyond this, so far there have been very few examples of explicit equations of mirrors. Particularly, in dimension two explicit equations for mirror families to few log Calabi–Yau surfaces surfaces could be computed using computer algebra [
Reference Barrott5
], and in dimension three only in one case, a three dimensional analogue of the del Pezzo surface of degree 7, the mirror is understood [
Reference Ducat10
].
A particular challenge to compute equations of mirror families to log Calabi–Yau pairs (X, D) in bigger generality arises due to the fact computing counts of
$\mathbb{A}^1$
-curves which appear in the construction of the canonical wall structure is technically difficult. In our joint with Mark Gross [
Reference Argüz and Gross4
], generalising previous results of Gross–Pandharipande–Siebert [
Reference Gross, Pandharipande and Siebert14
] in dimension two to higher dimensions, we show that for particular log Calabi–Yau pairs (X, D), there is a purely algebraic algorithm to capture the data of
$\mathbb{A}^1$
-curves appearing in the construction of the canonical wall structure. Such a log Calabi–Yau pair (X, D), which we study in [
Reference Argüz and Gross4
], is given by a blow-up
\begin{equation} X \longrightarrow X_{\Sigma}\end{equation}
of a toric log Calabi–Yau pair
$(X_\Sigma, D_\Sigma)$
along hypersurfaces of the toric boundary
$D_\Sigma$
, and where D is the strict transform of
$D_{\Sigma}$
, The algebraic algorithm giving the counts of
$\mathbb{A}^1$
-curves of such a pair uses a degeneration of X into the union of the toric variety
$X_{\Sigma}$
and some simpler components obtained as blow-ups of
$\mathbb{P}^1$
bundles over the toric boundary. Working with such a degeneration enables us to reduce the complicated enumerative geometry of (X, D) to a toric situation, which amounts to pulling singularities out from the canonical wall structure and working with a simpler wall structure in
$\mathbb{R}^n$
. In this paper, we describe a wall structure associated to a log Calabi–Yau pair (X, D), obtained from this simpler wall structure in
$\mathbb{R}^n$
, by eliminating from it all classes of curves which are not in X. We then show that the resulting wall structure, which we call the heart of the canonical wall structure associated to (X, D), produces the correct mirror family as in [
Reference Gross and Siebert16
].
The advantage of working with the heart of the canonical wall structure is that it is constructed purely combinatorially, and thus provides a combinatorial recipe to write explicitly equations for mirror families. As a particular application, we write explicit equations of mirrors to three dimensional log Calabi–Yau pairs obtained by non-toric blow-ups of
$\mathbb{P}^3$
along unions of hypersurfaces contained in the toric boundary. This provides the first non-trivial examples of mirror families to log Calabi–Yau pairs in dimension bigger than two. In the situation where one considers the blow up of a toric variety along only a single hypersurface the mirror has been constructed earlier in the work of Aroux–Abouzaid–Katzarkov [
Reference Abouzaid, Auroux and Katzarkov1
] using symplectic geometric tools. We prove in Section 6·3 that our mirror construction agrees with the one of [
Reference Abouzaid, Auroux and Katzarkov1
], restricted to this situation.
1·2. Background
Associated to a log Calabi–Yau pair (X, D) is its tropicalisation, given by a polyhedral complex B defined similarly as in the two dimensional case in [
Reference Gross, Hacking and Keel11
, section 1·2]. This polyhedral complex carries the structure of an integral affine manifold with singularities, with singular locus
$\Delta\subset B$
. To define the canonical wall structure, one first fixes a submonoid
$Q\subset N_1(X)$
containing all effective curve classes, where
$N_1(X)$
denotes the abelian group generated by projective irreducible curves in X modulo numerical equivalence [
Reference Gross, Hacking and Siebert13
, definition 1·8]. The canonical wall structure associated to (X, D) is then given by pairs
\begin{equation*} \mathfrak{D}_{(X, D)} \,:\!=\, \{(\mathfrak{d},f_{\mathfrak{d}})\} \end{equation*}
of codimension one subsets
$\mathfrak{d} \subset B$
called walls, along with attached functions
$f_{\mathfrak{d}}$
, called wall-crossing functions, that are elements of the completion of
$\textbf{k}[\mathcal{P}_x^+]$
at the ideal generated by
$Q\setminus\{0\}$
, where
$\mathcal{P}_x^+=\Lambda_x\times Q$
,
$x\in \textrm{Int}{\mathfrak{d}}$
is a general point and
$\Lambda$
is the local system of integral vector fields on
$B\setminus\Delta$
. These functions
$f_{\mathfrak{d}}$
are explicitly given by
\begin{equation} f_{\mathfrak{d}}= \exp(k_{\tau}N_{\tilde\tau}t^{\underline{\beta}} z^{-u}),\end{equation}
where
$\tilde\tau=(\tau,\underline{\beta})$
ranges over types of
$\dim X-2$
-dimensional families of tropicalisations of
$\mathbb{A}^1$
-curves in (X, D) of class
$\underline{\beta} \in H_2(X,\mathbb{Z})$
. The contact order of the image of such an
$\mathbb{A}^1$
-curve is tropically recorded in the tangent vector
$u\in \Lambda_x$
, for a general point
$x\in \mathfrak{d}$
, and
$k_{\tau}$
is a positive integer depending only on the tropical type
$\tau$
as in [
Reference Gross and Siebert15
, section 2·4] or [
Reference Gross and Siebert16
, (3·10)]. The term
$t^{\underline{\beta}}z^{-u}$
denotes the monomial in
$\textbf{k}[\Lambda_x \times Q]$
associated to
$(-u,\underline{\beta})$
, and the number
$N_{\tilde\tau}$
is an invariant of (X, D), defined via counts of all
$\mathbb{A}^1$
-curves of contact order u, and type
$\tau$
[
Reference Abramovich, Chen, Gross and Siebert2
,
Reference Abramovich, Chen, Gross and Siebert3
].
A key result in our joint work with Mark Gross [
Reference Argüz and Gross4
] shows that when (X, D) is a log Calabi–Yau pair obtained as a blow-up of a toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
with center a union of general hypersurfaces of the toric boundary, the canonical wall structure can be constructed combinatorially, without using the enumerative invariants given by counts of
$\mathbb{A}^1$
-curves. We do this by following [
Reference Gross, Pandharipande and Siebert14
], and considering a degeneration
$(\widetilde X, \widetilde D)$
of (X, D) obtained from a blow-up of the degeneration to the normal cone of
$X_{\Sigma}$
, with general fiber (X, D). We then investigate the canonical wall structure associated to
$(\widetilde X, \widetilde D)$
, which has support in the tropicalisation
$\widetilde B$
of
$(\widetilde X,\widetilde D)$
. This tropicalisation comes naturally with a projection map
$\widetilde p\,:\, \widetilde B \to \mathbb{R}_{\geqslant 0}$
. Hence, we obtain a wall structure
$\mathfrak{D}^1_{(\widetilde X, \widetilde D)}$
supported on
$\widetilde B_1\,:\!=\, \widetilde p^{-1}(1)$
, which is an integral affine manifold with singularities away from the origin. Localising to the origin
$0\in \widetilde B_1$
we obtain a wall structure
\begin{equation}T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}\,:\!=\,\{(T_0\mathfrak{d}, f_{\mathfrak{d}})\,|\,(\mathfrak{d},f_{\mathfrak{d}})\in \mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}, \quad 0\in \mathfrak{d}\}\end{equation}
on
$T_0\widetilde B_1$
, the tangent space to
$0\in \widetilde B_1$
. We then relate this wall structure via piecewise linear isomorphisms both to the canonical wall structure associated to (X, D), and to a combinatorially constructed wall structure on
$(\mathbb{R}^n,\Sigma)$
. In this paper, following [
Reference Argüz and Gross4
] we take as a starting point the description of
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
. By suitably modifying it to eliminate the classes of curves in
$\widetilde X \setminus X$
which appear in the wall crossing functions, we construct the heart of the canonical wall structure. We give a more detailed overview of the construction and its consequences in what follows.
1·3. Outline of the paper and main results
One of the objectives of this paper is to provide readers who are not familiar with working with computations using wall-structures many examples, starting from easy ones going to technically involved ones. Therefore, we first review the construction of the coordinate ring
$\mathcal{R}_{(X_{\Sigma},D_{\Sigma})}$
of a mirror family to a toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
, by adopting the general construction of [
Reference Gross and Siebert16
] to this primitive case where there are no walls – or all walls carry trivial wall crossing functions given by identity. We explain how the associated ring
$\mathcal{R}_{(X_{\Sigma},D_{\Sigma})}$
is generated by theta functions (see Section 2). We then review the general construction of the theta functions generating the coordinate ring of the mirror to a log Calabi–Yau pair (X, D) using broken lines in the canonical wall structure (see Section 3). These are piecewise linear analogues of holomorphic discs on (X, D), given by proper continuous maps
$\beta \,:\, (-\infty, 0] \to B$
ending at
$\beta(0)$
, which carry monomials and allow us to trace how these monomials change each time the image of
$\beta$
crosses a wall while approaching
$\beta(0)$
(see Section 3·5). In Section 4 we introduce the heart of the canonical wall structure, and prove our main result showing that the theta functions generating the mirror family to (X, D) can be defined using broken lines in the heart. As the main application of this construction, we compute the equations of the mirror in several three dimensional examples given by blow-ups of toric varieties along disjoint unions of hypersurfaces. In the final section we show that our results agree with the mirrors constructed earlier symplectically, in the work of Aroux–Abouzaid–Katzarkov [
Reference Abouzaid, Auroux and Katzarkov1
], in the situation when the locus of blow-up is a single hypersurface. In the remaining part we provide more details on the results we prove along the way.
First recall that to describe the canonical wall structure associated to a log Calabi–Yau pair in (X, D), one a priori fixes a monoid
$Q \subset N_1(X)$
, containing all effective curve classes, and the base of the corresponding mirror family is the formal completion of
$\textrm{Spec}\ \textbf{k}[Q]$
at the maximal ideal
$Q \setminus \{0\}$
. However, it follows from the construction of the mirror family [
Reference Gross, Hacking and Keel11
,
Reference Gross and Siebert16
], that it actually lives over a smaller base where Q is replaced by the relevant monoid Q(X, D) defined as the set of integral points of the relevant cone of curves,
\begin{equation*}\mathcal{C}(X, D) \subset N_1(X) \otimes \mathbb{R} \end{equation*}
generated by the union of
$\mathbb{A}^1$
-curves in (X, D) and curves in the boundary D, see Definition 3·5.
If X is of dimension two, we show that the relevant cone of curves is simply the Mori cone of effective curves:
Theorem 1·1 (= Theorem 3·9.) Let (X, D) be a generic log Calabi–Yau pair as in Definition 3·7. Then, the relevant cone of curves
$\mathcal{C}(X, D)$
in Definition 3·5 is isomorphic to the Mori cone
$\textrm{NE}(X)$
.
The generalisation of Theorem 3·9 to higher dimensions is wrong – see Remark 3·10 for a counterexample.
Now assume we are given a log Calabi–Yau pair (X, D) obtained by a blow-up from a toric log Calabi–Yau pair. Comparing the cones of relevant curves associated to (X, D) and its degeneration
$(\widetilde{X}, \widetilde{D})$
discussed above, we see that
$Q(\widetilde{X},\widetilde{D})$
is contained in the monoid generated by the union of Q(X, D), the fiber classes
$\pm F_i$
’s and classes of exceptional curves
$\pm E_i^j$
’s. Moreover as there are no relations between the fiber classes
$F^{\prime}_i s$
and the classes in Q(X, D), we have a well defined morphism of monoids
$Q(\widetilde{X},\widetilde{D}) \to Q(X, D)$
given by setting
$ \pm F_i=0$
. Hence, by setting all the classes
$ \pm F_i=0$
in the wall structure
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
, we obtain a consistent wall structure defined over the localisation of Q(X, D) at classes of exceptional curves (see Definition 4·1). We call this wall structure the heart of the canonical wall structure associated to (X, D) and denote it by
$\mathfrak{D}^{\heartsuit}_{(X, D)}$
– see Definition 4·3.
The advantage of passing to the heart of the canonical wall structure is that it is supported on
$\mathbb{R}^n$
rather than B which carries affine singularities. Particularly, keeping track of broken lines in
$\mathfrak{D}^{\heartsuit}_{(X, D)}$
is more convenient. Our main result shows that the broken lines on the heart of the canonical wall structure
$\mathfrak{D}^{\heartsuit}_{(X, D)}$
define the correct theta functions generating the mirror to (X, D):
Theorem 1·2 (= Theorem 4·6). The ring of theta functions defined by broken lines in
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
is isomorphic to the coordinate ring of the mirror to (X, D).
As a particular application using the heart of the canonical wall structure we compute explicit equations for mirror families to a log Calabi–Yau pair (X, D) in dimension three, obtained as the blow-up of
$\mathbb{P}^3$
along a disjoint union of hypersurfaces. In the case when we consider the blow-up along more than one hypersurface, writing an explicit equation for the mirror is significantly challenging, since the walls formed using the tropicalisations of the hypersurfaces intersect and at each such intersection there are new walls formed. We show that even in the simplest case, when the center of blow-up is a union of two disjoint lines, we have infinitely many new walls. Nonetheless, we observe that the product of the wall crossing functions on these walls converge and we obtain concrete equations for the mirror – see Section 5.
In the final section, we prove that the equation for the Gross–Siebert mirror constructed using the heart of the canonical wall structure, in the situation when one considers the blow-up of a toric variety along a single hypersurface, agrees with previous results of Abouzaid–Auroux–Katzarkov computed from the symplectic point of view [ Reference Abouzaid, Auroux and Katzarkov1 , theorem 1·5]:
Theorem 1·3 (= Theorem 6·3). Let X be the blow-up of a toric variety along a hypersurface H of its toric boundary and D be the strict transform of the toric boundary divisor. Let E be the class of an exceptional fiber over H. Then, the restriction of the mirror
$Y\to \textrm{Spec}\textbf{k}[Q(X, D)]$
to the locus
$\mathbb{C}^* = \textrm{Spec}\mathbb{C}[t^{\pm E}] \subset \textrm{Spec}\textbf{k}[Q(X, D)]$
is isomorphic to the mirror constructed in [
Reference Abouzaid, Auroux and Katzarkov1
].
We note that in some situations the pairs (X, D) obtained by a blow-up of
$\mathbb{P}^3$
with center a disjoint union of hypersurfaces of degrees
$d_1$
and
$d_2$
are Fano (for instance when
$d_1=d_2=1$
, or
$d_1=d_2=2$
). In these cases, the sum of the theta functions we compute, which generate the mirror family, agree with the Landau–Ginzburg superpotential as computed by Coates–Corti–Galking–Kasprzyk [
Reference Coates, Corti, Galkin and Kasprzyk8
] (see Remark 5·4). This verifies that the mirror families we compute in these situations are the ones expected from the point of view of Landau–Ginzburg mirror symmetry.
Conventions. For any variety X, we denote by
$N_1(X)$
the abelian group generated by projective irreducible curves in X modulo numerical equivalence. Moreover, we denote by
$\textrm{NE}(X) \subset N_1(X) \otimes_{\mathbb{Z}} \mathbb{R}$
the Mori cone, which is the cone generated by effective curves. We use the notation
$\langle \rho_1, \ldots ,\rho_n \rangle$
for a cone in
$\mathbb{R}^n$
whose set of ray generators is
$\{ \rho_1, \ldots ,\rho_n \}$
.
2. Mirrors to log Calabi–Yau pairs: the toric case
In this section we review the construction of the mirror to log Calabi–Yau pairs in the context of the Gross–Siebert program [
Reference Gross, Hacking and Siebert13
,
Reference Gross and Siebert16
], by restricting attention to toric log Calabi–Yau pairs
$(X_{\Sigma}$
,
$D_{\Sigma})$
given by an n-dimensional toric variety
$X_{\Sigma}$
associated to a complete toric fan
$\Sigma \subset M_{\mathbb{R}}$
, and the toric boundary divisor
$D_{\Sigma}$
, that is, the anti-canonical divisor formed by the union of divisors that are invariant under the torus action. To construct the mirror to such a pair we need the following data:
-
(i) the tropicalisation of
$(X_{\Sigma}$
,
$D_{\Sigma})$
: this is given by the pair
$(\mathbb{R}^n,\Sigma)$
, where
$\Sigma$
is naturally viewed as a polyhedral subdecomposition of
$\mathbb{R}^n$
; -
(ii) the monoid Q of integral points of the Mori cone
$\textrm{NE}(X_{\Sigma})$
, and a convex piecewise linear (PL) function
$\overline{\varphi}\,:\, \mathbb{R}^n \rightarrow Q^{{\operatorname{gp}}}_\mathbb{R}$
, that is, a function whose restriction to each maximal cone of
$\Sigma$
is a linear function. Such a function is uniquely determined, up to a linear function, by specifying its kinks along codimension one cells of
$\Sigma$
. For any codimension one cell
$\rho$
of
$\Sigma$
the kink of
$\overline{\varphi}$
which we denote by
$\kappa_{\rho}$
, up to a choice of sign, is given by the change of slopes of the restriction of
$\overline{\varphi}$
to the maximal cells adjacent to
$\rho$
– see [
Reference Gross, Hacking and Siebert13
, definition 1·6, proposition 1·9]. There is a canonical choice for the kinks of
$\overline{\varphi}$
, which we use in what follows, given along each codimension one cell
$\rho$
by the corresponding curve class in
$X_{\Sigma}$
. In general, by the assumption of convexity of
$\overline{\varphi}$
we ensure the kinks are elements of Q, rather than
$Q^{{\operatorname{gp}} }$
– see [
Reference Gross, Hacking and Siebert13
, definition 1·10]
Example 2·1. Let
$X_{\Sigma}$
be the complex projective plane
$\mathbb{P}^2$
. The Mori cone in this case is given by
$Q = \mathbb{N} = \langle [L] \rangle$
. The three rays in
$\Sigma$
of the toric fan correspond to lines in
$\mathbb{P}^2$
, for which we denote the associated curve class by [L]. Let
$\overline{\varphi}$
be the PL function defined by
\begin{equation}\overline{\varphi}(x,y) = \begin{cases} 0 & \textrm{on} \ \langle (1, 0),(0, 1) \rangle \\ -y [L] & \textrm{on} \ \langle (1, 0),(-1,-1) \rangle \\ -x [L] & \textrm{on} \ \langle (0, 1),(-1,-1) \rangle \end{cases}\end{equation}
The PL function
$\overline{\varphi}$
has kinks [L] along each of the rays of
$\Sigma$
. We note that specifying the kinks along each ray, determines uniquely
$\overline{\varphi}$
only up to a linear function, as we can always add a multiple of a linear function and the kinks of the resulting PL function will still be the same. However, note that in addition to specifying the kinks, if we ask the PL function to vanish at a given maximal cell, then the choice is unique. We illustrate the three PL functions with kinks L, and which vanish on a maximal cell in Figure 1.
Figure 1. The possible Q-valued PL functions on the fan
$\Sigma$
of
$\mathbb{P}^2$
with kinks L, and which vanish along a maximal cone.
In the remaining part of this section, by applying the general recipe developed in [
Reference Gross and Siebert16
] to toric varieties, we explain how to construct the mirror family to a toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
as an affine toric variety. In this situation the mirror arises as a family with total space a toric variety, whose momentum map image is given by the polytope formed by the upper convex hull of the graph of
$\overline{\varphi}$
. More precisely, we define the monoid P of integral points lying above the graph of
$\overline{\varphi}$
by
\begin{equation*} P \,:\!=\, \{(m, \overline{\varphi}(m) +q) \ | \ m \ \in M, q \in Q \} \subset M \oplus Q^{{\operatorname{gp}}} \end{equation*}
The natural inclusion
$Q \hookrightarrow P$
gives rise to a family
\begin{equation*} \textrm{Spec}\ \textbf{k}[P] \longrightarrow \textrm{Spec}\ \textbf{k}[Q], \end{equation*}
which is declared to be the mirror family to
$(X_{\Sigma}$
,
$D_{\Sigma})$
. Here, the ring
$\textbf{k}[P]$
is called the ring of theta functions [
Reference Gross, Hacking and Siebert13
]. Indeed, for any integral point
$m \in M$
, we have a regular function, referred to as a theta function,
\begin{equation*}\vartheta_m = z^{(m , \overline \varphi(m) )} \in \textbf{k}[P]\end{equation*}
on
$\textrm{Spec}\ \textbf{k}[P]$
. Moreover, the set of theta functions
$\{ \vartheta_m \}_{m \in M}$
form a basis for
$\textbf{k}[P] $
as a
$\textbf{k}[Q]$
module. In the situation when the toric variety
$X_{\Sigma}$
is smooth, a generating set for
$\textbf{k}[P]$
as a
$\textbf{k}[Q]$
algebra is given by particular theta functions
$\{\vartheta_{m_i}\}_{i\in I}$
, where the set of vectors
$\{ m_i \ | \ i \in I\}$
correspond to the set of primitive generators of rays of the fan
$\Sigma$
. To write these functions, we fix a general point
$p \in M_{\mathbb{R}}$
contained in the interior of a maximal cell of
$\Sigma$
, and define
$\overline{\varphi}$
to be the PL function which vanishes in the maximal cell containing p. Then, we set
\begin{equation} \vartheta_{m_i}(p) \,:\!=\, z^{(m_i, \overline{\varphi}(m_i) )} = z^{m_i} t^{\overline{\varphi}(m_i)} \in \textbf{k}[P] = \textbf{k}[M \oplus Q^{{\operatorname{gp}}}].\end{equation}
Here we denote for the element
$(m_i, \overline{\varphi}(m_i) ) \in P$
, the corresponding element in the monid algebra by
$z^{(m_i, \overline{\varphi}(m_i) )} \in \textbf{k}[P]$
. Note that we have a natural splitting
$P = M \oplus Q^{{\operatorname{gp}}}$
since the point p is chosen in the interior of a maximal cell
$\Sigma$
. To distinguish between the elements of the monoid algebras associated to M and
$Q^{{\operatorname{gp}}}$
, following the notational convention of [
Reference Argüz and Gross4
] for
$m \in M$
we denote the corresponding element in the monoid algebra by
$z^m \in \textbf{k}[M]$
, and for
$q \in Q^{{\operatorname{gp}}}$
the corresponding element in the monoid algebra is
$t^q \in \textbf{k}[Q^{{\operatorname{gp}}}]$
.
Example 2·2. For
$X_{\Sigma} = \mathbb{P}^2$
, recall we have
$Q\,:\!=\,\mathbb{N} = \langle L \rangle$
, where [L] is the class of a line in
$\mathbb{P}^2$
. We let
$p\in \Sigma$
be a point in the positive octant. Then the Q-valued PL function
$\overline{\varphi}$
vanishing at p is defined in (2·1). For the generators (1, 0) and (0, 1) of the monoid
$M = \mathbb{Z}^2$
, we denote the corresponding elements in the monoid algebra
$\textbf{k}[M]$
by
\begin{equation*} z^{(1, 0)}=x, \ \textrm{and} \ z^{(0, 1)} =y \,. \end{equation*}
Then, by (2·2), the theta functions generating the coordinate ring for the mirror to
$(X_{\Sigma},D_{\Sigma})$
in this case are given by
\begin{align} \vartheta_{(1, 0)} & = z^{(1, 0)} t^{\overline{\varphi}(1, 0)} = x \,, \\ \nonumber \vartheta_{(0, 1)} & = z^{(0, 1)} t^{\overline{\varphi}(0, 1)} = y \,, \\\nonumber \vartheta_{(-1,-1)} & = z^{(-1,-1)} t^{\overline{\varphi}(-1,-1)} = x^{-1}y^{-1} t^{[L]} \,.\end{align}
It follows from (2·3) that the mirror to
$(X_{\Sigma},D_{\Sigma})$
is
\begin{equation*} \textrm{Spec}\textbf{k}[\langle L \rangle ][\vartheta_{(1, 0)} , \vartheta_{(0, 1)} , \vartheta_{(-1,-1)}] / ( \vartheta_{(1, 0)} \vartheta_{(0, 1)} \vartheta_{(-1,-1)} = t^{L} ) \end{equation*}
Before proceeding, we give another example of the mirror to a toric log Calabi–Yau pair in dimension three.
Example 2·3. Let
$X_{\Sigma} = \mathbb{P}^3$
. For the generators (1, 0, 0), (0, 1, 0) and (0, 0, 1) of the monoid
$M = \mathbb{Z}^3$
, we denote the corresponding elements in the monoid algebra
$\textbf{k}[M]$
by
\begin{equation*} z^{(1, 0, 0)}=x, \ z^{(0, 1, 0)}=y, \ \textrm{and} \ z^{(0, 0, 1)} =z\end{equation*}
We fix a point
$p\in \Sigma$
in the interior of the positive octant, and a PL function
$\overline{\varphi}$
vanishing at p defined by
\begin{equation}\overline{\varphi}(x,y,z) = \begin{cases} 0 & \textrm{on} \ \ \langle (1, 0, 0),(0, 1, 0),(0, 0, 1) \rangle \\ -x [L] & \textrm{on} \ \langle (0, 1, 0),(0, 0, 1),(-1,-1,-1) \rangle \\ -y [L] & \textrm{on} \ \langle (1, 0, 0),(0, 0, 1),(-1,-1,-1) \rangle \\ -z [L] & \textrm{on} \ \langle (1, 0, 0),(0, 1, 0),(-1,-1,-1) \rangle . \\ \end{cases}\end{equation}
Then, using (2·2), we write the theta functions generating the coordinate ring for the mirror to
$(X_{\Sigma},D_{\Sigma})$
which in this case are:
\begin{align} \vartheta_{(1, 0, 0)} & = z^{(1, 0, 0)} t^{\overline{\varphi}(1, 0, 0)} = x \,, \\ \nonumber \vartheta_{(0, 1, 0)} & = z^{(0, 1, 0)} t^{\overline{\varphi}(0, 1, 0)} = y \,, \\\nonumber \vartheta_{(0, 0, 1)} & = z^{(0, 0, 1)} t^{\overline{\varphi}(0, 0, 1)} = z \,, \\\nonumber \vartheta_{(-1,-1,-1)} & = z^{(-1,-1,-1)} t^{\overline{\varphi}(-1,-1,-1)} = x^{-1}y^{-1}z^{-1} t^{[L]} \,.\end{align}
It follows from (2·5) that the mirror to
$(X_{\Sigma},D_{\Sigma})$
is ‘
\begin{equation*} \textrm{Spec}\textbf{k}[\langle L \rangle ][\vartheta_{(1, 0, 0)} , \vartheta_{(0, 1, 0)} , \vartheta_{(0, 0, 1)}, \vartheta_{(-1,-1,-1)}] / ( \vartheta_{(1, 0, 0)} \vartheta_{(0, 1, 0)}\vartheta_{(0, 0, 1)}\vartheta_{(-1,-1,-1)} = t^{L} ) \end{equation*}
3. Mirrors to log Calabi–Yau pairs: the general case
To construct mirrors to log Calabi–Yau pairs which are not toric, we need a generalisation of the notion of a momentum polytope image of the mirror to a toric log Calabi–Yau pair. This is provided by the canonical wall structure, or the canonical scattering diagram [ Reference Gross, Hacking and Keel11 , Reference Gross, Hacking and Siebert13 , Reference Gross and Siebert16 ]. Before describing the canonical wall structure, we first review the general definition of wall structuresFootnote 1.
3·1. Data for wall-structures
To define a wall structure we need to fix the following data:
-
(i)
$(B,\mathscr{P})$
: an integral affine manifold with singularities B, along with a polyhedral decomposition
$\mathscr{P}$
, such that the discriminant locus
$\Delta$
of the affine structure is contained in a union of codimension two cells of
$\mathscr{P}$
. In what follows we refer to cells of
$\mathscr{P} \subset B$
which are of dimensions 0, 1 and n as vertices, edges and maximal cells. The set of k-cells are denoted by
$\mathscr{P}^{[k]}$
and we write
$\mathscr{P}^{\max}\,:\!=\,\mathscr{P}^{[n]}$
for the set of maximal cells. We allow B to be a manifold with boundary
$\partial B$
, that is required to be a union of codimension one cells of
$\mathscr{P}$
. Cells of
$\mathscr{P}$
contained in
$\partial B$
are called a boundary cell, and cells of
$\mathscr{P}$
not contained in
$\partial B$
are called interior. We denote by
${\mathscr{P}}\subseteq \mathscr{P}$
the set of interior cells of
$\mathscr{P}$
. We denote by
$\Lambda$
the sheaf of integral tangent vectors on
$B \setminus \Delta$
, and for every cell
$\sigma$
of
$\mathcal{P}$
, we denote by
$\Lambda_\sigma$
the space of integral tangent vectors to
$\sigma$
; -
(ii) a toric monoid Q. Recall that a toric monoid Q is a finitely generated, integral, saturated monoid which in addition satisfies that
$Q^{{\operatorname{gp}}}$
is torsion-free. We denote by
$Q_{\mathbb{R}} \subseteq Q_{\mathbb{R}}^{{\operatorname{gp}}}$
the corresponding cone, that is,
$Q = Q^{{\operatorname{gp}}} \cap Q_{\mathbb{R}}$
. We denote
$I_0\,:\!=\, Q \setminus Q^\star$
the maximal monoid ideal of Q, where
$Q^\star$
is the set of invertible elements. We also fix a monoid ideal I of Q with radical
$I_0$
; -
(iii) a multi-valued piecewise linear (MVPL) function
$\varphi$
on
$B \setminus \Delta $
with values in
$Q^{{\operatorname{gp}}}_{\mathbb{R}}$
: We define a multi-valued piecewise linear (MVPL) function
$\varphi$
on
$B\setminus\Delta$
with values in
$Q^{{\operatorname{gp}}}_{\mathbb{R}}$
as in [
Reference Gross, Hacking and Siebert13
, definition 1·4]. On the open star
$\textrm{Star}(\rho)$
of each codimension one cell
$\rho\in{\mathscr{P}}$
, we have a piecewise linear function
$\varphi_{\rho}$
, well-defined up to linear functions. Such a MVPL function is determined by specifying its kinks
$\kappa_{\rho}\in Q^{{\operatorname{gp}}}$
for each codimension one cone
$\rho\in {\mathscr{P}}$
defined as follows (see [
Reference Gross, Hacking and Siebert13
, definition 1·6, proposition 1·9]): Let
$\rho\in {\mathscr{P}}$
be a codimension one cone and let
$\sigma,\sigma'$
be the two maximal cells containing
$\rho$
, and let
$\varphi_{\rho}$
be a piecewise linear function on
$\textrm{Star}(\rho)\subset B\setminus\Delta$
. An affine chart at
$x\in\textrm{Int}\rho$
thus provides an identification
$\Lambda_\sigma=\Lambda_{\sigma^{\prime}}=:\Lambda_x$
. Let
$\delta:\Lambda_x\to\mathbb{Z}$
be the quotient by
$\Lambda_\rho \subseteq\Lambda_x$
. Fix signs by requiring that
$\delta$
is non-negative on tangent vectors pointing from
$\rho$
into
$\sigma'$
. Let
$n,n'\in \check\Lambda_x\otimes Q^{\operatorname{gp}}$
be the slopes of
$\varphi_{\rho}|_\sigma$
,
$\varphi_{\rho}|_{\sigma^{\prime}}$
, respectively. Then
$(n'-n)(\Lambda_\rho)=0$
and hence there exists
$\kappa_{\rho}\in Q^{\operatorname{gp}}$
with(3·1)We refer to
\begin{equation}n' -n =\delta \cdot\kappa_{\rho}.\end{equation}
$\kappa_{\rho}$
as the kink of
$\varphi_{\rho}$
along
$\rho$
. Thus, if
$\varphi$
is an MVPL function, it has a well-defined kink
$\kappa_{\rho}$
for each such
$\rho$
, and these kinks determine
$\varphi$
. We also assume that the MVPL function
$\varphi$
is strictly convex in the sense that
$\kappa_\rho\in I_0$
for all
$\rho$
;
-
(iv) an order zero function
$f_{\underline{\rho}} \in (\textbf{k}[Q]/I_0) [\Lambda_\rho]$
for each codimension one cell
$\rho$
of
${\mathscr{P}}$
.
The choice of the MVPL function
$\varphi$
gives rise to a local system
$\mathcal{P}$
fitting into the exact sequence
\begin{equation}0\rightarrow \underline{Q}^{{\operatorname{gp}}}\rightarrow \mathcal{P}\rightarrow \Lambda\rightarrow 0 .\end{equation}
Here
$\underline{Q}^{{\operatorname{gp}}}$
is the constant sheaf with stalk
$Q^{{\operatorname{gp}}}$
. The sheaf
$\mathcal{P}$
contains via [
Reference Gross, Hacking and Siebert13
, definition 1·16], a subsheaf
$\mathcal{P}^+\subseteq\mathcal{P}$
.
-
(i) For a generic point
$x\in B$
in the interior of a maximal cell
$\mathscr{P}^{\textrm{max}} \in \mathscr{P}$
, the stalk of
$\mathcal{P}^+$
is
$\mathcal{P}_x^+=\Lambda_x\times Q$
, whereas the stalk of
$\mathcal{P}$
is
$\mathcal{P}_x=\Lambda_x\times Q^{{\operatorname{gp}}}$
. -
(ii) For a point x lies in the interior of a codimension one cell
$\rho$
which is not a boundary cell,
\begin{equation*}\nonumber\mathcal{P}^+_x=\big\{\big(m,(d\varphi_{\rho}|_{\sigma})(m)+q\big)\,\big |\,\rho\subseteq\sigma\in\mathscr{P}^{\max},\, m\in T_x\sigma\cap\Lambda_x,\,q\in Q\big\}.\end{equation*}
Here
$T_x\sigma$
denotes the tangent wedge to
$\sigma$
at x.
For an element
$m\in \mathcal{P}_x$
, we write
$\bar m\in\Lambda_x$
for its image under the projection of (3·2).
3·2. Wall-structures
Now we are ready to define a wall structure.
Definition 3·1. Fix an integral affine manifold with singularities along with a polyhedral decomposition
$(B,\mathscr{P})$
, a toric monoid Q, a strictly convex MVPL function
$\varphi$
, and order zero functions
$f_{\underline{\rho}}$
as in Section 3·1. A wall on
$(B,\mathscr{P})$
is a codimension one rational polyhedron
$\mathfrak{d}\not\subseteq\partial B$
contained in some maximal cone
$\sigma$
of
$\mathscr{P}$
, along with an element
\begin{equation} f_{\mathfrak{d}}=\sum_{m\in\mathcal{P}^+_x, \bar m\in \Lambda_{\mathfrak{d}}} c_m z^m\in \textbf{k}[\mathcal{P}^+_x]/I_x,\end{equation}
referred to as a wall crossing function, where
$c_m\in \textbf{k}$
. Here
$x\in \textrm{Int}(\mathfrak{d})$
and
$\Lambda_{\mathfrak{d}}$
is the lattice of integral tangent vectors to
$\mathfrak{d}$
. We require that
$m \in \mathcal{P}^+_x$
for all
$y \in \mathfrak{d} \setminus \Delta$
when
$c_m \neq 0$
. We say a wall
$\mathfrak{d}$
has direction
$v \in \Lambda_{\mathfrak{d}}$
if the attached function
$f_\mathfrak{d}$
, given as in (3·3), satisfies
$\bar m=-kv$
for some
$k\in \mathbb{N}$
whenever
$c_m\not=0$
. We call a wall with direction v incoming if
$\mathfrak{d}=\mathfrak{d}-\mathbb{R}_{\ge 0} v$
. A wall structure or a scattering diagram on
$(B,\mathscr{P})$
over Q is a finite set
$\mathfrak{D}$
of walls on B given as in (3·3), and satisfying the following conditions:
-
(i) if
$\mathfrak{d} \cap \textrm{Int} \sigma \neq \emptyset$
then
$f_{\mathfrak{d}} \equiv 1$
modulo
$I_0$
; and -
(ii) for every codimension one cell
$\rho$
of
${\mathscr{P}}$
, and every point
$x \in \rho$
, denote by
$f_{\rho,x}$
the product of
$f_\mathfrak{d}$
over all the walls
$\mathfrak{d}$
containing x and contained in
$\rho$
. Then, we have
$f_{\rho,x} \equiv f_{\underline{\rho}}$
modulo
$I_0$
.
If
$\mathfrak{D} = \cup (\mathfrak{d},f_{\mathfrak{d}})$
is a wall structure, we define the support and the singular locus in
$\mathfrak{D}$
respectively by
\begin{eqnarray}\nonumber\textrm{Supp}(\mathfrak{D}) & \,:\!=\, & \bigcup_{\mathfrak{d} } \mathfrak{d}, \\\nonumber\textrm{Sing}(\mathfrak{D}) & \,:\!=\, & \Delta \cup \bigcup_{\mathfrak{d} } \partial\mathfrak{d}\cup \bigcup_{\mathfrak{d},\mathfrak{d}'} (\mathfrak{d}\cap\mathfrak{d}') \,,\end{eqnarray}
where the last union is over all pairs of walls
$\mathfrak{d},\mathfrak{d}'$
with
$\mathfrak{d}\cap\mathfrak{d}'$
codimension at least two. In particular,
$\textrm{Sing}(\mathfrak{D})$
is a codimension at least two subset of B.
3·3. The canonical wall structure
To define the canonical wall structure associated to a log Calabi–Yau pair (X, D) we first describe the tropicalisation
$(B,\mathscr{P})$
of (X, D), then the monoid Q(X, D) associated to (X, D) along with a
$Q^{{\operatorname{gp}}}_{(X, D)}$
-valued PL function on
$(B,\mathscr{P})$
.
3·3·1. The tropicalisation
$(B,\mathscr{P})$
of (X, D)
The tropical space associated to (X, D), or the tropicalisation of (X, D), is a pair
$(B,\mathscr{P})$
consisting of an integral affine manifold with singularities B, along with a polyhedral decomposition
$\mathscr{P}$
. We describe
$(B,\mathscr{P})$
from the data of the intersection numbers of irreducible components of D. For this, first consider
$\operatorname{Div}(X)$
, which denotes the group of divisors on X, and
$\operatorname{Div}_D(X)\subseteq \operatorname{Div}(X)$
, the subgroup of divisors supported on D. Moreover, we set
\begin{equation*}\operatorname{Div}_D(X)_{\mathbb{R}}=\operatorname{Div}_D(X)\otimes_{\mathbb{Z}}\mathbb{R}.\end{equation*}
Let
$D=\bigcup_{i=1}^m D_i$
be the decomposition of D into irreducible components, and write
$\{D_i^*\}$
for the dual basis of
$\operatorname{Div}_D(X)_{\mathbb{R}}^*$
. We assume throughout that for any index subset
$I\subseteq \{1,\ldots,m\}$
, if non-empty,
$\bigcap_{i\in I} D_i$
is connected. Define the polyhedral decomposition
$\mathscr{P}$
to be the collection of cones
\begin{equation} \mathscr{P}\,:\!=\,\left\{\sum_{i\in I} \mathbb{R}_{\ge 0} D_i^*\,|\, \hbox{$I\subseteq \{1,\ldots,m\}$ such that $\bigcap_{i\in I}D_i\not=\emptyset$}\right\}.\end{equation}
Then we set
\begin{equation*}B\,:\!=\,\bigcup_{\tau\in\mathscr{P}}\tau \subseteq \operatorname{Div}_D(X)^*_{\mathbb{R}}.\end{equation*}
Generally, we view the tropicalisation
$(B,\mathscr{P})$
of a log Calabi–Yau pair (X, D) as a topological manifold described as above, together with the data of an affine structure with singularities – see [
Reference Argüz and Gross4
, section 2·1·1].
Example 3·2. Let X be a del Pezzo surface of degree 8. Thus, X is isomorphic to the blowup
$X \to \mathbb{P}^2$
in a single point, which we assume to lie in the interior of a component of the toric boundary divisor
$D_{\mathbb{P}^2} \subset \mathbb{P}^2$
. We set D to be the strict transform of
$D_{\mathbb{P}^2}$
. Then, (X, D) defines a log Calabi–Yau pair. In this case, D has 3 irreducible components with self-intersection numbers given by the tuple (1,1,0). The associated tropical space B has three maximal two dimensional cones, whose set of rays are given respectively by
$\{\rho_1,\rho_2\}$
,
$\{\rho_2,\rho_3\}$
and
$\{\rho_3,\rho_1\}$
, where
$\rho_1$
has direction (1, 0),
$\rho_2$
has direction (0, 1), and
$\rho_3$
has direction
$(-1,-1)$
. We denote the cone with rays
$\{\rho_i,\rho_j\}$
by
$C_{i,j}$
. For this consider an open cover of
$\mathbb{R}^2 \setminus \{ 0 \}$
given by the union of the three subsets
\begin{align*} U_1 & = C_{1,2} \cup C_{1,3} \setminus \{ \rho_2,\rho_3 \}, \\ U_2 & = C_{1,3} \cup C_{2,3} \setminus \{ \rho_1,\rho_3 \}, \\ U_3 & = C_{1,2} \cup C_{2,3} \setminus \{ \rho_1,\rho_3 \}, \end{align*}
and define the charts for the affine structure by setting
$\Psi_1\, :\, U_1 \hookrightarrow \mathbb{R}^2$
$\Psi_2\, :\, U_2 \hookrightarrow \mathbb{R}^2$
to be restrictions of the identity map on
$U_1$
and
$U_2$
respectively. We then define
$\Psi_3:U_3 \to \mathbb{R}^2$
by
\begin{equation*}\Psi_3(x,y) = \begin{cases} (x,y) & \textrm{on} \ C_{1,2} \setminus \{ \rho_1 \} \\ (x,y-x) & \textrm{on} \ C_{1,2} \setminus \{ \rho_3 \} \end{cases}\end{equation*}
as illustrated in Figure 2. Note that the matrix for the change of coordinate transformation in this case is conjugate to
Figure 2. The three charts defining the integral affine structure on
$B \setminus \{ 0 \}$
.
\begin{equation*}\begin{pmatrix}1 & 1 \\0 & 1\end{pmatrix}\end{equation*}
which represents the standard focus-focus singularity – see for instance [ Reference Leung and Symington18 ] for further discussion on such singularities in dimension two and the affine monodromy. This endows B with an integral affine structure with a singularity at the origin.
The next ingredient we need to define the canonical wall structure associated to a log Calabi–Yau pair (X, D) is the toric monoid, which we denote by Q(X, D) and refer to as the relevant monoid, and the data of a MVPL function with values in
$Q^{{\operatorname{gp}}}_{\mathbb{R}}(X, D)$
, which is specified by its kinks in Q(X, D).
3·3·2. The relevant monoid Q(X, D)
To define Q(X, D), we first need the description of
$\mathbb{A}^1$
-curves and boundary curves on (X, D).
Definition 3·3. An
$\mathbb{A}^1$
-curve on a log Calabi–Yau pair (X, D) is the image of a genus zero stable map to X, such that the intersection of C with D is a single point.
Observe that by the description of the tropicalisation of (X, D), it automatically follows that in the situation (X, D) is a blow-up of a toric log Calabi–Yau pair as in (1·1), any codimension one stratum on B corresponds to a rational curve in X contained in D. More generally, for any log Calabi–Yau pair (X, D) since by definition D has simple normal crossing singularities, such a strata corresponds to a smooth curve.
Example 3·4. Let X be the blow-up of a non-toric point in the interior of the toric boundary divisor in
$\mathbb{P}^2$
. Then, an exceptional curve with class E as well as a curve with class
$L-E$
, where L is the class of a general line in X as illustrated in Figure 3 are examples of
$\mathbb{A}^1$
-curves.
Figure 3. The momentum polytope picture associated to X, the blow-up of
$\mathbb{P}^2$
at a non-toric point, on the left and the central fiber of the degeneration of
$\widetilde{X}$
of X on the right. The exceptional curve E illustrated on the left contributes to the canonical wall structure of (X, D), while the curves illustrated on the right contribute to the canonical wall structure of the degeneration
$(\widetilde X,\widetilde D)$
.
To describe the relevant monoid, in addition to
$\mathbb{A}^1$
-curves, we also consider boundary curves in (X, D), which are curves contained in D.
Definition 3·5. Let (X, D) be a log Calabi–Yau pair. The relevant cone of curves
$\mathcal{C}(X, D)$
is the cone in
$N_1(X) \otimes \mathbb{R}$
generated by the union of all
$\mathbb{A}^1$
-curves and boundary curves. The relevant monoid Q(X, D) associated to (X, D) is the monoid of integral points in
$\mathcal{C}(X, D)$
:
\begin{equation} Q(X, D) \,:\!=\, \langle [ C ] \ | \ C \textrm{ is an } \mathbb{A}^1-\textrm{curve or a boundary curve } \rangle_{\mathbb{Z}}.\end{equation}
Here we us the notation [C] to denote the class of a curve C.
Before proceeding, we show that in the two dimensional situation, the relevant cone of curves agrees with the Mori cone “generically”. To describe the notion of genericity for a log Calabi–Yau pair in dimension two, we need the following definition, which can be found in [ Reference Gross, Hacking and Keel12 , definition 1·5]:
Definition 3·6. Let (X, D) be a log Calabi–Yau pair and assume that X is of dimension two. Denote by
$D^{\perp} \subset \textrm{Pic}(X)$
be the sublattice of the Picard group of X, defined by
\begin{equation*} D^{\perp} \,:\!=\, \{ \alpha \in \textrm{Pic}(X) \ | \ \alpha \cdot [D_i] = 0 \ \textrm{for all i} \}.\end{equation*}
There is a natural period map
\begin{align} \phi_X\, :\, D^{\perp} & \longrightarrow \textrm{Pic}^0(D) \cong \mathbb{C}^* \\ \nonumber \mathcal{L} & \longmapsto \mathcal{L}|_{D}\end{align}
defined by restricting a line bundle on X to D.
A key result in [
Reference Gross, Hacking and Keel12
] shows that the deformation space of a log Calabi–Yau pair (X, D), where X is of dimension two, is locally isomorphic to
$\textrm{Hom}(D^{\perp},\mathbb{C}^*)$
. Therefore, it makes sense to define a generic log Calabi–Yau pair as follows.
Definition 3·7. A log Calabi–Yau pair (X, D), where X is of dimension two, is called generic if
$\phi_X(\alpha) \neq 1$
for all
$\alpha \in D^{\perp} $
where
$\phi_X$
is the period map defined in (3·6).
Remark 3·8. The definition of genericity we provide here is slightly different than in [
Reference Gross, Hacking and Keel12
, definition 1·4], which is equivalently stated in [
Reference Gross, Hacking and Keel12
, corollary 3·5] as the condition
$\phi_X(\alpha) \neq 1$
for all
$\alpha \in D^{\perp} $
which have self-intersection
$-2$
. Here we require this condition for all
$\alpha$
regardless of the self-intersection. It is also worthwhile mentioning that, frequently the term generic is used for the complement of finitely many objects, while here we have not finite but countably many objects, as the condition
$\phi_X(\alpha) = 1$
defines in most cases an infinite union of hypersurfaces in
$\textrm{Hom}(D^{\perp}, \mathbb{C}^*)$
. If we would consider only
$\alpha$
with self intersection
$-2$
we would still have countably many hypersurfaces, rather than finite. So, we inherit the abuse of the term “generic” here from [
Reference Gross, Hacking and Keel12
].
Theorem 3·9. Let (X, D) be a generic log Calabi–Yau pair, where X is of dimension two. Then, the relevant cone of curves
$\mathcal{C}(X, D)$
in Definition 3·5 is isomorphic to the Mori cone
$\textrm{NE}(X)$
.
Proof. By definition as
$\mathcal{C}(X, D)$
is generated by the union of boundary curves, together with
$\mathbb{A}^1$
-curves, any element in
$\mathcal{C}(X, D)$
is an element of the Mori cone
$\textrm{NE}(X, D)$
. For the converse, first note that the statement can be easily verified when X is
$\mathbb{P}^2$
or a Hirzebruch surface. In a more general situation, given any irreducible effective curve C in a generic log Calabi–Yau pair (X, D) of dimension two, we will show that it lies in
$\mathcal{C}(X, D)$
, by analysing the following three possible cases:
-
(i)
$C \cdot K_X = 0$
: Consider the line bundle
$\mathcal{O}_X(C)$
, which has a canonical section that vanishes exactly on C. So, as
$\mathcal{O}_X(C)$
is trivial away from C, the image of it under the period map (3·6) is trivial, that is,
$\phi_X(\mathcal{O}_X(C))=1$
. Thus, in this case X is not generic; -
(ii)
$C \cdot K_X < 0$
: By Mori’s cone theorem, the part of the Mori cone with
$K_X < 0$
is generated by extremal rays. Either these would be
$-1$
curves or X is a Hirzebruch surface or
$\mathbb{P}^2$
– see [
Reference Debarre9
, section 5·4]. Hence, excluding the latter cases, the result follows since any
$-1$
curve, by the adjunction formula is a rational curve intersecting D at a single point, hence is in
$\mathcal{C}(X, D)$
; -
(iii)
$C \cdot K_X > 0$
: In this case we have
$C \cdot D < 0$
, and hence C is enforced to be a boundary curve.
Hence, the result follows.
Remark 3·10. The natural generalisation of Theorem 3·9 to higher dimensions does not hold. For instance, consider the log Calabi–Yau pair (X, D), where X is obtained by a blowing-up 4 disjoint lines, each contained in one of the toric boundary components of
$\mathbb{P}^3$
, and let D be the strict transform of the toric boundary. Then, since there always exists at least one line passing through the 4 lines that we blow up, there will always be at least one effective curve in the interior of X obtained as the strict transform of such a line, which does not correspond to an element of
$\mathcal{C}(X, D)$
. In conclusion, generally the mirror family constructed in [
Reference Gross and Siebert16
] is a base change from a family over the smaller base given by the formal completion of
$\textrm{Spec}\textbf{k}[Q(X, D)]$
at the maximal ideal
$Q(X, D) \setminus \{0\}$
.
We proceed with the description of the final ingredient needed to define the canonical wall structure, that is, a multi-valued piecewise-linear (MVPL) function.
3·3·3. The MVPL function
$\varphi\, :\, B\setminus \Delta \to Q(X, D)^{{\operatorname{gp}}}_\mathbb{R}$
Now we are ready to describe the MVPL function
$\varphi\, :\, B\setminus \Delta \to Q(X, D)^{{\operatorname{gp}}}_\mathbb{R}$
, by specifying its kinks on codimension one cells of
$(B,\mathscr{P})$
. There is a canonical choice of these kinks, defined as follows: for a codimension one cell
$\rho\in{\mathscr{P}}$
, set the kink of
$\varphi$
to be
\begin{equation} \kappa_{\rho}=[D_{\rho}],\end{equation}
the class of the boundary curve corresponding to
$\rho$
(see [
Reference Argüz and Gross4
, section 2·1·2] for further details). Note that fixing the kinks, uniquely determines
$\varphi$
up to a linear function. Before proceeding, we provide an example of a multi-valued PL function.
Example 3·11. Let
$(B,\mathscr{P})$
be the tropical space as in Example 3·2, associated to the log Calabi–Yau pair (X, D), where X is a non-toric blow up of
$\mathbb{P}^2$
. To define a MVPL function on
$B \setminus \{ 0 \}$
it suffices to define a piecewise linear function on the neighbourhoods given by the open stars of each of the three rays
$\rho_i$
, for
$1 \leqslant i \leqslant 3$
. These functions, up to linear functions are defined by specifying the kinks
$[L]\in Q$
, given by the class of a general line in X, along each ray
$\rho_2$
and
$\rho_3$
, and
$[L-E] \in Q$
along
$\rho_1$
where [E] stands for the class of the exceptional fiber. Note that in their domains of intersections these PL functions may take different values, as
$\rho$
is indeed “multi-valued”.
3·3·4. The canonical wall-structure
Now, we are ready to review definition of the canonical wall structure associated to (X, D) following [
Reference Argüz and Gross4
, section 2·4], or [
Reference Gross and Siebert16
]. We let (X, D) be a log Calabi–Yau pair with tropicalisation
$(B,\mathscr{P})$
, and Q(X, D) the relevant monoid associated to (X, D) defined as in (3·5). We also fix a MVPL function with kinks defined canonically as in (3·7). Finally, for every codimension one cell
$\rho$
of
$\mathscr{P}$
, we consider the order zero functions
$f_{\underline{\rho}}=1$
. Note that
$Q(X, D)^\star=\{0\}$
, so
$I_0=Q(X, D)\setminus \{0\}$
, and so
$\textbf{k}[Q(X, D)]/I_0 \simeq \textbf{k}$
.
The canonical wall structure associated to (X, D) is a wall structure on
$(B,\mathscr{P})$
over Q(X, D), where for each wall
$\mathfrak{d}$
, the attached wall crossing function is concretely given by (1·2). Note that, for every ideal
$I \subseteq Q(X, D)$
such that
$\sqrt{I}=I_0$
, considering the wall crossing functions modulo I, the canonical wall structure is a wall structure in the sense of Definition 3·1, that is, with finitely many walls. If we do not work modulo such ideal I, the canonical wall structure might contain infinitely many walls.
Example 3·12. The canonical wall structure associated to the blow-up of
$\mathbb{P}^2$
at a non-toric point is illustrated on the left-hand side of Figure 4.
Figure 4. The canonical wall structure
$\mathfrak{D}_{(X, D)}$
associated to the blow up of
$\mathbb{P}^2$
at a single non-toric point on the left, the height one slice of the canonical wall structure
$\mathfrak{D}^1_{(\widetilde{X},\widetilde{D})}$
associated to the degeneration
$(\widetilde{X},\widetilde{D})$
on the right.
3·4. Pulling singularities out from the canonical wall structure
In this section we review how to “pull out” the discriminant locus of the canonical wall structure associated to a log Calabi–Yau pair (X, D), obtained from a toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
by a blow-up as in (1·1). More precisely, we fix distinct rays
$\rho_1,\dots,\rho_s$
of the fan
$\Sigma$
of
$X_\Sigma$
, and a disjoint union of smooth hypersurfaces
$H=H_1\cup\cdots\cup H_s$
in
$D_\Sigma$
, such that
$H_i \subset D_{\rho_i}$
for all
$1\leqslant i \leqslant s$
, where
$D_{\rho_i}$
is the toric divisor of
$X_\Sigma$
corresponding to the ray
$\rho_i$
. Then, we take for X the blow-up of
$X_\Sigma$
along H, and for D the strict transform of
$D_\Sigma$
. We assume further that the toric variety
$X_\Sigma$
is smooth and projective, and that no cone of
$\Sigma$
contains two rays
$\rho_i$
and
$\rho_j$
with
$i \neq j$
. These conditions are always satisfied after refining enough the fan
$\Sigma$
.
We further write
\begin{equation} H_i=\bigcup_{j=1}^{s_i} H_{ij} \,,\end{equation}
for the decomposition of
$H_i$
into its connected components. The main result of [
Reference Argüz and Gross4
] provides a combinatorial algorithm to construct the canonical wall structure
$\mathfrak{D}_{(X, D)}$
associated to (X, D) from a toric wall structure
$\mathfrak{D}_{(X_{\Sigma},H)}$
in
$\mathbb{R}^n$
, obtained from the data of
$X_{\Sigma}$
and H. We show that this toric wall structure, in rough terms, encodes all the data of the canonical wall structure with its singularities are pulled out. We first provide a precise description of the toric wall structure
$\mathfrak{D}_{(X_{\Sigma},H)}$
, and then explain how to obtain the canonical wall structure associated to (X, D) from it in the remaining part of this section. For details, we refer to [
Reference Argüz and Gross4
].
3·4·1. The toric wall structure
Let
\begin{equation}\nonumber P = M\oplus \bigoplus_{i=1}^s\mathbb{N}^{s_i},\end{equation}
where M is the cocharacter lattice associated with
$X_{\Sigma}$
, so that the fan
$\Sigma$
is contained in the real vector space
$M_\mathbb{R}\,:\!=\,M \otimes \mathbb{R}$
, and let
$P^{\times}$
be the group of units of P. Consider the ideal
$\mathfrak{m}_P=P\setminus P^{\times}$
, and denote by
$\widehat{\textbf{k}[P]}$
the completion of
$\textbf{k}[P]$
with respect to
$\mathfrak{m}_P$
. We denote the generators of
$\mathbb{N}^{s_i}$
by
$e_{i1},\ldots,e_{is_i}$
, and set
\begin{equation} t_{ij}\,:\!=\,z^{e_{ij}}\in \widehat{\textbf{k}[P]}.\end{equation}
Definition 3·13. A wall structure on
$M_\mathbb{R}$
is a wall structure as in Definition 3·1, where
$B=M_\mathbb{R}$
with the integral affine structure induced by
$M \subset M_\mathbb{R}$
, and
$\mathscr{P}$
is the trivial polyhedral decomposition with the single cell
$M_\mathbb{R}$
. In particular, there is no MVPL function
$\varphi$
or order zero functions in the description of a wall structure in
$M_\mathbb{R}$
. Note also that
$M_\mathbb{R}$
is an integral affine manifold without singularities and so the discriminant locus
$\Delta$
is empty.
We review below the definition of the wall structure
$\mathfrak{D}_{(X_\Sigma,H)}$
on
$M_\mathbb{R}$
over P. We first describe the initial wall structure
$\mathfrak{D}_{(X_{\Sigma},H),\textrm{in}}$
whose walls are codimension one subsets of
$M_\mathbb{R}$
called widgets. We review the description of widgets below. For details, see [
Reference Argüz and Gross4
, section 5·1·2].
For every
$1\leqslant i\leqslant s$
, we denote by
$m_i \in M$
the primitive generator of the ray
$\rho_i$
of
$\sigma$
. The corresponding widget
$\mathfrak{D}_{m_i}$
is the wall-structure on
$M_\mathbb{R}$
over P defined as follows:
\begin{equation} \mathfrak{D}_{m_i} \,:\!=\, \bigcup_{\rho} \left(\rho, \prod_{j=1}^{s_i}(1+t_{ij}z^{m_i})^{D_{\rho}\cdot H_{ij}}\right) \,,\end{equation}
where the union is over the codimension one cones
$\rho$
of
$\Sigma$
containing the ray
$\rho_i=\mathbb{R}_{\geqslant 0} m_i$
, and
$D_{\rho}\cdot H_{ij}$
is the intersection number in
$D_{\rho_i}$
between the hypersurface
$H_{ij}$
and the toric curve
$D_\rho$
corresponding to
$\rho$
.
Now, the initial wall structure
$\mathfrak{D}_{(X_{\Sigma},H),\textrm{in}}$
is defined as the union of the widgets
$\mathfrak{D}_{m_i}$
:
\begin{equation*} \mathfrak{D}_{(X_{\Sigma},H),\textrm{in}} \,:\!=\, \bigcup_{i=1}^s \mathfrak{D}_{m_i} \,. \end{equation*}
We describe the consistent wall structure
$\mathfrak{D}_{(X_{\Sigma},H)}$
in
$M_\mathbb{R}$
obtained from
$\mathfrak{D}_{(X_{\Sigma},H),\textrm{in}}$
in a moment, after reviewing the notion of consistency for a wall structure.
3·4·2. The notion of consistency
In this section we shortly review the notion of path-ordered products and consistency for a wall structure
$\mathfrak{D}$
in
$M_\mathbb{R}$
, after setting up a couple of necessary notations.
Let
$\gamma:[0,1]\rightarrow M_\mathbb{R}$
be a piecewise smooth path whose image is disjoint from
$\operatorname{Sing}(\mathfrak{D})$
. Further, assume that
$\gamma$
is transversal to
$\textrm{Supp}(\mathfrak{D})$
, in the sense that if
$\gamma(t_0)\in\mathfrak{d}\in\mathfrak{D}$
, then there is an
$\epsilon>0$
such that
$\gamma((t_0-\epsilon,t_0))$
lies on one side of
$\mathfrak{d}$
and
$\gamma((t_0,t_0+\epsilon))$
lies on the other. Assuming that
$\gamma(t_0)\in \mathfrak{d}$
, we associate a wall-crossing homomorphism
$\theta_{\gamma,\mathfrak{d}}$
as follows. Let
$n_\mathfrak{d}$
be a generator of
$\Lambda_\mathfrak{d}^\perp\subseteq\check\Lambda_x=\textrm{Hom}(\Lambda_x,\mathbb{Z})$
for some
$x\in\textrm{Int}\mathfrak{d}$
, with
$n_\mathfrak{d}$
positive on
$\gamma((t_0-\epsilon,t_0))$
. Then define
\begin{equation}\theta_{\gamma,\mathfrak{d}}\,:\, \quad z^m\longmapsto f_\mathfrak{d}^{\langle n_\mathfrak{d},\overline m\rangle} z^m.\end{equation}
We may now define the path-ordered product
\begin{equation*} \nonumber \theta_{\gamma,\mathfrak{D}}\,:\!=\,\theta_{\gamma,\mathfrak{d}_s}\circ\cdots\circ\theta_{\gamma,\mathfrak{d}_1},\end{equation*}
where
$\mathfrak{d}_1,\ldots,\mathfrak{d}_s$
is a complete list of walls traversed by
$\gamma$
, in the order traversed.
Definition 3·14. A joint is a codimension two polyhedral subset of
$M_\mathbb{R}$
contained in
$\operatorname{Sing}(\mathfrak{D})$
, and such that for
$x\in\textrm{Int}(j)$
, the set of walls
$\{\mathfrak{d}\in\mathfrak{D}\,|\,x\in \mathfrak{d}\}$
is independent of x. Further, a joint must be a maximal subset with this property. A wall structure on
$M_\mathbb{R}$
is said to be consistent if all path ordered products along any sufficiently small loop around a joint is identity.
In [ Reference Argüz and Gross4 , theorem 5·6], we prove the higher dimensional analogue of the Kontsevich–Soibelman Lemma [ Reference Kontsevich and Soibelman17 ]:
Theorem 3·15. There is a consistent wall structure
$\mathfrak{D}_{(X_{\Sigma},H)}$
on
$M_\mathbb{R}$
over P containing
$\mathfrak{D}_{(X_{\Sigma},H),\textrm{in}}$
such that
$\mathfrak{D}_{(X_{\Sigma},H)}\setminus\mathfrak{D}_{(X_{\Sigma},H),\textrm{in}}$
consists only of non-incoming walls. Further, this wall structure is unique up to equivalence.
3·4·3. From
$\mathfrak{D}_{(X_{\Sigma},H)}$
to
$\mathfrak{D}_{(X, D)}$
To compare
$\mathfrak{D}_{(X_{\Sigma},H)}$
with the canonical wall structure associated to (X, D), first note that there is a natural piecewise-linear isomorphism
\begin{equation*}\Upsilon\,:\,(M_{\mathbb{R}},\Sigma)\longrightarrow (B,\mathscr{P}).\end{equation*}
The existence of such a piecewise linear isomorphism follows from the definition of the tropicalisation of (X, D) and we refer to [
Reference Argüz and Gross4
, section 6] for details. For every
$1\leqslant i \leqslant s$
and
$1\leqslant j \leqslant s_i$
, let
$E_i^j$
denote an exceptional curve of the blow-up over the hypersurface
$H_{ij}$
. There is a natural splitting
\begin{equation*}N_1(X)=N_1(X_{\Sigma})\oplus\bigoplus_{ij} \mathbb{Z} E_i^j \,,\end{equation*}
in which
$N_1(X_{\Sigma})$
is identified with the set of curve classes in
$N_1(X)$
with intersection number zero with all exceptional divisors. We will define
$\Upsilon(\mathfrak{d},f_{\mathfrak{d}})$
, to describe a wall of
$\mathfrak{D}_{(X, D)}$
on B. This definition depends on whether
$(\mathfrak{d},f_{\mathfrak{d}})$
is incoming or not.
If the wall is incoming, then by construction of
$\mathfrak{D}_{(X_{\Sigma},H)}$
it is of the form
$(\mathfrak{d},(1+t_{ij}z^{m_i})^{w_{ij}})$
for some positive integer
$w_{ij}$
, see (3·10). As
$m_i$
is tangent to the cone of
$\Sigma$
containing
$\mathfrak{d}$
and
$\Upsilon$
is piecewise linear with respect to
$\Sigma$
,
$\Upsilon_*(m_i)$
makes sense as a tangent vector to B. We then define
\begin{equation*}\Upsilon(\mathfrak{d},(1+t_{ij}z^{m_i})^{w_{ij}})=(\Upsilon(\mathfrak{d}),(1+t^{E_i^j}z^{-\Upsilon_*(m_i)})^{w_{ij}}).\end{equation*}
If the wall
$\mathfrak{d}$
is not incoming, then still the attached function
$ f_{\mathfrak{d}}$
is necessarily a power-series in the expression
$\prod_{i,j}(t_{ij}z^{m_i})^{a_{ij}}$
, for some positive integers
$a_{ij}$
. We assume after refining the walls of
$\mathfrak{D}_{(X_{\Sigma},H)}$
that
$\mathfrak{d}\subseteq\sigma\in\Sigma$
. Then the data
$\textbf{A}=\{a_{ij}\}$
determines a curve class
$\bar\beta_{\textbf{A}}\in N_1(X_{\Sigma})$
as follows. Up to a linear function, there exists a unique piecewise linear function
\begin{equation*} \psi \colon M_\mathbb{R} \longrightarrow N_1(X_\Sigma) \otimes \mathbb{R}\end{equation*}
with kink along a codimension one cone
$\rho$
being the class of the corresponding one-dimensional stratum
$D_\rho \subset X$
. Then, we define
\begin{equation*} \bar\beta_{\textbf{A}} \,:\!=\, \psi(-\sum_{i,j}a_{ij}m_i)+ \sum_{i,j}\psi(a_{ij}m_i)\,.\end{equation*}
Under the inclusion
$N_1(X_{\Sigma}) \hookrightarrow N_1(X)$
given by the above mentioned splitting, we may view
$\bar\beta_{\textbf{A},\sigma}$
as a curve class in
$N_1(X)$
, which we also denote by
$\bar\beta_{\textbf{A},\sigma}$
. We then obtain a curve class
\begin{equation*}\beta_{\textbf{A}}=\bar\beta_{\textbf{A}} - \sum_{ij} a_{ij} E_i^j.\end{equation*}
Further, as
$m_{\textrm{out}}\,:\!=\,-\sum_{ij} a_{ij}m_i$
is tangent to the cone of
$\Sigma$
containing
$\mathfrak{d}$
, as before
$\Upsilon_*(m_{\textrm{out}})$
makes sense as a tangent vector to B. We may thus define the wall
\begin{equation}\Upsilon(\mathfrak{d},f_{\mathfrak{d}})=(\Upsilon(\mathfrak{d}),f_{\mathfrak{d}}(t^{\beta_{\textbf{A}}}z^{-\Upsilon_*(m_{\textrm{out}})})).\end{equation}
We then define
\begin{equation*}\Upsilon(\mathfrak{D}_{(X_{\Sigma},H)}) \,:\!=\,\{\Upsilon(\mathfrak{d},f_{\mathfrak{d}})\,|\, (\mathfrak{d},f_{\mathfrak{d}})\in \mathfrak{D}_{(X_{\Sigma},H)}\}.\end{equation*}
A key result in [ Reference Argüz and Gross4 , theorem 6·1], then states:
Theorem 3·16.
$\Upsilon(\mathfrak{D}_{(X_{\Sigma},H)})$
is equivalent to
$\mathfrak{D}_{(X, D)}$
.
Here, two wall structures are equivalent if they induce the same wall-crossing automorphisms. In the remaining part of this section, we summarise the proof.
To prove Theorem 3·16, we first consider a degeneration
$(\widetilde X, \widetilde D)$
over
$\mathbb{A}^1=\textrm{Spec}\textbf{k}[t]$
obtained from a blow-up of the degeneration to the normal cone of
$X_{\Sigma}$
, with general fiber (X, D), and central fiber given by
\begin{equation}X_{\Sigma} \cup \bigcup_{i=1}^s \textrm{Bl}_{H_i}(\mathbb{P}(\mathcal{N}_{D_{\rho_i}|X_{\Sigma}} \oplus \mathcal{O}_{D_{\rho_i}})).\end{equation}
We then describe the canonical wall structure associated to the total space
$(\widetilde X, \widetilde D)$
. It is a wall structure on the tropicalisation
$(\widetilde B, \widetilde{\mathscr{P}})$
of of
$(\widetilde X,\widetilde D)$
over the relevant monoid
$Q(\widetilde X,\widetilde D)$
. The tropicalisation of the degeneration map
$\widetilde X \rightarrow \mathbb{A}^1$
defines a projection map
\begin{equation*} \widetilde p\,:\, \widetilde B \longrightarrow \mathbb{R}_{\geqslant 0}\,, \end{equation*}
and so we obtain a wall structure
$\mathfrak{D}^1_{(\widetilde X, \widetilde D)}$
on
$\widetilde B_1\,:\!=\, \widetilde p^{-1}(1)$
over
$Q(\widetilde X, \widetilde D)$
by restriction to
$p^{-1}(1)$
, see [
Reference Argüz and Gross4
, section 3·3] for details. The singularities of the integral affine manifold
$\widetilde B_1$
are away from the origin: from
$B=p^{-1}(0)$
to
$\widetilde B_1=p^{-1}(1)$
, the singularities are pushed away from the origin, see Figure 4. We use the notation
$\mathscr{P}_1$
to denote the restriction of the polyhedral decomposition
$\widetilde{\mathscr{P}}$
on
$\widetilde{B}$
to
$\widetilde{B}_1$
. Localising to the origin
$0\in \widetilde B_1$
we obtain a wall structure
\begin{equation}T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}\,:\!=\,\{(T_0\mathfrak{d}, f_{\mathfrak{d}})\,|\,(\mathfrak{d},f_{\mathfrak{d}})\in \mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}, \quad 0\in \mathfrak{d}\}\end{equation}
on the tangent space
$T_0\widetilde B_1$
of
$\widetilde B_1$
at the origin (see [
Reference Argüz and Gross4
, section 5]), and where
$T_0 \mathfrak{d}$
is the tangent space at the origin of the wall
$\mathfrak{d}$
. More precisely, as the origin is a smooth point of the integral affine structure on
$\widetilde B_1$
, we have a natural identification
$M_{\mathbb{R}} \to T_0\widetilde B_1$
such that the fan
$\Sigma$
is
$M_\mathbb{R}$
is the restriction of
$\mathscr{P}_1$
to
$T_0\widetilde B_1$
. Moreover, the MVPL function for
$(\widetilde X, \widetilde D)$
restricts to the PL function
$\varphi_0$
for the toric pair
$(X_\Sigma, D_\Sigma)$
, that is, with kink
$[D_\rho]$
across a codimension one cone
$\rho$
of
$\Sigma$
, where
$[D_\rho]$
is the corresponding toric curve class in
$X_\Sigma$
. Then,
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
is a wall structure on
$(M_\mathbb{R},\Sigma)$
over
$Q(\widetilde X,\widetilde D)$
as in Definition 3·1, where one uses the toric PL function
$\varphi_0$
, and where the order zero functions are
$f_{\underline{\rho}}=1$
for every codimension one cone
$\rho$
of
$\Sigma$
.
The main technical result of [
Reference Argüz and Gross4
], [
Reference Argüz and Gross4
, theorem 6·2], is a comparison between the wall structure
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
on
$(M_\mathbb{R},\Sigma)$
over
$Q(\widetilde X,\widetilde D)$
with the wall structure
$\mathfrak{D}_{(X_{\Sigma},H)}$
on
$M_\mathbb{R}$
over P. There is a map
\begin{align}\nu \colon \textbf{k}[P]& \longrightarrow \textbf{k}[\mathcal{P}_0^+]\\ \nonumber t_{ij}z^{m_i} & \longmapsto z^{(m_i,\varphi_0(m_i)+F_i-E_i^j)}\,,\end{align}
where
$F_i$
denotes the class of a general
$\mathbb{P}^1$
fiber of
$\textrm{Bl}_{H_i}(\mathbb{P}(\mathcal{N}_{D_{\rho_i}|X_{\Sigma}} \oplus \mathcal{O}_{D_{\rho_i}}))$
. Then, the walls of
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
are obtained from the walls
$(\mathfrak{d}, f_{\mathfrak{d}})$
of
$\mathfrak{D}_{(X_{\Sigma},H)}$
by applying
$\nu$
to
$f_\mathfrak{d}$
:
\begin{equation} T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)} \simeq \nu(\mathfrak{D}_{(X_{\Sigma},H)})\,.\end{equation}
As a second step we consider the asymptotic wall structure
$\mathfrak{D}_{(\widetilde X,\widetilde D)}^{1,\textrm{as}}$
, defined by
\begin{equation} \mathfrak{D}_{(\widetilde X,\widetilde D)}^{1,\textrm{as}} \,:\!=\, \{(\mathfrak{d}\cap \widetilde{B}_0, f_{\mathfrak{d}})\,|\, \hbox{$(\mathfrak{d},f_{\mathfrak{d}})\in\mathfrak{D}_{(\widetilde X,\widetilde D)}$ with $\dim\mathfrak{d}\cap\widetilde{B}_0=n-1$}\}.\end{equation}
We show that
$\mathfrak{D}_{(\widetilde X,\widetilde D)}^{1,\textrm{as}}$
is equivalent to
$\iota(\mathfrak{D}_{(X, D)})$
– here we view the canonical wall structure
$\mathfrak{D}_{(X, D)}$
as a wall structure that is embedded into
$\mathfrak{D}_{(\widetilde X, \widetilde D)}$
, which we denote by
$\iota(\mathfrak{D}_{(X, D)})$
. Finally, we show that there is a natural piecewise-linear isomorphism
$\mu\,:\, M_{\mathbb{R}} \longrightarrow \widetilde B_0= \widetilde{p}^{-1}(0) \cong B$
which induces the equivalence of wall structures
$\mu(T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)})$
and
$\mathfrak{D}^{1,\textrm{as}}_{(\widetilde X, \widetilde D)}$
, and hence
$\iota(\mathfrak{D}_{(X, D)})$
:
\begin{equation}\mu(T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}) \simeq \iota(\mathfrak{D}_{(X, D)}) \,.\end{equation}
The map
$\Upsilon$
is then given by the composition
$\Upsilon= \mu \circ \nu$
.
Example 3·17. Let X be the blow-up of a non-toric point in the interior of the boundary divisor
$D_{\Sigma} \subset \mathbb{P}^2$
, and D be the strict transform of
$D_{\Sigma}$
. The central fiber of the degeneration
$\widetilde{X}$
of X is then given as a union of
$\mathbb{P}^2$
and the Hirzebruch surface
$F_1= \mathbb{P}(\mathcal{O} \oplus \mathcal{O}(-1))$
, as illustrated in Figure 3. A possible choice for the piecewise linear function
$\psi$
is
$\psi(x,y)=0$
on the cone
$<(1, 0),(0, 1)>$
,
$\psi(x,y)=-x L$
on the cone
$<(0, 1),(-1,-1)>$
,
$\psi(x,y)=-y L$
on the cone
$<(0, 1),(-1,-1)>$
, where L is the class of a line in
$\mathbb{P}^2$
, generating
$NE(\mathbb{P}^2)$
. We have
$m_1=(1, 0)$
and
$m_2=(0, 1)$
. So, when applying
$\Upsilon$
to the function
$1+t_1x=1+t_1 z^{m_1}$
attached to a non incoming wall, we obtain
$1+xt^{\bar{\beta}_{\textbf{A}}}$
, where
$\beta_{\textbf{A}}=\bar{\beta}_{\textbf{A}} -E$
, and
\begin{equation*} \bar{\beta}_{\textbf{A}}=\psi(-m_1)+\psi(m_1)=L+0=L\,.\end{equation*}
In other words, the function
$1+t_1 x$
attached to a non incoming wall becomes
$1+xt^{L-E}$
. We illustrate the canonical wall structure associated to (X, D), and the height one slice of the canonical wall structure associated to the degeneration
$(\widetilde{X},\widetilde{D})$
in Figure 4.
3·5. Theta functions defined by broken lines
As shown in [
Reference Gross, Hacking and Siebert13
], the mirror to a log Calabi–Yau pair (X, D) – or rather the mirror to the complement
$X \setminus D$
is a family
$\textrm{Spec}\mathcal{R}_{X^{\vee}}$
over the formal completion of
$\textrm{Spec}\textbf{k}[Q(X, D)]$
at the maximl ideal
$Q(X, D) \setminus \{0\}$
, where
$\mathcal{R}_{X^{\vee}}$
denotes the ring of theta functions associated to (X, D). The generators of this ring, referred to as theta functions, are defined combinatorially via broken lines in the canonical wall structure
$\mathfrak{D}_{(X, D)}$
. Below we first review the definition of broken lines. In what follows, we show that the generators of the ring of theta functions for the mirror to a log Calabi–Yau pair (X, D) as in (1·1) can actually be obtained by studying broken lines in the “heart” of the canonical wall structure. This will allow us to compute the theta functions concretely, and to obtain concrete equations for the mirrors.
To define broken lines on
$(B,\mathscr{P})$
we need some notations for the local rings defined by considering the monoids over the graphs of the MVPL function
$\varphi$
on B discussed in Section 3·3. As the restriction of such a function to maximal cells is linear, the monoid above the graph of such a cell takes a rather simple form. Indeed, for a maximal cell
$\sigma\in\mathscr{P}^{\max}$
with
$x\in\textrm{Int}(\sigma)$
, we set
\begin{equation}R_\sigma\,:\!=\,\textbf{k}[\mathcal{P}^+_x]/I_x = (\textbf{k}[Q]/I)[\Lambda_\sigma],\end{equation}
where we have a natural splitting
$\mathcal{P}^+_x = \Lambda_x \times Q$
. On the other hand, for a codimension one cell
$\rho$
of
$\mathscr{P}$
not contained in the boundary of B, we set
$R_{\rho}\,:\!=\, \textbf{k}[\mathcal{P}^+_x]/I_x$
, for
$x\in\textrm{Int}(\rho)$
. However, in this case the description of
$\mathcal{P}^+_x$
requires some more care, and involves the kinks of – see [
Reference Argüz and Gross4
, equation (2·13)] for details. Now, we are ready to define broken lines.
Definition 3·18. Let Q be a toric monoid and
$\mathfrak{D}$
a wall structure on
$(B,\mathscr{P})$
over Q. A broken line in
$\mathfrak{D}$
is a piecewise linear continuous directed path
\begin{equation} \beta \colon (-\infty,0] \longrightarrow B \setminus \operatorname{Sing}(\mathfrak{D})\end{equation}
with
$\beta(0)\not\in\textrm{Supp}(\mathfrak{D})$
and whose image consists of finitely many line segments
$L_1, L_2, \ldots , L_N$
, such that
$\dim L_i\cap\mathfrak{d} =0$
for any wall
$\mathfrak{d}\in\mathfrak{D}$
, and each
$L_i$
is compact except
$L_1$
. Further, we require that each
$L_i\subseteq\sigma_i$
for some
$\sigma_i\in\mathscr{P}^{\max}$
. To each such segment we assign a monomial
\begin{equation*} m_i \,:\!=\, \alpha_iz^{(v_i ,q_i)} \in \textbf{k} [\Lambda_{L_i} \oplus Q^{{\operatorname{gp}}}].\end{equation*}
Here
$\Lambda_{L_i}$
, as usual, denotes the group of integral tangent vectors to
$L_i$
and is hence a rank one free abelian group. Each
$v_i$
is non-zero and tangent to
$L_i$
, with
$\beta'(t)=-v_i$
for
$t\in (-\infty,0]$
mapping to
$L_i$
. We require
$\alpha_1=1$
and set
$m_1 = z^{(v_1,0)}$
. We refer to
$v_1$
as the asymptotic direction of the broken line, and to
$\beta(0)$
as the end-point. Given
$L_i$
and its attached monomial
$m_i$
, we determine
$L_{i+1}$
and
$m_{i+1}$
as follows. Let
$L_i$
be the image under
$\beta$
of an interval
$[t_{i-1},t_i]\subset (-\infty,0]$
. Let
$I=[t_i-\epsilon,t_i+\epsilon]$
be an interval with
$\epsilon$
chosen sufficiently small so that
$\beta([t_i-\epsilon,t_i))$
and
$\beta((t_i,t_i+\epsilon])$
are disjoint from
$\textrm{Supp}(\mathfrak{D})$
. There are two cases:
-
(i)
$\beta(t_i)\in\textrm{Int}(\sigma_i)$
for
$\sigma\in\mathscr{P}^{\max}$
. Then we obtain a wall-crossing automorphism
$\theta_{\beta|_I,\mathfrak{D}}:R_{\sigma_i}\rightarrow R_{\sigma_i}$
, and
$m_i$
may be viewed as an element of
$R_{\sigma_i}$
via the inclusion
$\Lambda_{L_i}\subseteq\Lambda_{\sigma_i}$
. We expand
$\theta_{\beta|_I,\mathfrak{D}}(m_i)$
as a sum of monomials with distinct exponents, and require that
$m_{i+1}$
be one of the terms in this sum. -
(ii)
$\beta(t_i)\in\textrm{Int}(\rho)$
for
$\rho\in\mathscr{P}$
a codimension one cell. If
$y=\beta(t_i-\epsilon)$
,
$y'=\beta(t_i+\epsilon)$
,
$x=\beta(t_i)$
, we may view
$(v_i,q_i)\in\mathcal{P}^+_y$
. By parallel transport to x along
$\beta$
, we may view
$(v_i,q_i)\in \mathcal{P}_x$
. In fact,
$(v_i,q_i)\in \mathcal{P}_x^+$
by the assumption that
$\beta'(t_i-\epsilon)=-v_i$
and [
Reference Argüz and Gross4
, Proposition 2·7]. Thus, we may view
$m_i\in R_{\rho}$
, and then
$m_{i+1}$
is required to be a term in
$\theta_{\beta|_I,\mathfrak{D}}(m_i)$
. A priori,
$m_{i+1}\in R_{\rho}$
, but it may be viewed as a monomial in
$R_{\sigma_{i+1}}$
by parallel transport to y′.
We call the monomial
$a_Nz^{(v_N,q_N)}$
, carried by the final segment
$L_N$
of a broken line
$\beta$
the final monomial carried by
$\beta$
. If
$v_1=\ldots = v_N$
we say
$\beta$
is never-bending.
Definition 3·18, roughly put, says that a broken line
$\beta$
with asymptotic direction v, starts its life coming from infinity with a monomial
$z^{(v,0)}$
and ends at a fixed endpoint in B. Each time
$\beta$
crosses a wall of
$\mathfrak{D}$
it either goes straight, or bends in the direction of the wall. If it goes without bending it only may gets a contribution from the kink of the PL function, otherwise when it bends the monomial
$z^{(v,0)}$
gets multiplied with the monomial term in the wall crossing function attached to the wall.
Now we are ready to define theta functions from broken lines following [ Reference Gross, Hacking and Siebert13 , section 3·3].
Definition 3·19. Let
$\mathfrak{D}$
be a wall structure on
$(B,\mathscr{P})$
over Q. Fix a general point p in the interior of a cell
$\sigma \in \mathscr{P}^{\max}$
. Let
$m \in B$
be an asymptotic direction for
$\mathscr{P}$
, that is, a direction of an unbounded ray of
$\mathscr{P}$
. Then, the theta function defined by broken lines in
$\mathfrak{D}$
with asymptotic direction m and end point p is defined by
\begin{equation} \vartheta_m(p) \,:\!=\, \sum_{\beta} a_N z^{(v_N,q_N)} \in R_{\sigma}, \end{equation}
where the sum runs over all broken lines
$\beta$
with asymptotic direction m, and end-point p, and
$a_N z^{(v_N,q_N)} $
are the corresponding final monomials, as in Definition 3·18.
Given a log Calabi–Yau pair (X, D) with tropicalisation
$(B,\mathscr{P})$
, it is shown in [
Reference Gross, Hacking and Siebert13
, section 3·3] that the theta functions defined by the broken lines in the canonical wall structure
$\mathfrak{D}_{(X, D)}$
, with end-point at a general fixed point and asymptotic directions given by asymptotic directions of
$\mathscr{P}$
, form the generators for the coordinate ring for the mirror to (X, D). This is easy to verify for the case of a toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
– in this situation we view the tropicalisation
$(\mathbb{R}^n,\Sigma)$
endowed with the data of a PL function as discussed in Section 2 a trivial wall structure, where the wall crossing functions on all walls given by codimension one cells of
$\Sigma$
, are identity.
Example 3·20. The theta functions generating the mirror to the toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
for
$X_{\Sigma} = \mathbb{P}^2$
, defined by never-bending broken lines are illustrated in Figure 5. Note that they agree with the theta functions in (2·3), defined without using broken lines.
Figure 5. The theta functions generating the coordinate ring for the mirror to
$(\mathbb{P}^2,D_{\Sigma})$
are defined by never-bending broken lines.
Generally, due to the existence of the discriminant locus in the tropicalisation
$(B,\mathscr{P})$
of a non-toric log Calabi–Yau pair (X, D), it is challenging keeping track of all broken lines defining theta functions. In the following section, we show that in the situation when (X, D) arises as a blow-up as in (1·1), the generators of the coordinate ring to the mirror of (X, D) are given by broken lines in the heart of the canonical wall structure associated to (X, D), and these are easier to keep track of.
4. The heart of the canonical wall structure
Let (X, D) be a log Calabi–Yau pair obtained as a blow-up of a toric pair as in (1·1) and
$(\widetilde{X},\widetilde{D})$
its degeneration described in Section 3·4·3. Recall that the corresponding wall structure
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
in (1·3) is obtained by restricting the canonical wall structure of
$(\widetilde X,\widetilde D)$
to height one, and localising around the origin. In this section we define the heart of the canonical wall structure associated to (X, D) using
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
. For this, we first fix a monoid defined as follows.
Definition 4·1. Let (X, D) be the blow-up of a toric log Calabi–Yau pair
$(X_\Sigma, D_\Sigma)$
as in (1·1) along a union of hypersurfaces
$H_i \subset D_{\rho_i}$
in the toric boundary where
$1\leqslant i \leqslant s$
, and where D is the strict transform of the toric boundary divisor
$D_{\Sigma} \subset X_{\Sigma}$
. Denote by
$H_i=\bigcup_{j=1}^{s_i} H_{ij}$
the decomposition of
$H_i$
into connected components, and
$E_i^j$
an exceptional curve over
$H_{ij}$
. We define the relevant monoid to (X, D) localized at
$E_i^j$
, as the monoid obtained from the relevant monoid associated to (X, D) in (3·5) by adding the opposite of each exceptional curve
$E_i^j$
, and denote it by
\begin{equation} Q_{E}(X, D) \,:\!=\, \langle [D_{\rho}], [ C ], -[ E_i^j ] \, \textrm{where } \, 1\leqslant i \leqslant s \, \textrm{and }\, 1\leqslant j \leqslant s_i \rangle_{\mathbb{Z}}\,,\end{equation}
where
$[D_{\rho}]$
and [C] are as in (3·5).
Note that unlike Q(X, D), the monoid
$Q_E(X, D)$
has non-trivial invertible elements: we have
\begin{equation*} Q_E(X, D)^\star=\bigoplus_{i=1}^s \bigoplus_{j=1}^{s_i} \mathbb{Z} [E_i^j]\,.\end{equation*}
Definition 4·2. A wall structure on
$(M_\mathbb{R} ,\Sigma)$
over
$Q_{E}(X, D)$
is a wall structure as in Definition 3·1, where
$B=M_\mathbb{R}$
with the integral affine structure induced by
$M \subset M_\mathbb{R}$
,
$\mathscr{P}=\Sigma$
, the MVPL function is the toric PL function
$\varphi_0$
, and the order zero functions are given by
\begin{equation*}f_{\underline{\rho}}=\prod_{j=1}^{s_i} (1+z^{(m_i, \varphi_0(m_i))-E_i^j)})^{D_\rho \cdot H_{ij}}\,,\end{equation*}
when
$\rho$
is a codimension one cone of
$\Sigma$
containing the ray
$\rho_i$
, and
$f_{\underline{\rho}}=1$
if
$\rho$
is a codimension one cone of
$\Sigma$
containing none of the rays
$\rho_i$
.
Definition 4·3. Let (X, D) be a log Calabi–Yau pair with tropicalisation
$(B,\mathscr{P})$
, obtained from a toric log Calabi–Yau pair
$(X_{\Sigma},D_{\Sigma})$
by a blow-up as in (1·1). The heart of the canonical wall structure associated to (X, D), denoted by
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
, is the wall structure on
$(M_\mathbb{R},\Sigma)$
over
$Q_{E}(X, D)$
, obtained from the wall structure
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
in (1·3) by setting all classes
$F_i=0$
, where
$F_i$
denotes the class of a general
$\mathbb{P}^1$
fiber of
$\textrm{Bl}_{H_i}(\mathbb{P}(\mathcal{N}_{D_{\rho_i}|X_{\Sigma}} \oplus \mathcal{O}_{D_{\rho_i}}))$
, and
$H_i$
is as in Definition 4·1.
Note that by the construction of the degeneration
$(\widetilde X,\widetilde D)$
, elements of the monoid
$Q(\widetilde{X},\widetilde{D})$
are contained in the monoid generated by the union of Q(X, D) and the fiber classes
$\pm F_i$
’s. As there are no relations between the fiber classes
$F^{\prime}_i s$
and the classes in Q(X, D), we have indeed a well defined morphism of monoids
$Q(\widetilde{X},\widetilde{D}) \to Q(X, D)$
given by setting
$ \pm F_i=0$
.
Moreover, one can check that
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
is indeed a wall structure on
$(M_\mathbb{R},\Sigma)$
over
$Q_E(X, D)$
. If
$(\mathfrak{d}, f_\mathfrak{d})$
is a non incoming wall of
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
, then it follows from (3·18) that
$(\mathfrak{d}, f_\mathfrak{d})$
can be viewed as a wall of
$\mathfrak{D}_{(X, D)}$
, and so the curve classes appearing in
$f_\mathfrak{d}$
, which are a priori in
$Q(\widetilde X,\widetilde D)$
, are actually contained in Q(X, D). In particular, setting
$F_i=0$
has no effect on the non incoming walls
$(\mathfrak{d}, f_\mathfrak{d})$
, and we have
$f_\mathfrak{d} \equiv 1$
modulo
$I_0=Q_E(X, D) \setminus Q_E(X, D)^\star$
. On the other hand, it follows from the comparison with
$\mathfrak{D}_{(X_\Sigma,H)}$
given in (3·15)–(3·16) and from the description of incoming walls of
$\mathfrak{D}_{(X_\Sigma,H)}$
in (3·10) that the initial walls of
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
are
\begin{equation*} (\rho, \prod_{j=1}^{s_i}(1+z^{(m_i,\varphi_0(m_i)+F_i-E_i^j})^{D_{\rho}\cdot H_{ij}})\,,\end{equation*}
for codimension one cones
$\rho$
of
$\Sigma$
containing a ray
$\rho_i$
. Setting
$F_i=0$
, we obtain that the initial walls of
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
are
$(\rho, f_{\underline{\rho}})$
, where
$f_{\underline{\rho}}$
is as in Definition 4·2. Finally, note that
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
is a consistent wall-structure because the wall-structure
$T_0\mathfrak{D}^{1}_{(\widetilde X,\widetilde D)}$
is consistent.
In the remaining part of this section we prove our main result, Theorem 4·6 which shows that the mirror to a log Calabi–Yau pair can be effectively constructed using the heart of the associated canonical wall structure. For this, we first review the analysis we carried in [
Reference Argüz and Gross4
, lemma 4·20] to determine the monodromy around each of the standard pieces of the discriminant locus in the tropicalisation
$(\widetilde B, \widetilde{\mathscr{P}})$
of
$(\widetilde X, \widetilde D)$
. We fix some notations to do this.
Notation 1. Let
$\rho_i$
be a ray in the toric fan
$\Sigma$
with primitive generator
$m_i$
, corresponding to a divisor
$D_{\rho_i} \subset X_{\Sigma}$
. We define the toric fan corresponding to
$D_{\rho_i}$
by
\begin{equation} \Sigma(\rho_i)=\{(\sigma+\mathbb{R}\rho_i)/\mathbb{R}\rho_i\,|\,\sigma\in\Sigma,\rho_i\subseteq\sigma\}.\end{equation}
We use the notation
$\underline \rho$
for a codimension one cell of
$\Sigma(\rho_i)$
satisfying
$\underline{\rho}=(\rho+\mathbb{R}\rho_i)/\mathbb{R}\rho_i$
. We denote by
$\bar\rho_i\,:\!=\,\rho_i\times\mathbb{R}_{\ge 0}\in \Sigma \times \mathbb{R}_{\geqslant 0}$
. Note that
$\bar\rho_i$
is generated by
$(m_i,0)$
and (0, 1). Recall that a standard piece of the discriminant locus in
$\overline{B}_1$
is located at
$(m_i,1)$
, and the ray connecting it to the origin it splits the
$\bar\rho_i$
into a of two cones: one of them generated by
$(m_i,1)$
and (0, 1) denoted by
$\tilde \rho$
and the other generated by
$(m_i,1)$
and (0, 1) which we denote by
$\tilde \rho'$
. We use the notation
$\rho_0$
and
$ \rho_\infty$
for the intersections of
$\tilde \rho$
and
$\tilde \rho_\infty$
with
$\widetilde{B}_1$
respectively. Moreover we denote the maximal cells adjacent to
$\rho_0$
and
$\rho_\infty$
respectively by
$\sigma'^{\pm}$
and
$\sigma^{\pm}$
as illustrated in Figure 6.
Figure 6. The points p, p′ and
$p_0$
To describe the monodromy around the singular locus
$\Delta \subset \widetilde B_1$
, we need the data of a PL function, which is different than the PL function
$\varphi$
we fix through Section 3·3 to describe wall structures (see [
Reference Argüz and Gross4
, equation 3·14] for details). We review the description this function in a moment. Denote by
$D_{\rho_i}\subset X_{\Sigma}$
the divisor corresponding to a ray
$\rho_i$
with direction
$m_i$
and let
$H_i \subset D_{\rho_i}$
be a hypersurface as in (3·8). Denote by
$\Sigma(\rho_i)$
the toric fan corresponding to
$D_{\rho_i}$
defined as in (4·2). Then, there is a piecewise linear function on
$\Sigma(\rho_i)$
, given by
\begin{equation} \varphi_i:M_{\mathbb{R}}/\mathbb{R}\rho_i \longrightarrow \mathbb{R}\end{equation}
corresponding to the divisor
$H_i$
, defined as follows: if
$H_i$
is linearly equivalent to a sum
$\sum a_\tau D_{\tau}$
of boundary divisors, where
$\tau$
ranges over rays in
$\Sigma(\rho_i)$
, then
$\varphi_i(m_{\tau})=a_{\tau}$
for
$m_{\tau}$
a primitive generator of
$\tau$
.
Proposition 4·4. The monodromy around a loop
$\gamma$
in
$\widetilde{B}_1$
around a piece of the discriminant locus on a wall with direction
$m_i$
is given by the formula
\begin{equation} T_{\gamma}(m)= m + \kappa_{\underline \rho}^i\cdot \delta(m) \cdot m_i,\end{equation}
where
$\kappa_{\underline \rho}^i$
is the kink of the PL function
$\varphi_i$
defined in (4·3) along a codimension one cone
$\underline{\rho}\in\Sigma(\rho_i)$
given by
$\underline{\rho}=(\rho+\mathbb{R}\rho_i)/\mathbb{R}\rho_i$
for some codimension one cone
$\rho\in\Sigma$
containing
$\rho_i$
, and
$\delta:M/\mathbb{Z} m_i\to\mathbb{Z}$
is the quotient by
$\Lambda_{\underline\rho}$
(see [
Reference Argüz and Gross4
, equation 3·28]).
Proof. See [ Reference Argüz and Gross4 , lemma 3·6].
Using the description of monodromy in (4·4), we define the parallel transport map as follows. With the notation of Proposition 4·4, it follows from (4·4) that there is a natural parallel transport map on
$\widetilde{B}_1$
, given by
\begin{align} \wp\,:\,\textbf{k}[\Lambda][Q(X, D)] & \longrightarrow\textbf{k}[\Lambda][Q(X, D)] \\ \nonumber t^qz^m & \longmapsto t^qz^{m + \langle m,n \rangle m_i},\end{align}
where
$n \in N = \textrm{Hom}(M,\mathbb{Z})$
is the normal vector to
$\rho_i$
pointing away from
$\widetilde{\sigma}^+ \cup \widetilde{\sigma}'^+$
. Note that by the definition of lift
$\delta\,:\, M/\mathbb{Z} m_i\to\mathbb{Z}$
in Proposition 4·4 it naturally lifts to
$n\,:\, M \to\mathbb{Z} $
, so that
$\delta(m)=n$
. In [
Reference Argüz and Gross4
, section 4] we carried a rigorous analysis using the parallel transport map around the pieces of the discriminant locus of the wall structure
$\mathfrak{D}^1_{}(\widetilde X, \widetilde D)$
. A key point in that analysis is a proof that this wall structure is radiant [
Reference Argüz and Gross4
, definition 4·7]. We will need the following result of [
Reference Argüz and Gross4
, theorem 4·22] as a consequence of this property of the wall structure
$\mathfrak{D}^1_{}(\widetilde X, \widetilde D)$
:
Theorem 4·5. Let
$S=(M_{\mathbb{R}}\setminus\{0\})/\mathbb{R}_{> 0}$
be the sphere parameterising rays from the origin in
$\widetilde{B}$
. Choose a general point
$s\in S$
, such that the corresponding ray
$\rho_s$
does not intersect the discriminant locus. For any point
$x\in \rho_s$
, denote by
$f_x$
be the product of all the wall crossing functions attached to walls containing x. Then, there are two possibilities: either
$f_x$
is independent of x for any x, or
$\rho_s$
is contained in the union of two maximal cells such that if y and y′ are two points contained in these cells,
$f_y$
and
$f_{y^{\prime}}$
are related by the parallel transport map in (4·5).
Now we are ready to state our main result:
Theorem 4·6. The ring of theta functions defined by broken lines in
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
is isomorphic to the coordinate ring of the mirror to (X, D).
Proof. Let
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
be the wall structure obtained from
$\mathfrak{D}^1_{(\widetilde{X},\widetilde{D})}$
in (1·3) by setting all fiber classes
$F_i$
as in Definition 4·3 to zero. Thus, the localisation of
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
around the origin is the heart of the canonical wall structure
$\mathfrak{D}^{\heartsuit}_{(X, D)}$
. Moreover, it follows from [
Reference Argüz and Gross4
, proposition 3·13], that asymptotically
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
is still equivalent to the canonical wall structure associate to (X, D).
Let
$\mathcal{R}_{X^{\vee}}$
denote the coordinate ring for the mirror to (X, D). Let
$u_j$
for
$1\leqslant j \leqslant \ell$
be the primitive integral directions of the rays of the polyhedral direction
$\mathscr{P}$
of B. Then, the corresponding theta functions
$\theta_{u_j}$
generate
$\mathcal{R}_{X^{\vee}}$
as an algebra. Indeed, the mirror of (X, D) is constructed as a smoothing of a union of affine toric varieties corresponding to the cones of the tropical space associated to (X, D) [
Reference Gross, Hacking and Keel11
,
Reference Gross and Siebert16
], and the coordinate ring for the mirror
$\mathcal{R}_{X^{\vee}}$
restricted to each such affine piece is generated the monomials corresponding to the primitive integral directions
$u_j$
of the rays of the corresponding cone in
$(B,\mathscr{P})$
.
Let p be a general point of
$\widetilde{B}_1$
, so that the ray
$\mathbb{R}_{\geqslant 0} p$
does not intersect the discriminant locus in
$\widetilde{B}_1$
. For every
$s \in \mathbb{R}_{>0}$
, we denote by
$\theta_{u_j}(s p)$
the theta function
$\theta_{u_j}$
computed at the s-rescaled point s p by the scattering diagram
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
. Note that for every
$s, s' \in \mathbb{R}_{>0}$
,
$\theta_{u_j}(s p)$
and
$\theta_{u_j}(s' p)$
are related by parallel transport from s to s
′ by consistency of the scattering diagram
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
. Our goal is to show that for
$0<s<<1$
, the theta functions
$\theta_{u_j}(s p)$
coincide with the theta functions
$\theta_{u_j}$
computed by the heart of the canonical scattering diagram
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
, and that for
$s>>1$
, the theta functions
$\theta_{u_j}(s p)$
coincide with the theta functions
$\theta_{u_j}$
computed by the canonical scattering diagram
$\mathfrak{D}_{(X, D)}$
. This will imply Theorem 4·6.
It is enough to show that for
$0<s<<1$
, all broken lines contributing to
$\theta_{u_j}(sp)$
only intersect walls of
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
, and that for
$s>>1$
, all broken lines contributing to
$\theta_{u_j}(sp)$
only intersect walls of the asymptotic scattering diagram of
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
. For that, it is enough to study how the broken lines contributing to
$\theta_{u_j}(s p)$
change as a function of s. As long as broken lines do not pass through the discriminant locus, it follows from the radiant property of
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
reviewed in Theorem 4·5 that the broken lines move continuously as a function of s by s-rescaling of the intersection points with the walls. In particular, one obtain a one-to-one correspondence between broken lines at different values of s as long as no broken line passes through the discriminant locus.
It remains to study how the broken lines change when passing through the discriminant locus. This can be done by an explicit local analysis as follows. Assume that there exists a broken line
$\beta$
crossing a wall in
$\rho_\infty$
for some value of s, going to the discriminant locus for s approaching a critical value
$s_{\textrm{crit}}$
. Let
$a_\beta z^{m_\beta}$
be the monomial attached to the linearity domain of
$\beta$
just before crossing the wall. Let
$\beta_{\textrm{in}}$
be the part of the broken line
$\beta$
consisting of the linearity domains before crossing the walls. Then, using the notation of Theorem 4·5 and Figure 6, the possible ways to continue
$\beta_{\textrm{in}}$
in a broken line after crossing the wall in
$\rho_\infty$
are in one-to-one correspondence with the monomials in
\begin{equation} a_\beta z^{m_\beta} f_{y^\prime}^{\langle m_\beta,n \rangle} t^{\kappa_\infty \langle m_\beta,n \rangle}\,,\end{equation}
where
$f_{y^{\prime}}$
denotes the wall crossing function attached to
$\rho_\infty$
, and by
$\kappa_0$
we denote the kink of the MVPL function
$\varphi_i$
defined in (4·3) along
$\rho_{\infty}$
. Similarly, for
$s<s_{\textrm{in}}$
, the possible ways to continue the s-rescaling of
$\beta_{\textrm{in}}$
in a broken line after crossing the wall in
$\rho_0$
are in one-to-one correspondence with the monomials in
\begin{equation} a_\beta z^{m_\beta} f_{y}^{\langle m,n \rangle} t^{\kappa_0 \langle m_\beta,n \rangle},\end{equation}
where
$f_{y}$
denotes the wall crossing function attached to
$\rho_0$
, and by
$\kappa_0$
we denote the kink of the MVPL function
$\varphi_i$
defined in (4·3) along
$\rho_0$
.
It follows from [
Reference Argüz and Gross4
, lemma 4·20] (see the final equation in the proof of [
Reference Argüz and Gross4
, lemma 4·20] by inserting
$F_i = 0$
for the fiber classes), that the functions
$f_y$
and
$f_{y^\prime}$
are related by the equation
\begin{equation} f_{y}=t^{-\sum_j E^j_{\underline{\rho}}}z^{\kappa^i_{\underline{\rho}} m_i}\wp(f_{y^\prime}),\end{equation}
where
$E^j_{\underline{\rho}}$
, for
$1\le j\le \kappa^i_{\underline{\rho}}$
denotes the classes of the exceptional curves of the blow-up
$D_{\rho_i}$
along
$H_{ij}$
, and
$\wp$
is the parallel transport map defined in (4·5). By substituting the formula for
$f_y$
given in (4·8) to (4·7), one can rewrite (4·7) as
\begin{equation} a_\beta z^{m_\beta + \kappa^i_{\underline{\rho}} m_i \langle m_\beta,n \rangle} t^{\kappa_0 \langle m_\beta,n \rangle -\sum_jE^j_{\underline{\rho}}\langle m_\beta,n \rangle} \wp(f_{y^\prime}).\end{equation}
Note that kinks
$\kappa_0$
and
$\kappa_\infty$
are related by the formula
\begin{equation} \kappa_{\infty} - \kappa_0 = -\sum_{j=1}^{\kappa^i_{\underline{\rho}}} E^j_{\underline{\rho}},\end{equation}
by [
Reference Argüz and Gross4
, equation 3·37]. Thus,
$\kappa_0 \langle m,n \rangle -\sum_jE^j_{\underline{\rho}}\langle m,n \rangle = \wp(\kappa_{\infty})$
. Hence, it follows that (4·7) is obtained by applying the parallel transport
$\wp$
to (4·6). More precisely, the parallel transport
$\wp$
induces a one-to-one correspondence between the monomials in (4·6) and the monomials in (4·7), and so we have a well-defined continuous way to deform the broken lines across the discriminant locus from
$s > s_{\textrm{crit}}$
to
$s <s_{\textrm{crit}}$
, see Figure 7 for an example.
Figure 7. The broken lines defining theta functions on
$\mathfrak{D}^{\heartsuit}_{(X, D)}$
on the left and on
$\mathfrak{D}_{(X, D)}$
on the right.
Therefore, rescaling by
$s\in \mathbb{R}_{>0}$
the intersection points with the walls, along with the above local parallel transport around the discriminant locus, is a well-defined way to continuously deform the broken lines contributing to
$\theta_{u_j}(sp)$
as a function of s. As there are finitely many
$1\leqslant j\leqslant l$
, and finitely many broken lines contributing to
$\theta_{u_j}(p)$
, with finitely many bendings (recall that we work modulo the ideal I), we deduce that for
$s>0$
small enough, the distance to the origin of all the intersection points of all broken lines contributing to
$\theta_{u_j}(sp)$
are all strictly smaller than one for all
$1\leqslant j\leqslant l$
. Hence, these broken lines only intersect walls of
$\mathfrak{D}_{(X, D)}^{\heartsuit}$
. Similarly, for all
$s>0$
large enough, the distance to the origin of all the intersection points of all broken lines contributing to
$\theta_{u_j}(sp)$
are all strictly bigger than one for all
$1\leqslant j\leqslant l$
. Hence, these broken lines only intersect walls of the asymptotic scattering diagram of
$\mathfrak{D}^{1,F_i=0}_{(\widetilde{X},\widetilde{D})}$
.
Remark 4·7. Note that a particular consequence of 4·6 is that though the heart of the canonical wall structure
$\mathfrak{D}^{\heartsuit}(X, D)$
associated to a log Calabi–Yau pair is defined over the localisation
$Q_E(X, D)$
of the relevant monoid Q(X, D) at exceptional curve classes, as in (4·1), the mirror to (X, D) is nonetheless obtained as a family over Q(X, D). This is indeed natural, since in the wall structure
$\mathfrak{D}^{\heartsuit}(X, D)$
the only occurrence of the negative powers of exceptional curve classes are on the finitely many incoming walls – this is a particular corollary of the main result of [
Reference Argüz and Gross4
] that asymptotically the wall structure
$\widetilde{\mathfrak{D}}^1_{(\widetilde X, \widetilde D)}$
is equivalent to the canonical wall structure, in which the coefficients of the wall functions correspond to honest effective curve classes. The occurrence of negative powers of the exceptional curve classes in the finitely many incoming walls does not change the fact that the resulting ring of theta functions obtained by broken lines in
$\mathfrak{D}^{\heartsuit}(X, D)$
defines a family over Q(X, D).
Example 4·8. Let X be the blow-up of a non-toric point in
$\mathbb{P}^2$
as in Example 3·17, for which the the height one slice of the canonical wall structure associated to the degeneration
$(\widetilde{X},\widetilde{D})$
is illustrated in Figure 4. The broken lines defining theta functions with end point at a general point
$p_0$
on
$\mathfrak{D}^{\heartsuit}_{(X, D)}$
are given by
\begin{equation} \nonumber \vartheta_{(1, 0)} = x, \,\ \,\ \vartheta_{(0, 1)} = y, \,\ \,\ \textrm{and} \,\ \,\ \vartheta_{(-1,-1)} = x^{-1}y^{-1}(1+xz^{-[E]})z^{[L]} \,.\end{equation}
On the other hand, the broken lines defining theta functions with end point at a general point p′ on
$\mathfrak{D}^{\textrm{as}}_{(\widetilde X, \widetilde D)} \cong \mathfrak{D}_{(X, D)}$
are given by
\begin{equation}\nonumber \vartheta^{\prime}_{(1, 0)} = x, \,\ \,\ \vartheta^{\prime}_{(0, 1)} = xy, \,\ \,\ \textrm{and} \,\ \,\ \vartheta^{\prime}_{(-1,-1)} = x^{-1}y^{-1}(1+x^{-1}z^{[E]})z^{[L-E]} \,.\end{equation}
Observe that in this example the theta functions are related by a parallel transport map defined in (4·5), which is along a path on the upper half plane mapping
$p_0$
to p′ by
\begin{align} \nonumber \wp\,:\,\textbf{k}[\Lambda][Q(X, D)] & \longrightarrow\textbf{k}[\Lambda][Q(X, D)] \\ \nonumber t^qz^{(1, 0)} & \longmapsto t^qz^{(1, 0)} \\ \nonumber t^qz^{(0, 1)} & \longmapsto t^qz^{(1,1)}\end{align}
The mirror family to (X, D) in this case, is given by
\begin{align} \nonumber\textrm{Spec}\textbf{k}[Q(X, D)][ \vartheta_{(1, 0)} , \vartheta_{(0, 1)} , \vartheta_{(-1,-1)} / \big( \vartheta_{(1, 0)} \vartheta_{(0, 1)} \vartheta_{(-1,-1)} = z^{[L]} + \vartheta_{(1, 0)} z^{[L-E]} \big) \,,\nonumber\end{align}
or equivalently, by
\begin{align} \nonumber\textrm{Spec} \textbf{k}[Q(X, D)][ \vartheta^{\prime}_{(1, 0)} , \vartheta^{\prime}_{(0, 1)} , \vartheta^{\prime}_{(-1,-1)} ] / \big( \vartheta^{\prime}_{(1, 0)} \vartheta^{\prime}_{(0, 1)} \vartheta^{\prime}_{(-1,-1)} = z^{[L]} + \vartheta^{\prime}_{(1, 0)} z^{[L-E]} \big) \,.\end{align}
5. Explicit equations for mirrors to log Calabi–Yau pairs in dimension three
In this section we first illustrate how to obtain the concrete equation of the mirror, in the simple situation when we blow-up a single hypersurface in a three dimensional log Calabi–Yau pair. We then study the situation when several hypersurfaces are blown-up.
Example 5·1. Let
$\Sigma$
be the toric fan of
$X_{\Sigma}=\mathbb{P}^3$
, with rays generated by
$e_1,e_2,e_3$
and
$e_1-e_2-e_3$
. Consider the blow-up of
$X_{\Sigma}$
with center a general degree d hypersurface
$H\subset D_1$
contained in a component
$D_1$
in the toric boundary corresponding to the ray generated by
$e_1$
. The initial walls of the heart of the associated wall structure,
$\mathfrak{D}^{\heartsuit}_{(\mathbb{P}^3,H)}$
are displayed in Table 1. To obtain a consistent wall structure we extend each of the initial walls as illustrated in Figure 8. Let
$\varphi$
be the PL function as in Section 3·3·3, which vanishes on the positive octant and whose kinks on each of the two dimensional cells of
$\Sigma$
are the class [L] of the strict transform of a general line in
$\mathbb{P}^3$
. We fix a general point p in the positive octant. The theta functions with endpoint p, and asymptotic directions given by the asymptotic directions of the rays of
$\Sigma$
, are given by
Table 1. Initial walls of
$\mathfrak{D}^{\heartsuit}_{(\mathbb{P}^3,H)} $
, where L denotes class of the strict transform of a general line in
$\mathbb{P}^3$
and E denotes the class of a fiber of the exceptional divisor. By
$\langle e_i, e_j \rangle$
we denote the cone spanned by
$e_i$
and
$e_j$
.
Figure 8. The initial walls of
$\mathfrak{D}^{\heartsuit}_{\mathbb{P}^3,H}$
formed by the widget corresponding to a hypersurface of degree d in the toric boundary.
\begin{eqnarray} \vartheta_{e_1} & = & z^{(1, 0, 0)} = x, \\ \nonumber \vartheta_{e_2} & = & z^{(0, 1, 0)} = y, \\ \nonumber \vartheta_{e_3} & = & z^{(0, 0, 1)} = z, \\ \nonumber \vartheta_{e_4} & = & z^{(-1,-1,-1)} \big( 1+ t^{-[E]}x \big)^d t^{[L]} =\frac{1}{\vartheta_1 \vartheta_2 \vartheta_3}\big( 1+ t^{-[E] }\vartheta_1 \big)^d t^{[L]} \,,\end{eqnarray}
where the factor
$t^{[L]}$
is the contribution from the kink of
$\varphi$
. It follows from (5·1) that the mirror to (X, D) is given by
\begin{equation} \textrm{Spec}\textbf{k}[Q(X, D)][ \vartheta_{e_1},\vartheta_{e_2},\vartheta_{e_3},\vartheta_{e_4}]/\big( \vartheta_{e_1}\vartheta_{e_2}\vartheta_{e_3}\vartheta_{e_4}= ( 1+ t^{-[E] }\vartheta_{e_1} )^d t^{[L]} \big),\end{equation}
where [L] is the class of a general line and [E] is the class of an exceptional fiber over H, and Q(X, D) is the relevant monoid associated to (X, D) defined as in (3·5).
We next consider the situation when we blow-up a disjoint union of two hypersurfaces contained in toric boundary components of
$\mathbb{P}^3$
. In this case, the walls formed by widgets of the tropicalisations of these hypersurfaces interact. This creates a pretty sophisticated wall structure, even in the simplest case when the center of blow up is a disjoint union of two lines, and requires to do first the combinatorial construction of the toric wall structure
$\mathfrak{D}_{(X_{\Sigma},H)}$
for purposes of book keeping, and then passing to the heart of the canonical wall structure. Before proceeding with the more general situation, we first analyse in detail the case with two lines, in which we a priori obtain infinitely many walls in the heart of the canonical wall structure.
Table 2. Walls of
$\mathfrak{D}_{(\mathbb{P}^3,\ell),\textrm{in}} $
formed by the two widgets in Figure 9.
Figure 9. The walls of
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1 \cup \ell_2),\textrm{in}}$
formed by two widgets obtained by deformations of the two tropical lines corresponding to
$\ell_1$
and
$\ell_2$
.
Example 5·2. Let X be the blow-up of
$\mathbb{P}^3$
with center two disjoint lines
$\ell_1,\ell_2$
contained in two different components
$D_1,D_2$
in the toric boundary divisor
$D_{\Sigma} \subset \mathbb{P}^3$
, and D be the strict transform of
$D_\Sigma$
. The set of ray generators of the toric fan
$\Sigma$
of
$\mathbb{P}^3$
is given by
$\{ e_1,e_2,e_3,e_4=-e_1-e_2-e_3 \}$
, where
$\{ e_i \ | \ 1 \leqslant i \leqslant 3 \}$
is the standard basis in
$\mathbb{R}^3$
. We further set
\begin{equation*}z^{e_1}=x, \, \, z^{e_2}=y, \, \, z^{e_3}=z, \, \, \textrm{and} \,\, z^{-e_1-e_2-e_3}=1/xyz.\end{equation*}
The walls of the initial wall structure
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1 \cup \ell_2),\textrm{in}}$
are formed by the two widgets, illustrated in Figure 9. We list the set of walls of
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1 \cup \ell_2),\textrm{in}}$
in Table 2. The set of ray generators for the initial joints in
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1 \cup \ell_2),\textrm{in}} $
is then given by
\begin{equation*} \{ (-1, -1, -1) , (0, 0, 1) , (1, 0, 0) , (0, 1, 0) \} \end{equation*}
We first need to check for consistency up to order 1 around all these initial joints, and then repeat it consecutively for higher orders, analysing also the new joints formed at each step. We describe how to do this in detail below.
Order 1 Corrections. Let us denote
$\mathfrak{D}_1\,:\!=\,\mathfrak{D}_{(\mathbb{P}^3,D_{\Sigma}),in}$
. First, we check consistency in
$\mathfrak{D}_1$
around the joint generated by (1, 0, 0) : The projections of the walls of
$\mathfrak{D}_1$
adjacent to
$\langle 1,0,0 \rangle$
, along
$\langle 1,0,0 \rangle$
, are illustrated in Figure 10. Note that to remember the normal directions of the walls adjacent to a joint, we label them on each of the rays obtained after projecting them along the joint. By the formula (3·11), the wall crossing functions attached to the walls of
$\mathfrak{D}_1$
, transfer the monomials x,y and z as follows: x remains invariant since in (3·11) the power of the wall crossing function vanishes. For y, consecutively applying the wall crossing transformations, going counterclockwise around the joint with a loop illustrated as in Figure 10, we obtain
Figure 10. On the left is the projection of the walls of
$\mathfrak{D}_1\,:\!=\,\mathfrak{D}_{(\mathbb{P}^3,D_{\Sigma}),in}$
adjacent to the joint
$\langle (1, 0, 0) \rangle$
, along
$\langle (1, 0, 0) \rangle$
. On the right is the projection of the walls of
$\mathfrak{D}_{(\mathbb{P}^3,D_{\Sigma})}$
, adjacent to
$\langle (1, 0, 0) \rangle$
. We write the attached function to each wall inside the nearby box.
\begin{align*}y \longmapsto y \longmapsto y(1+t_1x)^{-1} \longmapsto y(1+t_1x)^{-1}(1+t_1x) = y.\end{align*}
Hence, y remains invariant as well. However for z, at order 1 (i.e. up to higher order terms of degree at least 2) we obtain,
\begin{align*}z \longmapsto & z(1+t_1x)^{-1}(1+t_2y)^{-1} \\ \longmapsto & z(1+t_1x)(1+t_1x)^{-1}(1+t_2y(1+t_1x)^{-1})^{-1}= z(1+t_2y(1+t_1x)^{-1})^{-1} \\ \longmapsto & z(1+t_2y(1+t_1x)(1+t_1x)^{-1})^{-1} = z(1-t_2y)\end{align*}
Hence at first order, z is not invariant. To correct the discrepancy for z to be invariant at first order, following the recipe explained in [ Reference Argüz and Gross4 , theorem 5·6], we set
\begin{equation*}\mathfrak{D}_2 \,:\!=\, \mathfrak{D}_1 \cup (\langle (1, 0, 0),(0,-1,0) \rangle ,1+t_2y)\end{equation*}
to be the wall structure obtained from
$\mathfrak{D}_1$
by inserting the wall
$ (\langle (1, 0, 0),(0,-1,0) \rangle ,1+t_2y) $
. Next we check consistency around the joint generated by (0, 1, 0) : The walls of
$\mathfrak{D}_2$
which are adjacent to
$ \langle (0, 1, 0) \rangle$
are illustrated after projecting along
$ \langle (0, 1, 0) \rangle$
in Figure 11. Applying the wall-crossing automorphisms to x,y,z, at degree 1, we obtain
Figure 11. On the left is the projection of the walls of
$\mathfrak{D}_1\,:\!=\,\mathfrak{D}_{(\mathbb{P}^3,D_{\Sigma}),in}$
adjacent to
$\langle (0, 1, 0) \rangle$
, along
$\langle (0, 1, 0) \rangle$
. On the right is the projection of the walls of
$\mathfrak{D}_{(\mathbb{P}^3,D_{\Sigma})}$
, adjacent to
$\langle (0, 1, 0) \rangle$
. We write the attached function to each wall inside the nearby box.
\begin{equation*} x\longmapsto x, \ y \longmapsto y, \ z \longmapsto z(1-t_1x) \end{equation*}
Hence, to do the first order correction, we set
\begin{equation*}\mathfrak{D}_3 \,:\!=\, \mathfrak{D}_2 \cup (\langle (0, 1, 0),(-1,0,0) \rangle ,1+t_1x)\end{equation*}
Next checking consistency around the joint generated by (0, 0, 1) and proceeding analogously, we define
\begin{equation*}\mathfrak{D}_4 \,:\!=\, \mathfrak{D}_3 \cup (\langle (0, 0, 1),(-1,0,0) \rangle ,1+t_1x) + (\langle (0, 0, 1),(0,-1,0) \rangle ,1+t_2y)\end{equation*}
For consistency around the joint generated by
$ (-1, -1, -1) $
, applying the wall-crossing automorphisms to the monomials x,y,z, we obtain
\begin{equation*} x\longmapsto x(1+t_2y), \ y\longmapsto y(1-t_1x), z \longmapsto z(1+t_1x-t_2y)\end{equation*}
Proceeding analogously, we set
\begin{equation*} \mathfrak{D}_5 \,:\!=\, \mathfrak{D}_4 \cup ( \langle (-1,-1,-1),(-1,0,0) \rangle ,1+t_1x) + (\langle (-1,-1,-1),(0,-1,0) \rangle , 1+t_2y)\end{equation*}
The set of all joints of
$\mathfrak{D}_5$
is given by
\begin{equation*} \{ (0, -1, 0) , (-1, 0, 0) , (-1, -1, -1) , (0, 0, 1) , (1, 0, 0) , (0, 1, 0) \}. \end{equation*}
Now, it is easy to verify that
$\mathfrak{D}_5$
is consistent to order 1 around all these joints. So, we can continue with consistency at order 2.
Order 2 Corrections. Consistency around the joint generated by
$ (-1, -1, -1) $
:
$\mathfrak{D}_5$
is not consistent to order 2 around this joint. Indeed, the wall crossing functions transform x,y,z by
\begin{equation*}x \longmapsto x(1+t_1t_2xy), y \longmapsto y(1-t_1t_2xy), z \longmapsto z \end{equation*}
To correct this, we define
\begin{equation*} \mathfrak{D}_6 \,:\!=\, \mathfrak{D}_5 \cup (\langle (1, 0, 0),(-1,-1,0) \rangle ,1+t_1t_2xy).\end{equation*}
Consistency around the joint generated by (0, 1, 0) :
$\mathfrak{D}_6$
is not consistent to order 2. The wall crossing functions transform x,y,z by
\begin{equation*} x \longmapsto x, y \longmapsto y, z\longmapsto z(1-t_1t_2xy) \end{equation*}
To correct this, we define
\begin{equation*}\mathfrak{D}_7 \,:\!=\, \mathfrak{D}_6 \cup (\langle (0, 1, 0),(-1,-1,0) \rangle ,1+t_1t_2xy)\end{equation*}
Consistency around the joint generated by (0, 0, 1) :
$\mathfrak{D}_7$
is not consistent to order 2. The wall crossing functions transform x,y,z by
\begin{equation*} x \longmapsto x(1+t_1t_2xy), y \longmapsto y(1-t_1t_2xy), z \longmapsto z \end{equation*}
So, we define
\begin{equation*} \mathfrak{D}_8 \,:\!=\, \mathfrak{D}_7 \cup (\langle (0, 0, 1),(-1,-1,0) \rangle,1+t_1t_2xy).\end{equation*}
Consistency around the joint generated by
$ (-1, -1, -1) $
:
$\mathfrak{D}_8$
is not consistent to order 2. The wall crossing functions transform x,y,z by
\begin{equation*} x \longmapsto x(1+t_1t_2xy), y \longmapsto y(1-t_1t_2xy), z \longmapsto z \end{equation*}
To correct this, we define
\begin{equation*} \mathfrak{D}_9 \,:\!=\, \mathfrak{D}_8 \cup (\langle (-1,-1,-1),(-1,-1,0) \rangle,1+t_1t_2xy).\end{equation*}
Now, we are done with order 2. Note that the set of joints of
$\mathfrak{D}_9$
is given by
\begin{equation*} \{ (0, -1, 0) , (-1, 0, 0) , (-1, -1, 0) , (-1, -1, -1) , (0, 0, 1) , (1, 0, 0) , (0, 1, 0)\} \end{equation*}
and
$\mathfrak{D}_9$
is consistent around all these joints to order 2. Moreover, it is easy to verify that in
$\mathfrak{D}_9$
around the joints (0, 0, 1) and
$(-1,-1,-1)$
we already have consistency to all orders, hence no new wall which are adjacent to either of z or
$1/xyz$
will be inserted at the next steps. Although the process of inserting new walls will never terminate in this example, all the remaining walls will have support on the plane spanned by
$e_1$
and
$e_2$
. Using magma computer algebra, and continuing to do higher order corrections around the other joints consecutively we deduce that achieving consistency around the joint
$ \langle (1, 0, 0) \rangle $
requires the insertion of infinitely many new walls to
$\mathfrak{D}_9$
, given by
\begin{equation*} (\langle (1, 0, 0),(-1,-1,0) \rangle ,1+t_1t_2xy) \cup \bigcup_{\substack{(a,b)\in \mathbb{Z}^2\\b<a<0}} (\langle (1, 0, 0),(a,b,0) \rangle ,f_{(a,b,0)})\,.\end{equation*}
To write the equations of mirror families, we do not need to provide closed formulas for
$f_{(a,b,0)}$
’s, as we will see in a moment. We nonetheless note that such a closed formula would provide one the data of of counts of
$\mathbb{A}^1$
-curves – as explained in [
Reference Argüz and Gross4
, section 7], such counts correspond to coefficients of
$\log f_{(a,b,0)}$
. It is a challenging task beyond the scope of this paper to write such closed formulas. Proceeding similarly, achieving consistency around the other joints of
$\mathfrak{D}_9$
, requires the insertion of infinitely many new walls to
$\mathfrak{D}_9$
with support on the plane spanned by
$e_1$
and
$e_2$
. We compute the limits of all the products of the corresponding wall crossing functions and obtain the following:
Proposition 5·3. The walls of
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1 \cup \ell_2)}$
, up to equivalence, are displayed in Table 3.
Table 3. Walls of
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1\cup \ell_2)} $
, where
$e_4 = -e_1-e_2-e_3$
. Here the first two rows correspond to initial walls.
Figure 12. Walls of the consistent wall structure
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1\cup \ell_2)}$
which lie on the
$\langle e_1,e_2 \rangle$
plane. Each upward pointing arrow on a joint indicates that there is a wall spanned by it and
$\langle (1, 0, 0) \rangle$
. Each downward pointing arrow on a joint indicates that there is a wall spanned by it and
$\langle (-1,-1,-1) \rangle$
.
Proof. Since up to equivalence there is a unique consistent will structure, is suffices to check that the wall structure with the final walls listed in Table 3 is consistent. For this, we check consistency around each of the joints. Tracing around the joint
$\langle (1, 0, 0) \rangle $
, with a loop illustrated on the right hand side of Figure 10, we immediately obtain
$x \mapsto x$
,
$y\mapsto y$
as computed above while doing the first order corrections on
$\mathfrak{D}_1$
. Moreover, now for the monomial z, we obtain
\begin{align*}z \longmapsto & z(1+t_1x)^{-1}(1+t_2y)^{-1} \\ \longmapsto & z(1+t_1x)(1+t_1x)^{-1}(1+t_2y(1+t_1x))^{-1} = z(1+t_2y(1+t_1x))^{-1} \\ \longmapsto & z(1+t_2y+t_1t_2xy)(1+t_2y(1+t_1x))^{-1} = z \longmapsto z\end{align*}
Hence, we get consistency to all orders around
$\langle (1, 0, 0) \rangle $
. Consistency around
$\langle (0, 1, 0) \rangle $
follows analogously by replacing x by y in the above computation. The consistency around the other joints is an analogous straight forward computation.
We illustrate the walls of
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1\cup \ell_2)}$
in Figure 12. We pass from the
$t_i$
-variables on the walls of
$\mathfrak{D}_{(\mathbb{P}^3,\ell_1 \cup \ell_2)}$
to the curve classes variables, as explained in Section 3·4·3. Further, we insert all fiber classes
$F=0$
, as explained in Section 4, to obtain the walls of the heart
$\mathfrak{D}^{\small\heartsuit}_{(X, D)}$
of the canonical wall structure, which are displayed in Table 4. Observe that, by picking a general point p in the positive octant spanned by
$e_1,e_2$
, and
$e_3$
we ensure that the only broken lines that are not never-bending are the ones with asymptotic direction
$-e_1-e_2-e_3$
, which cross the wall
$( \langle (1, 0, 0),(0, 1, 0) \rangle, (1+t^{[-E_1]}x)(1+t^{[-E_2]}y))$
. The theta functions defined by these broken lines are given by
Table 4. Walls of
$\mathfrak{D}^{\heartsuit}_{\left(\textrm{Bl}_{\ell_1\cup \ell_2}\left(\mathbb{P}^3\right),D\right)}$
\begin{equation} \vartheta_{e_1} = x, \ \ \ \ \vartheta_{e_2} = y, \ \ \ \ \vartheta_{e_3} = z, \ \ \ \ \textrm{and} \ \ \ \ \vartheta_{e_4} = x^{-1}y^{-1}z^{-1}(1+t^{[-E_1]}x)(1+t^{[-E_2]}y)t^{[L]}. \end{equation}
In this case, the mirror to (X, D) is given by
\begin{equation*} \textrm{Spec}\textbf{k}[Q(X, D)][ \vartheta_{e_1},\vartheta_{e_2}, \vartheta_{e_3},\vartheta_{e_4}]/(\vartheta_{e_1}\vartheta_{e_2} \vartheta_{e_3}\vartheta_{e_4}=(1+t^{[-E_1]} \vartheta_{e_1})(1+t^{[-E_2]} \vartheta_{e_2})t^{[L]}), \end{equation*}
where
$-[E_1]$
denotes the class of an exceptional curve over
$\ell_1$
, and
$-[E_2]$
is the class of an exceptional curve over
$\ell_2$
.
Remark 5·4. Note that X in Example 5·2 is a Fano variety with Mori-Mukai name MM
$3-25$
– see [
Reference Coates, Corti, Galkin and Kasprzyk8
]. Moreover, the associated superpotential to X given in [
Reference Coates, Corti, Galkin and Kasprzyk8
, table 1], agrees with the sum of the theta functions we compute in (5·3), defining the tropical superpotential as in [
Reference Carl, Pumperla and Siebert7
], which conjecturally agrees with the superpotential of [
Reference Coates, Corti, Galkin and Kasprzyk8
]. So, we verify that the expectation that the mirror construction of [
Reference Gross and Siebert16
] is compatible with the manifestations of Landau–Ginzburg mirror symmetry.
Example 5·5. Let X be the blow-up of
$\mathbb{P}^3$
with center a disjoint union of a degree
$d_1$
hypersurface
$H_1$
and a degree
$d_2$
hypersurface
$H_2$
contained in two different components, say
$D_1$
and
$D_2$
respectively, in the toric boundary divisor
$D_{\Sigma} \subset \mathbb{P}^3$
, and D be the strict transform of
$D_\Sigma$
. We list the set of walls of
$\mathfrak{D}_{(\mathbb{P}^3,H_1 \cup H_2),\textrm{in}}$
, along with the attached functions in this case in Table 5. Doing order by order consistency check around all joints, analogously as in Section 5·2 we obtain infinitely many walls on the plane spanned by
$e_1$
and
$e_2$
. By the aid of magma computer algebra [
Reference Bosma, Cannon and Playoust6
], we deduce that the final consistent wall structure again is formed by these infinitely many walls supported on the
$\langle e_1,e_2 \rangle$
plane, together with walls whose supports are on the cones
$\langle j ,e_3 \rangle $
and
$\langle j ,e_1-e_2-e_3 \rangle $
, for any joint j on the
$e_1-e_2$
plane displayed in Figure 13. Again by picking a generic point p in the positive octant spanned by
$e_1,e_2,e_3$
, similarly as in Section 5·2, we the obtain the theta functions defined by broken lines with endpoint p, given by
Table 5. Walls of
$\mathfrak{D}_{(\mathbb{P}^3,H_1 \cup H_2),\textrm{in}} $
Figure 13. Walls of the consistent wall structure
$\mathfrak{D}_{(\mathbb{P}^3,H_1\cup H_2)}$
which lie on the
$\langle e_1,e_2 \rangle$
plane. Each upward pointing arrow on a joint indicates that there is a wall spanned by it and
$\langle (1, 0, 0) \rangle$
. Each downward pointing arrow on a joint indicates that there is a wall spanned by it and
$\langle (-1,-1,-1) \rangle$
.
\begin{equation} \vartheta_{e_1} = x, \ \ \ \ \vartheta_{e_2} = y, \ \ \ \ \vartheta_{e_3} = z, \ \ \ \ \textrm{and} \ \ \ \ \vartheta_{e_4} = x^{-1}y^{-1}z^{-1}(1+t^{[-E_1]}x)^{d_1}(1+t^{[-E_2]}y)^{d_2}t^{[L]}.\end{equation}
Therefore, the mirror to (X, D) is given by
\begin{equation} \textrm{Spec}\textbf{k}[Q(X, D)][ \vartheta_{e_1},\vartheta_{e_2}, \vartheta_{e_3},\vartheta_{e_4}]/(\vartheta_{e_1}\vartheta_{e_2} \vartheta_{e_3}\vartheta_{e_4}=(1+t^{[-E_1]} \vartheta_{e_1})^{d_1}(1+t^{[-E_2]} \vartheta_{e_2})^{d_2}t^{[L]}),\end{equation}
where Q(X, D) is the relevant monoid associated to (X, D) defined as in (3·5), [L] is the class of a general line,
$[E_1]$
is the class of a fiber over
$H_1$
and
$[E_2]$
is the class of a fiber over
$H_2$
.
6. Comparison with the work of Abouzaid–Auroux–Katzarkov
In this section we first overview the mirror construction of Abouzaid–Auroux–Katzarkov for blow-ups of toric varieties along a smooth hypersurface [ Reference Abouzaid, Auroux and Katzarkov1 ] using symplectic geometric techniques and then compare it with our construction [ Reference Argüz and Gross4 ] following the algebro-geometric framework of Gross–Siebert. The main result in this section shows that these two constructions agree.
Let V be a smooth projective toric variety and
$H\subset V$
a smooth hypersurface. Denote by X the blow-up of
$\mathbb{P}^1 \times V$
at
$\{ 0 \} \times H $
, and let D be the strict transform of the toric boundary divisor of
$\mathbb{P}^1 \times V$
. The mirror to the log Calabi–Yau pair (X, D), by which we mean the mirror to the open Calabi–Yau manifold
$X^0=X \setminus D$
, from the SYZ point of view [
Reference Strominger, Yau and Zaslow19
] is constructed by Abouzaid–Auroux–Katzarkov using symplectic geometric techniques [
Reference Abouzaid, Auroux and Katzarkov1
].Footnote 2 Note that
$X^0$
is apriori described on [
Reference Abouzaid, Auroux and Katzarkov1
, p. 5] as a conic bundle. However, it follows that it actually agrees with
$X\setminus D$
– see [
Reference Abouzaid, Auroux and Katzarkov1
, p. 16].
The explicit mirror construction we outline in this paper, following our work with Mark Gross using algebro-geometric tools coming from the Gross–Siebert program [ Reference Argüz and Gross4 ], is in some sense both more general and in other both more special: it is more general that we can consider more than a single hypersurface, and construct mirrors to blow-ups of toric varieties along unions of many hypersurfaces. However, it is also more special as we fix the tropical types of hypersurfaces, so that the tropicalisations of the hypersurfaces we consider correspond to widgets as defined in (3·10). On the other hand, in [ Reference Abouzaid, Auroux and Katzarkov1 ], it is allowed to consider any generic tropical type of hypersurfaces, and in particular, the mirror constructed in [ Reference Abouzaid, Auroux and Katzarkov1 ] depends on a chosen tropical type of the hypersurface, while in [ Reference Argüz and Gross4 ] we apriori fix the type. In what follows, we consider the special case of the [ Reference Abouzaid, Auroux and Katzarkov1 ] mirror where the tropical type is fixed as in [ Reference Argüz and Gross4 ].
Remark 6·1. Allowing the tropical type of the hypersurface to vary as in [
Reference Abouzaid, Auroux and Katzarkov1
], amounts to considering a 1-parameter of hypersurfaces
$H_t$
inside V, which define a 1-parameter family of complex structures on
$X\setminus D$
. As manifested by mirror symmetry, the complex moduli space corresponds to the Kähler moduli space of the mirror. Hence, the mirror of [
Reference Abouzaid, Auroux and Katzarkov1
] encodes the data of a choise of Kähler parameter, while in the construction of [
Reference Argüz and Gross4
] this parameter is fixed. A particular consequence of fixing such a parameter is that the mirrors to the blow ups of toric varieties in [
Reference Argüz and Gross4
], which we explicitly write equations for in this paper, are typically singular. However, in [
Reference Abouzaid, Auroux and Katzarkov1
], by varying the Kähler parameter, which amounts to a birational modification of the mirror, they construct a smooth mirror. Nonetheless, their construction can be carried in the situation when one considers a constant family of hypersurfaces, and in this special case we show it agrees with our construction. We expect that one can construct a 1-parameter family of the (heart of the) canonical wall structure as in [
Reference Gross and Siebert16
], which would allow one to vary the type of hypersurfaces and produce a resolution of the mirror in the situation where one works with blow ups of toric varieties along several hypersurfaces.
To define the mirror to
$X^0$
, denoted by
$Y^0$
in [
Reference Abouzaid, Auroux and Katzarkov1
, theorem 1·7], we will first describe a toric variety Y by defining its momentum polytope as the upper convex hull of a piecewise-linear (PL) function.
Assume that dim
$V=n$
, and let
$\Sigma_V$
denote the fan of V in
$\mathbb{R}^n$
. Let
\begin{equation} \varphi_H\,:\, \mathbb{R}^n \longrightarrow \mathbb{R}\end{equation}
be a PL function with kink
$H \cdot C_{\tau}$
, the intersection number of H with
$C_{\tau}$
, across a codimension one cone
$\tau$
of
$\Sigma_V$
where
$C_{\tau}$
is the curve in V corresponding to
$\tau$
. As discussed in Section 2 knowing the kinks along codimension one cones, determines a PL function only up to a linear function. To get a unique PL function, without loss of generality in what follows we assume that
$\varphi_H$
is zero on a given maximal dimensional cone
$\sigma_0$
of
$\Sigma_V$
.
The PL function
$\varphi_H$
is one of the main ingredients to construct the mirror family to blow-ups of toric varieties along hypersurfaces following our work with Mark Gross – note that
$\varphi_H$
is denoted by
$\varphi_i$
in [
Reference Argüz and Gross4
, equation 3.14], as in that context when we consider more than one hypersurface we keep track of them by indexing with i. Though apriori in [
Reference Argüz and Gross4
] we use an alternative description for this function, it is shown in the proof of [
Reference Argüz and Gross4
, theorem 3·4] that it follows from standard toric geometry that the kinks of
$\varphi_i$
agree with the kinks of
$\varphi_i$
described as above, given by the intersection number of H with
$C_{\tau}$
, across a codimension one cone
$\tau$
of
$\Sigma_V$
.
The following proposition shows that the PL function
$\varphi_H$
furthermore agrees with the PL function used in the work of Abouzaid–Aroux–Katzarkov defined in [
Reference Abouzaid, Auroux and Katzarkov1
, equation 3·2], in the particular situation when one considers a constant family of hypersurfaces, as discussed in Remark 6·1 (in this case the
$\rho(\alpha)$
in [
Reference Abouzaid, Auroux and Katzarkov1
, equation 3·2] are all zero).
Proposition 6·2. Let A be the set of vertices of the momentum polytope image,
$\Delta_V$
, of the toric variety V, defined using the polarisation defined by the hypersurface
$H\subset V$
. Let
$\varphi\,:\, \textrm{Support}(\Sigma_V) = \mathbb{R}^n \to \mathbb{R}$
be a PL function defined by
\begin{equation} \varphi(\xi) = \textrm{max} \{ \langle a, \xi \rangle \ \ | \ \ a\in A \}.\end{equation}
Then,
$\varphi$
agrees with
$\varphi_H$
up to a linear function.
Proof. It suffices to show that
$ \varphi$
and
$ \varphi_H$
have the same kinks along codimension one cones of
$\Sigma_V$
. Let
$\tau$
be such a cone, adjacent to maximal cones
$\sigma_1,\sigma_2$
of
$\Sigma_V$
and let
$C_{\tau}$
be the corresponding curve in V. It follows directly from the definition of the dual fan
$\Sigma_V$
associated to
$\Delta_V$
, that the restriction of the PL function
$\varphi$
to the maximal cones are given by the linear functions defined by
\begin{equation*} \varphi_{|\sigma_1} = \langle \cdot , a_1 \rangle \,\ \,\ \ \ \ \ \ \ \ \ \ \ \textrm{and} \ \ \ \ \ \ \ \ \ \ \,\ \,\ \varphi_{|\sigma_2} = \langle \cdot , a_2 \rangle , \end{equation*}
where
$a_1$
and
$a_2$
are vertices of
$\Delta_V$
corresponding to the maximal cones
$\sigma_1$
and
$\sigma_2$
of
$\Sigma_V$
respectively. The kink of the PL function
$\varphi$
along
$\tau$
, which by definition is the difference of the slopes of
$ \varphi_{|\sigma_1}$
and
$ \varphi_{|\sigma_2}$
, equals the integral length of the edge with vertices
$\sigma_1$
and
$\sigma_2$
in
$\Delta_V$
. However, by standard toric geometry this integral length equals the intersection number
$H \cdot C_{\tau}$
. Hence, the result follows.
Without loss of generality we can assume that
$\varphi_H$
is zero on the maximal cone
$\sigma_0$
of
$\Sigma_V$
, as we had assumed for
$\varphi_H$
. Hence, we identify the two PL functions
$\varphi$
and
$\varphi_H$
in the remaining part of this section.
Now, to define the mirror of
$X^0$
following [
Reference Abouzaid, Auroux and Katzarkov1
], one first defines the
$(n+1)$
-dimensional toric variety Y with momentum polyope
\begin{equation*} \Delta_Y = \{(\eta,\xi)\in \mathbb{R} \oplus \mathbb{R}^n\,|\, \eta \geqslant \varphi_H(\xi) \} \subset \mathbb{R} \oplus \mathbb{R}^n \,.\end{equation*}
Let
$m_1,\dots, m_r$
be primitive generators of the rays of
$\Sigma_V$
. For every
$1 \leqslant i\leqslant r$
, the point
$(\varphi_H(m_i),m_i)\in \mathbb{R} \oplus \mathbb{R}^n$
belongs to
$\Delta_Y$
, and so the monomial
$z^{(\varphi_H(m_i),m_i)}$
defines a global function
$v_i$
on Y. Similarly, as
$(1, 0)\in \Delta_Y$
, the monomial
$z^{(1, 0)}$
defines a global function
$v_0$
on Y. The ring
$\mathbb{C}[Y]$
of regular functions on Y is generated by
$v_0, v_1,\dots, v_r$
, because the vectors
$(\varphi_H(m_i),m_i)$
and (1, 0) span the cone
$\Delta_Y$
. The AAK mirror is the variety
\begin{equation} Y^{\circ} \,:\!=\, Y \times \textrm{Spec}\mathbb{C}[t^{\pm E}] \setminus w_0^{-1}(0)\end{equation}
obtained from Y by removing the hypersurface defined by the vanishing of the function
$w_0\,:\, Y \times \textrm{Spec}\mathbb{C}[t^{\pm E}] \to \mathbb{C}$
given by
\begin{equation*} w_0 \,:\!=\, -t^E+t^E v_0,\end{equation*}
where E is the class of exceptional
$\mathbb{P}^1$
-fibers over H.
Note that, we view the mirror to the log Calabi–Yau (X, D) as a family, where the complex structure can vary, hence we call the family
$Y^0$
over
$\mathbb{C}$
defined above the mirror to Y, although it is natural to call a general fiber of
$Y^0$
the mirror (in [
Reference Abouzaid, Auroux and Katzarkov1
],
$Y^0$
stands for a general fiber of the total space
$Y^0 \to \mathbb{C}^*$
we define above). The following main result of this sectin shows that the mirror of [
Reference Abouzaid, Auroux and Katzarkov1
] agrees with our mirror in [
Reference Argüz and Gross4
], when we consider the specific situation of blow ups of toric varieties along a single hypersurface.
Theorem 6·3. The restriction of the mirror family
$Y\to \textrm{Spec}\textbf{k}[Q(X, D)]$
, constructed following [
Reference Argüz and Gross4
], to the locus
$\mathbb{C}^* = \textrm{Spec}\mathbb{C}[t^{\pm E}] \subset \textrm{Spec}\textbf{k}[Q(X, D)]$
is isomorphic to the AAK mirror
$Y^0$
.
Proof. We first describe
$\mathbb{C}[Y^\circ]$
as a subalgebra of the field
$\mathbb{C}(\mathbb{Z} \oplus \mathbb{Z}^n)$
of rational functions in the monomials
$z^m$
with
$m \in \mathbb{Z} \oplus \mathbb{Z}^n$
. Let
$\varphi$
be the PL function as in (6·1) and let p be a general point in the maximal cone
$\sigma_0$
of
$\Sigma_V$
where
$\varphi_H=0$
. Fix
$1 \leqslant i\leqslant r$
. The line
$p+\mathbb{R}_{\geqslant 0}m_i$
intersects some number (possibly zero) of codimension one cones
$\tau_j$
of
$\Sigma_V$
, with normal vectors
$n_{\tau_j}$
. As
$\varphi_H$
has a kink
$\kappa_{\tau_j}$
across each of these cones, we have
\begin{equation*} \varphi_H(m_i)=\sum_j (n_{\tau_j},m_i) \kappa_{\tau_j}\end{equation*}
and so
\begin{equation}v_i=z^{(\varphi_H(m_i),m_i)}=z^{(0,m_i)} \prod_j (z^{(1, 0)})^{(n_{\tau_j},m_i) \kappa_{\tau_j}} \,.\end{equation}
In other words, the algebra
$\mathbb{C}[Y^{\circ}]$
is the subalgebra of
$\mathbb{C}(\mathbb{Z} \oplus \mathbb{Z}^n)$
generated by
\begin{equation*} v_0=z^{(1, 0)}\,,\end{equation*}
\begin{equation*} v_i=z^{(0,m_i)} \prod_j (z^{(1, 0)})^{(n_{\tau_j},m_i) \kappa_{\tau_j}} \end{equation*}
for
$1 \leqslant i \leqslant r$
, and
\begin{equation*} w^{\prime}_0 = (-t^E+t^E z^{(1, 0)})^{-1} \,.\end{equation*}
Next, we describe the mirror following our work [
Reference Argüz and Gross4
], using the heart of the canonical wall structure we introduced in Section 4, and compute its restriction to
$\mathbb{C}^*=\textrm{Spec}\mathbb{C}[t^{\pm E}]$
setting all non-exceptional curve classes to zero. In particular, all the kinks of the heart of the canonical wall structure are trivial because they are all pullback of toric curve classes. The heart of the canonical wall structure of (X, D) lives in
$\mathbb{R} \oplus \mathbb{R}^n$
. For every codimension-one cone
$\tau$
of
$\Sigma_V$
, we have a wall
$\rho_\tau \,:\!=\,\mathbb{R} \oplus \tau$
in
$\mathbb{R} \oplus \mathbb{R}^n$
, with attached function
\begin{equation*} f_{\rho_\tau}\,:\!=\, (1+t^{-E}z^{-(1, 0)})^{\kappa_\tau},\end{equation*}
where
$\kappa_\tau$
is the kink of
$\varphi_H$
across
$\tau$
. The ring
$\mathcal{R}_{X,D}$
of regular functions on the GS/HDTV mirror of (X, D) is spanned by theta functions
$\vartheta_0, \vartheta_1, \dots, \vartheta_r, \vartheta^{\prime}_{0}$
corresponding respectively to the rays of the fan of
$\mathbb{P}^1 \times V$
in
$\mathbb{R} \oplus \mathbb{R}^n$
spanned by
$(-1,0)$
,
$(0,m_1), \dots, (0,m_r)$
, (1, 0).
We compute the theta function at a point
$(\epsilon, p)\in \mathbb{R} \oplus \mathbb{R}^n$
with
$\epsilon \neq 0$
. First of all, we have
$\vartheta_0=z^{(-1,0)}$
and
$\vartheta^{\prime}_0=z^{(1, 0)}$
. For every
$1 \leqslant i \leqslant r$
, moving along the line
$(\epsilon,p) + \mathbb{R}_{\geqslant 0}(0,m_i)$
, we encounter the walls
$\mathbb{R} \oplus \tau_j$
, where the cones
$\tau_j$
are as above. In particular, we have
\begin{equation*} \vartheta_i = z^{(0,m_i)} \prod_j (1+t^{-E} z^{-(1, 0)})^{(n_{\tau_j},m_i) \kappa_{\tau_j}} \,.\end{equation*}
In other words, the algebra
$\mathcal{R}_{(X, D)}$
is the subalgebra of
$\mathbb{C}(\mathbb{Z} \oplus \mathbb{Z}^n)$
generated by
\begin{equation*} \vartheta_0=z^{-(1, 0)}\,,\end{equation*}
\begin{equation*} \vartheta_i = z^{(0,m_i)} \prod_j (1+t^{-E} z^{-(1, 0)})^{(n_{\tau_j},m_i) \kappa_{\tau_j}} \end{equation*}
for
$1 \leqslant i \leqslant r$
, and
\begin{equation*} \vartheta^{\prime}_0=z^{(1, 0)}\,.\end{equation*}
Comparing the embeddings of
$\mathbb{C}[Y^{\circ}]$
and
$\mathcal{R}_{X,D}$
in
$\mathbb{C}(\mathbb{Z} \oplus \mathbb{Z}^n)$
, we obtain that the automorphism of
$\mathbb{C}(\mathbb{Z} \oplus \mathbb{Z}^n)$
defined by
$z^{(1, 0)} \mapsto 1+t^{-E}z^{-(1, 0)}$
and
$z^{(0,m)} \mapsto z^{(0,m)}$
for every
$m \in \mathbb{Z}^n$
restricts to an algebra isomorphism
\begin{equation*} \Psi \colon \mathbb{C}[Y^0] \longrightarrow \mathcal{R}_{(X, D)}\,,\end{equation*}
such that
$\Psi(v_0)\,:\!=\, 1+t^{-E} \vartheta_0$
,
$\Psi(v_i)=\vartheta_i$
for
$1 \leqslant i\leqslant r$
, and
$\Psi(w^{\prime}_0)=\vartheta^{\prime}_0$
.
Acknowledgments
I thank Dan Abramovich, Pierrick Bousseau, Tom Coates, Mark Gross and Bernd Siebert for many useful discussions. I am particularly grateful to Tom Coates, who provided the magma code to carry the wall crossing computations in dimension three. During the preparation of this paper, I received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 682603), from Fondation Mathématique Jacques Hadamard and from IST Austria.
Open access
