A compactness result for Kähler Ricci solitons (Q877740): Difference between revisions

A familiar theorem by M. Gromov -- Gromov's compactness theorem -- states that Cheeger's class \(\mathfrak{M}( n,d,V,\Lambda) \) is relatively compact in the Hausdorff (or Lipschitz) distance. It is known that the limit spaces in Gromov's compactness theorem are Aleksandrov spaces of curvature \(\leq\Lambda\) and \(\geq-\Lambda\) and such spaces are almost Riemannian in the sense that their metric is given by a \(W_{p}^{2}\)-metric tensor. \textit{M. Anderson} [J. Am. Math. Soc. 2 (3), 455--490 (1989; Zbl 0694.53045)], \textit{S. Bando, A. Kasue} and \textit{H. Nakajima} [Invent. Math. 97, 313--349 (1989; Zbl 0682.53045)] and \textit{G. Tian} [Invent. Math. 101, 101--172 (1990; Zbl 0716.32019)] proved compactness theorems for Kähler-Einstein metrics which have uniformly bounded \(L_{n/2}\)-norms of curvature tensors, uniformly bounded Ricci curvatures and diameters and volumes uniformly separated from \(0\); the limit spaces are orbifolds with a finite set of singularities. Recall that Perel'man's functional \(W( g,f,\tau) \) is defined by \[ (4\pi\tau)^{-n/2} \int_{\mathcal{M}} e^{-f} [\tau(R+|\nabla f|^2)+ f-n]\,dV_{g} \] subject to the constraint \(L( f,\tau) =( 4\pi\tau) ^{-n/2} \int_{\mathcal{M}}e^{-f}\,dV_{g}=1\). Then Perel'man's functional \(\mu\) is given by \(\mu( g,\tau) =\inf_{f}\{ W( g,f,\tau) \mid L( f,\tau) =1\} \). The authors prove the following compactness result for Kähler-Ricci solutions where they use a uniform estimate from below for \(\mu( g,1/2) \) as a substitute for a uniform bound on diameter and volume: If \(\{ \mathcal{M}_{i} ,g_{i}\} _{i=1,2,\dots }\) is a sequence of Kähler-Ricci solutions, with real dimension \(n\geq6\), with positive first Chern classes, with uniformly \(L_{n/2}\)-bounded curvature tensors Ric\(( g_{i}) \) and \(\mu( g_{i},1/2)\), and uniformly bounded from below, then a subsequence of the sequence \(\{ \mathcal{M}_{i},g_{i}\} _{i=1,2,\dots }\) converges to an orbifold with finitely many singularities and the limit metric is a Kähler-Ricci solution in the orbifold sense. A similar result is proved for \(n=4.\)