On a Theorem of Grothendieck

A smooth projective morphism p : T S to a smooth variety S is considered. In particular, the following result is proved. The total direct image Rp_*(/n) of the constant étale sheaf /n is locally (in Zariski topology) quasiisomorphic to a bounded complex on S that consists of locally constant, constructible étale sheaves of /n-modules. Bibliography: 2 titles.