A collection of results in equivariant topology and algebraic topology that analyze the homological (especially mod p) structure of fixed‑point sets of periodic maps and p‑group actions on spaces, providing strong restrictions on the homology of fixed sets relative to the ambient space.

Principle

For an action of a cyclic p‑group (or more generally p‑group) on a finite CW complex or manifold, the mod p homology of the fixed‑point set is tightly controlled — for instance, if the ambient space is mod p acyclic then so is the fixed set; the organizing mechanism is transfer and spectral sequence arguments together with localization at the prime p.

Demonstration

If Z/p acts cellularly on a finite CW complex X with H_*(X; Z/p) ≅ 0 (mod p acyclic), Smith theory implies the fixed set X^{Z/p} has H_*(X^{Z/p}; Z/p) ≅ 0 as well; in the classical case of a p‑group acting on a sphere, the fixed set has the mod p homology of a sphere of some dimension (possibly empty).

Misapplication

Drawing integral homology or cohomology conclusions from Smith theory's mod p statements, applying conclusions for p‑group actions to actions whose order has multiple prime factors, or ignoring finiteness/tameness hypotheses can produce invalid inferences.

Consequence

Smith theory yields powerful constraints on possible group actions on manifolds and complexes, restricts the topology of fixed sets, and feeds into classification and obstruction results in transformation groups and equivariant topology; it also motivates equivariant localization techniques.

Reversal

Where actions are free (no fixed points), the Smith constraints are vacuous; the reversal highlights the dichotomy between freely acting groups (leading to quotient structures) and periodic actions with potentially rich, restricted fixed sets.

Boundary

Applies primarily to actions of p‑groups (or cyclic p‑groups) on finite CW complexes or manifolds and to conclusions about homology with Z/p coefficients; it does not directly give integral information or apply without finiteness, tameness, or properness conditions.

Semantic Tension

Tension exists between Smith theory and other equivariant tools such as Borel localization, equivariant cohomology, and spectral sequence methods: Smith theory gives prime‑localized homological constraints that can conflict in appearance with statements framed integrally or in other cohomology theories.

Synthesis

Smith theory provides prime‑local algebraic constraints on fixed sets of periodic and p‑group actions by relating mod p homology of the ambient space and that of the fixed set via transfer and localization ideas, thereby tightly restricting allowable fixed‑point topologies in equivariant situations.