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 >