Gromov-Hausdorff limits of Kähler manifolds and algebraic geometry (Q483617)

The paper under reviewed concerns the Gromov-Hausdorff limit of Kähler manifolds. The main results are the verification of a weakened version of \textit{G. Tian}'s partial \(\mathcal{C}^0\)-estimates conjecture [Proc. Int. Congr. Math., Kyoto/Japan 1990, Vol. I, 587--598 (1991; Zbl 0747.53038)] (Theorem 1) and an extremely beautiful theorem connecting Gromov-Hausdorff limits and limits in algebraic geometry (Theorem 2). Precisely, the authors consider for \(n \in \mathbb{N}\) and \(c,V > 0\), the class \(\mathcal{K}(n,c,V)\) of compact Kähler manifolds \((X,\omega)\) of complex dimension \(n\) with volume \(V\), together with a Hermitian line bundle \(L\) endowed with a connection \(A\) with curvature \(-j\omega\), such that the Ricci tensor is uniformly bounded and the ratio of the volume of any metric ball to that of an Euclidean ball with the same radius is \(\geq c\). After proving a weakened version of Tian's partial \(\mathcal{C}^0\)-estimates conjecture for \(\mathcal{K}(n,c,V)\), they show that there exists some integer \(k\), depending only on \(n,c\) and \(V\), such that every \(X\) in \(\mathcal{K}(n,c,V)\) can be embedded into \(\mathbb{C}\mathbb{P}^N\) by the linear system \(|L^{\otimes k}|\). Moreover, they show that if \(X_j\) is a convergente sequence in \(\mathcal{K}(n,c,V)\), then its Gromov-Hausdorff limit \(X_\infty\) is homeomorphic to a normal projective variety \(W\) such that, up to taking a subsequence and projective transformations, \(X_j\) converges to \(W\) as points in the Chow variety parameterizing projective varieties in \(\mathbb{C}\mathbb{P}^N\). The case where the \(X_j\)'s are Kähler-Einstein manifolds is also discussed. In this case the authors show that the limit space \(W\) has only log-terminal singularities. The paper ends with a detailed study of the structure of the tangent cones in the complex three-dimensional case, and a conjecture on the uniform bounds of the Bergman function of Kähler manifolds in \(\mathcal{K}(n,c,V)\).