Homotopical algebraic geometry. I: Topos theory

DOI10.1016/J.AIM.2004.05.004zbMATH Open1120.14012arXivmath/0207028OpenAlexW2108797281MaRDI QIDQ555892FDOQ555892

Authors: Bertrand Toën, Gabriele Vezzosi 

Publication date: 10 June 2005

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of infty-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model category of stacks over T, generalizing the model category structure on simplicial presheaves over a Grothendieck site of A. Joyal and R. Jardine. We also prove some analogs of the relations between topologies and localizing subcategories of the categories of presheaves, by proving that there exists a one-to-one correspondence between S-topologies on an S-category T, and certain left exact Bousfield localizations of the model category of pre-stacks on T. Based on the above results, we study the notion of model topos introduced by C. Rezk, and we relate it to our model categories of stacks over S-sites. In the second part of the paper, we present a parallel theory where S-categories, S-topologies and S-sites are replaced by model categories, model topologies and model sites. We prove that a canonical way to pass from the theory of stacks over model sites to the theory of stacks over S-sites is provided by the simplicial localization construction of Dwyer and Kan. We also prove a Giraud's style theorem characterizing model topoi internally. As an example of application, we propose a definition of etale K-theory of ring spectra, extending the etale K-theory of commutative rings.

Full work available at URL: https://arxiv.org/abs/math/0207028

Recommendations

• Homotopical algebraic geometry. II. Geometric stacks and applications
• Affine stacks
• A homotopy theory for stacks
• Higher Topos Theory (AM-170)
• Local homotopy theory

zbMATH Keywords

stacksmodel categoriestopoihigher categoriessimplicial categoriesétale \(K\)-theory

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Topological categories, foundations of homotopy theory (55U40) Generalizations (algebraic spaces, stacks) (14A20) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Symmetric spectra
• Title not available (Why is that?)
• Simplicial presheaves
• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal homotopy theories
• Title not available (Why is that?)
• On 𝑃𝐿 de Rham theory and rational homotopy type
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simplicial homotopy theory
• Robinson-Whitehouse complex and stable homotopy
• Title not available (Why is that?)
• Stable homotopy of algebraic theories
• Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
• Homological algebra of homotopy algebras
• Simplicial localizations of categories
• A model for the homotopy theory of homotopy theory
• Title not available (Why is that?)
• Sheafifiable homotopy model categories
• Derived Quot schemes
• Combinatorial model categories have presentations
• Local projective model structures on simplicial presheaves
• Operads, algebras and modules in model categories and motives
• Title not available (Why is that?)
• Homotopy commutative diagrams and their realizations
• Théories homotopiques dans les topos. (Homotopy theories in topoi)
• Pairings of categories and spectra
• A remark on \(K\)-theory and \(S\)-categories
• Hypercovers and simplicial presheaves
• Derived Hilbert schemes
• Two-dimensional sheaf theory
• André-Quillen cohomology of commutative \(S\)-algebras
• HKR theorem for smooth \(S\)-algebras.
• \(\Gamma\)-homology, topological André-Quillen homology and stabilization
• André--Quillen spectral sequence for \(THH\).
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stacks and the homotopy theory of simplicial sheaves

Cited In (only showing first 100 items - show all)

