On a theorem of Grothendieck
Zapiski Nauchnykh Seminarov POMI, Problems in the theory of representations of algebras and groups. Part 7, Tome 272 (2000), pp. 286-293
Citer cet article
Voir la notice du chapitre de livre provenant de la source Math-Net.Ru
It is considered a smooth projective morphism $p\colon T\to S$ to a smooth variety $S$. It is proved, in particular, the following result. The total direct image $Rp_*(\mathbb Z/n\mathbb Z)$ of the constant étale sheaf $\mathbb Z/n\mathbb Z$ is locally for Zariski topology quasi-isomorphic to a bounded complex $\mathscr L$ on $S$ consisting of locally constant constructible étale $\mathbb Z/n\mathbb Z$-module sheaves.