Compact manifolds covered by a torus (Q941851)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compact manifolds covered by a torus
scientific article

    Statements

    Compact manifolds covered by a torus (English)
    0 references
    0 references
    0 references
    0 references
    2 September 2008
    0 references
    Let \(X\) be a compact complex manifold that is the image of a complex torus by a surjective holomorphic map \(A \to X\). The main theorem of this paper states that \(X\) is a Kähler manifold and that, up to taking a finite étale cover, \(X\) is a product of projective spaces and a torus. This very nice statement generalises similar results for projective manifolds by \textit{O. Debarre} [C. R. Acad. Sci., Paris, Sér. I 309, No. 2, 119--122 (1989; Zbl 0699.14050)] and \textit{J.-M. Hwang} and \textit{N. Mok} [Math. Z. 238, No. 1, 89--100 (2001; Zbl 1076.14021)]. Technically speaking, the proof falls into two independent parts: In the first part, the authors observe that the morphism \(A \to X\) is equidimensional. Since a complex torus is Kähler, a difficult theorem of \textit{J. Varouchas} [Math. Ann. 283, No. 1, 13--52 (1989; Zbl 0632.53059)] then implies that \(X\) is also Kähler. Note that the authors give a rather short and self-contained proof of Varouchas' theorem in the appendix. For the second part, we observe that the main theorem implies a-posteriori that the tangent bundle of \(X\) is nef. The strategy of the proof is now to show that many of the tools used in the study of manifolds with nef tangent bundle by \textit{J.-P. Demailly, T. Peternell} and \textit{M. Schneider} [J. Algebr. Geom. 3, No. 2, 295--345 (1994; Zbl 0827.14027)] are still available under the hypothesis that \(X\) is covered by a torus. For example it is shown that the Albanese map of \(X\) is a surjective submersion with connected fibres, and the fundamental group is almost abelian. Furthermore the anticanonical bundle is semi-ample and induces an equidimensional fibration. The main theorem is then established by comparing the Albanese morphism and the anticanonical fibration.
    0 references
    0 references
    0 references
    0 references
    0 references
    complex torus
    0 references
    abelian variety
    0 references
    projective space
    0 references
    Kähler manifold
    0 references
    Albanese morphism
    0 references
    fundamental group
    0 references
    étale cover
    0 references
    nef divisor
    0 references
    nef tangent bundle
    0 references
    anticanonical bundle
    0 references
    numerically flat vector bundle
    0 references
    0 references
    0 references
    0 references