The topology of involutions. (Q2622174)

\(K\) sei ein \(n\)-dimensionaler Komplex, \(T\) eine stetige involutorische Transformation von \(K\) in sich. Die topologischen Invarianten des ``Dis\-kon\-ti\-nui\-täts\-be\-reichs'' \(K_T\), der aus \(K\) durch Identifikation solcher Punkte, die bei der Transformation \(T\) einander entsprechen, entsteht, sind dann in gewissem Sinn charakteristisch für \(T\) (z. B. invariant, wenn \(T\) unter Erhaltung der Involutionseigenschaft stetig abgeändert wird). Verf. behandelt hier die Aufgabe, aus den \textit{Betti}schen Zahlen mod 2 und der Transformation der Zyklen von \(K\) bei Anwendung von \(T\) die \textit{Betti}schen Zahlen mod 2 von \(K_T\) zu bestimmen. (Gerade die Übereinstimmung des Moduls 2 mit der Ordnung der durch \(T\) erzeugten endlichen Transformationsgruppe schließt im vorliegenden Falle nach Angabe des Verf. die Anwendung einer von \textit{M. Richardson} entwickelten allgemeinen Methode (unveröffentlicht) zur Bestimmung der absolut oder nach einem beliebigen Modul genommenen \textit{Betti}schen Zahlen von \(K_T\) aus.) Zum Zweck der rein kombinatorischen Behandlung der Aufgabe müssen noch einige Voraussetzungen über \(T\) gemacht werden; übrigens wird die Allgemeinheit des Ergebnisses auch durch zusätzliche Annahmen im Laufe der Untersuchung etwas eingeschränkt. - Das Ergebnis gestattet eine Anwendung auf die Berechnung der \textit{Betti}schen Zahlen mod 2 eines ``symmetrischen Produkts'', d. h. des Produktkomplexes \(L \times L'\) mit \(L = L'\) und Identifikation der Punktepaare \((p, p')\) und \((p', p)\;(p < L, p' < L')\).