• A note on the \((\infty,n)\)-category of cobordisms
• Homotopy theory of simplicial sheaves in completely decomposable topologies
• Dagger geometry as Banach algebraic geometry
• Monoidal infinity category of complexes from Tannakian viewpoint
• Algebraic and topological aspects of the schematization functor
• When is the self-intersection of a subvariety a fibration?
• On Noetherian schemes over (\mathcal{C},\otimes,1)$ and the category of quasi-coherent sheaves
• Cluster varieties from Legendrian knots
• Poisson bivectors and Poisson brackets on affine derived stacks
• Towards an axiomatization of the theory of higher categories
• A model category structure on the category of simplicial categories
• On the algebraic \(K\)-theory of higher categories
• Topological \(K\)-theory of complex noncommutative spaces
• \(\mathbb{A}^1\)-homotopy theory of schemes
• Linear \(\mathbb{Z}_2^n\)-manifolds and linear actions
• Au-dessous de Specℤ
• Bredon-style homology, cohomology and Riemann-Roch for algebraic stacks
• Derived Galois deformation rings
• Moduli of objects in dg-categories
• Derived smooth manifolds
• Derived Azumaya algebras and generators for twisted derived categories
• Higher \(K\)-theory via universal invariants
• Schemes on symmetric monoidal abelian categories and quasi-coherent sheaves
• Affine stacks
• Derived non-Archimedean analytic spaces
• The homotopy theory of dg-categories and derived Morita theory
• Derived coisotropic structures. II: Stacks and quantization
• A sheaf-theoretic view of loop spaces
• Oka manifolds: from Oka to Stein and back
• Stacks and sheaves of categories as fibrant objects. I.
• Derived logarithmic geometry. I.
• Abelian duality for generalized Maxwell theories
• Non-Archimedean analytic geometry as relative algebraic geometry
• Deformations of sheaves of algebras
• Crossed simplicial group categorical nerves
• Representability theorem in derived analytic geometry
• Théories homotopiques dans les topos. (Homotopy theories in topoi)
• Descent theory and mapping spaces
• Vanishing theorems for representation homology and the derived cotangent complex
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Moduli stacks of algebraic structures and deformation theory
• Higher analytic stacks and GAGA theorems
• Completions of monoid objects and descent results
• Base independent algebraic cobordism
• Differential graded versus simplicial categories
• Principal \(\infty \)-bundles: general theory
• Title not available (Why is that?)
• A characterization of simplicial localization functors and a discussion of DK equivalences
• On graded \(\mathbb{E}_\infty\)-rings and projective schemes in spectral algebraic geometry
• On homotopy varieties
• Homotopical intersection theory. I
• Algebraic extensions of an Eilenberg-Mac Lane spectrum in the category of ring spectra
• On autoequivalences of the \((\infty,1)\)-category of \(\infty\)-operads
• A homotopy theory for stacks
• Algebraization of complex analytic varieties and derived categories.
• Minimal fibrations and the organizing theorem of simplicial homotopy theory
• Point systems in saturated dg-categories
• Title not available (Why is that?)
• \(K\)-theory and the bridge from motives to noncommutative motives
• Derived algebraic geometry
• Brave new algebraic geometry and global derived moduli spaces of ring spectra
• Chern character, loop spaces and derived algebraic geometry
• Faithfully flat descent for \(n\)-Artin stacks
• The tangent complex and Hochschild cohomology of \(\mathcal E_n\)-rings
• A Survey of (∞, 1)-Categories
• Integral transforms and Drinfeld centers in derived algebraic geometry
• Chern characters, equivariant traces and derived algebraic geometry
• The pro-étale topology for algebraic stacks
• The stack of Yang-Mills fields on Lorentzian manifolds
• The fundamental pro-groupoid of an affine 2-scheme
• Presenting higher stacks as simplicial schemes
• Stein domains in Banach algebraic geometry
• \(S^1\)-equivariant simplicial algebras, de Rham theory and multiplicative HKR theorems.
• 2-Segal objects and the Waldhausen construction
• Analytic geometry over \(\mathbb{F}_1\) and the Fargues-Fontaine curve
• Model topoi and motivic homotopy theory
• Non-commutative derived moduli prestacks
• Permutation 2-groups. I: Structure and splitness
• A DERIVED LAGRANGIAN FIBRATION ON THE DERIVED CRITICAL LOCUS
• On the ∞$\infty$‐topos semantics of homotopy type theory
• Topological quantum gates in homotopy type theory
• Chern classes in precobordism theories
• D‐critical loci for length n sheaves on local toric Calabi‐Yau 3‐folds
• Introduction -- from type theory and homotopy theory to univalent foundations
• Shifted symplectic structures on derived quot-stacks. I: Differential graded manifolds
• Categories of modules, comodules and contramodules over representations
• Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies
• Vinogradov’s cohomological geometry of partial differential equations
• Transfinite limits in topos theory
• The effective model structure and \(\infty\)-groupoid objects
• Orientations for DT invariants on quasi-projective Calabi-Yau 4-folds
• Local forms of morphisms of colored supermanifolds
• Representation homology of simply connected spaces
• The global derived period map
• The Schwarz-Voronov embedding of \(\mathbb{Z}_2^n\)-manifolds
• A new approach to model categorical homotopy fiber sequences
• Homotopical algebraic context over differential operators
• Motivic and \(\ell\)-adic realizations of the category of singularities of the zero locus of a global section of a vector bundle
• An introduction to derived (algebraic) geometry
• Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects: an introduction

This page was built for publication: Homotopical algebraic geometry. I: Topos theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q555892)