Compact manifolds covered by a torus (Q941851): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Created claim: Wikidata QID (P12): Q102077676, #quickstatements; #temporary_batch_1711094041063
Property / Wikidata QID
 
Property / Wikidata QID: Q102077676 / rank
 
Normal rank

Revision as of 12:55, 22 March 2024

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