Le formalisme des quatres opérations , by Joseph Ayoub
In this paper we give a proof of a result first annouced by
V. Voevodsky. This result applied to the 2-functor SH wich associate
to a noetherian scheme X the stable homotopy category of X-schemes
SH(X) gives, the full grothendieck formalism of the 4 operations
(f^*,f_*,f_!,f^!) for any quasi-projectif morphisme f between
noetherian schemes. As a consequence one have for SH a base change
theorem for projective morphisms as in the étale case.
Joseph Ayoub <ayoub@math.jussieu.fr >