The fundamental category of a stratified space

zbMATH Open1204.18008arXiv0811.2580MaRDI QIDQ847604FDOQ847604

Jonathan Woolf

Publication date: 18 February 2010

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Abstract: The fundamental groupoid of a locally 0 and 1-connected space classifies covering spaces, or equivalently local systems. When the space is topologically stratified Treumann, based on unpublished ideas of MacPherson, constructed an `exit category' (in the terminology of this paper, the `fundamental category') which classifies constructible sheaves, equivalently stratified etale covers. This paper generalises this construction to homotopically stratified sets, in addition showing that the fundamental category dually classifies constructible cosheaves, equivalently stratified branched covers. The more general setting has several advantages. It allows us to remove a technical `tameness' condition which appears in Treumann's work; to show that the fundamental groupoid can be recovered by inverting all morphisms and, perhaps most importantly, to reduce computations to the two stratum case. This provides an approach to computing the fundamental category in terms of homotopy groups of strata and homotopy links. We apply these techniques to compute the fundamental category of symmetric products of R^2, stratified by collisions. Two appendices explain the close relations respectively between filtered and pre-ordered spaces and between cosheaves and branched covers (technically locally-connected uniquely-complete spreads).

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

Recommendations

• Exit paths and constructible stacks
• Classification of Constructible Cosheaves
• Homotopy theory of stratified spaces
• A stratified homotopy hypothesis
• scientific article

zbMATH Keywords

fundamental categoryexit 1-categoryfundamental groupoidhomotopically stratified spacespreordered space

Mathematics Subject Classification ID

Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Stratifications in topological manifolds (57N80)

Cited In (22)

• Spaces of smooth embeddings and configuration categories
• A simplicial approach to stratified homotopy theory
• A stratified homotopy hypothesis
• The configuration category of a product
• Erratum to: ``The fundamental category of a stratified space
• The fiber of persistent homology for simplicial complexes
• Local cohomology and stratification
• Decomposition spaces and poset-stratified spaces
• Algorithmic canonical stratifications of simplicial complexes
• Skeleta of affine hypersurfaces
• Categorified Reeb graphs
• Strongly stratified homotopy theory
• Resonance category
• A PROSET STRUCTURE INDUCED FROM HOMOTOPY CLASSES OF MAPS AND A CLASSIFICATION OF FIBRATIONS
• Dualities between cellular sheaves and cosheaves
• Stratified Whitehead's theorem and knot invariants
• Homotopy theory of stratified spaces
• From samples to persistent stratified homotopy types
• Derived sections, factorization algebras, and Deligne conjecture
• Probabilistic convergence and stability of random mapper graphs
• Exit paths and constructible stacks
• Classification of Constructible Cosheaves

This page was built for publication: The fundamental category of a stratified space

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