1 Introduction
1.1
The theory of mirror symmetry emanated from string theory and has had a fundamental impact on algebraic geometry ever since the groundbreaking work of Candelas et al. [Reference Candelas, de la Ossa, Green and ParkesCOGP91]. The mirror symmetry heuristic predicts that every complex Calabi–Yau manifold
$X$
has a mirror partner
$\check{X}$
of the same dimension whose complex geometry is equivalent, in a suitable sense, to the symplectic geometry of
$X$
, and vice versa. A celebrated application of these ideas was the prediction of the numbers of rational curves of fixed degree (more precisely, Gromov–Witten invariants) of the quintic threefold in [Reference Candelas, de la Ossa, Green and ParkesCOGP91] by means of period integral calculations on the mirror partner. An important challenge in the theory of mirror symmetry is to give an exact definition of what it means to be a mirror pair of Calabi–Yau manifolds, and to devise techniques to construct such pairs.
1.2
In recent years, much progress has been made, in particular by Kontsevich–Soibelman [Reference Kontsevich and SoibelmanKS01, Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06] and Gross–Siebert [Reference Gross and SiebertGS11a]. Both of these programs are based on a conjectural geometric explanation of mirror symmetry due to Strominger, Yau and Zaslow, known as the SYZ conjecture [Reference Strominger, Yau and ZaslowSYZ96]. Since its appearance, the conjecture has been amended in certain ways; a common way to formulate it today is the following. Let
${\mathcal{X}}^{\ast }$
be a projective family of
$n$
-dimensional complex Calabi–Yau varieties over a punctured disk
$\unicode[STIX]{x1D6E5}^{\ast }$
, and assume that this family is maximally degenerate. The latter condition means that the monodromy transformation on the degree-
$n$
cohomology of the general fiber
${\mathcal{X}}_{t}$
of
${\mathcal{X}}^{\ast }$
has a Jordan block of rank
$n+1$
. Then, up to rescaling the metrics, the family
${\mathcal{X}}_{t}$
is conjectured to converge in the Gromov–Hausdorff limit to an
$n$
-dimensional topological manifold
$S$
. Moreover, a general fiber
${\mathcal{X}}_{t}$
should admit a fibration
$\unicode[STIX]{x1D70C}:{\mathcal{X}}_{t}\rightarrow S$
, called an SYZ fibration, whose fibers are special Lagrangian tori in
${\mathcal{X}}_{t}$
, except over a discriminant locus of codimension at least two in the base
$S$
. The mirror partner of
${\mathcal{X}}_{t}$
can then be constructed by dualizing the torus fibration
$\unicode[STIX]{x1D70C}$
over the smooth locus and compactifying the result in an appropriate way (this involves deforming the dual fibration by so-called quantum corrections). We refer to the excellent survey paper [Reference GrossGro13] for a more precise statement and additional background on the SYZ conjecture, as well as the Gross–Siebert program.
1.3
The SYZ conjecture remains largely open, and is quite difficult even in basic cases; see for instance [Reference Gross and WilsonGW00]. A fundamental insight of Kontsevich and Soibelman in [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06] is that one should be able to construct a close analog of the SYZ fibration in the world of non-archimedean geometry, more precisely in the context of Berkovich spaces. Here, the base
$S$
of the fibration arises as a so-called skeleton in the Berkovich analytification of the degeneration. Let us emphasize that the non-archimedean SYZ fibration is not merely an analog of the conjectural structure in a different context; it can effectively be used to realize the original goal of constructing mirror partners over the complex numbers, since one can go back from the non-archimedean world to the complex world by means of non-archimedean GAGA and algebraization techniques. In the non-archimedean approach, the quantum corrections are provided by non-archimedean enumerative geometry and wall-crossing structures; see [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06, Reference YuYu16a, Reference YuYu16b] and a forthcoming article by Sean Keel and the third-named author. The non-archimedean SYZ fibration induces an affine structure with singularities on the base
$S$
, and Kontsevich and Soibelman made the striking conjecture that this affine manifold should be related to the Gromov–Hausdorff limit of
${\mathcal{X}}_{t}$
[Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06, Conjecture 3]; see [Reference Boucksom and JonssonBJ17] for interesting results towards that conjecture.
1.4
The aim of the present paper is to construct the non-archimedean SYZ fibration in general, and to prove some of its conjectural properties. This paves the way for a better understanding of the Gromov–Hausdorff limits and the SYZ conjecture. Our construction of the SYZ fibration builds upon the original work of Kontsevich and Soibelman and the relations with the Minimal Model Program discovered by the first two authors in [Reference Nicaise and XuNX16a]. This discovery has led to a surprising dictionary where the SYZ heuristic can be translated into precise predictions about the structure of minimal models, which can then be proven with techniques from the Minimal Model Program; see for instance [Reference Kollár and XuKX16] and [Reference Nicaise and XuNX16b]. Our main new result here is that the non-archimedean SYZ fibration is a smooth affinoid torus fibration away from a codimension-two subset of the base (Theorem 6.1), as implied by [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06, Conjectures 1 and 3]. This amounts to proving that minimal divisorially log terminal (dlt) models with reduced special fiber of Calabi–Yau varieties are snc along the one-dimensional strata of the special fiber (Theorem 4.5), and have a toric structure along these strata (Proposition 5.4).
Preliminaries and notation
1.5
We fix an algebraically closed field
$k$
of characteristic
$0$
and we set
$R=k[~[t]~]$
and
$K=k(~(t)~)$
. We also fix an algebraic closure
$K^{a}$
of
$K$
. We denote by
$\text{ord}_{t}$
the
$t$
-adic valuation on
$K$
and we define an absolute value
$|\cdot |$
on
$K$
by setting
$|a|=\exp (-\text{ord}_{t}a)$
for every
$a\in K^{\ast }$
. This turns
$K$
into a complete non-archimedean field. The natural logarithm, inverse to the exponential
$\exp$
, will be denoted by
$\ln$
.
1.6
We denote by
$(\cdot )^{\operatorname{an}}$
the analytification functor from the category of
$K$
-schemes of finite type to Berkovich’s category of
$K$
-analytic spaces. For every
$R$
-scheme
$\mathscr{X}$
, we will denote by
$\mathscr{X}_{k}=\mathscr{X}\times _{R}k$
and
$\mathscr{X}_{K}=\mathscr{X}\times _{R}K$
its special and generic fiber.
1.7
If
$\mathscr{X}$
is a Noetherian
$R$
-scheme and
$C$
is a subscheme of
$\mathscr{X}_{k}$
, then we will denote by
$\widehat{\mathscr{X}_{/C}}$
the formal completion of
$\mathscr{X}$
along
$C$
. If
$\mathscr{X}$
is of finite type over
$R$
, then
$\widehat{\mathscr{X}_{/C}}$
is formally of finite type over
$R$
(or special, in the terminology of [Reference BerkovichBer96]). That is, it has a finite cover by open formal subschemes of the form
$\operatorname{Spf}(A)$
where
$A$
is a quotient of a topological
$R$
-algebra of the form
$R\{x_{1},\ldots ,x_{m}\}[~[y_{1},\ldots ,y_{n}]~]$
. Every Noetherian formal scheme
$\mathfrak{X}$
has a unique maximal ideal of definition
$\mathscr{I}$
, consisting of all the topologically nilpotent elements in
${\mathcal{O}}_{\mathfrak{X}}$
. The closed subscheme of
$\mathfrak{X}$
defined by
$\mathscr{I}$
will be denoted by
$\mathfrak{X}_{\operatorname{red}}$
. This construction induces a functor from the category of Noetherian formal schemes to the category of reduced Noetherian schemes. If
$\mathfrak{X}$
is a scheme, then
$\mathfrak{X}_{\operatorname{red}}$
is the maximal reduced closed subscheme of
$\mathfrak{X}$
.
1.8
A separated flat
$R$
-scheme of finite type
$\mathscr{Y}$
is called toric if there exists a toric morphism of toric varieties
$$\begin{eqnarray}Y\rightarrow \mathbb{A}_{k}^{1}=\operatorname{Spec}k[t]\end{eqnarray}$$
such that
$\mathscr{Y}$
is isomorphic to
$Y\times _{k[t]}R$
. Such a toric scheme can be defined by giving a finite fan
$\unicode[STIX]{x1D6F4}$
of strongly convex rational polyhedral cones in
$\mathbb{R}^{n}\times \mathbb{R}_{{\geqslant}0}$
for some
$n\geqslant 0$
, together with a positive integer
$\unicode[STIX]{x1D704}$
; then one can take
$Y$
to be the toric
$k$
-variety associated with
$\unicode[STIX]{x1D6F4}$
and
$Y\rightarrow \mathbb{A}_{k}^{1}$
to be the toric morphism induced by the morphism
$$\begin{eqnarray}\mathbb{R}^{n}\times \mathbb{R}_{{\geqslant}0}\rightarrow \mathbb{R}_{{\geqslant}0}:(u,v)\mapsto \unicode[STIX]{x1D704}\cdot v.\end{eqnarray}$$
This is a slight generalization of the standard definition of a torus embedding over
$R$
used in [Reference Kempf, Knudsen, Mumford and Saint-DonatKKMS73, IV.3], which corresponds to the case
$\unicode[STIX]{x1D704}=1$
of our definition. For instance, the
$R$
-scheme
$\operatorname{Spec}k[~[\sqrt{t}]~]$
is toric in our sense, but not in the sense of [Reference Kempf, Knudsen, Mumford and Saint-DonatKKMS73, IV.3].
1.9
A Calabi–Yau variety over a field
$F$
is a smooth, proper, geometrically connected
$F$
-scheme
$X$
such that the canonical line bundle
$\unicode[STIX]{x1D714}_{X}$
is trivial. In particular, our definition also includes abelian varieties. A volume form on a Calabi–Yau variety
$X$
is a nowhere vanishing differential form of maximal degree, that is, a global generator for the canonical line bundle
$\unicode[STIX]{x1D714}_{X}$
.
1.10
Let
$\mathscr{X}$
be a Noetherian scheme, and let
$D$
be an effective divisor on
$\mathscr{X}$
, with prime components
$D_{i}$
,
$i\in I$
. A stratum of
$D$
is a connected component of the schematic intersection
$D_{J}=\bigcap _{j\in J}D_{j}$
, for some non-empty subset
$J$
of
$I$
. An open stratum is a stratum
$S$
minus the union of the prime components of
$D$
that do not contain
$S$
.
1.11
Let
$X$
be a smooth and proper
$K$
-scheme. A model of
$X$
is a proper flat
$R$
-scheme
$\mathscr{X}$
endowed with an isomorphism
$\mathscr{X}_{K}\rightarrow X$
. An snc-model of
$X$
is a regular model
$\mathscr{X}$
such that
$\mathscr{X}_{k}$
is a divisor with strict normal crossings. An snc-model is called semistable if
$\mathscr{X}_{k}$
is reduced. By the semistable reduction theorem [Reference Kempf, Knudsen, Mumford and Saint-DonatKKMS73, ch. 4 §3], there exists a finite extension
$K^{\prime }$
of
$K$
such that
$X\times _{K}K^{\prime }$
has a semistable snc-model over the integral closure of
$R$
in
$K^{\prime }$
; if
$X$
is projective, then we can moreover obtain a projective semistable snc-model.
A dlt-model of
$X$
is a normal model
$\mathscr{X}$
such that the pair
$(\mathscr{X},\mathscr{X}_{k,\operatorname{red}})$
is dlt. We say that a dlt-model is good if every prime component of
$\mathscr{X}_{k,\operatorname{red}}$
is
$\mathbb{Q}$
-Cartier; this is slightly weaker than the usual condition that
$\mathscr{X}$
is
$\mathbb{Q}$
-factorial, but it is sufficient for our purposes. In particular, every snc-model is also a good dlt-model. A dlt-model
$\mathscr{X}$
is called minimal if the logarithmic relative canonical divisor
$K_{\mathscr{X}/R}+\mathscr{X}_{k,\operatorname{red}}$
is semi-ample. When
$X$
is Calabi–Yau, this is equivalent to saying that
$K_{\mathscr{X}/R}+\mathscr{X}_{k,\operatorname{red}}$
is torsion; when, moreover,
$\mathscr{X}_{k}$
is reduced, then it is equivalent to saying that
$K_{\mathscr{X}/R}\sim 0$
(since
${\mathcal{O}}^{\ast }(X)=K^{\ast }$
, a divisor
$D$
on
$\mathscr{X}$
supported on
$\mathscr{X}_{k}$
is principal if and only if it is a multiple of
$\mathscr{X}_{k}$
; so if some non-zero multiple of
$D$
is principal and
$\mathscr{X}_{k}$
is reduced, then
$D$
is itself principal).
1.12
We collect what is currently known about the existence of these models in the following theorem. We say that a smooth and proper
$K$
-scheme
$X$
is defined over a curve if there exist a smooth
$k$
-curve
$C$
, a smooth
$k$
-variety
$Y$
, a proper morphism
$Y\rightarrow C$
and an isomorphism of
$k$
-algebras
$R\cong \widehat{{\mathcal{O}}}_{C,c}$
for some closed point
$c$
of
$C$
such that
$X$
is isomorphic to
$Y\times _{C}\operatorname{Spec}(K)$
. If
$X$
is projective, then we can take
$Y$
to be projective over
$C$
, because projectivity descends under arbitrary field extensions [Reference Görtz and WedhornGW13, 14.55].
Theorem 1.13. Let
$X$
be a projective Calabi–Yau variety over
$K$
.
(1) If
$X$
is defined over a curve, then
$X$
has a projective good minimal dlt-model over
$R$
.(2) If
$X$
is defined over a curve or
$\dim (X)\leqslant 2$
, then there exists a finite extension
$K^{\prime }$
of
$K$
such that
$X$
has a projective good minimal dlt-model with reduced special fiber over the integral closure of
$R$
in
$K^{\prime }$
.(3) If
$X$
has a projective semistable snc-model over
$R$
, then
$X$
has a projective minimal dlt-model with reduced special fiber over
$R$
.(4) There exists a finite extension
$K^{\prime }$
of
$K$
such that
$X$
has a projective minimal dlt-model with reduced special fiber over the integral closure of
$R$
in
$K^{\prime }$
.
Proof. In case (1), we choose a smooth
$k$
-curve
$C$
, a smooth
$k$
-variety
$Y$
, a projective morphism
$Y\rightarrow C$
and an isomorphism of
$k$
-algebras
$R\cong \widehat{{\mathcal{O}}}_{C,c}$
for some closed point
$c$
of
$C$
such that
$X$
is isomorphic to
$Y\times _{C}\operatorname{Spec}(K)$
. Shrinking
$C$
around
$c$
, we can arrange that
$Y$
is smooth over
$C^{o}=C\setminus \{c\}$
with trivial relative canonical divisor. By running an MMP on
$(Y,Y_{c,\operatorname{red}})$
over
$C$
, we find a new projective model
$Y^{\prime }$
over
$C$
that is
$\mathbb{Q}$
-factorial and such that the pair
$(Y^{\prime },Y_{c,\operatorname{red}}^{\prime })$
is dlt and
$K_{Y^{\prime }/C}+Y_{c,\operatorname{red}}^{\prime }$
is relatively semi-ample (see [Reference Nicaise and XuNX16a, 2.3.6]). By base change to
$\operatorname{Spec}(R)$
, we obtain a projective good minimal dlt-model for
$X$
over
$R$
. After a finite extension of
$K$
, we may furthermore assume that
$Y_{c}$
is reduced, by the semistable reduction theorem; then
$Y_{c}^{\prime }$
is reduced, which proves (2) in the case where
$X$
is defined over a curve. When
$X$
has dimension at most two, then (after a finite extension of
$K$
) we may assume that
$X$
has a projective semistable snc-model
$\mathscr{X}$
over
$R$
, and we can directly run an MMP on
$\mathscr{X}$
by [Reference KawamataKaw94], producing a projective good minimal dlt-model with reduced special fiber over
$R$
.
Point (3) follows from [Reference Kollár, Nicaise and XuKNX18, Theorem 2] and its proof (unfortunately, that argument does not allow us to deduce the existence of a good minimal dlt-model). Point (4) follows from (3) and the semistable reduction theorem. ◻
Remark 1.14. If
$X$
is a projective Calabi–Yau variety over
$K$
, then it is expected that
$X$
always has a projective good minimal dlt-model over
$R$
, and, up to a finite extension of
$K$
, also a projective good minimal dlt-model with reduced special fiber. Unfortunately, the necessary tools from the MMP have not yet been developed over the base ring
$R$
. For the applications to mirror symmetry, the case where
$X$
is defined over a curve appears to be sufficient. Nevertheless, we will try to avoid this assumption as much as possible in the sequel, by means of some approximation arguments.
1.15
An integral affine function on an open subset of
$\mathbb{R}^{n}$
is a continuous real-valued function that can locally be written as a degree-one polynomial with coefficients in
$\mathbb{Z}$
. Beware that some authors, including [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06], allow a constant term in
$\mathbb{R}$
in the degree-one polynomial; our more restrictive definition is better suited for the purposes of this paper.
2 Construction of the non-archimedean SYZ fibration
2.1
Let
$X$
be a Calabi–Yau variety over
$K$
. The essential skeleton
$\operatorname{Sk}(X)$
of
$X$
was first defined by Kontsevich and Soibelman in [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06]. The construction was then refined and generalized in [Reference Mustaţă and NicaiseMN15]. Let
$\unicode[STIX]{x1D714}$
be a volume form on
$X$
. Then one can attach to the pair
$(X,\unicode[STIX]{x1D714})$
a weight function
$$\begin{eqnarray}\operatorname{wt}_{\unicode[STIX]{x1D714}}:X^{\operatorname{an}}\rightarrow \mathbb{R}\cup \{+\infty \}\end{eqnarray}$$
that measures the degeneration of
$(X,\unicode[STIX]{x1D714})$
at
$t=0$
along points of
$X^{\operatorname{an}}$
; see [Reference Mustaţă and NicaiseMN15, §4.5]. The essential skeleton
$\operatorname{Sk}(X)$
is the locus of points in
$X^{\operatorname{an}}$
where
$\operatorname{wt}_{\unicode[STIX]{x1D714}}$
reaches its minimal value. This definition only depends on
$X$
, and not on
$\unicode[STIX]{x1D714}$
, because multiplying
$\unicode[STIX]{x1D714}$
with a scalar
$\unicode[STIX]{x1D706}\in K^{\ast }$
shifts the weight function by the constant
$\text{ord}_{t}\unicode[STIX]{x1D706}$
. The essential skeleton is a non-empty compact subspace of
$X^{\operatorname{an}}$
, which can be explicitly computed in the following way. Let
$\mathscr{X}$
be an snc-model of
$X$
, with special fiber
$\mathscr{X}_{k}=\sum _{i\in I}N_{i}E_{i}$
. If we view
$\unicode[STIX]{x1D714}$
as a rational section of the line bundle
$\unicode[STIX]{x1D714}_{\mathscr{X}/R}(\mathscr{X}_{k,\operatorname{red}})$
, then it defines a Cartier divisor on
$\mathscr{X}$
that we denote by
$\text{div}_{\mathscr{X}}(\unicode[STIX]{x1D714})$
. It is supported on
$\mathscr{X}_{k}$
because
$\unicode[STIX]{x1D714}$
is nowhere vanishing on
$X$
; thus we can write
$\text{div}_{\mathscr{X}}(\unicode[STIX]{x1D714})=\sum _{i\in I}\unicode[STIX]{x1D708}_{i}E_{i}$
. If we denote by
$\unicode[STIX]{x1D6E5}(\mathscr{X})$
the dual intersection complex of
$\mathscr{X}_{k}$
, then
$\operatorname{Sk}(X)$
is canonically homeomorphic to the sub-
$\unicode[STIX]{x1D6E5}$
-complex of
$\unicode[STIX]{x1D6E5}(\mathscr{X})$
spanned by the vertices corresponding to the components
$E_{i}$
for which
$\unicode[STIX]{x1D708}_{i}/N_{i}$
is minimal (see [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06, §6.6, Theorem 3] and [Reference Mustaţă and NicaiseMN15, Theorem 4.7.5]). In particular,
$\operatorname{Sk}(X)$
is homeomorphic to a finite
$\unicode[STIX]{x1D6E5}$
-complex of dimension less than or equal to
$\dim (X)$
.
2.2
Kontsevich and Soibelman postulated that
$\operatorname{Sk}(X)$
should be the base of the non-archimedean SYZ fibration, but the definition of
$\operatorname{Sk}(X)$
does not provide us with a map
$X^{\operatorname{an}}\rightarrow \operatorname{Sk}(X)$
. To construct such a map, we will use an alternative description of the essential skeleton that appeared in [Reference Nicaise and XuNX16a]. Let
$\mathscr{X}$
be a minimal dlt-model of
$X$
, and denote by
$\mathscr{X}^{\operatorname{snc}}$
the open subscheme of
$\mathscr{X}$
consisting of the points where
$\mathscr{X}$
is regular and
$\mathscr{X}_{k}$
has strict normal crossings. Then the dual intersection complex
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
of
$\mathscr{X}_{k}^{\operatorname{snc}}$
can be canonically embedded into
$X^{\operatorname{an}}$
(see [Reference Mustaţă and NicaiseMN15, §3]). It follows from [Reference Nicaise and XuNX16a, 3.3.3] that the image of this embedding is exactly the essential skeleton
$\operatorname{Sk}(X)$
. To be precise, it is assumed in the statement of [Reference Nicaise and XuNX16a, 3.3.3] that
$\mathscr{X}$
is
$\mathbb{Q}$
-factorial and defined over an algebraic curve, but these assumptions are not used in the proof. If the minimal dlt-model
$\mathscr{X}$
is good, we will now construct a continuous retraction
$\unicode[STIX]{x1D70C}_{\mathscr{X}}:X^{\operatorname{an}}\rightarrow \operatorname{Sk}(X)$
by generalizing the construction for snc-models in [Reference Mustaţă and NicaiseMN15, 3.1.5].
2.3
Let
$\mathscr{X}$
be a good minimal dlt-model of
$X$
. We need to make the following technical assumption: the strata of
$\mathscr{X}_{k}$
are precisely the log canonical centers of the pair
$(\mathscr{X},\mathscr{X}_{k,\operatorname{red}})$
that are contained in
$\mathscr{X}_{k}$
. By the definition of a dlt-model, every log canonical center of
$(\mathscr{X},\mathscr{X}_{k,\operatorname{red}})$
is a stratum. The converse implication is known when
$\mathscr{X}$
is defined over an algebraic curve [Reference KollárKol13, 4.16]. We will prove in Corollary 4.4 that it also holds when
$\mathscr{X}_{k}$
is reduced, which is the most important case for our purposes. We expect that the assumption is always satisfied, but the relevant parts of the Minimal Model Program have not been written down for
$R$
-schemes. In any case, if our technical assumption holds, we can proceed in the following way.
2.4
Let
$x$
be a point in
$X^{\operatorname{an}}$
and let
$\operatorname{red}_{\mathscr{X}}(x)$
be its reduction on
$\mathscr{X}_{k}$
(see [Reference Mustaţă and NicaiseMN15, 2.2.2]). Let
$Z$
be the unique minimal stratum of
$\mathscr{X}_{k}$
that contains
$\operatorname{red}_{\mathscr{X}}(x)$
. By our assumption (2.3),
$Z$
is a log canonical center of
$(\mathscr{X},\mathscr{X}_{k,\operatorname{red}})$
. Then
$Z\cap \mathscr{X}^{\operatorname{snc}}$
is a non-empty stratum of
$\mathscr{X}_{k}^{\operatorname{snc}}$
by the definition of a dlt pair. Thus, it determines a unique face
$\unicode[STIX]{x1D70F}$
of the dual intersection complex
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
. Let
$E_{1},\ldots ,E_{r}$
be the prime components of
$\mathscr{X}_{k}$
that contain
$Z$
, and let
$N_{1},\ldots ,N_{r}$
be their multiplicities in
$\mathscr{X}_{k}$
. Then
$E_{1},\ldots ,E_{r}$
correspond precisely to the vertices
$v_{1},\ldots ,v_{r}$
of
$\unicode[STIX]{x1D70F}$
. We choose a positive integer
$m$
such that
$mE_{i}$
is Cartier at the point
$\operatorname{red}_{\mathscr{X}}(x)$
for every
$i$
, and we choose a local equation
$f_{i}=0$
for
$mE_{i}$
at
$\operatorname{red}_{\mathscr{X}}(x)$
. Then
$\unicode[STIX]{x1D70C}_{\mathscr{X}}(x)$
is the point of the simplex
$\unicode[STIX]{x1D70F}$
with barycentric coordinates
$$\begin{eqnarray}\unicode[STIX]{x1D6FC}=\frac{1}{m}(-N_{1}\ln |f_{1}(x)|,\ldots ,-N_{r}\ln |f_{r}(x)|)\end{eqnarray}$$
with respect to the vertices
$(v_{1},\ldots ,v_{r})$
. Under the embedding of
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
into
$X^{\operatorname{an}}$
, the point
$\unicode[STIX]{x1D70C}_{\mathscr{X}}(x)$
corresponds to the monomial point represented by
$(\mathscr{X},(E_{1},\ldots ,E_{r}),\unicode[STIX]{x1D709})$
and the tuple
$$\begin{eqnarray}\frac{1}{m}(-\!\ln |f_{1}(x)|,\ldots ,-\!\ln |f_{r}(x)|),\end{eqnarray}$$
in the terminology of [Reference Mustaţă and NicaiseMN15, 2.4.5]. It is obvious that this definition does not depend on the choices of
$m$
and the local equations
$f_{i}$
. It is also straightforward to check that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is continuous, and that it is a retraction onto
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})=\operatorname{Sk}(X)$
.
Definition 2.5. Let
$X$
be a Calabi–Yau variety over
$K$
and let
$\mathscr{X}$
be a good minimal dlt-model of
$X$
that satisfies assumption (2.3). Then we call the map
$\unicode[STIX]{x1D70C}_{\mathscr{X}}:X^{\operatorname{an}}\rightarrow \operatorname{Sk}(X)$
constructed in (2.4) the non-archimedean SYZ fibration associated with
$\mathscr{X}$
.
2.6
Beware that, even though the subspace
$\operatorname{Sk}(X)$
of
$X^{\operatorname{an}}$
only depends on
$X$
, the
$\unicode[STIX]{x1D6E5}$
-structure on
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})=\operatorname{Sk}(X)$
and the retraction
$\unicode[STIX]{x1D70C}_{\mathscr{X}}:X^{\operatorname{an}}\rightarrow \operatorname{Sk}(X)$
depend on the choice of the (good) minimal dlt-model
$\mathscr{X}$
; we will illustrate this in Example 2.7 below. However, the essential skeleton
$\operatorname{Sk}(X)$
does carry a canonical piecewise integral affine structure, which is induced by the embedding into the
$K$
-analytic space
$X^{\operatorname{an}}$
; see [Reference Mustaţă and NicaiseMN15, §3.2]. If
$\mathscr{X}$
is a minimal dlt-model for
$X$
, then this piecewise integral affine structure coincides with the one induced by the
$\unicode[STIX]{x1D6E5}$
-complex structure on
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})=\operatorname{Sk}(X)$
, provided that the barycentric coordinates on the faces of
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
are weighted by the multiplicities of the prime components in
$\mathscr{X}_{k}$
as in [Reference Mustaţă and NicaiseMN15, 3.2.1].
Example 2.7. Let
$X$
be a maximally degenerate
$K3$
surface over
$K$
, and let
$\mathscr{X}$
be a good minimal dlt-model over
$R$
with reduced special fiber. Then
$\operatorname{Sk}(X)$
is a
$2$
-sphere, and
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
provides this sphere with a triangulation. Different choices of
$\mathscr{X}$
are related by elementary modifications (flops) of type 0, 1 or 2 [Reference Friedman and MorrisonFM83, pp. 12–15]. An elementary modification of type 0 does not affect the triangulation of
$\operatorname{Sk}(X)$
or the map
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
, because it only changes
$\mathscr{X}$
along a curve contained in a two-dimensional open stratum. An elementary modification of type 1 does not modify the triangulation of
$\operatorname{Sk}(X)$
but it does alter the map
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
, because the points of
$X^{\operatorname{an}}$
that specialize to the minus one curve that is flipped (but not to its intersection with a double curve) will be mapped to a different vertex of
$\operatorname{Sk}(X)$
. Finally, an elementary modification of type 2 flips an edge in the triangulation of
$\operatorname{Sk}(X)$
, but does not alter
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
because
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is invariant under blow-ups of strata in snc-models (see [Reference Mustaţă and NicaiseMN15, Propositions 3.1.7 and 3.1.9]).
Denote by
$Z$
the set of vertices of
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})=\operatorname{Sk}(X)$
. It follows from our main result, Theorem 6.1, that the fibers of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
over all the points of
$\operatorname{Sk}(X)\setminus Z$
are two-dimensional affinoid tori; more precisely, the restriction of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
over
$\operatorname{Sk}(X)\setminus Z$
is an affinoid torus fibration in the sense of (3.3). The vertices in
$Z$
correspond to the prime components of
$\mathscr{X}_{k}$
, and the fiber of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
over a vertex depends on the geometry of
$\mathscr{X}$
along the corresponding component
$E$
: it is isomorphic to the generic fiber of the formal completion of
$\mathscr{X}$
along the open stratum of
$\mathscr{X}_{k}$
whose closure is
$E$
.
Proposition 2.8. Let
$X$
be a projective Calabi–Yau variety over
$K$
. Then the essential skeleton
$\operatorname{Sk}(X)$
is a strong deformation retract of
$X^{\operatorname{an}}$
. If
$\mathscr{X}$
is a good minimal dlt-model that satisfies the assumption in (2.3), then
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is homotopic to the identity on
$X^{\operatorname{an}}$
relative to
$\operatorname{Sk}(X)$
.
Proof. It is shown in [Reference Nicaise and XuNX16a, 4.2.4] that
$\operatorname{Sk}(X)$
is a strong deformation retract of
$X^{\operatorname{an}}$
. This implies that every continuous retraction
$X^{\operatorname{an}}\rightarrow \operatorname{Sk}(X)$
is homotopic to the identity on
$X^{\operatorname{an}}$
relative to
$\operatorname{Sk}(X)$
; in particular, this is true for the retraction
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
.◻
2.9
Let
$X$
be a Calabi–Yau variety over
$K$
of dimension
$n$
. We say that
$X$
is maximally degenerate if
$X$
has a semistable snc-model over
$R$
and the essential skeleton
$\operatorname{Sk}(X)$
has dimension
$n$
. This is the class of Calabi–Yau varieties where we expect the SYZ mirror symmetry picture to appear. If
$X$
is projective, then the condition
$\dim (\operatorname{Sk}(X))=n$
is equivalent to the property that, for any topological generator
$\unicode[STIX]{x1D70E}$
of
$\operatorname{Gal}(K^{a}/K)\cong \widehat{\unicode[STIX]{x1D707}}(k)$
and any prime number
$\ell$
, the action of
$\unicode[STIX]{x1D70E}$
on the étale cohomology space
$$\begin{eqnarray}H_{\acute{\text{e}}\text{t}}^{n}(X\times _{K}K^{a},\mathbb{Q}_{\ell })\end{eqnarray}$$
has a Jordan block of rank
$n+1$
, by [Reference Nicaise and XuNX16a, 4.2.4(4)]. If
$X$
is maximally degenerate and projective, then
$\operatorname{Sk}(X)$
is a closed pseudomanifold (see [Reference Nicaise and XuNX16a, 4.2.4(3)]; in the statement of that result, one should add the assumption that
$X$
has a semistable snc-model, like in [Reference Nicaise and XuNX16a, 4.1.7]). If we assume, moreover, that
$X$
is geometrically simply connected and
$h^{i,0}(X)=0$
for
$0<i<n$
, then it is expected that
$\operatorname{Sk}(X)$
is homeomorphic to
$S^{n}$
. It is not difficult to prove that
$\operatorname{Sk}(X)$
has the
$\mathbb{Q}$
-rational homology of
$S^{n}$
, and that its fundamental group has trivial profinite completion; see [Reference Nicaise and XuNX16a, 4.2.4(4)] and [Reference Halle and NicaiseHN18, 6.1.3(4)]. When
$X$
is defined over a curve, the homeomorphic equivalence of
$\operatorname{Sk}(X)$
with
$S^{n}$
has been established in [Reference Kollár and XuKX16] when
$n\leqslant 3$
, and also when
$n=4$
and
$X$
has a minimal semistable snc-model. These results can be extended in the following way.
Lemma 2.10. Let
$X$
be a projective Calabi–Yau variety over
$K$
of dimension
$n$
. Then there exist a smooth pointed
$k$
-curve
$(S,s)$
, a projective flat morphism of
$k$
-schemes
$f:\mathscr{Y}\rightarrow S$
of relative dimension
$n$
and an isomorphism of
$k$
-algebras
$\widehat{{\mathcal{O}}}_{S,s}\cong R$
with the following properties:
(1) the fibers of
$f$
are geometrically connected;(2)
$f$
is smooth over
$S\setminus \{s\}$
, with trivial relative canonical bundle;(3) the essential skeleta
$\operatorname{Sk}(X)$
and
$\operatorname{Sk}(\mathscr{Y}_{K})$
are homeomorphic;(4) if
$X$
is geometrically simply connected then the same holds for the fibers of
$f$
over
$S\setminus \{s\}$
;(5) if
$h^{i,0}(X)=0$
for
$0<i<n$
, then the same holds for the fibers of
$f$
over
$S\setminus \{s\}$
.
If we fix a model
$\mathscr{X}$
for
$X$
over
$R$
and a positive integer
$N$
, then we can moreover arrange that the
$R$
-schemes
$\mathscr{X}\times _{R}R/(t^{N})$
and
$\mathscr{Y}\times _{S}\operatorname{Spec}(R/t^{N})$
are isomorphic.
Proof. One can construct
$(S,s)$
and
$\mathscr{Y}$
by means of a standard argument based on spreading out and Greenberg approximation; see for instance [Reference Mustaţă and NicaiseMN15, 5.1.2] and the proof of [Reference Nicaise and XuNX16a, 4.2.4]. The identification of the essential skeleta of
$X$
and
$\mathscr{Y}_{K}$
follows from [Reference Nicaise and XuNX16a, 4.2.3]. Geometric simple connectedness and the vanishing of Hodge numbers carry over to the smooth fibers of the spreading out, by Grothendieck’s specialization theorem for étale fundamental groups [Reference GrothendieckSGA1, X.3.9] and the invariance of Hodge numbers in smooth and proper families [Reference DeligneDel68, 5.5] (in fact, for our purposes, semicontinuity suffices). ◻
Proposition 2.11. Let
$X$
be a projective Calabi–Yau variety over
$K$
of dimension
$n$
.
(1) Assume that
$X$
has a semistable snc-model. If
$X$
is geometrically simply connected, then
$\operatorname{Sk}(X)$
is simply connected.(2) Assume that
$X$
is maximally degenerate and geometrically simply connected, and that
$h^{i,0}(X)=0$
for
$0<i<n$
. Then
$\operatorname{Sk}(X)$
is homeomorphic to
$S^{n}$
when
$n\leqslant 3$
, and also when
$n=4$
and
$X$
has a semistable snc-model
$\mathscr{X}$
with
$K_{\mathscr{X}/R}\sim 0$
.
Proof. (1) Using Lemma 2.10, we can replace
$X$
by a degenerating projective flat family of Calabi–Yau varieties
$f:\mathscr{Y}\rightarrow S$
over a smooth pointed
$k$
-curve
$(S,s)$
such that
$\mathscr{Y}$
is smooth over
$k$
, the smooth geometric fibers of
$f$
have trivial étale fundamental group, and the fiber
$\mathscr{Y}_{s}$
over
$s$
is a reduced strict normal crossings divisor. By the Lefschetz principle, we may assume that
$k=\mathbb{C}$
. It follows from the Beauville–Bogomolov decomposition theorem that a complex Calabi–Yau variety is simply connected if and only if it has no non-trivial finite étale covers. Thus the smooth closed fibers of
$f$
are simply connected. Now we can copy the argument in [Reference Kollár and XuKX16, §34] to deduce that the dual intersection complex of
$\mathscr{Y}_{s}$
is simply connected; this dual intersection complex is homotopy equivalent to the essential skeleton
$\operatorname{Sk}(\mathscr{Y}_{K})$
, by [Reference Nicaise and XuNX16a, 3.2.8].
(2) We again reduce to the case where
$X$
is defined over a complex curve, which has been solved in [Reference Kollár and XuKX16, Proposition 8]. The reduction in the case
$n=3$
follows once more from Lemma 2.10 and the argument in (1). Now assume that
$X$
has a semistable snc-model
$\mathscr{X}$
with
$K_{\mathscr{X}/R}\sim 0$
, and let
$\mathscr{Y}$
be an algebraic approximation of this model as in Lemma 2.10, with
$N\geqslant 2$
. Then
$\mathscr{Y}$
is smooth over
$k$
and
$\mathscr{Y}_{k}$
is a reduced strict normal crossings divisor, since these properties can be checked on the reduction modulo
$t^{2}$
. The same holds for minimality of such a model, because it is equivalent to the triviality of the logarithmic relative canonical line bundle on the special fiber, and the induced logarithmic structure on the special fiber only depends on reduction of
$\mathscr{Y}$
modulo
$t^{2}$
(this result is due to Illusie; a proof can be found in [Reference NakayamaNak98, A.4]). Thus
$\mathscr{Y}$
satisfies the conditions of [Reference Kollár and XuKX16, Proposition 8].◻
3 Affinoid torus fibrations
3.1
Let
$X$
be a maximally degenerate Calabi–Yau variety and let
$\mathscr{X}$
be a good minimal dlt-model of
$X$
with reduced special fiber. Then we will see in Corollary 4.6 that
$\mathscr{X}$
satisfies assumption (2.3), so that it gives rise to a non-archimedean SYZ fibration
$\unicode[STIX]{x1D70C}_{\mathscr{X}}:X^{\operatorname{an}}\rightarrow \operatorname{Sk}(X)$
in the sense of Definition 2.5. The principal aim of this article is to study the fibers of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
. In the classical SYZ conjecture, the fibers of the SYZ fibration are expected to be special Lagrangian tori away from a codimension-two subset of the base. We will now present the corresponding structure in non-archimedean geometry, which was introduced in [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06, §4.1].
3.2
Let
$n$
be a positive integer, and let
$T$
be a split algebraic
$K$
-torus of dimension
$n$
with character module
$M$
and cocharacter module
$N=M^{\vee }$
. We define the tropicalization map of
$T$
by
$$\begin{eqnarray}\unicode[STIX]{x1D70C}_{T}:T^{\operatorname{an}}\rightarrow N_{\mathbb{ R}}:x\mapsto (M\rightarrow \mathbb{R}:m\mapsto -\!\ln |m(x)|).\end{eqnarray}$$
This map is continuous, and its fibers are (not necessarily strictly)
$K$
-affinoid tori. The tropicalization map
$\unicode[STIX]{x1D70C}_{T}$
has a canonical continuous section
$s:N_{\mathbb{R}}\rightarrow T^{\operatorname{an}}$
that maps each
$n\in N_{\mathbb{R}}$
to the Gauss point of the affinoid torus
$\unicode[STIX]{x1D70C}_{T}^{-1}(n)$
. The image of
$s$
is called the canonical skeleton of
$T$
, and denoted by
$\unicode[STIX]{x1D6E5}(T)$
. The map
$s$
induces a homeomorphism
$N_{\mathbb{R}}\rightarrow \unicode[STIX]{x1D6E5}(T)$
, which we will use to tacitly identify
$\unicode[STIX]{x1D6E5}(T)$
with
$N_{\mathbb{R}}$
.
3.3
Let
$Y$
be a
$K$
-analytic space, let
$B$
be a topological space and let
$f:Y\rightarrow B$
be a continuous map. Then we say that
$f$
is an
$n$
-dimensional affinoid torus fibration if we can cover
$B$
by open subsets
$U$
such that there exist an open subset
$V$
of
$N_{\mathbb{R}}\cong \mathbb{R}^{n}$
and a commutative diagram
where the upper horizontal map is an isomorphism of
$K$
-analytic spaces and the lower horizontal map is a homeomorphism.
3.4
If
$f:Y\rightarrow B$
is an
$n$
-dimensional affinoid torus fibration, then
$f$
induces an integral affine structure on the base
$B$
[Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06, §4.1]. For every open
$U$
in
$B$
as in the definition, and every invertible analytic function
$h$
on
$f^{-1}(U)$
, the absolute value of
$h$
is constant on the fibers of
$f$
by the maximum modulus principle. Thus
$h$
induces a continuous function
$|h|:U\rightarrow \mathbb{R}_{{>}0}$
. The integral affine functions on
$U$
are, by definition, the functions of the form
$-\!\ln |h|$
. If
$U$
is connected, then it is proven in [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06, §4.1, Theorem 1] that under the homeomorphism
$U\rightarrow V$
, the ring of integral affine functions on
$U$
is identified with the ring of polynomial functions of degree one with
$\mathbb{Z}$
-coefficients on
$V\subset N_{\mathbb{R}}$
, so that this construction indeed defines an integral affine structure on
$B$
(to be precise, in [Reference Kontsevich, Soibelman, Etingof, Retakh and SingerKS06] the authors consider affine functions with constant term in
$\mathbb{R}$
, rather than
$\mathbb{Z}$
, but since
$K$
is discretely valued in our case, we get a slightly stronger result).
Example 3.5. We use the tropicalization map to identify the canonical skeleton
$\unicode[STIX]{x1D6E5}(T)$
with
$N_{\mathbb{R}}$
. We denote by
$C$
the open cone
$(N_{\mathbb{R}}\times \mathbb{R}_{{>}0})\,\cup \,\{0\}$
in
$N_{\mathbb{R}}\,\oplus \,\mathbb{R}$
. Let
$\unicode[STIX]{x1D6F4}$
be a locally finite fan of strongly convex rational polyhedral cones in
$C$
. We denote by
$\unicode[STIX]{x1D6F4}_{1}$
the rational polyhedral complex in
$N_{\mathbb{R}}$
obtained by intersecting the cones in
$\unicode[STIX]{x1D6F4}$
with
$N_{\mathbb{R}}\times \{1\}$
. Consider the torus embedding
$T\rightarrow \mathscr{X}$
over
$R$
associated with
$\unicode[STIX]{x1D6F4}$
as in [Reference KünnemannKün98, 1.13]. The
$R$
-scheme
$\mathscr{X}$
is separated and locally of finite type, and it is quasi-compact if and only if
$\unicode[STIX]{x1D6F4}$
is finite. Since
$\unicode[STIX]{x1D6F4}$
is supported in
$C$
, the generic fiber of
$\mathscr{X}$
is canonically isomorphic to the split
$K$
-torus
$T$
. Assume that
$\mathscr{X}$
is regular; this is equivalent to the property that the fan
$\unicode[STIX]{x1D6F4}$
is simple, and it implies that the special fiber
$\mathscr{X}_{k}$
is a strict normal crossings divisor. Denote by
$\mathfrak{X}$
the formal
$t$
-adic completion of
$\mathscr{X}$
. The generic fiber
$\mathfrak{X}_{\unicode[STIX]{x1D702}}$
is a
$K$
-analytic space endowed with a natural injective morphism of
$K$
-analytic spaces
$i:\mathfrak{X}_{\unicode[STIX]{x1D702}}\rightarrow T^{\operatorname{an}}$
. The morphism
$i$
embeds
$\mathfrak{X}_{\unicode[STIX]{x1D702}}$
as an analytic domain in
$T^{\operatorname{an}}$
.
The construction of the Berkovich skeleton
$\operatorname{Sk}(\mathscr{X})$
and the retraction map
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
in [Reference Mustaţă and NicaiseMN15, §3] are local on
$\mathscr{X}$
, so that they extend immediately to schemes that are locally of finite type. This yields a canonical embedding of the dual intersection complex
$\unicode[STIX]{x1D6E5}(\mathscr{X})$
of
$\mathscr{X}_{k}$
into
$\mathfrak{X}_{\unicode[STIX]{x1D702}}$
. The image of this embedding is called the Berkovich skeleton of
$\mathscr{X}$
. The embedding has a canonical retraction
$\unicode[STIX]{x1D70C}_{\mathscr{X}}:\mathfrak{X}_{\unicode[STIX]{x1D702}}\rightarrow \unicode[STIX]{x1D6E5}(\mathscr{X})$
. It follows directly from the definitions that
$\unicode[STIX]{x1D6E5}(\mathscr{X})$
is contained in
$\unicode[STIX]{x1D6E5}(T)=N_{\mathbb{R}}$
and coincides with the support of
$\unicode[STIX]{x1D6F4}_{1}$
. In particular, if
$\unicode[STIX]{x1D6F4}$
is a subdivision of
$C$
, then
$\unicode[STIX]{x1D6E5}(\mathscr{X})=\unicode[STIX]{x1D6E5}(T)$
. Moreover, the
$\unicode[STIX]{x1D6E5}$
-structure on
$\unicode[STIX]{x1D6E5}(\mathscr{X})$
is precisely the polyhedral decomposition
$\unicode[STIX]{x1D6F4}_{1}$
. We have
$\mathfrak{X}_{\unicode[STIX]{x1D702}}=\unicode[STIX]{x1D70C}_{T}^{-1}(|\unicode[STIX]{x1D6F4}_{1}|)$
, and the retraction map
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is the restriction of
$\unicode[STIX]{x1D70C}_{T}$
to
$\mathfrak{X}_{\unicode[STIX]{x1D702}}$
.
3.6
As a first application, let us discuss the case of abelian varieties. Let
$A$
be an abelian
$K$
-variety of dimension
$n$
, and denote by
$\mathscr{A}$
its Néron model. Then Berkovich has constructed in [Reference BerkovichBer90, §6.5] a canonical skeleton
$\unicode[STIX]{x1D6E5}(A)$
in
$A^{\operatorname{an}}$
, together with a continuous retraction
$\unicode[STIX]{x1D70C}_{A}:A^{\operatorname{an}}\rightarrow \unicode[STIX]{x1D6E5}(A)$
, via the theory of non-archimedean uniformization. The dimension of
$\unicode[STIX]{x1D6E5}(A)$
is equal to the toric rank of
$\mathscr{A}_{k}^{o}$
(the dimension of the maximal subtorus). Let us make this construction more precise in the maximally degenerate case. Assume that
$A$
has purely toric reduction, that is,
$\mathscr{A}_{k}^{o}$
is a torus. Let
$e$
be the identity point on
$A$
. Then the universal pointed covering space of
$(A,e)$
(with respect to the Berkovich topology) is isomorphic to the analytification of a split
$n$
-dimensional
$K$
-torus
$T$
. The kernel
$L$
of the morphism
$\unicode[STIX]{x1D70B}:T^{\operatorname{an}}\rightarrow A^{\operatorname{an}}$
is a lattice in
$T(K)$
(called the period lattice), and the image
$\unicode[STIX]{x1D70C}_{T}(L)$
of
$L$
in
$N_{\mathbb{R}}$
is a lattice of rank
$n$
. By definition, the canonical skeleton
$\unicode[STIX]{x1D6E5}(A)$
is the image of
$\unicode[STIX]{x1D6E5}(T)$
under the map
$\unicode[STIX]{x1D70B}$
. Moreover, we have a Cartesian diagram of topological spaces
such that
$\unicode[STIX]{x1D70C}_{A}$
sends
$\unicode[STIX]{x1D6E5}(A)$
homeomorphically onto
$N_{\mathbb{R}}/\unicode[STIX]{x1D70C}_{T}(L)$
. In particular,
$\unicode[STIX]{x1D6E5}(A)$
is a real torus of dimension
$n$
,
$\unicode[STIX]{x1D70C}_{A}$
is an
$n$
-dimensional torus fibration, and the induced integral affine structure on
$\unicode[STIX]{x1D6E5}(A)$
coincides with the quotient structure on
$N_{\mathbb{R}}/\unicode[STIX]{x1D70C}_{T}(L)$
.
3.7
If
$A$
has purely toric reduction, then we can interpret
$\unicode[STIX]{x1D70C}_{A}$
as a non-archimedean SYZ fibration by means of the theory of Mumford models [Reference MumfordMum72] and the refinements of Mumford’s construction given in [Reference KünnemannKün98]. We say that a model
$\mathscr{P}$
of
$A$
is a Künnemann–Mumford model if it is a regular model that arises through the construction in the proof of [Reference KünnemannKün98, 3.5].
Proposition 3.8. Let
$A$
be an abelian
$K$
-variety of dimension
$n$
. Then the essential skeleton
$\operatorname{Sk}(A)$
of
$A$
coincides with Berkovich’s canonical skeleton
$\unicode[STIX]{x1D6E5}(A)$
. If
$A$
has semi-abelian reduction and
$\mathscr{P}$
is a Künnemann–Mumford model of
$A$
over
$R$
, then
$\mathscr{P}$
is a good minimal dlt-model that satisfies assumption (2.3). If
$A$
has purely toric reduction, then the non-archimedean SYZ fibration
$\unicode[STIX]{x1D70C}_{\mathscr{P}}$
coincides with Berkovich’s canonical retraction
$\unicode[STIX]{x1D70C}_{A}$
. In particular,
$\unicode[STIX]{x1D70C}_{\mathscr{P}}$
is an
$n$
-dimensional affinoid torus fibration.
Proof. The equality
$\unicode[STIX]{x1D6E5}(A)=\operatorname{Sk}(A)$
is proven in [Reference Halle and NicaiseHN18, 4.3.2]. Let
$\mathscr{P}$
be a Künnemann–Mumford model for
$A$
over
$R$
. Then, by definition,
$\mathscr{P}$
is an snc-model, and thus certainly good and dlt. It is shown in [Reference Halle and NicaiseHN18, 5.1.7] that
$\mathscr{P}$
is minimal.
Let
$\widetilde{\mathscr{P}}$
be a regular relatively complete model of
$T$
as in [Reference KünnemannKün98, 2.11] such that the formal
$t$
-adic completion of
$\mathscr{P}$
arises as a quotient of the formal
$t$
-adic completion of
$\widetilde{\mathscr{P}}$
under an action of the period lattice. Then, by construction,
$\widetilde{\mathscr{P}}$
is a torus embedding of
$T$
over
$R$
, and we have the following commutative diagram.
Thus in order to prove that
$\unicode[STIX]{x1D70C}_{\mathscr{P}}=\unicode[STIX]{x1D70C}_{A}$
, it suffices to observe that
$\unicode[STIX]{x1D70C}_{\widetilde{\mathscr{P}}}=\unicode[STIX]{x1D70C}_{T}$
by Example 3.5.◻
Remark 3.9. A refinement of the proof shows that the equality
$\unicode[STIX]{x1D70C}_{A}=\unicode[STIX]{x1D70C}_{\mathscr{P}}$
remains valid if we only assume that
$A$
has semi-abelian reduction; then the non-archimedean uniformization of
$A$
takes the form
$\unicode[STIX]{x1D70B}:E^{\operatorname{an}}\rightarrow A^{\operatorname{an}}$
, where
$E$
is an extension of an abelian
$K$
-variety
$B$
with good reduction by a split
$K$
-torus
$T$
. The dimension of
$T$
is precisely the toric rank of
$\mathscr{A}_{k}^{o}$
, the identity component of the special fiber of the Néron model of
$A$
. The Künnemann-Mumford construction produces a relatively complete model
$\widetilde{\mathscr{P}}$
of
$E$
that is a Zariski-locally trivial fibration in torus embeddings over the Néron model of
$B$
. Since we do not need this generalization in this paper, we omit the details.
4 One-dimensional strata of minimal dlt-models
4.1
The aim of this section is to show that good minimal dlt-models with reduced special fibers of Calabi–Yau varieties over
$K$
are snc along their one-dimensional strata (in fact, we will prove a more general result; see Theorem 4.5 and Corollary 4.6). A technical complication is that the full machinery of the MMP has only been written down for objects of finite type over a field. To circumvent this problem, we will first prove an approximation result (Proposition 4.3) that will allow us to reduce to that case.
Lemma 4.2. Let
$\mathscr{X}$
be a normal
$R$
-scheme and let
$D$
be a reduced effective divisor on
$\mathscr{X}$
such that
$D$
contains the singular locus of
$\mathscr{X}$
and such that the pair
$(\mathscr{X},D)$
is dlt. Assume that
$K_{\mathscr{X}/R}+D$
is Cartier. Then
$\mathscr{X}$
is terminal; in particular, it is regular in codimension two.
Proof. By the definition of a dlt-pair, the scheme
$\mathscr{X}$
is regular at the generic point of every stratum of
$D$
, and at all the other points
$x\in \mathscr{X}$
, the minimal log discrepancy
$\operatorname{mld}_{x}(\mathscr{X},D)$
is positive. Since
$K_{\mathscr{X}/R}+D$
is Cartier,
$\operatorname{mld}_{x}(\mathscr{X},D)$
is an integer, and therefore at least
$1$
. The inequality
$$\begin{eqnarray}\operatorname{mld}_{x}(\mathscr{X},0)>\operatorname{mld}_{x}(\mathscr{X},D)\geqslant 1\end{eqnarray}$$
now implies that
$\mathscr{X}$
is terminal. In particular, it is regular in codimension two.◻
Proposition 4.3. Let
$X$
be a Calabi–Yau variety over
$K$
and let
$\mathscr{X}$
be a good dlt-model of
$X$
over
$R$
such that
$\mathscr{X}_{k}$
is reduced. Assume that
$K_{\mathscr{X}/R}\sim 0$
. Let
$N$
be a fixed positive integer. Then we can find a smooth pointed
$k$
-curve
$(S,s)$
and a normal proper flat
$S$
-scheme
$\mathscr{Y}$
such that the following properties hold:
(1) there exist an isomorphism of
$k$
-algebras
$\widehat{{\mathcal{O}}}_{S,s}\cong R$
and an isomorphism of
$R$
-schemes $$\begin{eqnarray}\mathscr{X}\times _{R}R/(t^{N})\rightarrow \mathscr{Y}\times _{S}\operatorname{Spec}(R/t^{N});\end{eqnarray}$$
(2) the morphism
$\mathscr{Y}\rightarrow S$
has geometrically connected fibers, and its restriction over
$S\setminus \{s\}$
is smooth with trivial relative canonical line bundle;(3) the pair
$(\mathscr{Y},\mathscr{Y}_{s})$
is dlt, every prime component of
$\mathscr{Y}_{s}$
is
$\mathbb{Q}$
-Cartier, and
$K_{\mathscr{Y}/S}\sim 0$
.
Proof. One can construct
$(S,s)$
and
$\mathscr{Y}$
satisfying (1) and (2) as in Lemma 2.10 (note that normality of
$\mathscr{Y}$
automatically follows from the fact that
$\mathscr{Y}\setminus \mathscr{Y}_{s}$
is normal and
$\mathscr{Y}_{s}\cong \mathscr{X}_{k}$
is reduced). If
$N$
is at least
$2$
, then for every point
$x$
of
$\mathscr{X}_{k}\cong \mathscr{Y}_{s}$
, the model
$\mathscr{X}$
is regular at
$x$
if and only if
$\mathscr{Y}$
is regular at
$x$
. Thus the pair
$(\mathscr{Y},\mathscr{Y}_{s})$
is snc at all the points of
$\mathscr{Y}_{s}$
where
$(\mathscr{X},\mathscr{X}_{k})$
is snc. Taking
$N$
sufficiently large, we can arrange that every prime component
$E$
of
$\mathscr{Y}_{s}$
is
$\mathbb{Q}$
-Cartier in
$\mathscr{Y}$
. More precisely, let
$x$
be a point of
$\mathscr{X}_{k}$
and let
$m_{x}$
be the Cartier index of
$E$
in
$\mathscr{X}$
at
$x$
. Let
$f$
be a local generator for the ideal sheaf
${\mathcal{O}}_{\mathscr{X}}(-m_{x}E)$
at
$x$
. Assume that
$N>m_{x}$
and let
$g$
be any element of
${\mathcal{O}}_{\mathscr{Y},x}$
that is congruent to
$f$
modulo
$t^{N}$
. Obviously,
$g$
cannot vanish at any other component of
$\mathscr{Y}_{s}$
, because
$t$
vanishes along each of these components and
$f$
does not. On the other hand,
$f$
divides
$t^{m_{x}}$
in
${\mathcal{O}}_{\mathscr{X},x}$
, so that
$g$
divides
$t^{m_{x}}$
in
${\mathcal{O}}_{\mathscr{Y},y}$
since
$N>m_{x}$
. Thus the zero locus of
$g$
is supported in
$\mathscr{Y}_{s}$
, which means that
$g=0$
is a local equation for
$m_{x}E$
in
$\mathscr{Y}$
at
$x$
. From now on, we assume that
$N$
has been chosen large enough to guarantee that
$N\geqslant 2$
and every prime component of
$\mathscr{Y}_{s}$
is
$\mathbb{Q}$
-Cartier.
Let
$E$
be a prime component of
$\mathscr{X}_{k}$
, denote by
$\widetilde{E}$
its normalization, and let
$\unicode[STIX]{x1D6E5}$
be the pullback of the
$\mathbb{Q}$
-Cartier divisor
$\mathscr{X}_{k}-E$
to
$\widetilde{E}$
. The scheme
$\mathscr{X}$
is regular in codimension two by Lemma 4.2. It follows that the different
$\text{Diff}_{\widetilde{E}}(\mathscr{X}_{k}-E)$
coincides with
$\unicode[STIX]{x1D6E5}$
. Thus the pair
$(\widetilde{E},\unicode[STIX]{x1D6E5})$
is dlt by adjunction [Reference KollárKol13, 4.8], using the same reasoning as in the proof of [Reference KollárKol13, 4.16.4] (except that we have not yet established the normality of
$E$
). Since
$N\geqslant 2$
, the scheme
$\mathscr{Y}$
is regular in codimension two, as well; since it is of finite type over
$k$
, we can apply inversion of adjunction [Reference KollárKol13, 4.9] to deduce that
$(\mathscr{Y},\mathscr{Y}_{s})$
is log canonical on a neighbourhood of
$E$
, and that the log canonical centers of
$(\mathscr{Y},\mathscr{Y}_{s})$
contained in
$E$
are precisely the images of the log canonical centers of
$(\widetilde{E},\unicode[STIX]{x1D6E5})$
. At the generic point of such a log canonical center, the pair
$(\mathscr{Y},\mathscr{Y}_{s})$
is snc because the same holds for
$(\mathscr{X},\mathscr{X}_{k})$
. Varying
$E$
, we obtain that
$(\mathscr{Y},\mathscr{Y}_{s})$
is dlt. This implies that every stratum of
$\mathscr{X}_{k}\cong \mathscr{Y}_{s}$
is normal [Reference KollárKol13, 4.16]; thus, in retrospect, we see that
$\widetilde{E}=E$
.◻
Corollary 4.4. Let
$X$
be a Calabi–Yau variety over
$K$
and let
$\mathscr{X}$
be a good dlt-model of
$X$
over
$R$
such that
$\mathscr{X}_{k}$
is reduced. Assume that
$K_{\mathscr{X}/R}\sim 0$
. Then every stratum of
$\mathscr{X}_{k}$
is normal, and the strata of
$\mathscr{X}_{k}$
are precisely the log canonical centers of the pair
$(\mathscr{X},\mathscr{X}_{k})$
contained in
$\mathscr{X}_{k}$
.
Proof. In the proof of Proposition 4.3, we have constructed a dlt pair
$(\mathscr{Y},\mathscr{Y}_{s})$
with
$\mathscr{Y}$
of finite type over
$k$
such that there exists an isomorphism of
$k$
-schemes
$\mathscr{X}_{k}\rightarrow \mathscr{Y}_{s}$
that identifies the log canonical centers of
$(\mathscr{X},\mathscr{X}_{k})$
contained in
$\mathscr{X}_{k}$
with those of
$(\mathscr{Y},\mathscr{Y}_{s})$
contained in
$\mathscr{Y}_{s}$
. Thus the result follows from the corresponding properties of
$(\mathscr{Y},\mathscr{Y}_{s})$
proven in [Reference KollárKol13, 4.16].◻
Theorem 4.5. Let
$\mathscr{X}$
be a normal separated
$k$
-scheme of finite type. Let
$D$
be a reduced effective divisor on
$\mathscr{X}$
such that the pair
$(\mathscr{X},D)$
is dlt and the divisor
$K_{\mathscr{X}}+D$
is Cartier. Assume also that all the prime components of
$D$
are
$\mathbb{Q}$
-Cartier. Let
$C$
be a one-dimensional stratum of
$D$
. Then, on an open neighbourhood of
$C$
, the scheme
$\mathscr{X}$
is regular and
$D$
is a divisor with strict normal crossings.
Proof. We will argue by induction on the dimension of
$\mathscr{X}$
. The case
$\dim (\mathscr{X})=1$
follows at once from the fact that all strata of dlt pairs are normal [Reference KollárKol13, 4.16(2)]. Thus we may assume that
$\dim (\mathscr{X})\geqslant 2$
, and that the result holds for pairs of strictly lower dimension.
Let
$x$
be a point on
$C$
. We claim that every prime divisor in
$D$
that contains
$C$
is Cartier at
$x$
. Assuming the claim for now, it follows that
$C$
is a local complete intersection at
$x$
, and thus reduced because it is generically reduced (the pair
$(\mathscr{X},D)$
is snc at the generic point of
$C$
). Now it follows from [Reference KollárKol13, 4.16(2)] that
$C$
is normal, and thus regular since it is of dimension one. But
$C$
is defined by the local equations at
$x$
of the prime components of
$D$
that contain
$C$
; these local equations form a regular sequence, again by [Reference KollárKol13, 4.16(2)]. We conclude that locally at
$x$
, the scheme
$\mathscr{X}$
is regular and
$D$
is a strict normal crossings divisor.
Thus it suffices to prove our claim. We may assume that
$x$
is not a zero-dimensional stratum of
$D$
, since at such points, the pair
$(\mathscr{X},D)$
is snc by the definition of a dlt pair. Let
$E$
be a prime divisor in
$D$
that contains
$C$
. Let
$F_{1},\ldots ,F_{r}$
be the non-empty intersections of
$E$
with the other components of
$D$
, and set
$\unicode[STIX]{x1D6E5}=F_{1}+\cdots +F_{r}$
. Then the pair
$(E,\unicode[STIX]{x1D6E5})$
is dlt, and
$$\begin{eqnarray}K_{E}+\unicode[STIX]{x1D6E5}=(K_{\mathscr{X}}+D)|_{E}\end{eqnarray}$$
is Cartier (see [Reference KollárKol13, Proposition 4.5 and Claim 4.16.4]). By the induction hypothesis,
$E$
is regular at
$x$
.
Let
$m\geqslant 1$
be the index of
$E$
at
$x$
, that is, the smallest positive integer such that
$mE$
is Cartier at
$x$
. Working locally around
$x$
, we may assume that
$E$
is regular and that
${\mathcal{O}}_{\mathscr{X}}(mE)$
is a trivial line bundle. The choice of a trivialization determines a ramified
$\unicode[STIX]{x1D707}_{m}$
-cover
$h:\widetilde{\mathscr{X}}\rightarrow \mathscr{X}$
defined by
$$\begin{eqnarray}\widetilde{\mathscr{X}}=\operatorname{Spec}_{\mathscr{X}}\bigoplus _{a=0}^{m}{\mathcal{O}}_{\mathscr{X}}(-aE).\end{eqnarray}$$
Here
${\mathcal{O}}_{\mathscr{X}}(-aE)$
is the rank one reflexive sheaf associated with the Weil divisor
$-aE$
. This is the so-called index one cover of the pair
$(\mathscr{X},E)$
at the point
$x$
; see [Reference Kollár and MoriKM98, 2.52] for details. The morphism
$h$
is étale over all the points where
$E$
is Cartier; in particular, it is étale over all the codimension-one points of
$E$
, since
$\mathscr{X}$
is regular in codimension two by Lemma 4.2. The minimality of
$m$
implies that the inverse image of
$x$
in
$\widetilde{\mathscr{X}}$
consists of a unique point, which we denote by
$\widetilde{x}$
.
We write
$\widetilde{E}$
for the inverse image of
$E$
on
$\widetilde{\mathscr{X}}$
, and
$\widetilde{D}$
for the inverse image of the divisor
$D$
. By [Reference Kollár and MoriKM98, 5.20], the pair
$(\widetilde{\mathscr{X}},\widetilde{D})$
is log canonical, and
$\operatorname{mld}_{\widetilde{x}}(\widetilde{\mathscr{X}},\widetilde{D})$
is positive. Since we chose
$x$
on a one-dimensional stratum
$C$
, the divisor
$D$
has
$\dim (\mathscr{X})-1$
prime components that pass through
$x$
. This implies that
$\widetilde{E}$
is unibranch at
$\widetilde{x}$
. Otherwise, étale-locally around
$\widetilde{x}$
, the divisor
$\widetilde{D}$
would have at least
$\dim (\mathscr{X})$
components passing through
$\widetilde{x}$
, and
$\widetilde{x}$
would be their intersection; but this implies that
$\widetilde{x}$
is a log canonical center of
$(\widetilde{X},\widetilde{D})$
, by [Reference KollárKol13, 4.41(2)], contradicting the positivity of
$\operatorname{mld}_{\widetilde{x}}(\widetilde{\mathscr{X}},\widetilde{D})$
.
We denote by
$\widetilde{E}^{\prime }$
the normalization of
$\widetilde{E}$
. Since
$\widetilde{E}$
is unibranch at
$\widetilde{x}$
, there is a unique point
$\widetilde{x}^{\prime }$
on
$\widetilde{E}^{\prime }$
that lies above
$\widetilde{x}\in \widetilde{E}$
. We have already observed that the morphism
$\widetilde{E}\rightarrow E$
induced by
$h$
is étale in codimension one; then the normality of
$E$
implies that
$\widetilde{E}$
is normal in codimension one. Thus
$\widetilde{E}^{\prime }\rightarrow E$
is also étale in codimension one. Since
$E$
is regular, the purity of the branch locus now implies that the finite morphism
$\widetilde{E}^{\prime }\rightarrow E$
is étale at
$\widetilde{x}^{\prime }$
; but
$\widetilde{x}^{\prime }$
is the unique point that lies above
$x\in E$
, so that
$\widetilde{E}^{\prime }\rightarrow E$
, and hence
$\widetilde{E}\rightarrow E$
, are isomorphisms. We finally conclude that
$m=1$
, so that
$E$
is Cartier at
$x$
.◻
Corollary 4.6. Let
$X$
be a Calabi–Yau variety over
$K$
, and let
$\mathscr{X}$
be a good minimal dlt-model for
$X$
over
$R$
. Assume that the special fiber
$\mathscr{X}_{k}$
is reduced. Let
$C$
be a one-dimensional stratum of
$\mathscr{X}_{k}$
. Then, on an open neighbourhood of
$C$
, the scheme
$\mathscr{X}$
is regular and
$\mathscr{X}_{k}$
is a divisor with strict normal crossings.
Proof. The property that the pair
$(\mathscr{X},\mathscr{X}_{k,\operatorname{red}})$
is snc at a point of
$\mathscr{X}_{k}$
only depends on the reduction of
$\mathscr{X}$
modulo
$t^{2}$
. Thus by means of the approximation result in Proposition 4.3, we can reduce to the case where the model
$\mathscr{X}$
is defined over a smooth algebraic
$k$
-curve; then the result follows from Theorem 4.5.◻
5 Toric structure of snc-models along one-dimensional strata
5.1
Let
$\mathscr{X}$
be a regular flat
$R$
-scheme such that
$\mathscr{X}_{k}$
is a strict normal crossings divisor. We write
$\mathscr{X}_{k}=\sum _{i\in I}N_{i}E_{i}$
, where
$E_{i},\,i\in I$
are the prime divisors in
$\mathscr{X}_{k}$
and the numbers
$N_{i}$
are their multiplicities. By the definition of a strict normal crossings divisor, every stratum of
$\mathscr{X}_{k}$
is a regular
$k$
-scheme. Let
$C$
be a stratum of
$\mathscr{X}_{k}$
. We say that
$\mathscr{X}$
is toric along
$C$
if there exist a regular toric
$R$
-scheme
$\mathscr{Y}$
and a stratum
$D$
of
$\mathscr{Y}_{k}$
such that
$\mathscr{Y}_{k}$
is a strict normal crossings divisor and the formal
$R$
-schemes
$\widehat{\mathscr{X}_{/C}}$
and
$\widehat{\mathscr{Y}_{/D}}$
are isomorphic.
5.2
Now let
$C$
be a one-dimensional stratum of
$\mathscr{X}_{k}$
that is proper over
$k$
. Let
$E_{j},\,j\in J$
be the prime components of
$\mathscr{X}_{k}$
that contain
$C$
. For every
$j\in J$
, we set
$$\begin{eqnarray}b_{j}=\text{deg}{\mathcal{O}}_{C}(-E_{j})=-(C\cdot E_{j}).\end{eqnarray}$$
We write
$C^{o}=C\setminus (\bigcup _{i\notin J}E_{i})$
. We say that
$\mathscr{X}$
is log Calabi–Yau along
$C$
if
$C\cong \mathbb{P}_{k}^{1}$
and
$C\setminus C^{o}$
consists of precisely two points, which we denote by
$c_{0}$
and
$c_{\infty }$
. Denote by
$0$
and
$\infty$
be the unique elements of
$I\setminus J$
such that
$\{c_{0}\}=C\cap E_{0}$
and
$\{c_{\infty }\}=C\cap E_{\infty }$
(note that
$0$
and
$\infty$
are not necessarily distinct). Then the fact that
$\sum _{i\in I}N_{i}E_{i}$
is a principal divisor on
$\mathscr{X}$
implies that
$$\begin{eqnarray}0=(\mathscr{X}_{k}\cdot C)=N_{0}+N_{\infty }-\mathop{\sum }_{j\in J}b_{j}N_{j}.\end{eqnarray}$$
Proposition 5.4. Assume that
$\mathscr{X}_{k}$
is log Calabi–Yau along
$C$
and that
$b_{j}>0$
for all
$j\in J$
. Then
$\mathscr{X}$
is toric along
$C$
.
Proof. We will construct a regular toric
$R$
-scheme
$\mathscr{Y}$
such that
$\mathscr{Y}_{k}$
is a strict normal crossings divisor that has a stratum
$D$
satisfying
$\widehat{\mathscr{X}_{/C}}\cong \widehat{\mathscr{Y}_{/D}}$
. Let
$\unicode[STIX]{x1D704}$
be the greatest common divisor of the multiplicities
$N_{i}$
with
$i\in J\cup \{0\}$
. We choose lattice vectors
$u_{i},\,i\in J\cup \{0\}$
in
$\mathbb{Z}^{J}$
with the following property: if we set
$v_{0}=(u_{0},N_{0}/\unicode[STIX]{x1D704})$
and
$v_{j}=(u_{j},N_{j}/\unicode[STIX]{x1D704})$
in
$\mathbb{Z}^{J}\oplus \mathbb{Z}$
, for all
$j\in J$
, then the set
$\{v_{i},\,i\in J\cup \{0\}\,\}$
is a basis for
$\mathbb{Z}^{J}\oplus \mathbb{Z}$
. Now we set
$$\begin{eqnarray}v_{\infty }=-v_{0}+\mathop{\sum }_{j\in J}b_{j}v_{j}\end{eqnarray}$$
in
$\mathbb{Z}^{J}\oplus \mathbb{Z}$
. Because of the relation (5.3), the last coordinate of
$v_{\infty }$
equals
$N_{\infty }/\unicode[STIX]{x1D704}$
.
For every
$i$
in
$J\cup \{0,\infty \}$
, let
$\unicode[STIX]{x1D70C}_{i}$
be the ray in
$\mathbb{R}^{J}\times \mathbb{R}_{{\geqslant}0}$
spanned by the primitive vector
$v_{i}$
. Consider the cones
$\unicode[STIX]{x1D70E}_{0}$
and
$\unicode[STIX]{x1D70E}_{\infty }$
spanned by the rays
$\unicode[STIX]{x1D70C}_{j}$
,
$j\in J$
and by
$\unicode[STIX]{x1D70C}_{0}$
and
$\unicode[STIX]{x1D70C}_{\infty }$
, respectively. The intersection of these cones is the common face spanned by the rays
$\unicode[STIX]{x1D70C}_{j}$
,
$j\in J$
. Let
$\unicode[STIX]{x1D6F4}$
be the fan in
$\mathbb{R}^{J}\times \mathbb{R}_{{\geqslant}0}$
with maximal cones
$\unicode[STIX]{x1D70E}_{0}$
and
$\unicode[STIX]{x1D70E}_{\infty }$
. Then
$\unicode[STIX]{x1D6F4}$
defines a toric
$k$
-variety
$Y$
. We consider the toric morphism
$$\begin{eqnarray}Y\rightarrow \mathbb{A}_{k}^{1}=\operatorname{Spec}k[t]\end{eqnarray}$$
associated with the morphism of cocharacter modules
$$\begin{eqnarray}\mathbb{Z}^{J}\oplus \mathbb{Z}\mapsto \mathbb{Z}:(u,v)\mapsto \unicode[STIX]{x1D704}\cdot v,\end{eqnarray}$$
and we set
$\mathscr{Y}=Y\times _{k[t]}R$
.
The scheme
$\mathscr{Y}$
is regular because the cones
$\unicode[STIX]{x1D70E}_{0}$
and
$\unicode[STIX]{x1D70E}_{\infty }$
are simple. Moreover,
$\mathscr{Y}_{k}$
is a strict normal crossings divisor whose prime components correspond to the rays of
$\unicode[STIX]{x1D6F4}$
, with multiplicities given by
$\unicode[STIX]{x1D704}$
times the last coordinates of the primitive generators of the rays; thus we can write
$$\begin{eqnarray}\mathscr{Y}_{k}=\mathop{\sum }_{j\in J}N_{j}F_{j}+N_{0}F_{0}+N_{\infty }F_{\infty }.\end{eqnarray}$$
Set
$D=\bigcap _{j\in J}F_{j}$
and write
$d_{0},\,d_{\infty }$
for the intersection points of
$D$
with
$F_{0}$
and
$F_{\infty }$
, respectively. By [Reference FultonFul93, §5.1], we have
$D\cdot F_{j}=-b_{j}$
for every
$j\in J$
.
We will now construct an isomorphism of formal
$R$
-schemes
$$\begin{eqnarray}f:\widehat{\mathscr{X}_{/C}}\rightarrow \widehat{\mathscr{Y}_{/D}}.\end{eqnarray}$$
For every
$n\geqslant 0$
, we denote by
$(\mathscr{X}/C)_{n}$
the degree-
$n$
thickening of
$C$
in
$\mathscr{X}$
, that is, the closed subscheme of
$\mathscr{X}$
defined by the
$(n+1)$
th power of the defining ideal of
$C$
. Thus
$(\mathscr{X}/C)_{0}=C$
and, by definition,
$\widehat{\mathscr{X}_{/C}}$
is the direct limit of the schemes
$(\mathscr{X}/C)_{n}$
in the category of locally topologically ringed spaces.
If
$E_{0}$
and
$E_{\infty }$
are distinct, then, for every
$j\in J$
, we denote by
${\mathcal{L}}_{j}$
the line bundle on
$\widehat{\mathscr{X}_{/C}}$
induced by
${\mathcal{O}}_{\mathscr{X}}(-E_{j}-b_{j}E_{\infty })$
. This definition does not give the desired result when
$E_{0}=E_{\infty }$
. To include that case, we consider the formal completion of
$E_{\infty }$
at
$c_{\infty }$
. This is a closed formal subscheme of
$\widehat{\mathscr{X}_{/C}}$
; we write
${\mathcal{I}}_{\infty }$
for its defining ideal sheaf, which is a principal ideal sheaf on
$\widehat{\mathscr{X}_{/C}}$
. For every
$j\in J$
, we denote by
${\mathcal{L}}_{j}^{\prime }$
the line bundle on
$\widehat{\mathscr{X}_{/C}}$
induced by
${\mathcal{O}}_{\mathscr{X}}(-E_{j})$
, and we set
${\mathcal{L}}_{j}={\mathcal{L}}_{j}^{\prime }\otimes {\mathcal{I}}_{\infty }^{b_{j}}$
. Then
${\mathcal{L}}_{j}$
is a line bundle on
$\widehat{\mathscr{X}_{/C}}$
, and our definition agrees with the previous one in the case where
$E_{0}$
and
$E_{\infty }$
are distinct.
Since the restriction of
${\mathcal{L}}_{j}$
to
$C\cong \mathbb{P}_{k}^{1}$
has degree zero, we can choose a non-zero global section
$s_{j}$
of
${\mathcal{L}}_{j}|_{C}$
. The conormal bundle of
$C$
in
$\mathscr{X}$
is given by
$$\begin{eqnarray}\bigoplus _{j\in J}{\mathcal{O}}_{C}(-E_{j})\end{eqnarray}$$
which is a direct sum of ample line bundles, by our assumption that the numbers
$b_{j}$
are all positive. This implies that the degree-one cohomology of the conormal line bundle vanishes, so that the maps
$$\begin{eqnarray}H^{0}((\mathscr{X}/C)_{n+1},{\mathcal{L}}_{j})\rightarrow H^{0}((\mathscr{X}/C)_{n},{\mathcal{L}}_{j})\end{eqnarray}$$
are surjective for all
$n\geqslant 0$
. Thus we can lift
$s_{j}$
to a global section of
${\mathcal{L}}_{j}$
on
$\widehat{\mathscr{X}_{/C}}$
, which we will still denote by
$s_{j}$
. The same argument produces a nowhere vanishing section
$s_{0}$
of
${\mathcal{O}}_{\mathscr{X}}(E_{\infty }-E_{0})$
on
$\widehat{\mathscr{X}_{/C}}$
; its inverse
$s_{\infty }=1/s_{0}$
is a nowhere vanishing global section of
${\mathcal{O}}_{\mathscr{X}}(E_{0}-E_{\infty })$
on
$\widehat{\mathscr{X}_{/C}}$
.
Consider the open formal subschemes
$$\begin{eqnarray}\mathfrak{X}_{0}=\widehat{\mathscr{X}_{/C}}\setminus \{c_{\infty }\},\quad \mathfrak{X}_{\infty }=\widehat{\mathscr{X}_{/C}}\setminus \{c_{0}\},\quad \mathfrak{Y}_{0}=\widehat{\mathscr{Y}_{/D}}\setminus \{d_{\infty }\},\quad \mathfrak{Y}_{\infty }=\widehat{\mathscr{Y}_{/D}}\setminus \{d_{0}\}\end{eqnarray}$$
of
$\widehat{\mathscr{X}_{/C}}$
and
$\widehat{\mathscr{Y}_{/D}}$
. Note that
$s_{i}$
is a global equation for
$E_{i}$
on
$\mathfrak{X}_{0}$
, for every
$i\in J\cup \{0\}$
. Likewise,
$s_{\infty }$
defines
$E_{\infty }$
on
$\mathfrak{X}_{\infty }$
, and
$s_{j}s_{\infty }^{-b_{j}}$
defines
$E_{j}$
on
$\mathfrak{X}_{\infty }$
, for every
$j\in J$
. Moreover,
$w^{\prime }=ts_{0}^{-N_{0}}\prod _{j\in J}s_{j}^{-N_{j}}$
is an invertible regular function on
$\widehat{\mathscr{X}_{/C}}$
. Since
$C$
is proper,
$w^{\prime }$
is constant on
$C$
, and, in particular, it has an
$\unicode[STIX]{x1D704}$
th root; Hensel’s lemma then implies that we can find a regular function
$w$
on
$\widehat{\mathscr{X}_{/C}}$
such that
$w^{\prime }=w^{\unicode[STIX]{x1D704}}$
.
Let
$\{v_{0}^{\vee },v_{j}^{\vee }\,(j\in J)\}$
be the dual basis of
$\{v_{0},v_{j}\,(j\in J)\}$
. Then we have
$$\begin{eqnarray}\mathfrak{Y}_{0}=\operatorname{Spf}R\{\unicode[STIX]{x1D712}^{v_{0}^{\vee }}\}[~[\unicode[STIX]{x1D712}^{v_{j}^{\vee }}\,(j\in J)]~]\bigg/\biggl(t-\mathop{\prod }_{i\in J\cup \{0\}}\unicode[STIX]{x1D712}^{N_{i}v_{i}^{\vee }}\biggr).\end{eqnarray}$$
Choose integers
$\unicode[STIX]{x1D6FC}_{0}$
and
$\unicode[STIX]{x1D6FC}_{j},\,j\in J$
such that
$\unicode[STIX]{x1D6FC}_{0}N_{0}+\sum _{j\in J}\unicode[STIX]{x1D6FC}_{j}N_{j}=\unicode[STIX]{x1D704}$
. Let
$f_{0}:\mathfrak{X}_{0}\rightarrow \mathfrak{Y}_{0}$
be the morphism of formal
$R$
-schemes defined by the morphism of topological
$R$
-algebras
$$\begin{eqnarray}{\mathcal{O}}(\mathfrak{Y}_{0})\rightarrow {\mathcal{O}}(\mathfrak{X}_{0}):\unicode[STIX]{x1D712}^{v_{i}^{\vee }}\mapsto w^{\unicode[STIX]{x1D6FC}_{i}}s_{i},\quad \text{for all }i\in J\cup \{0\}.\end{eqnarray}$$
Let
$\mathscr{J}$
be the largest ideal of definition on
$\mathfrak{Y}_{0}$
. Then
$\mathscr{J}(\mathfrak{Y}_{0})$
is generated by
$\unicode[STIX]{x1D712}^{v_{j}^{\vee }},\,j\in J$
. The ideal
$\mathscr{J}{\mathcal{O}}_{\mathfrak{X}_{0}}$
is the largest ideal of definition on
$\mathfrak{X}_{0}$
, and its global sections are generated by
$s_{j},\,j\in J$
. In particular,
$f_{0}$
is adic. The morphism
$$\begin{eqnarray}(f_{0})_{\operatorname{red}}:C\setminus \{c_{\infty }\}=(\mathfrak{X}_{0})_{\operatorname{red}}\rightarrow (\mathfrak{Y}_{0})_{\operatorname{red}}=D\setminus \{d_{\infty }\}\end{eqnarray}$$
is an isomorphism. It follows from [Reference GrothendieckEGA3.1, 4.8.10] that
$f_{0}$
is a closed immersion; since
$\mathfrak{X}_{0}$
and
$\mathfrak{Y}_{0}$
have the same dimension and
$\mathfrak{Y}_{0}$
is integral,
$f_{0}$
is an isomorphism.
Finally, we consider the second pair of affine charts
$\mathfrak{X}_{\infty },\,\mathfrak{Y}_{\infty }$
. The lattice vectors
$\{-v_{0}^{\vee },v_{j}^{\vee }+b_{j}v_{0}^{\vee }\,(j\in J)\}$
form the dual basis of
$\{v_{\infty },v_{j}\,(j\in J)\}$
, and
$$\begin{eqnarray}\mathfrak{Y}_{\infty }=\operatorname{Spf}R\{\unicode[STIX]{x1D712}^{-v_{0}^{\vee }}\}[~[\unicode[STIX]{x1D712}^{v_{j}^{\vee }+b_{j}v_{0}^{\vee }}\,(j\in J)]~]\bigg/\biggl(t-\mathop{\prod }_{i\in J\cup \{0\}}\unicode[STIX]{x1D712}^{N_{i}v_{i}^{\vee }}\biggr).\end{eqnarray}$$
Let
$f_{\infty }:\mathfrak{X}_{\infty }\rightarrow \mathfrak{Y}_{\infty }$
be the morphism of formal
$R$
-schemes defined by the morphism of topological
$R$
-algebras
${\mathcal{O}}(\mathfrak{Y}_{\infty })\rightarrow {\mathcal{O}}(\mathfrak{X}_{\infty })$
that maps
$\unicode[STIX]{x1D712}^{-v_{0}^{\vee }}$
to
$w^{-\unicode[STIX]{x1D6FC}_{0}}s_{\infty }$
and
$\unicode[STIX]{x1D712}^{v_{j}^{\vee }+b_{j}v_{0}^{\vee }}$
to
$w^{\unicode[STIX]{x1D6FC}_{j}+b_{j}\unicode[STIX]{x1D6FC}_{0}}s_{j}s_{\infty }^{-b_{j}}$
, for all
$j$
in
$J$
. By the same reasoning as above, one sees that
$f_{\infty }$
is an isomorphism. By construction, it agrees with
$f_{0}$
on the intersection of
$\mathfrak{X}_{0}$
and
$\mathfrak{X}_{\infty }$
, and the isomorphisms
$f_{0}$
and
$f_{\infty }$
glue to an isomorphism of formal
$R$
-schemes
$$\begin{eqnarray}f:\widehat{\mathscr{X}_{/C}}\rightarrow \widehat{\mathscr{Y}_{/D}}.\Box\end{eqnarray}$$
6 The smooth locus of the SYZ fibration
Theorem 6.1. Let
$X$
be a maximally degenerate projective Calabi–Yau variety over
$K$
of dimension
$n$
, and assume that
$X$
has a good minimal dlt-model
$\mathscr{X}$
over
$R$
with reduced special fiber. Let
$Z$
be the union of the faces of codimension greater than or equal to two in
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})=\operatorname{Sk}(X)$
. Then the non-archimedean SYZ fibration
$$\begin{eqnarray}\unicode[STIX]{x1D70C}_{\mathscr{X}}:X^{\operatorname{an}}\rightarrow \operatorname{Sk}(X)\end{eqnarray}$$
associated with
$\mathscr{X}$
is an
$n$
-dimensional affinoid torus fibration over
$\operatorname{Sk}(X)\setminus Z$
. Moreover, the induced integral affine structure on
$\operatorname{Sk}(X)\setminus Z$
is compatible with the canonical piecewise integral affine structure on
$\operatorname{Sk}(X)$
(see (2.6)), in the sense that they give rise to the same piecewise integral affine functions on
$\operatorname{Sk}(X)\setminus Z$
.
Recall that such a model
$\mathscr{X}$
can always be found after a finite extension of the base field
$K$
if
$X$
is defined over a curve (Theorem 1.13), which is the most relevant case for applications to mirror symmetry (see Remark 1.14). We also recall that the essential skeleton
$\operatorname{Sk}(X)$
is an
$n$
-dimensional closed pseudomanifold, by [Reference Nicaise and XuNX16a, 4.2.4]. If
$h^{i,0}(X)=0$
for
$0<i<n$
, then
$\operatorname{Sk}(X)$
has the rational homology of the
$n$
-sphere
$S^{n}$
[Reference Nicaise and XuNX16a, 4.2.4]. If, moreover,
$X$
has dimension three and trivial geometric fundamental group, then
$\operatorname{Sk}(X)$
is homeomorphic to
$S^{3}$
by [Reference Kollár and XuKX16, §34]; see Proposition 2.11.
Proof. We start by showing that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is an affinoid torus fibration over the
$n$
-dimensional open faces of
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
. Let
${\unicode[STIX]{x1D70E}\unicode[STIX]{x0030A}}$
be such an open face; it corresponds to a zero-dimensional stratum
$\{x\}$
in
$\mathscr{X}_{k}$
. It follows directly from the construction of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}^{-1}({\unicode[STIX]{x1D70E}\unicode[STIX]{x0030A}})$
is the generic fiber of
$\operatorname{Spf}\widehat{{\mathcal{O}}}_{\mathscr{X},x}$
, the formal completion of
$\mathscr{X}$
at
$x$
, and that the restriction of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
over
${\unicode[STIX]{x1D70E}\unicode[STIX]{x0030A}}$
only depends on the formal
$R$
-scheme
$\operatorname{Spf}\widehat{{\mathcal{O}}}_{\mathscr{X},x}$
. By the definition of a dlt-model,
$\mathscr{X}$
is regular at
$x$
, and
$\mathscr{X}_{k}$
is a strict normal crossings divisor locally around
$x$
. By our assumption that
$\mathscr{X}_{k}$
is reduced, we know that the
$R$
-algebra
$\widehat{{\mathcal{O}}}_{\mathscr{X},x}$
is isomorphic to
$$\begin{eqnarray}R[~[z_{0},\ldots ,z_{n}]~]/(t-z_{0}\cdot \ldots \cdot z_{n}).\end{eqnarray}$$
Thus we can identify the restriction of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
over
${\unicode[STIX]{x1D70E}\unicode[STIX]{x0030A}}$
with the restriction of the tropicalization map
$$\begin{eqnarray}\unicode[STIX]{x1D70C}_{\mathbb{G}_{m,K}^{n}}:\mathbb{G}_{m,K}^{n,\operatorname{an}}\rightarrow \mathbb{R}^{n}\end{eqnarray}$$
over the standard
$n$
-dimensional open simplex
$$\begin{eqnarray}\{u\in (\mathbb{R}_{{>}0})^{n+1}\,|\,u_{0}+\cdots +u_{n}=1\}.\end{eqnarray}$$
It follows that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is an
$n$
-dimensional affinoid torus fibration over
${\unicode[STIX]{x1D70E}\unicode[STIX]{x0030A}}$
, and that the induced integral affine structure on
${\unicode[STIX]{x1D70E}\unicode[STIX]{x0030A}}$
is compatible with the canonical piecewise integral affine structure on
$\operatorname{Sk}(X)$
.
If we can extend the integral affine structure from the union of the
$n$
-dimensional open faces to
$\operatorname{Sk}(X)\setminus Z$
, then the result will automatically be compatible with the canonical piecewise integral affine structure on
$\operatorname{Sk}(X)$
. Indeed, the essential skeleton
$\operatorname{Sk}(X)$
is purely of dimension
$n$
by [Reference Nicaise and XuNX16a, 4.2.4]. Therefore, a real-valued function on a subset of
$\operatorname{Sk}(X)$
is piecewise integral affine if and only if it is continuous and extends to a real-valued function on an open neighbourhood of its domain whose restriction to the interior of each
$n$
-dimensional face of
$\operatorname{Sk}(X)$
is piecewise integral affine.
Now, we prove that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is an affinoid torus fibration locally around the open faces of codimension one in
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
. We fix such a face
${\unicode[STIX]{x1D70F}\unicode[STIX]{x0030A}}$
, corresponding to a one-dimensional stratum
$C$
in
$\mathscr{X}_{k}$
. By Corollary 4.6, the model
$\mathscr{X}$
is snc along
$C$
. By means of a finite sequence of blow-ups at zero-dimensional strata, we can moreover arrange that, for every prime component
$E$
of
$\mathscr{X}_{k}$
that contains
$C$
, the intersection number
$(C\cdot E)$
is negative. This may destroy the property that
$\mathscr{X}_{k}$
is reduced, but it preserves the properties that
$\mathscr{X}$
is snc along every one-dimensional stratum,
$\mathscr{X}$
is a good minimal dlt-model, and
$\mathscr{X}$
satisfies assumption (2.3). Moreover, the sequence of blow-ups has no effect on the map
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
, by [Reference Mustaţă and NicaiseMN15, 3.1.7]. The effect on the skeleton
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
is a sequence of star subdivisions of the
$n$
-dimensional faces corresponding to the zero-dimensional strata that are blown up [Reference Mustaţă and NicaiseMN15, 3.1.9]. This does not affect the face
${\unicode[STIX]{x1D70F}\unicode[STIX]{x0030A}}$
.
Thus it suffices to prove that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is an affinoid torus fibration over an open neighbourhood of
${\unicode[STIX]{x1D70F}\unicode[STIX]{x0030A}}$
, under the following alternative assumptions on the model
$\mathscr{X}$
and the one-dimensional stratum
$C$
:
∙
$\mathscr{X}$
is a good minimal dlt-model satisfying (2.3);∙ the model
$\mathscr{X}$
is snc along
$C$
;∙ for every prime component
$E$
of
$\mathscr{X}_{k}$
that contains
$C$
, the component
$E$
has multiplicity one in
$\mathscr{X}_{k}$
, and the intersection number
$(C\cdot E)$
is negative.
We will prove that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
is an
$n$
-dimensional affinoid torus fibration over the open star of
${\unicode[STIX]{x1D70F}\unicode[STIX]{x0030A}}$
in
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
(that is, the union of
${\unicode[STIX]{x1D70F}\unicode[STIX]{x0030A}}$
with the two
$n$
-dimensional open faces whose closure contains
${\unicode[STIX]{x1D70F}\unicode[STIX]{x0030A}}$
).
By adjunction, the model
$\mathscr{X}$
is log Calabi–Yau along
$C$
in the sense of (5.2). We denote the zero-dimensional strata contained in
$C$
by
$c_{0}$
and
$c_{\infty }$
. The model
$\mathscr{X}$
is toric along
$C$
, by Proposition 5.4. More precisely, the proof of Proposition 5.4 gives an explicit description of the formal completion
$\widehat{\mathscr{X}_{/C}}$
of
$\mathscr{X}$
along
$C$
. Note that, under our assumptions and with the notations in that proof, the number
$\unicode[STIX]{x1D704}$
is equal to one and
$N_{j}=1$
for every
$j\in J$
, so that we can make the construction of the fan
$\unicode[STIX]{x1D6F4}$
more explicit: we choose a bijection of
$J$
with
$\{1,\ldots ,n\}$
. Then we can take for
$(u_{0},\ldots ,u_{n-1})$
the standard basis of
$\mathbb{Z}^{n}$
, and set
$u_{n}=0$
. The vector
$v_{\infty }$
is now given by
$(-1,b_{1},\ldots ,b_{n-1},N_{\infty })$
. Let
$\unicode[STIX]{x1D6F4}$
be the fan with maximal cones
$\unicode[STIX]{x1D70E}_{0}$
and
$\unicode[STIX]{x1D70E}_{\infty }$
. Then the toric scheme
$\mathscr{Y}$
constructed in the proof of Proposition 5.4 is precisely the torus embedding associated with
$\unicode[STIX]{x1D6F4}$
in the sense of Example 3.5.
Let
$U$
be the union in
$\unicode[STIX]{x1D6E5}(\mathscr{X}^{\operatorname{snc}})$
of the open faces corresponding to the strata
$c_{0}$
,
$c_{\infty }$
and
$C$
in
$\mathscr{X}_{k}$
. This is an open neighbourhood of
${\unicode[STIX]{x1D70F}\unicode[STIX]{x0030A}}$
in
$\operatorname{Sk}(X)$
. Let
$V$
be the interior of the intersection of
$|\unicode[STIX]{x1D6F4}|$
with
$\mathbb{R}^{n}\times \{1\}$
. It follows directly from the construction of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
that
$\unicode[STIX]{x1D70C}_{\mathscr{X}}^{-1}(U)$
is the generic fiber of
$\widehat{\mathscr{X}_{/C}}$
, and that the restriction of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
over
$U$
only depends on the formal
$R$
-scheme
$\widehat{\mathscr{X}_{/C}}$
. If
$D$
is the torus orbit in
$\mathscr{Y}_{k}$
corresponding to the codimension-one cone
$\unicode[STIX]{x1D70E}_{0}\cap \unicode[STIX]{x1D70E}_{\infty }$
in
$\unicode[STIX]{x1D6F4}$
, then we have shown in the proof of Proposition 5.4 that
$\widehat{\mathscr{X}_{/C}}$
is isomorphic to
$\widehat{\mathscr{Y}_{/D}}$
. Thus, by Example 3.5, we can identify the restriction of
$\unicode[STIX]{x1D70C}_{\mathscr{X}}$
over
$U$
with the restriction of
$\unicode[STIX]{x1D70C}_{\mathbb{G}_{m,K}^{n}}$
over
$V$
, which is an
$n$
-dimensional affinoid torus fibration by definition.◻
6.2
Note that the proof of Proposition 5.4 gives an explicit description of the integral affine structure on
$\operatorname{Sk}(X)\setminus Z$
induced by the non-archimedean SYZ fibration: after our finite sequence of blow-ups at zero-dimensional strata, the gluing data along codimension-one faces of the skeleton are determined by the intersection numbers
$(C\cdot E)$
. This is quite similar to the constructions for log Calabi–Yau surfaces in [Reference Gross, Hacking and KeelGHK15, Reference YuYu16a] and for toric degenerations in the Gross–Siebert program [Reference Gross and SiebertGS11b].
