Odtnhj

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 to itself by means of traces of the induced mappings on the homology groups of 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→Xdisplaystyle f:Xrightarrow X,

be a continuous map from a compact triangulable space X to itself. Define the Lefschetz number Λ_f of f by

Λf:=∑k≥0(−1)kTr(f∗|Hk(X,Q)),displaystyle Lambda _f:=sum _kgeq 0(-1)^kmathrm Tr (f_*

the alternating (finite) sum of the matrix traces of the linear maps induced by f on the H_k(X,Q), the singular homology of X with rational coefficients.

A simple version of the Lefschetz fixed-point theorem states: if

Λf≠0displaystyle Lambda _fneq 0,

then f has at least one fixed point, i.e. there exists at least one x in X such that 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 has a fixed point as well.

Note however that the converse is not true in general: Λ_f may be zero even if f has fixed points.

Sketch of a proof

First, by applying the simplicial approximation theorem, one shows that if f has no fixed points, then (possibly after subdividing X) 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 must be 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 has only finitely many fixed points, then

∑x∈Fix(f)i(f,x)=Λf,displaystyle sum _xin mathrm Fix (f)i(f,x)=Lambda _f,

where Fix(f) is the set of fixed points of f, and i(f,x) denotes the index of the fixed point x.^[1] From this theorem one deduces the Poincaré–Hopf theorem for vector fields.

Relation to the Euler characteristic

The Lefschetz number of the identity map on a finite CW complex can be easily computed by realizing that each f∗displaystyle scriptstyle f_ast can be thought of as an identity matrix, and so each trace term is simply the dimension of the appropriate homology group. Thus the Lefschetz number of the identity map is equal to the alternating sum of the Betti numbers of the space, which in turn is equal to the Euler characteristic χ(X). Thus we have

Λid=χ(X). displaystyle Lambda _mathrm id =chi (X).

Relation to the Brouwer fixed point theorem

The Lefschetz fixed point theorem generalizes the Brouwer fixed point theorem, which states that every continuous map from the n-dimensional closed unit disk Dⁿ to Dⁿ must have at least one fixed point.

This can be seen as follows: Dⁿ is compact and triangulable, all its homology groups except H₀ are 0, and every continuous map f : Dⁿ → Dⁿ induces the identity map f_* : H₀(Dⁿ, Q) → H₀(Dⁿ, Q) whose trace is one; all this together implies that Λ_f is non-zero for any continuous map f : Dⁿ → Dⁿ.

Historical context

Lefschetz presented his fixed point theorem in [Lefschetz 1926]. Lefschetz's focus was not on fixed points of mappings, but rather on what are now called coincidence points of mappings.

Given two maps f and g from an orientable manifold X to an orientable manifold Y of the same dimension, the Lefschetz coincidence number of f and g is defined as

Λf,g=∑(−1)kTr(DX∘g∗∘DY−1∘f∗),displaystyle Lambda _f,g=sum (-1)^kmathrm Tr (D_Xcirc g^*circ D_Y^-1circ f_*),

where f_∗ is as above, g^∗ is the mapping induced by g on the cohomology groups with rational coefficients, and D_X and D_Y are the Poincaré duality isomorphisms for X and Y, respectively.

Lefschetz proves that if the coincidence number is nonzero, then f and g have a coincidence point. He notes in his paper that letting X = Y and letting g be the identity map gives a simpler result, which we now know as the fixed point theorem.

Frobenius

Let Xdisplaystyle X, be a variety defined over the finite field kdisplaystyle k with qdisplaystyle q elements and let X¯displaystyle bar X be the lift of Xdisplaystyle X, to the algebraic closure of kdisplaystyle k. The Frobenius endomorphism (often just the Frobenius), notation Fqdisplaystyle F_q, of X¯displaystyle bar X maps a point with coordinates x1,…,xndisplaystyle x_1,ldots ,x_n to the point with coordinates x1q,…,xnqdisplaystyle x_1^q,ldots ,x_n^q (i.e. Fqdisplaystyle F_q is the geometric Frobenius). Thus the fixed points of Fqdisplaystyle F_q are exactly the points of Xdisplaystyle X with coordinates in kdisplaystyle k, notation for the set of these points: X(k)displaystyle X(k). The Lefschetz trace formula holds in this context and reads:

#X(k)=∑i(−1)itr⁡Fq|Hci(X¯,Qℓ).H_c^i(bar X,mathbb Q_ell ).

This formula involves the trace of the Frobenius on the étale cohomology, with compact supports, of X¯displaystyle bar X with values in the field of ℓdisplaystyle ell -adic numbers, where ℓdisplaystyle ell is a prime coprime to qdisplaystyle q.

If Xdisplaystyle X is smooth and equidimensional, this formula can be rewritten in terms of the arithmetic Frobenius Φqdisplaystyle Phi _q, which acts as the inverse of Fqdisplaystyle F_q on cohomology:

#X(k)=qdim⁡X∑i(−1)itr⁡Φq−1|Hi(X¯,Qℓ).H^i(bar X,mathbb Q_ell ).

This formula involves usual cohomology, rather than cohomology with compact supports.

The Lefschetz trace formula can also be generalized to algebraic stacks over finite fields.

See also

• Fixed point theorems


• Lefschetz zeta function


• Holomorphic Lefschetz fixed-point formula

Notes

References

• 
  Solomon Lefschetz (1926). "Intersections and transformations of complexes and manifolds". Trans. Amer. Math. Soc. 28 (1): 1–49. doi:10.2307/1989171.
  


• 
  Solomon Lefschetz (1937). "On the fixed point formula". Ann. of Math. 38 (4): 819–822. doi:10.2307/1968838.
  

External links

• 
  Hazewinkel, Michiel, ed. (2001) [1994], "Lefschetz formula", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4