Eine Sammlung von Ergebnissen in der equivarianten Topologie und algebraischen Topologie, die die homologische (insbesondere mod p) Struktur der Fixmengen periodischer Abbildungen und p‑Gruppenwirkungen auf Räumen analysieren und starke Beschränkungen für die Homologie der Fixmenge relativ zum ambienten Raum liefern.

Prinzip

Bei einer Aktion einer zyklischen p‑Gruppe (oder allgemeiner eines p‑Gruppen) auf einem endlichen CW‑Komplex oder einer Mannigfaltigkeit ist die mod p Homologie der Fixmenge eng gesteuert — etwa: ist der ambient Raum mod p azyklisch, so ist dies auch die Fixmenge; als ordnendes Prinzip wirken Transfer, Spektralsequenzen und Lokalisierung am Prim p.

Demonstration

Wirkt Z/p zellulär auf einem endlichen CW‑Komplex X mit H_*(X; Z/p) ≅ 0 (mod p azyklisch), so folgt aus der Smith‑Theorie, dass die Fixmenge X^{Z/p} ebenfalls H_*(X^{Z/p}; Z/p) ≅ 0 besitzt; im klassischen Fall einer p‑Gruppenwirkung auf einer Sphäre hat die Fixmenge die mod p Homologie einer Sphäre irgendeines Dimensionsgrades (möglicherweise leer).

Fehlanwendung

Integrale Homologie‑ oder Kohomologieaussagen aus den mod p Resultaten der Smith‑Theorie abzuleiten, Schlussfolgerungen für p‑Gruppen auf Aktionen mit mehrfachem Primteiler zu übertragen oder Finitheits‑/Zähmungsannahmen zu ignorieren, führt zu ungültigen Folgerungen.

Konsequenz

Smith‑Theorie liefert starke Beschränkungen für mögliche Gruppenwirkungen auf Mannigfaltigkeiten und Komplexen, beschränkt die Topologie der Fixmengen und fließt in Klassifikations‑ und Obstruktionsresultate in der Transformationstheorie und equivarianten Topologie ein; sie motiviert zudem Lokalisierungstechniken im equivarianten Kontext.

Umkehrung

Bei freien Aktionen (keine Fixpunkte) sind die Smith‑Beschränkungen gegenstandslos; die Umkehrung betont die Dichotomie zwischen frei wirkenden Gruppen (mit Quotientenstrukturen) und periodischen Aktionen mit potentiell reichen, eingeschränkten Fixmengen.

Abgrenzung

Trifft vornehmlich auf Aktionen von p‑Gruppen (oder zyklischen p‑Gruppen) auf endlichen CW‑Komplexen oder Mannigfaltigkeiten zu und bezieht sich auf Homologie mit Z/p‑Koeffizienten; liefert keine direkten integralen Aussagen und gilt nicht ohne Finitheits‑, Zähmungs‑ oder Properheitsbedingungen.

Semantische Spannung

Es besteht Spannung zwischen Smith‑Theorie und anderen equivarianten Werkzeugen wie Borel‑Lokalisierung, equivarianter Kohomologie und Spektralsequenzmethoden: Smith liefert primlokalisierte homologische Beschränkungen, die mit integral formulierten Aussagen oder anderen Kohomologietheorien scheinbar in Widerspruch stehen können.

Synthese

Die Smith‑Theorie stellt primlokalisierte algebraische Einschränkungen für Fixmengen periodischer und p‑Gruppenaktionen bereit, indem sie die mod p Homologie des ambianten Raums mit derjenigen der Fixmenge über Transfer‑ und Lokalisierungsideen verbindet und so die zulässige Fixpunkt‑Topologie im equivarianten Kontext stark einschränkt.