ScalingStacks

1. Introduction [04Y9]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

1. Introduction

Our paper [OO] is a sequel to a series by the first author [Od14, Od16], which compactified both the moduli space of compact Riemann surfaces Mg​(g≥2)M_{g}(g\geq 2) and that of principally polarized abelian varieties AgA_{g}. In each case, as we actually expect an analogue for any moduli of general polarized Kähler-Einstein varieties with non-positive scalar curvatures, we introduce and study two similar (non-variety) compactifications of the moduli space ℳ\mathcal{M}, which we denote by ℳ¯GH\overline{\mathcal{M}}^{\rm GH} and ℳ¯T\overline{\mathcal{M}}^{\rm T}. The former ℳ¯GH\overline{\mathcal{M}}^{\rm GH} is the Gromov-Hausdorff compactification with respect to rescaled Kähler-Einstein metrics of fixed diameters and the latter “tropical geometric compactification” ℳ¯T\overline{\mathcal{M}}^{\rm T} should dominate the former ℳ¯GH\overline{\mathcal{M}}^{\rm GH} as its boundary ∂ℳ¯T\partial\overline{\mathcal{M}}^{\rm T} encodes more structure of the Gromov-Hausdorff limits (collapses) rather than just distance structure. For a precise definition of ℳ¯GH\overline{\mathcal{M}}^{\rm GH} we employ the same definition as [Od14, §2.3], [Od16, §2.2].11 1 However, its compactness is unknown at least to the authors in higher dimensional negative scalar curvature case. For ℳ¯T\overline{\mathcal{M}}^{\rm T}, we have a case by case definition for only particular classes of varieties. Here, we recall the structure theorem of Ag¯GH\overline{A_{g}}^{\rm GH} from [Od16, Theorems 2.1 2.3 and Corollary 2.5].

Theorem 1.1 ([Od16]).

AgA_{g} can be explicitly compactified as Ag¯GH\overline{A_{g}}^{\rm GH} whose boundary parametrizes all flat (real) tori ℝi/ℤi\mathbb{R}^{i}/\mathbb{Z}^{i} of diameter 11 where 1≤i≤g1\leq i\leq g. Once we attach the rescaled flat Kähler metric in the principal polarization with diameter 11 to each abelian variety, the parametrization of metric spaces on whole Ag¯GH\overline{A_{g}}^{\rm GH} is continuous with respect to the Gromov-Hausdorff distance.

In the above case, we simply set Ag¯T:=Ag¯GH\overline{A_{g}}^{\rm T}:=\overline{A_{g}}^{\rm GH}. On the other hand, in the analogue for MgM_{g} [Od14], we distinguish Mg¯GH\overline{M_{g}}^{\rm GH} and Mg¯T\overline{M_{g}}^{\rm T}, where the boundaries of Mg¯GH\overline{M_{g}}^{\rm GH} (resp., Mg¯T\overline{M_{g}}^{\rm T}) parametrize metrized graphs (resp., metrized graphs with integer weights on the vertices). We refer the details to [Od14].

Our [OO] contains the followings.

  1. (i\mathrm{i})

    We first apply the Morgan-Shalen type compactification for general Hermitian locally symmetric spaces and identify it with one of the Satake compactifications ([Sat60a], [Sat60b]).

  2. (ii\mathrm{ii})

    We partially prove that the boundary of the Satake compactification of the type which appears in ( i ) parametrizes collapses of abelian varieties and Ricci-flat K3 surfaces. This gives a generalisation of some results in [GW00], [Tos10], [GTZ13], [GTZ16], [TZ17] for the K3 surface case. For instance, a proof of the conjecture of Kontsevich-Soibelman [KS04, Conjecture 1] (see also Gross-Wilson [GW00, Conjecture 6.2]), which is related to the Strominger-Yau-Zaslow mirror symmetry [SYZ96], for the case of K3 surfaces directly follows from our description of collapsing. We also give a conjecture for higher dimensional hyperKähler varieties.

Now we move on to a more detailed description.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.