Atiyah-Bott fixed-point theorem

The Atiyah-Bott fixed-point theorem computes an alternating trace on the cohomology of an elliptic complex from local data at fixed points. In the isolated, nondegenerate case, let $f:M\to M$ be a smooth map of a closed smooth manifold, with compatible lifts ${\varphi }_i:f^{\ast }{E}_i\to E_i$ commuting with the complex's differential operators. If $\det (1-d{f}_x)\ne 0$ at every fixed point, thenThe lifts, not just the map of the base, determine the action.^[ref]

For the de Rham complex and reflection of a circle, there are two fixed points with derivative $-1$. At each, the alternating fibre trace is $1-(-1)=2$ and the denominator is two, giving local contribution one. Globally the induced actions on $H^0$ and $H^1$ are $1$ and $-1$, so both sides equal two. The holomorphic Lefschetz fixed-point formula applies the same idea to holomorphic complexes.