# What is the best homology/cohomology theory for the Lefschetz fixed point theorem?

Short version: One can define a version of the Lefschetz fixed point theorem using any homology or cohomology theory. All versions will be true on some topological spaces, since they agree on some topological spaces, but some might be true more generally than others. If two versions have the same generality, one might be more exact, and make stronger statements. Under this criterion of goodness, which one is best?

Potential answer: Is the the theorem true for Cech cohomology on all T3 compact spaces?

Intuition: Suppose there is a continuous map from a topological space X to itself. Does this have a fixed point?

This is an extraordinarily elementary question. It makes sense to ask this question about any topological space. Yet the tools that are typically used to answer it are usually very specific, referring to special topological spaces like $\mathbb R^n$.

The Lefschetz fixed point theorem is a powerful result in this area. It is usually defined in terms of singular homology, which is not an elementary construction at all. But one could easily use another homology or cohomology theory to calculate the matrix chases and, thereby, the number of fixed points.

In particular Cech cohomology seems extraordinarily elementary, being defined entirely in terms of open sets and their intersections. Therefore, one would expect Cech cohomology to be the best one.

Consider, as an example, the topologist's sine curve. All maps from it to itself have a fixed point. But under singular homology it has characteristic 2, not 1. Cech gives characteristic 1 and is thus more exact.

Edit: I'm more interested in the weak than the strong version of the theorem, because the weak version is presumably more generalizable. I'm interested in any sort of information that compares the theorem in different theories even if it doesn't fall into a strict/better worse dichotomy.

-
Will -- which Lefschetz fixed point theorem do you have in mind? There is a weak version that says that if the trace is not 0, then there are fixed points. There is a stronger version, which explicitly gives the contribution of each component of the fixed point set. I think it is somewhere in Dold's lectures on algebraic topology. – algori Sep 25 '11 at 21:26
Defining the strong version in higher generality seems hard. I'm more interested in the weak version, but if anyone knows anything about the strong version, I'm listening. – Will Sawin Sep 25 '11 at 22:24
Why do you think there should be a best one? It seems your question is a bit vague, in that your "goodness" relation does not seem to be a partial order. – Ryan Budney Sep 25 '11 at 22:55
I can see why it's not a complete order, but it's hard to see why it's not a partial order. De Rham cohomology, for instance, is not very general at all. If some theories are better in some cases and others are better than others, I would like to know what those cases are. – Will Sawin Sep 26 '11 at 0:54
Will -- I think one can adapt the argument from SGA 5, expos\'e 3 to show that the weak form of the theorem holds for any compact space such that the constant $\mathbb{Q}$-sheaf has a finite injective resolution. Maybe I'll try to write some details of find a reference later. In the mean time here are some refs: Borel et al, Intersection cohomology, Birkh\"auser; Goresky-MacPherson, Local contributions to Lefschetz formula, Inventiones 199?. – algori Sep 28 '11 at 15:56

To answer your specific question about compact T3 spaces: First of all, every compact Hausdorff space (T2 space) is automatically a T4 space (a Hausdorff normal space). In the literature one usually says "compact Hausdorff space". A continuum is a compact, connected, metrizable Hausdorff space. There is a famous example of Kinoshita, described in another MO question, of a contractible continuum that has a fixed-point-free self-map. It even embeds in $\mathbb{R}^3$. So, no Lefschetz fixed point theorem in this generality. As that MO question also explains, Borsuk earlier found Cech-acyclic examples.
Well that pretty clearly answered my question. I guess I'll take a look at those sources and update my intuitions. The way one defines Cech cohomology in etale cohomology, doesn't use simplicial complexes and is a bit more natural, I think. If you carry it over to this context, we're just finding maps between the groups of locally constant functions on the $n$th fibered tensor power of the open cover, viewed as a map of topological spaces. I'm not 100% sure it works though. de Rham cohomology is very elegant if you already have calculus, but you do have to invent calculus to use it. – Will Sawin Nov 3 '11 at 21:48