Simultaneous invariants of a complex and subcomplex. (Q2592875)

\(P\) sei ein \(n\)-dimensionales endliches euklidisches Polyeder, \(Q\) ein Teilpolyeder von \(P\). \(K_{-1}\) sei eine Simplizialzerlegung von \(P\) (mit nicht notwendig euklidischen Simplexen) derart, daß ein Teilkomplex \(L_{-1}\) von \(K_{-1}\) Simplizialzerlegung von \(Q\) ist. \(K_{0}\), \(K_1\),\dots bzw. \(L_{0}\), \(L_1\),\dots seien die sukzessiven baryzentrischen Unterteilungen von \(K_{-1}\) bzw. \(L_{-1}\). Ferner sei \(N_i\) für \(i = 0\), 1, 2,\dots der Komplex derjenigen Simplexe von \(K_{i}\), die wenigstens eine Ecke in \(L_i\) haben, sowie der Seiten solcher Simplexe, \(B_{_i}\) der Komplex der Simplexe von \(N_{i}\), die zu \(L_i\) fremd sind, und \(R_{i}\) der Komplex der Simplexe von \(K_{i}\), die zu \(L_{i}\) fremd sind. Folgende Gruppen sind unabhängig von der Wahl von \(K_{-1}\): Die Bettischen Gruppen \(B^r(B_1)\) und \(B^r(R_1)\) (\(r\) bezeichnet die Dimension), die Gruppen \(S^r(B_1, R_1)\) der Homologieklassen von \(B_1\), die in \(R_{1}\) beranden, und die Gruppen \(\varGamma ^r(R_1, N_1)\) der Homologieklassen von \(B_{1}\), die in \(R_{1}\) und \(N_{1}\) beranden. (Koeffizientenbereiche beliebig.) Verf. gibt ferner eine Beziehung zwischen den Rängen von \(S^r(B_1, R_1)\), \(\varGamma ^r(R_1, N_1)\) und einer weiteren in bezug auf \(K_{0}\) und \(L_{0}\) definierten Gruppe an. Die Beweise beruhen darauf, daß in \(N_0-(B_0+L_0)\) ein System von ``Strahlen'' derart konstruiert wird, daß durch jeden Punkt von \(N_0-(B_0+L_0)\) ein und nur ein Strahl hindurchgeht und jeder Strahl die \(B_i\) (\(i = 0\), 1,\dots ) nur je einmal trifft; infolgedessen kann man (stetige) Komplexe in \(N_0-(B_0+L_0)\) längs der Strahlen auf ein beliebiges \(B_{i}\) deformieren. Übrigens darf man für die Strahlen im allgemeinen nicht die geradlinigen Verbindungen zwischen den Punkten von \(B_{0}\) und \(L_{0}\) in den einzelnen Simplexen von \(N_0-(B_0+L_0)\) nehmen; schon \(B_{2}\) kann von solcher geradlinigen Verbindung öfter als einmal getroffen werden.