The scorpions: Examples in stable non collapsibility and in geometric category theory (Q1184322)

Sei \(\pi: S^ n\to D^ n\) die Einschränkung der Projektion \(\mathbb{R}^{n+1}\to \mathbb{R}^ n\) und \(\partial: D^ n\to S^ n\) die Abbildung, welche den Rand \(\partial D^ n\) zu einem Punkt identifiziert. Der Abbildungstorus von \(\partial \pi: S^ n\to S^ n\) heißt \((n+1)\)-dimensionaler Skorpion \(A^{n+1}\). \(A^{n+1}\) hat den Homotopietyp von \(S^ 1\). Das erste Hauptresultat der vorliegenden Arbeit besagt, daß \(A^{n+1}\times I^ q\) genau dann auf \(S^ 1\) kollabiert, wenn \(q\geq n\) gilt. Beispiele, bei denen erst Produkte mit höherdimensionalen Würfeln die Kollapse ermöglichen, wurden bereits von \textit{I. Berstein, M. Cohen} und \textit{R. Connelly} [Topology 17, 183- 187 (1978; Zbl 0386.57007)] gegeben. Dort war jedoch die p. l. Struktur wesentlich für die Argumentation, während hier die Nichtkollabierbarkeit in dem schärferen topologischen Sinne gilt, daß ein Kollaps ``Zellen'' entfernt, die durch Ankleben von \(I^ n\times I\) an einen topologischen Raum \(X\) mittels einer stetigen Abbildung \(f: I^ n\times \{0\}\to X\) entstehen. Das zweite Ergebnis bezieht sich auf einen Begriff, der mit der Ljusternik-Schnirelmann-Kategorie verwandt ist: Unter der geometrischen Kategorie eines Polyeders \(P\) möge die kleinste Zahl \(k\) verstanden werden, derart daß \(P\) mit \(k\) zusammenziehbaren Teilpolyedern überdeckt werden kann. Es wird gezeigt, daß diese Kategorie für \(A^{n+1}\times I^ q\) den Wert 3 im Fall \(0\leq q < n\) und den Wert 2 im Fall \(q\geq n\) besitzt.