Invariants and Hodge cycles. III (Q804651)

[For part I and II see Automorphic forms and geometry of arithmetic varieties, Adv. Stud. Pure Math. 15, 373-413 (1989; Zbl 0717.14006) and Sci. Pap. Coml. Arts Sci., Univ. Tokyo 40, No.1, 1-25 (1990; Zbl 0717.14007).] Consider a group theoretic abelian scheme (GTAS) \(\pi: A\to V=\Gamma \setminus {\mathcal D}\). The space \(H^{(p,p)}(A_{\lambda})\cap H^ r(A_{\lambda},{\mathbb{Q}})\) \((r=2p)\) of Hodge cycles in a generic fibre \(A_{\lambda}\) is controlled by an invariant theory of G, the Q- semisimple algebraic group attached to V. When A is rigid, the space \(H^{(p,p)}(A_{\lambda})\cap H^ r(A_{\lambda},{\mathbb{Q}})\) coincides with the space \(H^ r(A,{\mathbb{Q}})^ G=\bigwedge^ r(F)^ G\) of G- invariant elements in \(H^ r(A_{\lambda},{\mathbb{Q}})\), where \(F=H^ 1(A_{\lambda},{\mathbb{Q}})\). In the paper under review the asymptotic behavior of \(\dim (\bigwedge^ r(\mu F)^ G)\) (as \(\mu\to \infty)\) is studied.