Lefschetz fixed-point theorem

Key takeaways

Lefschetz fixed-point theorem belongs to mathematics; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Lefschetz fixed-point theorem to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Lefschetz fixed-point theorem from memory before moving on to harder problems.

Reference excerpt

In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X {\displaystyle X} to itself by means of traces of the induced mappings on the homology groups of X {\displaystyle X} . It is named after Solomon Lefschetz, who first stated it in 1926. The counting is subject to an imputed multiplicity at a fixed point called the fixed-point index. A weak version of the theorem is enough to show that a mapping without any fixed point must have rather special topological properties (like a rotation of a circle).

Formal statement For a formal statement of the theorem, let

f : X → X {\displaystyle f\colon X\rightarrow X\,}

be a continuous map from a compact triangulable space X {\displaystyle X} to itself. Define the Lefschetz number Λ f {\displaystyle \Lambda _{f}} of f {\displaystyle f} by

Λ f := ∑ k ≥ 0 ( − 1 ) k t r ( H k ( f , Q ) ) , {\displaystyle \Lambda _{f}:=\sum _{k\geq 0}(-1)^{k}\mathrm {tr} (H_{k}(f,\mathbb {Q} )),}

the alternating (finite) sum of the matrix traces of the linear maps induced by f {\displaystyle f} on H k ( X , Q ) {\displaystyle H_{k}(X,\mathbb {Q} )} , the singular homology groups of X {\displaystyle X} with rational coefficients. A simple version of the Lefschetz fixed-point theorem states: if

Λ f ≠ 0 {\displaystyle \Lambda _{f}\neq 0\,}

then f {\displaystyle f} has at least one fixed point, i.e., there exists at least one x {\displaystyle x} in X {\displaystyle X} such that f ( x ) = x {\displaystyle f(x)=x} . In fact, since the Lefschetz number has been defined at the homology level, the conclusion can be extended to say that any map homotopic to f {\displaystyle f} has a fixed point as well. Note however that the converse is not true in general: Λ f {\displaystyle \Lambda _{f}} may be zero even if f {\displaystyle f} has fixed points, as is the case for the identity map on odd-dimensional spheres. The same conclusion could be obtained for any compact ANR, in particular any compact topological manifold. The basic ingredient behind this extension is that compact ANRs are homotopy equivalent to finite simplicial complexes.

Sketch of a proof First, by applying the simplicial approximation theorem, one shows that if f {\displaystyle f} has no fixed points, then (possibly after subdividing X {\displaystyle X} ) f {\displaystyle f} is homotopic to a fixed-point-free simplicial map (i.e., it sends each simplex to a different simplex). This means that the diagonal values of the matrices of the linear maps induced on the simplicial chain complex of X {\displaystyle X} must all be zero. Then one notes that, in general, the Lefschetz number can also be computed using the alternating sum of the matrix traces of the aforementioned linear maps (this is true for almost exactly the same reason that the Euler characteristic has a definition in terms of homology groups; see below for the relation to the Euler characteristic). In the particular case of a fixed-point-free simplicial map, all of the diagonal values are zero, and thus the traces are all zero.

Lefschetz–Hopf theorem A stronger form of the theorem, also known as the Lefschetz–Hopf theorem, states that, if f {\displaystyle f} has only finitely many fixed points, then

∑ x ∈ F i x ( f ) i n d ( f , x ) = Λ f , {\displaystyle \sum _{x\in \mathrm {Fix} (f)}\mathrm {ind} (f,x)=\Lambda _{f},}

… excerpt ends here. Continue reading the full article.

Worked examples

Example 1 — a first encounter with Lefschetz fixed-point theorem

Start with the simplest possible case. Write down what Lefschetz fixed-point theorem claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In mathematics, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Lefschetz fixed-point theorem before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Lefschetz fixed-point theorem ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Lefschetz fixed-point theorem

In research: Lefschetz fixed-point theorem appears in mathematics research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Lefschetz fixed-point theorem in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Lefschetz fixed-point theorem is common in secondary-school and first-year university syllabi. It links to neighbouring topics Fixed-point theorems, Theorems in algebraic topology, Theory of continuous functions, so understanding it makes those chapters shorter.
In everyday life: Look for Lefschetz fixed-point theorem outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

How to study Lefschetz fixed-point theorem in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Lefschetz fixed-point theorem means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Lefschetz fixed-point theorem out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Lefschetz fixed-point theorem in simple terms?

In mathematics, the Lefschetz fixed-point theorem is a formula that counts the fixed points of a continuous mapping from a compact topological space X {\displaystyle X} to itself by means of traces of the induced mappings on the homology groups of X {\displaystyle X} . It is named after Solomon Lef…

Why does Lefschetz fixed-point theorem matter?

Because it connects several mathematics ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Lefschetz fixed-point theorem?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Lefschetz fixed-point theorem.