A characterization of ball quotients with smooth boundary (Q1119701)

This paper is a continuation of the author's previous work [Math. Ann. 277, 483-487 (1987; Zbl 0617.14004)]. He proves the following theorem: Let X be a projective algebraic manifold of dimension n defined over \({\mathbb{C}}\) and let D be a smooth divisor on X. Assume that \((1)\;K_ X+(1-\epsilon)D\) is ample for every sufficiently small positive rational number \(\epsilon\), \((2)\;K_ X+D\) is numerically trivial on D, and \((3)\;K_ X+D\) is ample modulo D and semiample. Then the inequality \[ c^ n_ 1(\Omega^ 1_ X(\log D))\leq \frac{2(n+1)}{n}c_ 1^{n- 2}(\Omega^ 1_ X\quad (\log D))c_ 2(\Omega^ 1_ X(\log D)) \] holds and equality holds if and only if X-D is an unramified quotient of the unit ball in \({\mathbb{C}}^ n.\) A toroidal compactification of an unramified arithmetic quotient of the unit ball in \({\mathbb{C}}^ n\) with smooth boundary always satisfies the conditions of the theorem. The proof is based on the construction of a Kähler-Einstein metric on X-D. \textit{S.-T. Yau} proved a similar theorem for a compact Kähler manifold X with negative first Chern class [Commun. Pure Appl. Math. 31, 339-411 (1978; Zbl 0362.53049)].