Tentative d'épuisement de la cohomologie d'une variété de Shimura par restriction à ses sous-variétés

Abstract

Let $G$ be a connected semisimple group over $\mathbb{Q}$. Given a maximal compact subgroup $K\subset G(\mathbb{R})$ such that $X=G(\mathbb{R})/K$ is a Hermitian symmetric domain, and a convenient arithmetic subgroup $\Gamma \subset G(\mathbb{Q})$, one constructs a (connected) Shimura variety $S=S(\Gamma )=\Gamma \backslash X$. If $H\subset G$ is a connected semisimple subgroup such that $H(\mathbb{R})\cap K$ is maximal compact, then $Y=H(\mathbb{R})/K$ is a Hermitian symmetric subdomain of $X$. For each $g\in G(\mathbb{Q})$ one can construct a connected Shimura variety $S(H,g)=(H(\mathbb{Q})\cap g^{-1}\Gamma g)\backslash Y$ and a natural holomorphic map $j_g:S(H,g)\to S$ induced by the map $H(\mathbb{A})\to G(\mathbb{A}),h\mapsto gh$. Let us assume that $G$ is anisotropic, which implies that $S$ and $S(H,g)$ are compact. Then, for each positive integer $k$, the map $j_g$ induces a restriction map $$R_g:H^k(S,\mathbb{C})\to H^k(S(H,g),\mathbb{C}).$$ In this paper we focus on classical Hermitian domains and give explicit criterions for the injectivity of the product of the maps $R_g$ (for $g$ running through $G(\mathbb{Q})$) when restricted to the strongly primitive (in the sense of Vogan and Zuckerman) part of the cohomology. In the holomorphic case we recover previous results of Clozel and Venkataramana. We also derive applications of our results to the proofs of new cases of the Hodge conjecture and of new results on the vanishing of the cohomology of some particular Shimura variety.