The compression theorem III: Applications. (English) Zbl 1032.57029

This is the third in a series of papers about the compression theorem: let \(M\) and \(Q\) be smooth manifolds of dimensions \(m\) and \(q\), and suppose that \(M\) is embedded in \(Q\times {\mathbb R}\) with a normal vector field and that \(q-m\geq 1\); then the vector field can be made parallel to the given \({\mathbb R}\) direction by an isotopy of \(M\) and a normal field in \(Q\times {\mathbb R}\). The first two papers gave proofs of this theorem. In the present paper the authors deal with applications of this theorem and its extension (the multi-compression theorem). In fact four kinds of applications are exhibited and each one is discussed in a separate section.
Sections 2 and 3 give short new and constructive proofs of the immersion theorem of Hirsch and Smale and the loop-suspension theorem of James and its generalization due to May and Segal et al. using configuration space models of multiple-loops-suspension spaces. The proofs given here make the best use of what the compression theorem provides, namely the fact that a given embedding becomes isotopic to an embedding covering an immersion in \(Q\).
In section 4 it is shown that the compression theorem can be used to give a new approach to classifying embeddings and knots of manifolds in codimension one or more, and in section 5 the authors consider the \(C^0\)-singularity problem in the cases of codimension one or more using the compression theorem. Moreover the authors include many developmental comments on further information at the end of every section. Especially section 5 contains five extra comments one of which announces the publication of papers on further applications of the compression theorem. Also in sections 2 and 4 the authors announce the publications of subsequent papers relevant to the subjects here. Anyway one finds that the range of this compression theorem in differential topology is indeed extensive. So it seems that more deep significance lies hidden in this field.


57R25 Vector fields, frame fields in differential topology
57R27 Controllability of vector fields on \(C^\infty\) and real-analytic manifolds
57R40 Embeddings in differential topology
57R42 Immersions in differential topology
55P35 Loop spaces
55P40 Suspensions
55P47 Infinite loop spaces
Full Text: DOI arXiv EuDML EMIS


[1] J M Boardman, Singularities of differentiable maps, Inst. Hautes Études Sci. Publ. Math. (1967) 21 · Zbl 0165.56803 · doi:10.1007/BF02684585
[2] J M Èlia\vsberg, Surgery of singularities of smooth mappings, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972) 1321
[3] M L Gromov, J M Èlia\vsberg, Construction of nonsingular isoperimetric films, Trudy Mat. Inst. Steklov. 116 (1971) 18, 235 · Zbl 0277.53031
[4] R Fenn, C Rourke, B Sanderson, James bundles, Proc. London Math. Soc. \((3)\) 89 (2004) 217 · Zbl 1055.55005 · doi:10.1112/S0024611504014674
[5] M Gromov, Partial differential relations, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) 9, Springer (1986) · Zbl 0651.53001
[6] M W Hirsch, Immersions of manifolds, Trans. Amer. Math. Soc. 93 (1959) 242 · Zbl 0113.17202 · doi:10.2307/1993453
[7] I M James, Reduced product spaces, Ann. of Math. \((2)\) 62 (1955) 170 · Zbl 0064.41505 · doi:10.2307/2007107
[8] U Koschorke, Vector fields and other vector bundle morphisms - a singularity approach, Lecture Notes in Mathematics 847, Springer (1981) · Zbl 0459.57016
[9] U Koschorke, B Sanderson, Self-intersections and higher Hopf invariants, Topology 17 (1978) 283 · Zbl 0398.57030 · doi:10.1016/0040-9383(78)90032-0
[10] R K Lashof, S Smale, Self-intersections of immersed manifolds, J. Math. Mech. 8 (1959) 143 · Zbl 0093.37501
[11] J P May, The geometry of iterated loop spaces, Lectures Notes in Mathematics 271, Springer (1972) · Zbl 0244.55009
[12] R J Milgram, Iterated loop spaces, Ann. of Math. \((2)\) 84 (1966) 386 · Zbl 0145.19901 · doi:10.2307/1970453
[13] C Rourke, B Sanderson, Equivariant configuration spaces, J. London Math. Soc. \((2)\) 62 (2000) 544 · Zbl 1024.55009 · doi:10.1112/S0024610700001241
[14] C Rourke, B Sanderson, The compression theorem I, Geom. Topol. 5 (2001) 399 · Zbl 1002.57057 · doi:10.2140/gt.2001.5.399
[15] C Rourke, B Sanderson, The compression theorem II: Directed embeddings, Geom. Topol. 5 (2001) 431 · Zbl 1032.57028 · doi:10.2140/gt.2001.5.431
[16] C Rourke, B Sanderson, The compression theorem I, Geom. Topol. 5 (2001) 399 · Zbl 1002.57057 · doi:10.2140/gt.2001.5.399
[17] G Segal, Configuration-spaces and iterated loop-spaces, Invent. Math. 21 (1973) 213 · Zbl 0267.55020 · doi:10.1007/BF01390197
[18] S Smale, The classification of immersions of spheres in Euclidean spaces, Ann. of Math. \((2)\) 69 (1959) 327 · Zbl 0089.18201 · doi:10.2307/1970186
[19] A Varley, Controlling tangencies from the global viewpoint, PhD thesis, University of Warwick (2003)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.