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
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
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