Alphabeta Math
CorollaryStatement: Literature-sourcedProof: Literature-sourcedPipeline-generatedprecheck pass
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The Lefschetz number of the identity is the Euler characteristic

Statement

Assume AC (The Axiom of Choice). Let M be a closed smooth n-manifold. Then L(idM)=χ(M), the Euler characteristic of Euler characteristic of a compact manifold. Consequently every smooth self-map of a closed smooth manifold homotopic to the identity has Lefschetz number χ(M).

Facts & Assumptions

Given: A closed smooth n-manifold M.

[F1]

L(f)=∑i=0n(−1)itr⁡(f∗:Hi(M;Q)→Hi(M;Q)), and the identity map induces the identity on homology (Algebraic Lefschetz number via rational homology traces).

[F2]

χ(M)=∑i=0n(−1)idim⁡QHi(M;Q), a finite sum because the rational homology is finite-dimensional and vanishes above degree n (Euler characteristic of a compact manifold, Finiteness and additivity of the Euler characteristic clause (i)).

[L1]

Homotopic maps have equal Lefschetz numbers (The Lefschetz number is a homotopy invariant), and on the scope of Lefschetz-Hopf index formula the Lefschetz number equals the geometric index sum of a smooth map with isolated fixed points.

Proof

1.1givenF1F2

The identity's traces. By [F1] the induced map (idM)∗ is the identity of Hi(M;Q) for each i, so tr⁡((idM)∗)=dim⁡QHi(M;Q); therefore L(idM)=∑i(−1)idim⁡QHi(M;Q), the same finite alternating sum that defines χ(M) in [F2]. Hence L(idM)=χ(M).

2.1step 1.1L1∎

Maps homotopic to the identity. If f is smooth and homotopic to idM, then L(f)=L(idM)=χ(M) by [L1] and step 1.1. When in addition dim⁡M≥1 and f has isolated fixed points, the same number is the geometric index sum I(f), which is how the identity's Lefschetz number is recovered geometrically by a small perturbation of the identity. For nonempty M with n≥1, every point is fixed by idM and no point is isolated, so its geometric index sum is not defined directly. If M=∅ and n≥1, the identity has no fixed points and I(idM)=0=L(idM)=χ(M).

Depends on

Used by

Dependency tree · two levels

47 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources