Tentative d'\'epuisement de la cohomologie d'une vari\'et\'e de Shimura par restriction \`a ses sous-vari\'et\'es

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})\mathrm{/}K$ is a Hermitian symmetric domain, and a convenient arithmetic subgroup $\Gamma\subset G({\Bbb Q})$,oneconstructsa(connected)Shimuravariety$S=S(\Gamma)=\Gamma\backslash X$\mathrm{.}If$H\subset G$ is a connected semisimple subgroup such that $H(\mathbb{R})\cap K$ is maximal compact, then $Y=H({\Bbb R})/K$isaHermitiansymmetricsubdomainof$X$\mathrm{.}Foreach$g\in G({\Bbb Q})$onecanconstructaconnectedShimuravariety$S(H,g)=(H({\Bbb Q})\cap g^{-1}\Gamma g)\backslash Y$andanaturalholomorphicmap$j_g \colon S(H,g)\to S$inducedbythemap$H({\Bbb A})\to G({\Bbb 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\text{\hspace{0.17em}⁣}:H^k(S,\mathbb{C})\to H^k(S(H,g),\mathbb{C})\mathrm{.}$$ 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.