Catégorie homotopique stable d'un site suspendu avec intervalle
Bulletin de la Société Mathématique de France, Tome 135 (2007) no. 4, p. 495-547
Cet article présente la construction de la catégorie homotopique stable d'un site suspendu avec intervalle arbitraire. La fonctorialité de cette construction est étudiée, avec des applications à la théorie homotopique des schémas introduite par F. Morel et V. Voevodsky.
This article describes the construction of the stable homotopy category of an arbitrary hanging site with interval. The functoriality of this construction is studied and has applications to the 𝐀 1 -homotopy theory introduced by F. Morel and V. Voevodsky.
DOI : https://doi.org/10.24033/bsmf.2544
Classification:  14F20,  14F42,  18F10,  18G30,  18G55,  55P42
Mots clés: théorie homotopique des schémas, faisceaux simpliciaux, spectres, catégorie triangulée
@article{BSMF_2007__135_4_495_0,
     author = {Riou, Jo\"el},
     title = {Cat\'egorie homotopique stable d'un site suspendu avec intervalle},
     journal = {Bulletin de la Soci\'et\'e Math\'ematique de France},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {135},
     number = {4},
     year = {2007},
     pages = {495-547},
     doi = {10.24033/bsmf.2544},
     zbl = {1191.14021},
     mrnumber = {2439197},
     language = {fr},
     url = {http://www.numdam.org/item/BSMF_2007__135_4_495_0}
}
Riou, Joël. Catégorie homotopique stable d'un site suspendu avec intervalle. Bulletin de la Société Mathématique de France, Tome 135 (2007) no. 4, pp. 495-547. doi : 10.24033/bsmf.2544. http://www.numdam.org/item/BSMF_2007__135_4_495_0/

[1] Revêtements étales et groupe fondamental - Springer, 1971, Séminaire de Géométrie Algébrique du Bois Marie 1960-1961 (SGA 1), Dirigé par Alexandre Grothendieck. Augmenté de deux exposés de M. Raynaud, Lecture Notes in Mathematics, Vol. 224. | Zbl 0234.14002

[2] Théorie des topos et cohomologie étale des schémas. Tome 1 : Théorie des topos - Springer, 1972, Séminaire de Géométrie Algébrique du Bois-Marie 1963-1964 (SGA 4), Dirigé par M. Artin, A. Grothendieck, et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat, Lecture Notes in Mathematics, Vol. 269. | Zbl 0234.00007

[3] Y. André, B. Kahn & P. O'Sullivan - « Nilpotence, radicaux et structures monoïdales », Rend. Sem. Mat. Univ. Padova 108 (2002), p. 107-291. | Numdam | MR 1956434 | Zbl 1165.18300

[4] J. Ayoub - « Les six opérations de Grothendieck et le formalisme des cycles évanescents dans le monde motivique », Thèse, Université Denis Diderot, Paris 7, 2006, http://www.institut.math.jussieu.fr/theses/2006/ayoub/these_ayoub.pdf. | MR 2423375 | Zbl 1146.14001

[5] A. K. Bousfield & D. M. Kan - Homotopy limits, completions and localizations, Springer, 1972, Lecture Notes in Mathematics, Vol. 304. | MR 365573 | Zbl 0259.55004

[6] K. S. Brown - « Abstract homotopy theory and generalized sheaf cohomology », Trans. Amer. Math. Soc. 186 (1974), p. 419-458. | MR 341469 | Zbl 0245.55007

[7] K. S. Brown & S. M. Gersten - « Algebraic K-theory as generalized sheaf cohomology », in Algebraic K-theory, I : Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Springer, 1973, p. 266-292. Lecture Notes in Math., Vol. 341. | MR 347943 | Zbl 0291.18017

[8] J. D. Christensen - « Ideals in triangulated categories : phantoms, ghosts and skeleta », Adv. Math. 136 (1998), p. 284-339. | MR 1626856 | Zbl 0928.55010

[9] D.-C. Cisinski - « Images directes cohomologiques dans les catégories de modèles », Ann. Math. Blaise Pascal 10 (2003), p. 195-244. | Numdam | MR 2031269 | Zbl 1054.18005

[10] D. Dugger, S. Hollander & D. C. Isaksen - « Hypercovers and simplicial presheaves », Math. Proc. Cambridge Philos. Soc. 136 (2004), p. 9-51. | MR 2034012 | Zbl 1045.55007

[11] D. Dugger & D. C. Isaksen - « Topological hypercovers and 𝔸 1 -realizations », Math. Z. 246 (2004), p. 667-689. | MR 2045835 | Zbl 1055.55016

[12] P. Gabriel & M. Zisman - Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer, 1967. | MR 210125 | Zbl 0186.56802

[13] P. G. Goerss & J. F. Jardine - Simplicial homotopy theory, Progress in Mathematics, vol. 174, Birkhäuser Verlag, 1999. | MR 1711612 | Zbl 0949.55001

[14] A. Grothendieck & J. Dieudonné - « Éléments de géométrie algébrique : IV. Étude locale des schémas et des morphismes de schémas (quatrième partie) », Publications mathématiques de l'IHES, vol. 4, 1960. | Numdam | MR 163908 | Zbl 0135.39701

[15] P. S. Hirschhorn - Model categories and their localizations, Mathematical Surveys and Monographs, vol. 99, American Mathematical Society, 2003. | MR 1944041 | Zbl 1017.55001

[16] M. Hovey - « Spectra and symmetric spectra in general model categories », J. Pure Appl. Algebra 165 (2001), p. 63-127. | MR 1860878 | Zbl 1008.55006

[17] P. Hu - « S-modules in the category of schemes », Mem. Amer. Math. Soc. 161 (2003), p. 125. | MR 1950209 | Zbl 1024.55006

[18] L. Illusie - Complexe cotangent et déformations. I, Springer, 1971, Lecture Notes in Mathematics, Vol. 239. | MR 491680 | Zbl 0224.13014

[19] J. F. Jardine - « Simplicial presheaves », J. Pure Appl. Algebra 47 (1987), p. 35-87. | MR 906403 | Zbl 0624.18007

[20] -, « Motivic symmetric spectra », Doc. Math. 5 (2000), p. 445-553. | MR 1787949 | Zbl 0969.19004

[21] K. Kato & S. Saito - « Global class field theory of arithmetic schemes » 1983), Contemp. Math., vol. 55, Amer. Math. Soc., 1986, p. 255-331. | MR 862639 | Zbl 0614.14001

[22] G. Maltsiniotis - « Structure triangulée sur les catégories des coefficients d'un dérivateur triangulé », en préparation.

[23] -, « La K-théorie d’un dérivateur triangulé », Contemp. Math. 431 (2007), p. 341-368, (suivi d'un appendice par B. Keller).

[24] F. Morel & V. Voevodsky - « 𝐀 1 -homotopy theory of schemes », Publ. Math. I.H.E.S. (1999), p. 45-143 (2001). | Numdam | MR 1813224 | Zbl 0983.14007

[25] D. G. Quillen - Homotopical algebra, Lecture Notes in Mathematics, No. 43, Springer, 1967. | MR 223432 | Zbl 0168.20903

[26] J. Riou - « Opérations sur la K-théorie algébrique et régulateurs via la théorie homotopique des schémas », Thèse, Université Paris 7 - Denis Diderot, 2006, http://www.institut.math.jussieu.fr/theses/2006/riou/these-riou.pdf. | Zbl 1113.19003

[27] J-P. Serre - « Géométrie algébrique et géométrie analytique », Ann. Inst. Fourier, Grenoble 6 (1955-1956), p. 1-42. | Numdam | MR 82175 | Zbl 0075.30401

[28] R. W. Thomason - « Algebraic K-theory and étale cohomology », Ann. Sci. École Norm. Sup. (4) 18 (1985), p. 437-552. | Numdam | MR 826102 | Zbl 0596.14012

[29] J.-L. Verdier - « Des catégories dérivées des catégories abéliennes », Astérisque (1996), p. 253 pp. (1997). | MR 1453167 | Zbl 0882.18010

[30] V. Voevodsky - « 𝐀 1 -homotopy theory », in Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998), 1998, p. 579-604. | MR 1648048 | Zbl 0907.19002