On the homotopy theory of n-types

DOI10.4310/HHA.2008.V10.N1.A13MaRDI QIDQ2481428zbMATH OpenFDO

Authors Georg Biedermann

Publication date 9 April 2008

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0604514, http://intlpress.com/hha/v10/n1/

zbMATH Keywords

Postnikov sectionsimplicial groupoidsimplicial presheafsimplicial sheafstack

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Classification of homotopy type (55P15) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: An n-truncated model structure on simplicial (pre-)sheaves is described having as weak equivalences maps that induce isomorphisms on certain homotopy sheaves only up to degree n. Starting from one of Jardine's intermediate model structures we construct such an n-type model structure via Bousfield-Friedlander localization and exhibit useful generating sets of trivial cofibrations. Injectively fibrant objects in these categories are called n-hyperstacks. The whole setup can consequently be viewed as a description of the homotopy theory of higher hyperstacks. More importantly, we construct analogous n-truncations on simplicial groupoids and prove a Quillen equivalence between these settings. We achieve a classification of n-types of simplicial presheaves in terms of (n-1)-types of presheaves of simplicial groupoids. Our classification holds for general n. Therefore this can also be viewed as the homotopy theory of (pre-)sheaves of (weak) higher groupoids.

Review text

The author considers homotopy \(n\)-types of presheaves of simplicial sets on a small Grothendieck site. He shows that they can be classified by \((n-1)\)-types of presheaves of simplicial groupoids on the same site, in the sense that there are Quillen equivalences between the appropriate model categories. There are similar results for sheaves of simplicial sets and sheaves of simplicial groupoids. By considering fibrant objects, one gets results on the homotopy theory of higher stacks. By taking the underlying site to be a point, one gets results on Postnikov sections of spaces in the ordinary sense.

Recommendations

• A homotopy theory for stacks
• On cat^ n-groups and homotopy types
• Derived functors and the homology of \(n\)-types
• Homotopy types of topological stacks
• Segal-type algebraic models of \(n\)-types

Cited in

(16)

• Strict n-categories and augmented directed complexes model homotopy types
• An integral model structure and truncation theory for coherent group actions
• On Davis-Januszkiewicz homotopy types I: formality and rationalisation
• Higher Čech theory
• Homotopy of planar Lie group equivariant presheaves
• Homology groups of types in stable theories and the Hurewicz correspondence
• Mathematical models of abstract systems: knowing abstract geometric forms
• Fibred sites and stack cohomology
• Modeling stable one-types
• Model structures for pro-simplicial presheaves
• scientific article; zbMATH DE number 7293365 (Why is no real title available?)
• scientific article; zbMATH DE number 7323983 (Why is no real title available?)
• An extension of Quillen's theorem B
• Truncated resolution model structures
• The injective hull of homotopy types with respect to generalized homology functors
• A homotopy theory for stacks

This page was built for publication: On the homotopy theory of \(n\)-types

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