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 and that of principally polarized abelian varieties . 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 , which we denote by and . The former is the Gromov-Hausdorff compactification with respect to rescaled Kähler-Einstein metrics of fixed diameters and the latter “tropical geometric compactification” should dominate the former as its boundary encodes more structure of the Gromov-Hausdorff limits (collapses) rather than just distance structure. For a precise definition of 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 , we have a case by case definition for only particular classes of varieties. Here, we recall the structure theorem of from [Od16, Theorems 2.1 2.3 and Corollary 2.5].
Theorem 1.1 ([Od16]).
can be explicitly compactified as whose boundary parametrizes all flat (real) tori of diameter where . Once we attach the rescaled flat Kähler metric in the principal polarization with diameter to each abelian variety, the parametrization of metric spaces on whole is continuous with respect to the Gromov-Hausdorff distance.
In the above case, we simply set . On the other hand, in the analogue for [Od14], we distinguish and , where the boundaries of (resp., ) parametrize metrized graphs (resp., metrized graphs with integer weights on the vertices). We refer the details to [Od14].
Our [OO] contains the followings.
- ()
- ()
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.