In this paper we develop a theory of Grothendieck's six operations of lisse-étale constructible sheaves on Artin stacks locally of finite type over certain excellent schemes of finite Krull dimension. We also give generalizations of the classical base change theorems and Kunneth formula to stacks, and prove new results about cohomological descent for unbounded complexes.
@article{PMIHES_2008__107__109_0, author = {Laszlo, Yves and Olsson, Martin}, title = {The six operations for sheaves on {Artin} stacks {I:} {Finite} coefficients}, journal = {Publications Math\'ematiques de l'IH\'ES}, pages = {109--168}, publisher = {Institut des Hautes \'Etudes Scientifiques}, volume = {107}, year = {2008}, doi = {10.1007/s10240-008-0011-6}, mrnumber = {2434692}, zbl = {1191.14002}, language = {en}, url = {http://archive.numdam.org/articles/10.1007/s10240-008-0011-6/} }
TY - JOUR AU - Laszlo, Yves AU - Olsson, Martin TI - The six operations for sheaves on Artin stacks I: Finite coefficients JO - Publications Mathématiques de l'IHÉS PY - 2008 SP - 109 EP - 168 VL - 107 PB - Institut des Hautes Études Scientifiques UR - http://archive.numdam.org/articles/10.1007/s10240-008-0011-6/ DO - 10.1007/s10240-008-0011-6 LA - en ID - PMIHES_2008__107__109_0 ER -
%0 Journal Article %A Laszlo, Yves %A Olsson, Martin %T The six operations for sheaves on Artin stacks I: Finite coefficients %J Publications Mathématiques de l'IHÉS %D 2008 %P 109-168 %V 107 %I Institut des Hautes Études Scientifiques %U http://archive.numdam.org/articles/10.1007/s10240-008-0011-6/ %R 10.1007/s10240-008-0011-6 %G en %F PMIHES_2008__107__109_0
Laszlo, Yves; Olsson, Martin. The six operations for sheaves on Artin stacks I: Finite coefficients. Publications Mathématiques de l'IHÉS, Tome 107 (2008), pp. 109-168. doi : 10.1007/s10240-008-0011-6. http://archive.numdam.org/articles/10.1007/s10240-008-0011-6/
[1] Derived l-Adic Categories for Algebraic Stacks, Mem. Amer. Math. Soc., vol. 163, no. 774, Amer. Math. Soc., Providence, RI, 2003. | MR | Zbl
,[2] Faisceaux pervers. Analysis and Topology on Singular Spaces, I (Luminy, 1981). Soc. Math. France, Paris | MR | Zbl
, , (1982)[3] Homotopy limits in triangulated categories. Compos. Math. 86: pp. 209-234 | Numdam | MR | Zbl
, (1993)[4] Cohomologie étale | MR | Zbl
(1977)[5] Éléments de géométrie algébrique, Publ. Math., Inst. Hautes Étud. Sci., 4, 8, 11, 17, 20, 24, 28, 32 (1961-1967). | Numdam | Zbl
and ,[6] Étale cohomology and the Weil conjecture. Springer, Berlin | MR
, (1988)[7] On the geometric Langland's conjecture. J. Amer. Math. Soc. 15: pp. 367-417 | MR | Zbl
, , (2002)[8] A proof of the absolute purity conjecture (after Gabber), in S. Usui, M. Green, L. Illusie, K. Kato, E. Looijenga, S. Mukai, S. Saito (eds.), Algebraic Geometry 2000, Azumino, Adv. Stud. Pure Math., vol. 36, pp. 153-183, Math. Soc. Japan, Tokyo, 2002. | MR | Zbl
,[9] A finiteness theorem for non abelian H1 of excellent schemes, in Conférence en l'honneur de L. Illusie, Orsay (2005), http://www.math.polytechnique.fr/~laszlo/gdtgabber/non-abelien.pdf.
,[10] Finiteness theorems for étale cohomology of excellent schemes, in Conference in Honor of P. Deligne on the Occasion of his 61st Birthday, IAS, Princeton (2005), http://www.math.polytechnique.fr/~laszlo/gdtgabber/abelien.pdf.
,[11] Catégories dérivées et foncteurs dérivés, in A. Borel (ed.), Algebraic D-Modules, Perspect. Math., vol. 2, Academic Press, Boston, MA, 1987.
,[12] Revétements étales et groupe fondamental. Séminaire de Géométrie Algébrique du Bois-Marie (SGA 1). Société Mathématique de France, Paris | MR | Zbl
(2003)[13] Revétements étales et groupe fondamental. Séminaire de Géométrie Algébrique du Bois-Marie (SGA 1). Société Mathématique de France, Paris | Zbl
, , (1972)[14] Cohomologie l-adique et fonctions L, in L. Illusie (ed.), Séminaire de Géometrie Algébrique du Bois-Marie (SGA 5), Lect. Notes Math., vol. 589, Springer, Berlin, 1977. | MR | Zbl
,[15] Théorème de finitude en cohomologie étale, d'après Gabber, in preparation, École Polytechnique (2007), http://www.math.polytechnique.fr/~laszlo/gdtgabber/gdtgabber.html.
, , and ,[16] Categories and Sheaves. Springer, Berlin | MR | Zbl
, (2006)[17] The six operations for sheaves on Artin stacks II: Adic Coefficients, Publ. Math., Inst. Hautes Étud. Sci., (2008). | Numdam | MR | Zbl
and ,[18] Perverse sheaves on Artin stacks, Math. Z., to appear. | MR
and ,[19] Transformation de Fourier homogène. Bull. Soc. Math. Fr. 131: pp. 527-551 | Numdam | MR | Zbl
(2003)[20] Champs algébriques. Springer, Berlin | MR | Zbl
, (2000)[21] Le lemme fondamental pour les groupes unitaires, preprint (2004), http://arxiv.org/abs/math/0404454. | MR | Zbl
and ,[22] The Grothendieck duality theorem via Bousfield's techniques and Brown representability. J. Amer. Math. Soc. 9: pp. 205-236 | MR | Zbl
(1996)[23] Sheaves on Artin stacks. J. Reine Angew. Math. 603: pp. 55-112 | MR | Zbl
(2007)[24] Pureté (d'après Ofer Gabber), in Théorèmes de finitude en cohomogie étale d'après Ofer Gabber, in preparation, preprint (2007), http://www.math.u-psud.fr/~riou/doc/gysin.pdf.
,[25] Resolution of unbounded complexes in Grothendieck categories. J. Pure Appl. Algebra 177: pp. 103-112 | MR | Zbl
(2003)[26] Cohomologie galoisienne. Springer, Berlin | MR | Zbl
(1994)[27] Resolutions of unbounded complexes. Compos. Math. 65: pp. 121-154 | Numdam | MR | Zbl
(1988)Cité par Sources :