Compactness theorems for Kähler-Einstein manifolds of dimension 3 and up (Q1203623)

The main purpose of this paper is to study compactness theorems of Riemannian manifolds under various geometric assumptions. For any fixed constant \(\mu>0\) and positive integer \(n>0\), denote by \(K(\mu,n)\) the set of all Kähler-Einstein manifolds \((m,g)\) of complex dimension \(n\) satisfying: \(\text{diam}(M,g)\leq\mu\), \(\int_ M|\text{Rm}(g)|_ g^ n dV_ g\leq\mu\), \(\text{Vol}_ g(M)\geq 1/\mu\), where \(\text{Rm}(g)\) denotes the curvature tensor of \(g\). Let \(K_ +(\mu,n)\) (resp. \(K_ -(\mu,n)\)) be the subset of all \((M,g)\) in \(K(\mu,n)\) with \(\text{Ric}(g)=\omega_ g\) (resp. \(\text{Ric}(g)=-\omega_ g\)), where \(\omega_ g\) is the associated Kähler form of \(g\). The main results are given in the following theorems. Theorem 1. \(K_ +(\mu,n)\) (resp. \(K_ -(\mu,n)\)) is compact for \(n\geq 3\). Theorem 2. Let \((M,g)\) be a complete Ricci-flat Kähler manifold with the \(L^ n\)- norm of its curvature tensor bounded. Then \(M\) is a resolution of \(\mathbb{C}/\Gamma\) for some \(\Gamma\subset SU(n)\) with trivial canonical line bundle \(K_ m\). To prove these theorems the author studies the continuity of the dimensions of plurianticanonical or pluricanonical divisors. The basic analytic tool is Hörmander's \(L^ 2\)-estimate for \(\overline {\partial}\)-operators and Kohn's estimate for \(\overline{\partial}\)-operators on strongly pseudoconvex CR-manifolds.