Verallgemeinerung des Fixpunktsatzes von Lefschetz.

Es sei M eine kompakte und differenzierbare Mannigfaltigkeit ohne Rand und f : M → M eine differenzierbare Abbildung, die nur einfache Fixpunkte besitzt, das heißt

\begin{eqnarray}\det (1-d{f}_{p})\ne 0,\end{eqnarray}

wobei df_p das Differential von f im Punkt p ist. Es gebe nur endlich viele Fixpunkte von ƒ. Weiterhin existiere ein elliptischer Komplex ϵ über M, also

\begin{eqnarray}\varepsilon :0\to \Gamma ({E}_{0}){\to }^{{d}_{0}}\Gamma ({E}_{1}){\to }^{{d}_{1}}\cdots \\ \phantom{\varepsilon :0}{\to }^{{d}_{l-1}}\Gamma ({E}_{l})\to 0\end{eqnarray}

und eine Folge glatter Vektorbündelhomomorphismen

\begin{eqnarray}{\varphi }_{i}:f* {E}_{i}\to {E}_{i}\end{eqnarray}

für i = 0,…, l, so daß

\begin{eqnarray}{d}_{i}{T}_{i}={T}_{i+1}{d}_{i}\end{eqnarray}

für jedes i gilt. Dabei ist T_i : Γ(E_i) → Γ(E_i) definiert durch

\begin{eqnarray}{T}_{i}s(x)={\varphi }_{i}s(f(x))\text{\hspace{1em}}\text{für}\text{\hspace{1em}}s\in {\rm{\Gamma }}({E}_{i}).\end{eqnarray}

Die Folge T = (T_i) induziert Endomorphismen H_i(Т) der Homologiegruppe Hⁱ(ϵ) des elliptischen Komplexes ϵ.

Man definiert nun die Lefschetz-Zahl L(T) durch

\begin{eqnarray}L(T)=\displaystyle \sum _{i=0}^{l}\text{tr}{H}^{i}(T).\end{eqnarray}

Für einen Fixpunkt p von f sei ϕ_i,p : E_i,p → E_i,p die Restriktion von ϕ_i auf die Faser E_i,p von E_i über p. Dann gilt der folgende Satz:

Unter den oben aufgeführten Voraussetzungen gilt:

\begin{eqnarray}L(T)=\displaystyle \sum _{p}\frac{\displaystyle \sum _{i=0}^{l}{(-1)}^{i}\text{tr}{\varphi }_{i,p}}{|\det (1-d{f}_{p})|},\end{eqnarray}

wobei über die Fixpunkte ρ von f summiert wird.