82
$\begingroup$

This question has bugged me for a long time. Is there a unifying concept behind everything that is called a "cohomology theory"?

I know that there exist generalized cohomology theories, Weil cohomology theories and perhaps one might include delta-functors, which describe (some of) the properties of explicit cohomology theories. But is there now a concept that underlies all these concepts? Or has the term "cohomology theory" been used so inflationary that the best thing one could say is that a cohomology theory is a sequence of functors into an "algebraic category" (whatever that is)?

Moreover, what is the difference between a cohomology theory and a homology theory? Of course I am aware of the examples like singular (co-)homology and I know the difference in this situation, but in general?

$\endgroup$
2
  • 16
    $\begingroup$ This is the biggest slam dunk I have ever experienced on MathOverflow. I logged on intending to ask this very question, found it was already asked, and found that Urs's answer was exactly the sort of mind-blowing answer I was hoping for! $\endgroup$
    – Tim Campion
    Sep 23, 2010 at 21:26
  • $\begingroup$ homotopical.files.wordpress.com/2014/06/ctsaghandout.pdf Cohomology theories in motivic stable homotopy theory, A Holmstrom. $\endgroup$
    – tttbase
    May 17, 2016 at 2:52

6 Answers 6

51
$\begingroup$

I have now newly written a detailed “Idea” section at the nLab entry on cohomology, which should give a helpful overview on the observation that and how every flavor of cohomology ever considered is nothing but the study of connected components in the hom-spaces of some $(\infty,1)$-topos.

$\endgroup$
4
17
$\begingroup$

I promised to write a longer answer, but I simply don't have time this week - sorry. What I wanted to point our was that although the idea that "every flavor of cohomology ever considered is nothing but the study of connected components in the hom-spaces of some $(\infty,1)$-topos" is one of the most amazing ideas ever (imho), it is still not clear (at least to me) exactly how this works in all cases, even for abelian sheaf cohomology. For example, most people seem to believe that the right $(\infty,1)$-topos for cohomology theories in algebraic geometry should be given by A1 (or "motivic") homotopy theory, but there is nothing in the literature about representability of $p$-adic cohomology theories such as rigid cohomology. I believe this might be because there is some technical problem, but I am not sure. There are also other issues and examples which are not clear (to me!).

The other thing I wanted to do was to clarify various pieces of terminology related to cohomology in algebraic geometry, for example, "generalized cohomology" means different things in different articles, and there are many different notions of "universal cohomology". Maybe I can expand on this later.

One small remark: Motivic cohomology is usually thought of as the universal Bloch-Ogus cohomology, while the universal Weil cohomology should probably be pure motives with respect to rational equivalence ("probably", because it depends on what exactly you mean by "universal" and "Weil cohomology"). The two notions are closely related though.

