A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type
From MaRDI portal
Publication:2634796
Abstract: In this work we shall introduce a new model structure on the category of pro-simplicial sheaves, which is very convenient for the study of 'etale homotopy. Using this model structure we define a pro-space associated to a topos, as a result of applying a derived functor. We show that our construction lifts Artin and Mazur's 'etale homotopy type [AM] in the relevant special case. Our definition extends naturally to a relative notion, namely, a pro-object associated to a map of topoi. This relative notion lifts the relative 'etale homotopy type that was used in [HaSc] for the study of obstructions to the existence of rational points. This relative notion enables to generalize these homotopical obstructions from fields to general base schemas and general maps of topoi. Our model structure is constructed using a general theorem that we prove. Namely, we introduce a much weaker structure than a model category, which we call a "weak fibration category". Our theorem says that a weak fibration category can be "completed" into a full model category structure on its pro-category, provided it satisfies some additional technical requirements. Our model structure is obtained by applying this result to the weak fibration category of simplicial sheaves over a Grothendieck site, where the weak equivalences and the fibrations are local in the sense of Jardine [Jar].
The authors introduce a notion of weak fibration category, a category with classes of fibrations and weak equivalences satisfying suitable axioms. Subject to certain additional requirements, they obtain a model structure on the pro-category of a weak fibration category. In particular they obtain a model structure on the category of pro-simplicial sheaves on a small Grothendieck site. From this, by using derived functors, they obtain a definition for étale homotopy types. They also obtain liftings of relative étale homotopy types by constructing pro-objects associated to maps of topoi.
Recommendations
Cites work
- A model structure on the category of pro-simplicial sets
- A new model for pro-categories
- Abstract homotopy theory and generalized sheaf cohomology
- Beyond the Manin obstruction. -- Appendix A by S. Siksek: 4-descent. -- Appendix B: The Grothendieck spectral sequence and the truncation functor
- Calculating limits and colimits in pro-categories
- Cech and Steenrod homotopy theories with applications to geometric topology
- Etale homotopy
- Etale Homotopy of Simplicial Schemes. (AM-104)
- Higher spinor classes
- Higher Topos Theory (AM-170)
- Homotopical algebra
- Homotopy obstructions to rational points
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 2144706 (Why is no real title available?)
- scientific article; zbMATH DE number 2096983 (Why is no real title available?)
- scientific article; zbMATH DE number 3297895 (Why is no real title available?)
- Limits of small functors
- Model structure on projective systems of \(C^\ast\)-algebras and bivariant homology theories
- Model structures for pro-simplicial presheaves
- Model structures on ind-categories and the accessibility rank of weak equivalences
- Model structures on pro-categories
- Pro-categories in homotopy theory
- Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
- Simplicial homotopy theory
- Simplicial presheaves
- The two out of three property in ind-categories and a convenient model category of spaces
- Étale homotopy equivalence of rational points on algebraic varieties
Cited in
(17)- Local projective model structures on simplicial presheaves
- Profinite completion of operads and the Grothendieck-Teichmüller group
- Étale homotopy types and bisimplicial hypercovers
- Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects: an introduction
- An equivalence of profinite completions
- The Galois action on symplectic \(K\)-theory
- \(C^\ast\)-algebraic drawings of dendroidal sets
- Comparison of stable homotopy categories and a generalized Suslin-Voevodsky theorem
- An étale van Kampen theorem for simplicial sheaves
- Profinite homotopy theory
- Building a model category out of multiplier ideal sheaves
- The two out of three property in ind-categories and a convenient model category of spaces
- Model structures for pro-simplicial presheaves
- Stable Homotopy Theory of Simplicial Presheaves
- Étale Steenrod operations and the Artin-Tate pairing
- On weakly étale morphisms
- Simplicial model structures on pro-categories
This page was built for publication: A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2634796)
