The Gold Standard of Topology | Smith Theory, Fixed-Point Sets and Mod-p Group Actions

Find the mechanism before the formula

A finite group action can move almost every point while leaving a rigid fixed set behind. Smith theory asks what mod-p homology permits when the acting group has prime-power order, turning symmetry into concrete restrictions on fixed points.

We will compute reflection and rotation examples, apply Betti-number and Euler-characteristic constraints, transfer the sphere theorem to a higher-dimensional action, and state exactly what mod-p information cannot classify.

This guide belongs to the Gold Standard of Topology, the Gold Standard of Education and the How X Works hub.

Choose a reading route

Start with the question closest to the decision you need to make. Every route returns to the same worked evidence and transfer checks.

Chapter contents

Open the group you need, then use the chapter links. Teaching sections remain open on the page.

1. Start with the action and the fixed set

A group G acts on a space X when each element gives a self-map compatible with multiplication and the identity. For a subgroup H, the fixed set X^H contains points x with hx=x for every h in H.

This is not the set of points fixed by at least one nonidentity element. Intersections matter: X^H=∩_h∈HX^h. For a cyclic group generated by g, it is enough to solve gx=x, but larger groups can have different elementwise and common fixed sets.

• Name the group and prime p.
• State the regularity and dimension assumptions on X.
• Distinguish X^G from an orbit space X/G.
• Choose coefficients before computing homology.

Reading routes · Contents · Next chapter

2. Prime-order symmetry calls for mod-p homology

For a cyclic action of prime order p, the algebraic operators 1−g and 1+g+⋯+g^p−1 interact especially simply over the field F_p. Smith’s chain constructions use this prime-characteristic structure to compare the space and its fixed set.

The conclusion is deliberately mod p. Integral torsion, fundamental groups and embeddings can differ while mod-p homology agrees. Saying that a fixed set is a mod-p homology sphere means its reduced homology with F_p coefficients matches a sphere; it does not say the set is homeomorphic to a standard sphere.

Prime-power groups are handled by iterating or extending the prime-order theory under appropriate hypotheses.

Reading routes · Previous chapter · Contents · Next chapter

3. A homology sphere has a homology-sphere fixed set

A central Smith theorem says that if a finite-dimensional suitable space X has the mod-p homology of Sⁿ and a p-group acts on X, then X^G is empty or has the mod-p homology of some S^r, with r≤n. The empty case is often encoded as r=−1.

The theorem constrains the homology pattern: one reduced class in degree r and none elsewhere. It does not determine whether the embedded fixed set is knotted, locally standard or unique up to conjugacy of actions.

Reading routes · Previous chapter · Contents · Next chapter

4. Worked example: reflection of the two-sphere

Let the involution on S²⊂R³ send (x,y,z) to (x,y,−z). The fixed equation z=0 cuts out the equator S¹. With F₂ coefficients, S² has Betti numbers b₀=1 and b₂=1; its total Betti number is two. S¹ has b₀=1 and b₁=1, also total two.

The fixed set therefore saturates the Smith inequality ∑b_i(X^G;F₂)≤∑b_i(X;F₂). Its Euler characteristic is χ(S¹)=0, while χ(S²)=2, and these are congruent modulo two.

The calculation uses both geometry, to solve the fixed equation, and homology, to verify the allowed pattern. Neither step should be replaced by the other.

Reading routes · Previous chapter · Contents · Next chapter

5. Worked example: a prime-order rotation

Rotate S² by angle 2π/p around the vertical axis, with p prime. The only common fixed points are the north and south poles, so X^Cp=S⁰. Its total mod-p Betti number is two, equal to that of S².

Euler characteristics give χ(S⁰)=2 and χ(S²)=2, hence the expected congruence modulo p. For p odd, the codimension n−r=2 is even, matching the parity restriction for orientation-preserving prime-order actions on a homology sphere under the standard hypotheses.

Contrast the antipodal involution: it has no fixed point, which Smith theory allows. A theorem that constrains a nonempty fixed set is not automatically an existence theorem.

Reading routes · Previous chapter · Contents · Next chapter

6. Smith inequalities limit homological complexity

In one common finite-dimensional formulation, the mod-p Betti numbers of the fixed set obey inequalities no larger in total than those of X. A simple ambient space cannot hide an arbitrarily homologically complicated fixed set under a p-action.