(Aside: The reason I am very busy this week is that I suddenly find myself writing job applications, after essentially solving my thesis problem last week, and one of the main reasons I could solve my thesis problem was that I applied Urs' unified point of view on cohomology in a new setting.)

$\endgroup$
4
12
$\begingroup$

I'd say a cohomology theory is a misnomer. A theory really ought to be significant, make predictions, help us think about things, help us prove theorems. At some point mathematicians decided to start giving away the word "theory" for free. Newtonian mechanics, evolution, calculus -- those are theories.

Is it a lack of imagination on our part? It seems like anything that hasn't earned a proper name gets called "X theory" nowadays, for various values of X. I'm glad differential geometry was invented in a previous era. Our contemporaries would have saddled the subject with some glorious name like "geometry theory" or "G-theory".

(not exactly sure if tongue is in cheek)

$\endgroup$
6
  • 8
    $\begingroup$ I agree. "Cohomology functor" would be much better. However, we seem to be stuck with "theory"... $\endgroup$ Nov 25, 2009 at 23:30
  • 9
    $\begingroup$ I disagree. Most impprtant examples of cohomology theories like K-theory for example were not defined and established in 2-line slick modern functorial definitions but created in large works and they all did and do have big applications in their fields. I do not see a difference between infinitesimal calculus and say de Rham cohomology theory as being frameworks with purpose, grandior structure and infinite possibilities for futher development and application... $\endgroup$ Mar 2, 2010 at 1:38
  • 4
    $\begingroup$ When you mention K-theory, you're talking about a specific example. The zero functor is also a cohomology theory (with trivial coefficient group). The zero functor doesn't tell us anything. So why call it a theory? IMO "trivial theory" should be an oxymoron. $\endgroup$ Mar 2, 2010 at 1:55
  • 35
    $\begingroup$ Yes, there is something silly about the "theory" in "K-theory". On the other hand, there is something silly about the "K", too. $\endgroup$ Jun 13, 2010 at 4:25
  • 12
    $\begingroup$ For me, the point is that the word "theory", whether referring to a trivial entity or not, should NOT be attached to a definite mathematical object (such as an abelian group or a functor), but to a collection of methods, heuristics and theorems that may help to understand that object (or other objects). The word "K-theory" should not refer to a functor, but to the study of the functor that associates to a space its "K-group". [An exception would occur in Mathematical Logic, in which you want to talk of "theories" as definite mathematical objects] $\endgroup$
    – Qfwfq
    Apr 14, 2011 at 12:32
9
$\begingroup$

Urs Schreiber has already addressed parts of this question here. There's lots of good stuff to mine through in the nLab entry on cohomology.

$\endgroup$
2
  • 6
    $\begingroup$ +1 for 2 n-lab links! $\endgroup$ Nov 20, 2009 at 12:13
  • 2
    $\begingroup$ Well, one of them is a mathoverflow link, but Urs has at least half a dozen n-lab links once you get there, so hereditarily speaking, you may be right... +1 for the mathoverflow link. It's good to have these related posts linked together. $\endgroup$
    – Tim Campion
    Sep 23, 2010 at 21:37
1
$\begingroup$

A complementary answer to Kevin's that is provided by the interpretation of motivic cohomology as a "mother of all cohomology theories in algebraic geometry".

$\endgroup$
5
  • 1
    $\begingroup$ This is a (the?) universal Weil cohomology theory, right? So all this is just about this particular kind of cohomology theories!? $\endgroup$
    – user717
    Nov 19, 2009 at 17:26
  • 5
    $\begingroup$ -1 for using wikipedia instead of the n-lab (NOT serious) $\endgroup$ Nov 20, 2009 at 12:14
  • 36
    $\begingroup$ Well, sometimes Wikipedia is better if you don't know what an (\infty,1)-category is, because the number of entries in nlab you can read without knowing this is close to 0 :) (serious) $\endgroup$
    – user717
    Nov 20, 2009 at 16:09
  • 7
    $\begingroup$ Arminius is right. I've never had any real need for category theory beyond understanding the words "morphism" and "functor", and the nlab is completely opaque to me. $\endgroup$ Jun 4, 2010 at 17:33
  • 6
    $\begingroup$ @Steve perhaps you wanted the 1-lab instead.... :-) $\endgroup$
    – David Roberts
    Mar 14, 2018 at 3:34
0
$\begingroup$

One can give a unified meaning to "cohomology theories" on any ground category by making use of a canonical axiomatic setting: families of functors with values in suitable target categories satisfying appropriate axioms. The richness of the theory shall depends on the geometric properties of the ground category. It's a fact proven in the paper Universal cohomology theories that we may also get universal ones: universal Eilenberg-Steenrod homology for spaces or schemes, see On topological motives and most likely, universal Weil cohomology, after A universal rigid abelian tensor category, e.g see B. Kahn's lecture

$\endgroup$
1
  • 2
    $\begingroup$ Is that really unified -- where is Khovanov homology, for example? $\endgroup$ Mar 22, 2023 at 19:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.