Find the mechanism before the formula
The Lefschetz number adds all fixed-point indices into one integer. The Reidemeister trace keeps the index of each algebraically labelled fixed-point class, so cancellations no longer erase the information needed to detect which classes survive homotopy.
We will build the labels from lifts and twisted conjugacy, calculate a degree-three circle map, recover the Lefschetz number by augmentation, transfer the example to degree one, and mark the conventions and hypotheses that prevent false class counts.
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.
| Route | Chapters | Use it when |
|---|---|---|
| 1 | 1–3 | You need lifts, twisted conjugacy and class indices. |
| 2 | 4–5 | You want the worked circle calculation. |
| 3 | 6–8 | You need Lefschetz, Nielsen and chain-trace connections. |
| 4 | 9–10 | You must handle conventions and limits. |
| 5 | 11–12 | You want FAQs and a reproducible class-detection checklist. |
Chapter contents
Open the group you need, then use the chapter links. Teaching sections remain open on the page.
Build the model
Test the mechanism
1. Lifts separate fixed points before indices are added
Let f:X→X be a self-map of a connected compact polyhedron with universal cover p:X̃→X. Choose a lift f̃. Other lifts are obtained by composing f̃ with deck transformations. The projected fixed sets of these lifts partition the fixed points of f into fixed-point classes.
Changing the chosen basepoint or lift relabels the classes but does not change the underlying invariant. Calculations must nevertheless state the convention, because the written group elements depend on it.
- Choose a basepoint and lift.
- State the deck-action side.
- Record the induced homomorphism f* on π₁.
- Keep empty Reidemeister classes distinct from realised fixed-point classes.
2. Twisted conjugacy is the algebra of lift equivalence
Let φ=f* act on the fundamental group π. Under one common convention, elements α and β label the same Reidemeister class when β=γαγ−1 with the final factor twisted by φ; equivalently β=γαφ(γ)−1. Other left-versus-right conventions write an inverse-looking relation.
When φ is the identity, the relation reduces to ordinary conjugacy. When π is abelian, it becomes a quotient by the image of 1−φ. The quotient set is written R(φ), and its cardinality may be finite or infinite.
3. The Reidemeister trace retains one coefficient per class
Each fixed-point class has a fixed-point index. The Reidemeister trace is the formal sum of those indices over the corresponding twisted-conjugacy labels. Zero-index classes may be present geometrically but contribute no coefficient; nonzero coefficients identify essential classes.
This is a refinement of the Lefschetz number. Instead of adding all signed indices immediately, it preserves their class locations in a free abelian group or an equivalent Hochschild-homology description.
| Invariant | What it retains | What it can miss |
|---|---|---|
| Fixed-point count | all observed points | homotopy cancellation |
| Lefschetz number | sum of all indices | which classes cancelled |
| Reidemeister trace | index by class label | inessential zero-index geometry |
| Nielsen number | number of nonzero classes | index magnitudes and labels |
4. Worked example: degree three on the circle
Take f:S¹→S¹, f(z)=z³. The fundamental group is Z and φ(n)=3n. Because the group is abelian, Reidemeister classes form Z/(1−3)Z=Z/2Z. There are two labels, represented by 0 and 1.
The fixed equation z³=z gives z²=1, so the standard map has two fixed points, +1 and −1. They lie in different Reidemeister classes. For this orientation-preserving degree-three map, each isolated fixed point has index −1, giving trace −[0]−[1] under the chosen labels.
5. Augmentation recovers the Lefschetz number
The augmentation map forgets class labels and adds coefficients. Applied to −[0]−[1], it gives −2. Homology gives the same result: L(f)=tr on H₀ minus tr on H₁=1−3=−2.
This agreement is an essential audit. If the Reidemeister coefficients do not sum to the Lefschetz number, the lift convention, local indices or class assignments are inconsistent. The converse is weaker: a correct sum can still hide two incorrectly merged classes.
6. Nonzero coefficients detect essential Nielsen classes
A fixed-point class is essential when its index is nonzero. The Nielsen number N(f) counts essential classes and is a homotopy-invariant lower bound for the number of fixed points among maps homotopic to f. In the degree-three example, both coefficients are nonzero, so N(f)=2.
The Reidemeister set can contain labels with no fixed points, and realised classes can have index zero. Therefore the Reidemeister number R(φ), the number of possible labels, need not equal N(f). The trace decides which labels carry essential index.
7. Class labels prevent false cancellation
Suppose two classes have indices +1 and −1. Their Lefschetz number is zero, so the global sum gives no fixed-point conclusion. The Reidemeister trace [a]−[b] remains nonzero when a and b are distinct, and the Nielsen number is two.
If the same two local contributions belonged to one class, they could sum to zero within that class. Distinguishing the twisted-conjugacy labels is therefore not decorative group theory; it determines whether cancellation is local to a deformable class or occurs between classes that homotopy cannot merge.
8. A chain-level trace computes the same invariant
Lift a cellular chain complex of X to the universal cover. The induced chain maps have matrices with entries in the group ring Zπ. Taking the alternating trace and then projecting group elements to twisted-conjugacy classes produces the algebraic Reidemeister trace.
A Nielsen–Reidemeister theorem identifies this chain trace with the geometric sum of class indices under standard compactness and finiteness hypotheses. This gives two independent routes: local fixed-point data and algebraic cellular data.
9. Transfer check: degree one changes the conclusion
For a degree-one circle map, φ(n)=n and the quotient Z/(1−1)Z is infinite. The identity map fixes every point, but its fixed set is not isolated and its Lefschetz number is zero. It is homotopic to a nontrivial rotation with no fixed points.
The relevant Nielsen number is zero, and the Reidemeister trace vanishes even though one representative has infinitely many fixed points. This separates a homotopy obstruction from the geometry of a particular map. An infinite Reidemeister set does not mean infinitely many essential fixed-point classes.
10. Limits and misconceptions
- Twisted-conjugacy formulas change appearance with left and right action conventions.
- The Reidemeister number counts labels, not automatically realised or essential classes.
- Augmentation recovers Lefschetz data but loses class separation.
- A zero trace does not mean the displayed map has no fixed points.
- Non-isolated fixed sets need index theory beyond a derivative sign.
- Periodic-point theory requires compatible data across iterates.
Universal-cover language is clean for connected spaces with suitable covering theory. Groupoids, disconnected spaces, coincidences and parametrised settings require corresponding generalisations.
11. Frequently asked questions
Why is the relation called twisted conjugacy?
Ordinary conjugacy uses γαγ⁻¹. Here the final γ is first transformed by φ, so the self-map twists one side of the relation.
Does every Reidemeister class contain a fixed point?
No. Reidemeister classes are algebraic labels for lift classes. Only some may be realised, and only realised classes with nonzero index are essential.
Can the trace be computed without locating fixed points?
Often yes. A cellular chain calculation over the group ring can produce the trace, but the induced maps and projection to twisted classes still require careful algebra.
12. A reproducible Reidemeister-trace checklist
| Stage | Evidence to retain |
|---|---|
| Space | connected compact model and universal cover |
| Lift | basepoint and deck-action convention |
| Group | π₁ and induced homomorphism |
| Classes | twisted-conjugacy representatives |
| Indices | coefficient for each realised class |
| Checks | augmentation, Lefschetz and Nielsen comparison |
The gold standard is to compute one quotient of π₁, attach local indices to its labels and verify the augmented sum independently. The refinement matters precisely when a single integer would allow distinct classes to cancel.
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
- Lefschetz Fixed-Point Theory, Local Indices and Nielsen Lower Bounds
- Smith Theory, Fixed-Point Sets and Mod-p Group Actions
- Morse–Bott Functions, Critical Submanifolds and Handle Attachments