For an acyclic X, Smith theory often forces a nonempty fixed set to be mod-p acyclic. For a sphere, the stronger sphere pattern appears. Exact hypotheses vary among compact spaces, finite complexes and manifolds, so a proof must cite the version actually used.

Betti bounds can rule out a proposed fixed set. Passing the bounds does not prove that an action with that fixed set exists.

Reading routes · Previous chapter · Contents · Next chapter

7. Euler characteristic gives a quick congruence check

For a finite p-group action on a finite complex, χ(X^G)≡χ(X) mod p under standard conditions. Cells outside the fixed set occur in orbits whose sizes are divisible by p, so their contribution disappears modulo p.

The congruence is fast but coarse. Many spaces share the same Euler characteristic, and cancellation hides individual Betti numbers. Use it as a first filter, then compute mod-p homology or invoke the full Smith theorem.

For the reflection of S², 0≡2 mod 2. For a C₃ rotation, 2≡2 mod 3. A single fixed point on S² under a C₃ action would give 1≢2 mod 3 and is therefore impossible in this setting.

Reading routes · Previous chapter · Contents · Next chapter

8. Transfer check: rotate the three-sphere

View S³ as {(z₁,z₂)∈C²:|z₁|²+|z₂|²=1}. Let C_p act by (z₁,z₂)↦(e^2πi/pz₁,z₂). A point is fixed exactly when z₁=0, leaving |z₂|=1, a circle S¹.

The ambient is a mod-p homology 3-sphere and the fixed set a homology 1-sphere. The codimension is two, and both total Betti numbers are two. The same fixed-equation, homology and parity checks transfer from S² to S³.

If both complex coordinates are rotated by nontrivial weights, the action can become free. Changing the representation changes the fixed set even when the group is unchanged.

Reading routes · Previous chapter · Contents · Next chapter

9. The fixed set and the quotient answer different questions

Smith theory focuses on X^G. The orbit space X/G identifies every orbit and may have singular strata near fixed points. Its homology is not obtained by simply replacing X with the fixed set or dividing Betti numbers by |G|.

For a reflection of S², the fixed equator is S¹ while the quotient is a disk. For a rotation of S², the quotient is again topologically a sphere even though two points have nontrivial isotropy. These examples separate three objects: ambient space, fixed locus and orbit space.

Use transfer maps, equivariant cohomology or stratified methods when the question concerns the quotient rather than only fixed-point homology.

Reading routes · Previous chapter · Contents · Next chapter

10. Limits and misconceptions

• Mod-p homology equivalence is not homeomorphism or smooth equivalence.
• The theorem constrains fixed sets but does not classify group actions.
• X^G is not the union of elementwise fixed sets.
• Prime or prime-power hypotheses cannot be discarded casually.
• Finite-dimensionality, compactness or local conditions belong to the theorem used.
• Euler congruence is weaker than the full homology restrictions.

Fixed sets can be knotted or wildly embedded while retaining the permitted mod-p homology. Smith theory tells you what homological shape symmetry allows, not the entire geometry of how that shape sits in X.

Reading routes · Previous chapter · Contents · Next chapter

11. Frequently asked questions

Why use Fp rather than integers?

The chain operators for a p-action simplify in characteristic p. Integral information can contain additional torsion that the Smith comparison does not control in the same way.

Does every p-group action on a sphere have a fixed point?

No. Free actions exist, including the antipodal involution on many spheres. The theorem allows an empty fixed set.

Is the fixed homology sphere unknotted?

Not necessarily. Homology describes cycles, not embedding type. Additional geometric and transformation-group results are needed.

Reading routes · Previous chapter · Contents · Next chapter

12. A reproducible Smith-theory checklist

The gold standard is to compute the geometric fixed set when possible, verify its mod-p homology, and stop at the strength of the conclusion. A homological restriction is valuable precisely because it is rigorous without pretending to classify every action.

Reading routes · Previous chapter · Contents · Continue reading

Continue through the Gold Standard ecosystem

Return to the Gold Standard of Topology, the Gold Standard of Education parent, or the How X Works hub.

Read next in this subject

• Alexander Duality, Complements and Linking Obstructions
• The Alexander Horned Sphere, Wild Embeddings and Tame Complements
• Čech Cohomology, Leray Covers and Sheaf Acyclicity
• Morse–Bott Functions, Critical Submanifolds and Handle Attachments

Authoritative reading

• Smith, Transformations of finite period
• Smith, Transformations of finite period II
• Smith, Permutable periodic transformations
• Transformation Groups, homological theory of finite group actions