Algebraically defined subspaces in the cohomology of a Kuga fiber variety (Q1820838)

Let G be a semisimple algebraic group of hermitian type defined over \({\mathbb{Q}}\), let \({\mathfrak X}\simeq G_{{\mathbb{R}}}/K\), where \(K\subset G\) is a maximal compact subgroup, be the symmetric domain associated to G, let \(\Gamma\) be an arithmetic subgroup of G, let (\(\pi\),E) be a finite- dimensional representation of G defined over \({\mathbb{Q}}\), let \({\mathcal U}:=\Gamma \setminus {\mathfrak X}\), and let \({\mathcal E}\) be the locally constant sheaf over \({\mathcal U}\) associated to (\(\pi\),E). Then under certain conditions on G, \(\Gamma\) and (\(\pi\),E), the quotient \(1/2\) is a complex projective variety and there exists a Kuga fiber variety \({\mathcal V}\), i.e., a complex projective variety with the structure of an analytic family of abelian varieties parametrized by \({\mathcal U}\), such that \(H^{a}({\mathcal U};{\mathcal E})\) may be identified with a subspace of \(H^ *({\mathcal V};{\mathbb{Q}})\). The purpose of this paper is to show that for a certain class of nontrivial (\(\pi\),E) the subspace of \(H^ *({\mathcal V};{\mathbb{Q}})\) with which \(H^ a({\mathcal U};{\mathcal E})\) is identified is algebraically defined, or in other words that this subspace is contained in \(H^ r({\mathcal V};{\mathbb{Q}})\) for some r and a projection from \(H^ r({\mathcal V};{\mathbb{Q}})\) to it is induced by an algebraic class in \(H^ *({\mathcal V}\times {\mathcal V};{\mathbb{Q}})\). In particular, since the projection of an algebraic class in \(H^ r({\mathcal V};{\mathbb{Q}})\) is again an algebraic class, this paper provides an answer to the question of how to define algebraic classes in \(H^ a({\mathcal U};{\mathcal E})\) for some nontrivial local coefficient systems \({\mathcal E}\).