We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Topology

Title: Stratified Homotopy Theory and a Whitehead Group for Stratified Spaces

Authors: Lukas Waas
Abstract: In this master thesis, we extend results from classical simple homotopy theory to the world of stratified homotopy theory. To obtain a well-established framework to work in, we prove a series of results on two model categories of simplicial sets and topological spaces, both equipped with a notion of filtration, introduced by Sylvain Douteau in his PHD thesis. In particular, we show that there is a fully faithful embedding of homotopy categories from the (finite) filtered simplicial into the filtered topological setting. We also use these results to characterize the morphisms in the topological filtered homotopy category between filtered spaces that are triangulable and stratified in some very general sense as stratified homotopy classes of stratum preserving maps. Then, moving on to simple homotopy theory, we propose a class of combinatorial elementary expansions for filtered simplicial sets that generalize both the classical ones as well as a class of stratified expansions suggested by Banagl et al. We show that they fulfill a series of axioms, suggested by Eckmann and Siebenmann for the construction of simple homotopy theory. In doing so, we obtain a combinatorially defined Whitehead group and torsion for filtered simplicial sets (and hence also for triangulable stratified spaces). We then begin a detailed investigation of their formal properties, proving for example that a Mayer-Vietoris formula holds. Next, we apply our results on stratified homotopy theory to obtain a more topological description of the Whitehead group and to generalize the Whitehead torsion to arbitrary stratum preserving maps of triangulated filtered spaces. Finally, we prove that our simple homotopy theory is a generalization of the classical one, in the sense that it agrees with the latter when one considers trivially filtered simplicial sets as CW-complexes.
Subjects: Algebraic Topology (math.AT)
Cite as: arXiv:2102.06971 [math.AT]
  (or arXiv:2102.06971v1 [math.AT] for this version)

Submission history

From: Lukas Waas [view email]
[v1] Sat, 13 Feb 2021 18:07:14 GMT (8724kb,D)

Link back to: arXiv, form interface, contact.