Voisin, Claire On the homotopy types of compact Kähler and complex projective manifolds. (English) Zbl 1065.32010 Invent. Math. 157, No. 2, 329-343 (2004). It is a classical problem whether every compact Kähler manifold has the same homotopy type as a projective complex manifold. In 1960 Kodaira proved that every compact Kähler surface is even deformation equivalent to a complex projective surface. The examples in the present paper show that the situation is quite different in higher dimensions. For every \(m\geq 2\) there exists a \(2m\)- dimensional compact Kähler manifold \(X\), birational equivalent to a compact complex torus, with the following property: For any elliptic curve \(F\) neither of the graded integral cohomology rings \(H^*(X,\mathbb Z)\) and \(H^*(X\times F,\mathbb Z)\) is isomorphic to the graded integral cohomology ring of a complex projective manifold. The problem is still open in dimension three. The manifold \(X\) is constructed by a sequence of blow ups of \(T\times T\), where \(T\) is a specific compact complex torus. It is shown that the Albanese torus of a compact Kähler manifold \(X'\) with \(H^*(X',\mathbb Z)\) isomorphic to \(H^*(X,\mathbb Z)\) (resp. \(H^*(X\times F,\mathbb Z))\) is not an abelian variety. The author applies a Lemma of P. Deligne to show that the latter remains true if the integral cohomology rings in the assumption are replaced by the rational cohomology rings. Moreover the manifold \(X\) can be modified by a sequence of blow ups to a compact Kähler manifold \(X_1\) such that the graded cohomology algebra \(H^*(X_1,\mathbb C)\) is not isomorphic to the cohomology algebra of a complex projective manifold. Finally the author constructs examples of \(2m\)-dimensional simply connected compact Kähler manifolds \(X\) (for \(m\geq 3\)) whose rational cohomology ring is not isomorphic to that of a complex projective manifold. Starting with a torus \(T\) as above let \(K\) be the desingularization of the quotient of \(T\) by the \(-1\)-involution. \(K\) is a simply connected Kähler manifold and \(X\) is constructed by a sequence of blowing ups of \(K\times K\). The Hodge index theorem is a main tool in the proof. Reviewer: Eberhard Oeljeklaus (Bremen) Cited in 12 ReviewsCited in 35 Documents MSC: 32J27 Compact Kähler manifolds: generalizations, classification 14C30 Transcendental methods, Hodge theory (algebro-geometric aspects) 32G20 Period matrices, variation of Hodge structure; degenerations 32J25 Transcendental methods of algebraic geometry (complex-analytic aspects) Keywords:Hodge structure; cohomology ring; Poincaré duality PDFBibTeX XMLCite \textit{C. Voisin}, Invent. Math. 157, No. 2, 329--343 (2004; Zbl 1065.32010) Full Text: DOI arXiv References: [1] Beauville, No article title, J. Differ. Geom., 18, 755 (1983) [2] Birkenhake, Ch., Lange, H.: Complex abelian varieties. Grundlehren Math. Wiss. 302. Berlin, Heidelberg, Tokyo, New York: Springer-Verlag 1992 · Zbl 0779.14012 [3] Debarre, O.: Tores et variétés abéliennes complexes. Cours spécialisés 6. SMF 1999 · Zbl 0964.14037 [4] Deligne, No article title, Invent. Math., 2, 245 (1975) · Zbl 0312.55011 · doi:10.1007/BF01389853 [5] Demailly, J.-P., Eckl, T., Peternell, T.: Line bundles on complex tori and a conjecture of Kodaira. Preprint math.AG/0212243 · Zbl 1078.32014 [6] Kodaira, No article title, Ann. Math., 60, 28 (1954) · Zbl 0057.14102 · doi:10.2307/1969701 [7] Kodaira, No article title, Ann. Math., 71, 111 (1960) · Zbl 0098.13004 · doi:10.2307/1969881 [8] Shioda, No article title, Ann. Sci. Éc. Norm. Supér., IV Sér., 14, 303 (1981) [9] Voisin, C.: Hodge Theory and Complex Algebraic Geometry, I. Camb. Stud. Adv. Math. 76. Cambridge Univ. Press 2002 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.