Categories and orbispaces

DOI10.2140/AGT.2019.19.3171MaRDI QIDQ2279081zbMATH OpenOpenAlexFDO

Authors S. Schwede

Publication date 12 December 2019

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

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

zbMATH Keywords

categoryglobal homotopy theoryorbispace

Mathematics Subject Classification ID

Homotopy extension properties, cofibrations in algebraic topology (55P05) Equivariant homotopy theory in algebraic topology (55P91) Relations between equivariant and nonequivariant homotopy theory in algebraic topology (55P92)

Abstract: Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak homotopy equivalence, every space is the classifying space of a small category. More is true: the entire homotopy theory of topological spaces and continuous maps can be modeled by categories and functors. We establish a vast generalization of the equivalence of the homotopy theories of categories and spaces: small categories represent refined homotopy types of orbispaces whose underlying coarse moduli space is the traditional homotopy type hitherto considered. A global equivalence is a functor between small categories that induces weak equivalences of nerves of the categories of $G$-objects, for all finite groups $G$. We show that the global equivalences are part of a model structure on the category of small categories, which is moreover Quillen equivalent to the homotopy theory of orbispaces in the sense of Gepner and Henriques. Every cofibrant category in this global model structure is opposite to a complex of groups in the sense of Haefliger.

Review text

Up to weak homotopy equivalence, every space is the classifying space of a category. But much more is true: in view of e.g., [\textit{R. W. Thomason}, Cah. Topologie Géom. Différ. Catégoriques 21, 305--324 (1980; Zbl 0473.18012)] the entire homotopy theory of topological spaces and continuous maps can be modeled by categories and functors. The author establishes a vast generalization of the equivalence of the homotopy theories of categories and spaces: small categories represent refined homotopy types of orbispaces introduced by \textit{A. Gepner} and \textit{D. Henriques} [``Homotopy theory of orbispaces, Preprint, \url{arXiv:math/0701916}] whose underlying coarse moduli space is the traditional homotopy type hitherto considered. A global equivalence is a functor \(\Phi : \mathcal{C}\to \mathcal{D}\) between small categories with the following property: for every finite group \(G\), the functor \(G\Phi : G\mathcal{C}\to G\mathcal{D}\) induced on categories of \(G\)-objects is a weak equivalence. The author shows that the global equivalences are part of a model structure on the category of small categories, which is moreover Quillen equivalent [\textit{D. G. Quillen}, Homotopical algebra. Berlin-Heidelberg-New York: Springer-Verlag (1967; Zbl 0168.20903)] to the homotopy theory of orbispaces.

Recommendations

• A comparison of two models of orbispaces
• Classifying spaces and classifying topoi
• scientific article; zbMATH DE number 3884984
• Homotopy theory of relative simplicial presheaves
• Orbispaces, orthogonal spaces, and the universal compact Lie group

Cites work

• A comparison of two models of orbispaces
• A counterexample to a group completion conjecture of J. C. Moore
• A model structure on \(G{\mathcal C}at\)
• Classifying Spaces and Infinite Symmetric Products
• Classifying spaces and spectral sequences
• Complexe cotangent et déformations. II
• Covering theory for graphs of groups
• Equivalences of monoidal model categories
• Extensions of complexes of groups
• Global homotopy theory
• Homotopical algebra
• Homotopy colimits in the category of small categories
• Homotopy inverses for nerve
• Homotopy theory for algebras over polynomial monads
• Homotopy theory of posets
• scientific article; zbMATH DE number 3741608 (Why is no real title available?)
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 1389228 (Why is no real title available?)
• Model structures on ind-categories and the accessibility rank of weak equivalences
• On c.s.s. Complexes
• On the classifying spaces of discrete monoids
• Orbispaces, orthogonal spaces, and the universal compact Lie group
• Systems of Fixed Point Sets
• The accessibility rank of weak equivalences

Cited in

(9)

• A note on orbit categories, classifying spaces, and generalized homotopy fixed points
• Simple homotopy theory and nerve theorem for categories
• Orbispaces, orthogonal spaces, and the universal compact Lie group
• C-systems defined by universe categories: presheaves
• Parsummable categories as a strictification of symmetric monoidal categories
• An \((\infty ,2)\)-categorical pasting theorem
• On the global homotopy theory of symmetric monoidal categories
• Pushouts of Dwyer maps are (, 1)-categorical
• G-global homotopy theory and algebraic K-theory

This page was built for publication: Categories and orbispaces

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