I’d like to take a break from the previous homotopy-theoretic series of posts and do something a bit more geometric here. I’ll describe the classical Atiyah-Bott fixed point formula for an elliptic complex and one of the applications in the paper. The ultimate goal is for me to understand some of the more recent rigidity results for genera.

**1. The Atiyah-Bott fixed point formula**

Let be a compact manifold, and suppose given an endomorphism with finitely many fixed points. The classical *Lefschetz fixed-point formula* counts the number of fixed points via the supertrace of the action of on cohomology . In other words, if is the fixed point set, we have

where is a sign related to the determinant of at .

Using the de Rham isomorphism, the groups are identified with the cohomology of a complex of sections of bundles

This is an example of an *elliptic* complex of differential operators: in other words, when one takes the symbol sequence at a nonzero cotangent vector, the induced map of vector spaces is exact. It is a consequence of this that the cohomology groups are finite-dimensional.

The Atiyah-Bott fixed point formula is a striking generalization of the previous fact. Consider an elliptic complex of differential operators on ,

where the are vector bundles over . The cohomology groups of this complex are finite-dimensional and provide a generalization (not much of a generalization, actually) of the index of an elliptic operator; they thus often hold significant geometric information about . (more…)