What is the best homology/cohomology theory for the Lefschetz fixed point theorem? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T01:26:54Z http://mathoverflow.net/feeds/question/76362 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/76362/what-is-the-best-homology-cohomology-theory-for-the-lefschetz-fixed-point-theorem What is the best homology/cohomology theory for the Lefschetz fixed point theorem? Will Sawin 2011-09-25T20:37:43Z 2011-11-03T06:15:00Z <p><strong>Short version:</strong> 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?</p> <p><strong>Potential answer:</strong> Is the the theorem true for Cech cohomology on all T3 compact spaces?</p> <p><strong>Intuition:</strong> Suppose there is a continuous map from a topological space X to itself. Does this have a fixed point?</p> <p>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\$.</p> <p>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.</p> <p>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.</p> <p>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.</p> <p><strong>Edit:</strong> 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.</p> http://mathoverflow.net/questions/76362/what-is-the-best-homology-cohomology-theory-for-the-lefschetz-fixed-point-theorem/79899#79899 Answer by Greg Kuperberg for What is the best homology/cohomology theory for the Lefschetz fixed point theorem? Greg Kuperberg 2011-11-03T06:15:00Z 2011-11-03T06:15:00Z <p>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 <a href="http://mathoverflow.net/questions/59796" rel="nofollow">in another MO question</a>, 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.</p> <p>One possible answer for the natural generality of the Lefschetz fixed point theorem is the version that Lefschetz himself proved: For compact spaces that are ANRs (absolute neighborhood retracts). ANRs are nicely approximable by simplicial complexes in a certain sense, and actually for <a href="http://projecteuclid.org/DPubS?verb=Display&amp;version=1.0&amp;service=UI&amp;handle=euclid.mmj/1028998187&amp;page=record" rel="nofollow">compact ANRs Cech and singular cohomology</a> always agree. If you accept Lefschetz's level of generality, then the quest to generalize his fixed point theorem beyond singular cohomology looks a bit self-defeating. Still, there is something in the literature of fixed-point theory called a "Lefschetz space" which is simply directly assumed to satisfy some version of his theorem.</p> <p>I also wouldn't call Čech cohomology "extraordinarily simple". Like many other definitions of (co)homology, it really comes down to constructing a simplicial complex or a simplicial set, or in this case an inverse system of them, and then using simplicial (co)homology. That's not really all that simple. Also using open covers to build simplicial complexes is a brilliant idea, but not a perfect idea. Actually the message of the examples of Kinoshita and Borsuk and others (including one by my mother, that there can't be a Čech Hurewicz theorem) is that there can't be one perfect cohomology theory in topology, not even for compact, connected Hausdorff spaces. Maybe Čech cohomology is still arguably the best, but it isn't even dual (in the sense of universal coefficients) to any reasonable homology theory.</p> <p>One of the beautiful aspects of de Rham cohomology, even though it is defined only for smooth manifolds and real coefficients (or generalizations of real coefficients), is that it truly doesn't use simplicial complexes or simplicial sets, only calculus. In fact only that partial derivatives commute. Generality is not the virtue that trumps all others.</p>