Homotopical algebraic geometry I: Topos theory

Advances in Mathematics

Volumn 193, Issue 2, 2005, Pages 257-372

  Toën, Bertrand ^a   Vezzosi, Gabriele ^b  

^a INSTITUT DE MATHÉMATIQUES DE TOULOUSE   (France)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

tale K theory; Higher categories; Model categories; Sheaves; Simplicial categories; Stacks; Topoi

Indexed keywords

EID: 16244419036     PISSN: 00018708     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.aim.2004.05.004     Document Type: Article

References (72)

1. M. Artin A. Grothendieck Revêtements étales et groupe fondamental, Lecture Notes in Mathematics, Vol. 224 1971 Springer Berlin
2. M. Artin A. Grothendieck J.L. Verdier Théorie des topos et cohomologie étale des schémas- Tome 1, Lecture Notes in Mathematics, Vol. 269 1972 Springer Berlin
3. M. Artin A. Grothendieck J.L. Verdier Théorie des topos et cohomologie étale des schémas- Tome 2, Lecture Notes in Mathematics, Vol. 270 1972 Springer Berlin
4. M. Basterra R. McCarthy Gamma homology topological Andre-Quillen homology and stabilization Topology Appl. 121 3 2002 551-566
5. M. Basterra André-Quillen cohomology of commutative S-algebras J. Pure Appl. Algebra. 144 1999 111-143
6. K. Behrend Differential graded schemes I, II. Available from: Math. AG/ 0212225, math. AG/0212226
7. T. Beke Shefifiable homotopy model categories I Math. Proc. Cambridge Philos. Soc. 129 2000 447-475
8. B. Blander Local projective model structure on simplicial presheaves K-Theory 24 3 2001 283-301
9. D. Bourn Sur les ditopos C. R. Acad. Sci. Ser. A 279 1974 911-913
10. A.K. Bousfield V.K.A.M. Gugenheim On PL DeRham theory and rational homotopy type Mem. Amer. Math. Soc. 179 1976 1-3
11. I. Ciocan-Fontanine M. Kapranov Derived Quot schemes Derived Quot schemes, Ann. Sci. Ecole Norm. Sup. 34 2001 403-440
12. I. Ciocan-Fontanine M. Kapranov Derived Hilbert schemes J. Amer. Math. Soc. 15 2002 787-815
13. D.-C. Cisinski Théories homotopiques dans les topos JPAA 174 2002 43-82
14. P. Deligne Le groupe fondamental de la droite projective moins trois points, in Galois groups over ℚ, Math. Sci. Res. Inst. Publ., Vol. 16, Springer, New York, 1989
15. P. Deligne Catégories Tannakiennes, in: Grothendieck Festschrift, Vol. II, Progress in Mathematics, Vol. 87, Birkhauser, Boston, 1990
16. D. Dugger Universal homotopy theories Adv. in Math. 164 2001 144-176
17. D. Dugger Combinatorial model categories have presentations Adv. in Math. 164 2001 177-201
18. D. Dugger S. Hollander D. Isaksen Hypercovers and simplicial presheaves Math. Proc. Cambridge Philos. Sco. 136 2004 9-51
19. W. Dwyer D. Kan Simplicial localization of categories J. Pure Appl. Algebra 17 1980 267-284
20. W. Dwyer D. Kan Equivalences between homotopy theories of diagrams, in: Algebraic Topology and Algebraic K-Theory, Annals of Mathematics Studies, Vol. 113, Princeton University Press, Princeton, NJ, 1987, pp. 180-205
21. W. Dwyer D. Kan Homotopy commutative diagrams and their realizations J. Pure Appl. Algebra 57 1 1989 5-24
22. W. Dwyer P. Hirschhorn D. Kan Model Categories and More General Abstract Homotopy Theory, book in preparation, available at http://www-math.mit.edu/~psh
23. A.D. Elmendorf I. Kriz M.A. Mandell J.P. May Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs, Vol. 47 1997 American Mathematical Society Providence, RI
24. P. Goerss J.F. Jardine Simplicial homotopy theory, Progress in Mathematics, Vol. 174 1999 Birkhauser Basel
25. A. Grothendieck J. Dieudonné Eléments de Géométrie Algébrique I 1971 Springer New York
26. M. Hakim Topos annelés et schémas relatifs, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 64 1972 Springer Berlin, New York
27. V. Hinich Homological algebra of homotopical algebras Comm. Algebra 25 1997 3291-3323
28. P. Hirschhorn Model categories and their localizations, Mathematical Surveys and Monographs, Series 99 2003 Amer. Mach. Soc. Providence, RI
29. A. Hirschowitz C. Simpson Descente pour les n-champs, preprint available at math.AG/9807049
30. S. Hollander A Homotopy Theory for Stacks, preprint available at math.AT/ 0110247
31. M. Hovey Model categories, Mathematical Surveys and Monographs, Vol. 63 1998 Amer. Math. Soc. Providence, RI
32. M. Hovey B.E. Shipley J. Smith Symmetric spectra J. Amer. Math. Soc. 13 1 2000 149-208
33. L. Illusie Complexe cotangent et déformations I, Lecture Notes in Mathematics, Vol. 239 1971 Springer Berlin
34. J.F. Jardine Simplicial presheaves J. Pure Appl. Algebra 47 1987 35-87
35. J.F. Jardine Stacks and the homotopy theory of simplicial sheaves, in: Equivariant Stable Homotopy Theory and Related Areas, Stanford, CA, 2000
36. J.F. Jardine Homology Homotopy Applications, Vol. 3(2) (2001) 361-384
37. A. Joyal Letter to Grothendieck
38. A. Joyal, unpublished manuscript
39. G. Kelly Basic Concepts of Enriched Category Theory, London Mathematical Society, Lecture Note Series, Vol. 64 1982 Cambridge University Press Cambridge, New York
40. M. Kontsevich Enumeration of rational curves via torus action in: R. Dijkgraaf C. Faber G. van der Geer (Eds.) Moduli Space of Curves 1995 Birkhauser Boston 335-368
41. G. Laumon L. Moret-Bailly Champs algébriques, A Series of Modern Surveys in Mathematics, Vol. 39 2000 Springer Berlin
42. J. Lurie On ∞-topoi, Preprint math.CT/0306109
43. M. Lydakis Simplicial functors and stable homotopy theory, preprint 98-049, Bielefeld, available at http://www.mathematik.uni-bielefeld.de/ sfb343/preprints/index98.html
44. S. Mac Lane Categories for the Working Mathematician 2nd Ed. 1998 Springer Berlin
45. S. Mac Lane I. Moerdijk Sheaves in Geometry and Logic 1992 Springer New York
46. Y. Manin Letter, Spring 2000
47. J.P. May Pairings of categories and spectra J. Pure Appl. Algebra 19 1980 299-346
48. ∞-categories and n-categories, Morelia, Mexico, talk given May 25, 2001 written version available at http://math.uchicago.edu/~may/NCATS/PostMexico.pdf
49. V. Minasian André-Quillen spectral sequence for THH Topology Appl. 129 2003 273-280
50. R. Mc Carthy V. Minasian HKR Theorem for smooth S-algebras JPAA 185 2003 239-258
51. R. Pellisier Catégories enrichies faibles, Thèse, Université de Nice-Sophia Antipolis, June 2002, available at http://math.unice.fr/~lemaire
52. T. Pirashvili B. Richter Robinson-Whitehouse complex and stable homotopy Topology 39 2000 525-530
53. C. Rezk The Notion of a Homotopy Topos, February 2001, unpublished
54. J. Rognes Algebraic K-theory of finitely presented spectra, preprint, September 2000, available at http://www.math.uio.no/~rognes/lectures.html
55. H. Schubert Categories 1970 Springer Berlin
56. S. Schwede Stable homotopy of algebraic theories Topology 40 2001 1-41
57. C. Simpson Homotopy over the complex numbers and generalized cohomology theory in: M. Maruyama (Ed.) Moduli of Vector Bundles Taniguchi Symposium December 1996 Dekker Publication New York 229-263
58. C. Simpson A Giraud-type characterisation of the simplicial categories associated to closed model categories as ∞-pretopoi, preprint math.AT/9903167
59. J. Smith Combinatorial model categories, unpublished.
60. R. Street Two-dimensional sheaf theory J. Pur Appl. Algebra 23 1982 251-270
61. M. Spitzweck Operads, algebras and modules in model categories and motives, Ph.D. Thesis, Mathematisches Institüt, Friedrich-, Wilhelms- Universtät Bonn, 2001, available at: http://www.uni-math.gwdg.de/spitz/
62. B. Toën Dualité de Tannaka supérieure I: Structures monödales, preprint MPI für Mathematik (57), Bonn, 2000, available at http://www.mpim-bonn.mpg.de
63. B. Toën Schématisation des types d'homotopie, preprint available at math.AG/0012219, 2000
64. B. Toën Homotopical and higher categorical structures in algebraic geometry, Thèse d'habilitation, Université de Nice, 2003, available at math.AG/0312262
65. B. Toën Vers une interprétation Galoisienne de la théorie de l'homotopie Cahiers de top. et geom. diff. cat. 43 2002 257-312
66. B. Toën G. Vezzosi Segal topoi and stacks over Segal sites, Proceedings of the program Stacks, Intersection theory and Non-abelian Hodge Theory, MSRI Berkeley, January-May 2002, to appear
67. B. Toën G. Vezzosi A Remark on K-theory and S-categories Topology 43 2004 765-791
68. B. Toën G. Vezzosi Brave New" Algebraic Geometry and Global Derived Moduli Spaces of Ring Spectra, Preprint math.AT/0309145, September 2003
69. B. Toën G. Vezzosi From HAG to DAG: Derived moduli spaces, in: J.P.C. Greenless (Ed.), Axiomatic, enriched and motivic homotopy theory, Proceedings of a NATO-ASI Conference at the Isaac Newton Institute of Mathematical Sciences, Klüwer, 2004
70. B. Toën G. Vezzosi Algebraic geometry over model categories. A general approach to derived algebraic geometry, preprint math.AG/0110109
71. B. Toën G. Vezzosi Homotopy Algebraic Geometry II: Derived Geometric Stacks, preprint available at math.AG/0404373
72. F. Waldhausen Algebraic theory of spaces in: A. Ranicki N. Levitt F. Quinn (Eds.) Algebraic and Geometric Topology, Lecture Notes in Mathematics, Vol. 1126 1985 Springer Berlin 318-419