Tate twists of Hodge structures arising from abelian varieties of type IV (Q436102)

Let \(V\) be a finite-dimensional \(\mathbb{Q}\)-vector space with Hodge structure \[ V_{\mathbb{C}}:= V\otimes_{\mathbb{Q}}\mathbb{C}= \bigoplus_{p+q=n} V^{p,q}\quad\text{of weight }n. \] The Hodge structure \(V_{\mathbb{C}}\) is said to be effective if \(V^{p,q}= 0\) unless \(p,q\geq 0\), and geometric if it is isomorphic to a Hodge structure of the cohomology of a smooth projective variety over \(\mathbb{C}\). For any integer \(m\), the \(m\)th Tate twist of \(V_{\mathbb{C}}\) is the Hodge structure \(V(m):= V\otimes_{\mathbb{Q}}\mathbb{Q}((2\pi i)^m)\) of weight \(n-2m\) with \(V(m)^{p,q}= V^{p-m,q-m}\). In this context, \textit{A. Grothendieck's} amendment of the general Hodge conjecture, as formulated in his paper [Topology 8, 299--303 (1969; Zbl 0177.49002)], implies that any effective Tate twist of a geometric Hodge structure is also geometric. On the other hand, it is said that a smooth complex projective variety \(X\) is dominated by a class \({\mathcal A}\) of varieties if, for every irreducible Hodge structure \(W\) in the cohomology of \(X\), a certain Tate twist \(W(r)\) occurs in the cohomology of some member \(Y\) of \({\mathcal A}\). Then, as pointed out by A. Grothendieck in the same paper cited above, the amended general Hodge conjecture for the variety \(X\) follows from the existence of a class \({\mathcal A}\) of varieties dominating \(X\), provided the usual (classical) Hodge conjecture holds for the products \(X\times Y\) with arbitrary \(Y\in{\mathcal A}\). In the paper under review, the author uses this approach (via dominating varieties) to deduce the general Hodge conjecture for a certain. class of abelian varieties. Actually, in a long series of previous papers published between 1997 and 2005, the author has shown that various types of abelian varieties are dominated by particular subclasses of the class of all abelian varieties, and he has already verified the general Hodge conjecture in a number of special cases of abelian varieties. In this context, the study of effective Tate twists of Hodge structures in the cohomology of these types of abelian varieties played a significant role in the author's approach. Alas, his earlier results apply to the class of abelian varieties of type IV, as investigated in the author's foregoing article [Math. Z. 246, No. 1--2, 203--212 (2004; Zbl 1086.14008)] only under additional restrictions. In view of this very fact, the aim of the present paper is to remove these restrictions, at least partially, and to deduce the general Hodge conjecture for products of six different kinds of low-dimensional simple abelian varieties of type IV (Theorem 14). As for the method of proof, a crucial step is to show that the abelian varieties under consideration have the following property: For every Hodge structure \(V= V_{\mathbb{C}}\) in the cohomology of the abelian variety \(A\), any effective Tate twist of \(V\) occurs in the cohomology of an abelian variety of CM-type. Finally, Hodge structures of CM-Type have been studied in the author's previous paper [J. Ramanujan Math. Soc. 20, No. 2, 155--162 (2005; Zbl 1094.14004)] and the main theorem (Theorem 3, p.159) of that work appears as another basic ingredient in the course of the present article.