Popaths and holinks

MaRDI QIDQ847598zbMATH OpenFDO

Authors David A. Miller

Publication date 18 February 2010

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

Full work available at URL https://arxiv.org/abs/0909.1201, http://www.emis.de/journals/JHRS/volumes/2009/n1a13/abstract.htm

zbMATH Keywords

homotopy linkstratified space

Mathematics Subject Classification ID

Homotopy theory (55P99) Generalizations of fiber spaces and bundles in algebraic topology (55R65) Stratifications in topological manifolds (57N80)

Abstract: In the study of stratified spaces it is useful to examine spaces of popaths (paths which travel from lower strata to higher strata) and holinks (those spaces of popaths which immediately leave a lower stratum for their final stratum destination). It is not immediately clear that for adjacent strata these two path spaces are homotopically equivalent, and even less clear that this equivalence can be constructed in a useful way (with a deformation of the space of popaths which fixes start and end points and where popaths instantly become members of the holink). The advantage of such an equivalence is that it allows a stratified space to be viewed categorically because popaths, unlike holink paths (which are easier to study), can be composed. This paper proves the aforementioned equivalence in the case of Quinn's homotopically stratified spaces.

Review text

The author studies the link between the spaces of popaths and of holinks in a homotopy stratified space. A stratified space is a space filtered by an increasing sequence of closed subspaces indexed over a finite poset. A popath is a continuous path which is order-preserving with respect to this filtration. A holink (for homotopy link) consists of a popath which immediately leaves a lower stratum for its final stratum destination. A homotopy stratified space is a stratified space such that the inclusions of strata satisfy additional homotopical conditions (these inclusions must be sufficiently ``nice) and such that the evaluation map at the start point of a holink is a fibration. The main result is that the spaces of holinks and of popaths between two distinct strata are homotopy equivalent in a homotopy stratified space. The inclusion is even a special path inclusion.

Recommendations

• Strongly stratified homotopy theory
• Stratifications on the Ran space
• Stratified path spaces and fibrations
• Homotopically Stratified Sets
• Homotopy theory of stratified spaces

Cited in

(5)

• Rational Pontryagin classes of Euclidean fiber bundles
• The fiber of persistent homology for simplicial complexes
• Strongly stratified homotopy theory
• Homotopically Stratified Sets
• Spaces of smooth embeddings and configuration categories

This page was built for publication: Popaths and holinks

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