A characterization of ball quotients with smooth boundary (Q1119701)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A characterization of ball quotients with smooth boundary
scientific article

    Statements

    A characterization of ball quotients with smooth boundary (English)
    0 references
    0 references
    1988
    0 references
    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)].
    0 references
    Chern class inequality
    0 references
    smooth divisor
    0 references
    toroidal compactification of an unramified arithmetic quotient of
    0 references
    the unit ball
    0 references
    Kähler-Einstein metric
    0 references
    toroidal compactification of an unramified arithmetic quotient of the unit ball
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references