Simple homotopy types and finite spaces

From MaRDI portal
Publication:2482053



Abstract: We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse of finite spaces induces a simplicial collapse of their associated simplicial complexes. Moreover, a simplicial collapse induces a collapse of the associated finite spaces. This establishes a one-to-one correspondence between simple homotopy types of finite simplicial complexes and simple equivalence classes of finite spaces. We also prove a similar result for maps: We give a complete characterization of the class of maps between finite spaces which induce simple homotopy equivalences between the associated polyhedra. Furthermore, this class describes all maps coming from simple homotopy equivalences at the level of complexes. The advantage of this theory is that the elementary move of finite spaces is much simpler than the elementary move of simplicial complexes: It consists of removing (or adding) just a single point of the space.


Kompakte Polyeder lassen sich bekanntlich durch (die Eckenmengen) endliche(r) Simplizialkomplexe beschreiben. Andererseits ergibt sich nach \textit{P. S. Alexandroff} [Textbook of Set theory, Frankfurt/Main: Verlag Harri Deutsch (1994; Zbl 0833.04001)] auf einer teilweise geordneten endlichen Menge \(X\) eine Topologie: Als Basis nehme man Umgebungen der Form \(U_x= \{y\in X\mid y\leq x\}\). In der vorliegenden Arbeit werden diese Zuordnungen verknüpft, um (durch geeignete Begriffe) die Theorie des einfachen Homotopietyps von simplizialen Komplexen auf endliche Räume zu übertragen. Einem elementaren simplizialen Kollaps entspricht dabei z.B., dass ein (bezüglich der Eckenordnung so genannter ``schwacher) Punkt aus \(X\) entfernt wird.




Cited in
(49)








This page was built for publication: Simple homotopy types and finite spaces

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