Strongly stratified homotopy theory

Miller, David

doi:10.1090/S0002-9947-2013-05795-9

Strongly stratified homotopy theory
HTML articles powered by AMS MathViewer

by David A. Miller PDF

Trans. Amer. Math. Soc. 365 (2013), 4933-4962 Request permission

Abstract:

This paper concerns homotopically stratified spaces. These were defined by Frank Quinn in his paper Homotopically Stratified Sets. His definition of stratified space is very general and relates strata by “homotopy rather than geometric conditions”. This makes homotopically stratified spaces the ideal class of stratified spaces on which to define and study stratified homotopy theory.

We will define stratified analogues of the usual definitions of maps, homotopies and homotopy equivalences. Then we will provide an elementary criterion for deciding when a strongly stratified map is a stratified homotopy equivalence. This criterion states that a strongly stratified map is a stratified homotopy equivalence if and only if the induced maps on strata and holink spaces are homotopy equivalences. Using this criterion we will prove that any homotopically stratified space is stratified homotopy equivalent to a homotopically stratified space where neighborhoods of strata are mapping cylinders. Finally, we will develop categorical descriptions of the class of homotopically stratified spaces up to stratified homotopy.

References

Markus Banagl, Intersection spaces, spatial homology truncation, and string theory, Lecture Notes in Mathematics, vol. 1997, Springer-Verlag, Berlin, 2010. MR 2662593, DOI 10.1007/978-3-642-12589-8
James Dugundji, Topology, Allyn and Bacon, Inc., Boston, Mass., 1966. MR 0193606
Samuel Eilenberg and Norman Steenrod, Foundations of algebraic topology, Princeton University Press, Princeton, N.J., 1952. MR 0050886, DOI 10.1515/9781400877492
Greg Friedman, Stratified fibrations and the intersection homology of the regular neighborhoods of bottom strata, Topology Appl. 134 (2003), no. 2, 69–109. MR 2009092, DOI 10.1016/S0166-8641(03)00088-9
Greg Friedman, Intersection homology and Poincaré duality on homotopically stratified spaces, Geom. Topol. 13 (2009), no. 4, 2163–2204. MR 2507117, DOI 10.2140/gt.2009.13.2163
Mark Goresky and Robert MacPherson, Intersection homology theory, Topology 19 (1980), no. 2, 135–162. MR 572580, DOI 10.1016/0040-9383(80)90003-8
Mark Goresky and Robert MacPherson, Intersection homology. II, Invent. Math. 72 (1983), no. 1, 77–129. MR 696691, DOI 10.1007/BF01389130
M. Goresky and R. MacPherson, Problems and bibliography on intersection homology, Intersection cohomology (Bern, 1983) Progr. Math., vol. 50, Birkhäuser Boston, Boston, MA, 1984, pp. 221–233. MR 788180, DOI 10.1007/978-0-8176-4765-0_{9}
Bruce Hughes, The approximate tubular neighborhood theorem, Ann. of Math. (2) 156 (2002), no. 3, 867–889. MR 1954237, DOI 10.2307/3597284
Bruce Hughes and Andrew Ranicki, Ends of complexes, Cambridge Tracts in Mathematics, vol. 123, Cambridge University Press, Cambridge, 1996. MR 1410261, DOI 10.1017/CBO9780511526299
Frances Kirwan and Jonathan Woolf, An introduction to intersection homology theory, 2nd ed., Chapman & Hall/CRC, Boca Raton, FL, 2006. MR 2207421, DOI 10.1201/b15885
David A. Miller, Popaths and holinks, J. Homotopy Relat. Struct. 4 (2009), no. 1, 265–273. MR 2559643
Frank Quinn, Intrinsic skeleta and intersection homology of weakly stratified sets, Geometry and topology (Athens, Ga., 1985) Lecture Notes in Pure and Appl. Math., vol. 105, Dekker, New York, 1987, pp. 233–249. MR 873296
Frank Quinn, Homotopically stratified sets, J. Amer. Math. Soc. 1 (1988), no. 2, 441–499. MR 928266, DOI 10.1090/S0894-0347-1988-0928266-2
Michael S. Weiss, Cohomology of the stable mapping class group, Topology, geometry and quantum field theory, London Math. Soc. Lecture Note Ser., vol. 308, Cambridge Univ. Press, Cambridge, 2004, pp. 379–404. MR 2079381, DOI 10.1017/CBO9780511526398.016
Jon Woolf, The fundamental category of a stratified space, J. Homotopy Relat. Struct. 4 (2009), no. 1, 359–387. MR 2591969