Generalized Homology Theories July 2, 2008Posted by Chris Schommer-Pries in Algebraic Topology, Elliptic Cohomology, Requests.
Tags: Algebraic Topology, Generalized Homology
Maybe you could explain a bit about elliptic cohomology and topological modular forms…
and Thomas Riepe:
I would be curious about learning more on:
“… many constructions of classical algebra (eg, the theory of modular forms) are beginning to be seen to have deep homotopy-theoretic foundations.”…
Since this is somewhat related to some of my research, I have been recruited volunteered to talk about these things. The problem is that this is a Huge subject and a difficult subject and there is no way to adequately represent it in blog form. On the other hand it is a beautiful subject, filled with lots of exciting tidbits. Why not give it a go anyway, right?
I don’t know about you, but whenever I learn a big subject I find it much easier to understand if it is organized into sensible pieces. I’m going to try to do that on this blog, and the first sensible piece/topic is going to be generalized (co)-homology theories and why we should love them. Really I’m just going to ramble on about them and give some examples. The part about loving them will come later. In fact I won’t even talk about elliptic cohomology or TMF. These are examples of generalized cohomology theories which will come later.
I’m going to assume that if you’re reading this, you’ve had a semester or two of algebraic topology (or are ambitious enough to teach yourself some of it). If you remember there are probably three things you studied/calculated: homotopy groups, homology, and cohomology. Each of these is a family of functors, one for each integer. The homology/cohomology functors and most of the homotopy functors take values in abelian groups (or the opposite category of abelian groups). A generalized homology theory is going to be the same kind of thing: a functor
But before talking about generalized homology let me ask you a question. Why do we like homology better then homotopy? Here’s a hint. What are the homology groups of ? There is a in dimension 2 and the rest are zero (I’m basically going to use reduced homology theories since it makes a few of the things I want to say easier). Okay, how about the homotopy groups of the 2-sphere? No body knows these.
Let’s do another example. Consider . This is a space where we know all the homotopy groups. It has a in dimension 2 and the rest is trivial. This is in some sense the dual of the last example. The 2-sphere has complicated homotopy and easy homology. A has complicated homology but easy homotopy. This is one manifestation of Eckmann-Hilton Duality.
The point is that while the homology of is more complicated then , it is not that complicated. Homology is computable. You probably had an exercise in your topology class where you compute the homology groups of this space, and with a few tricks it is not even that hard. Many people have it as a qual question (which means it doesn’t take, like, days to calculate).
So now we get to the real meat. Why? Why can we calculate with homology so easily but not homotopy?
The answer of course is that we have the Mayer-Vietoris axiom. Conceptually, what this property says is that if we know that a space is built from smaller pieces, then we can build the homology of the space from the homology of the pieces. Effectively this makes homology computable.
Let’s recall the axioms that the homology functor satisfies: A (reduced) homology functor consists of a functor, H, from the category of (nice) based spaces to the category of Abelian groups such that,
- If is a (weak) homotopy equivalence then is an isomorphism.
- If is a cofibration then, is an exact sequence.
- For each integer q, there is a natural isomorphism,.
- If $X$ is a wedge of a set of (nice) based spaces, then the inclusions induce an isomorphism.
- if and is zero otherwise.
This formulation can be found in May’s A Concise Course in Algebraic Topology. The last axiom is known as the dimension axiom. There is a uniqueness result for such functors. Any functor satisfying these axioms is isomorphic to ordinary homology. A generalized homology theory satisfies all the above axioms except we throw out the dimension axiom (5). That’s it. The exacness axiom (2) and suspension axiom (3) imply the Mayer-Vietoris exact sequence.
Now let’s look at some examples. One example you probably know is that we can replace the group with any abelian group G we like. You can even compute it exactly like homology, e.g. take the singular chain complex with G coefficients and then take homology. You have the same uniqueness result, again, but in more general examples of homology theories this uniqueness fails. A theory is not determined by its values on .
Here is a construction which I like very much. It is the above example but with coefficients in a topological Abelian group. Let A be a topological Abelian group, to a (pointed) space M we associate a new space of configurations of points in M labeled by A. Basically we take the spaces
which we think of as n distinct points of M, each with a label from A. Then we glue these spaces together so that, for example, we can have a path consisting of two points (labeled a and b) colliding into each other (with their labels adding to a+b). Here really means we smash together the M’s and we also let labels disappear when they collide the base point, but let’s ignore this for now.
Essentially this is a “functor” which associates to each space M a new space . We can get a new functor
It turns out this is a homology theory. Basically this is a generalization of the Dold-Thom theorem. See Configuration spaces with partially summable labels and homology theories by K. Shimakawa for a discussion and proof of this and related generalizations. I should also mention some names like Dold, Thom, Segal, and probably many others.
The key observation is that this construction turns cofibrations into (quasi)-fibrations and so when we compose with the homotopy group functor we get long exact sequences. A similar argument gives the suspension axiom.
With this construction the homology of the 0-sphere is now easy to compute,
So (by the uniqueness results) this includes the previous examples. Unfortunately these theories are not much more exciting then ordinary homology.
Another more interesting example is given by K-theory, both real and complex flavors. Here the cohomology version is much easier to describe then the homology version so I will stick with that. For each n (including the negative n!) we can consider the Clifford algebras :
We have inclsions (well, at least there is a canonical isomorphism class of - bimodule…). Thus we can look at the Grothendieck group of the category of (finitely generated, graded) -modules, modulo those which come from -modules. In fact we can do this over a space M. We look at the category of bundles of -modules over M.
The resulting quotient Grothendieck group is the n-th K-theory group. A little work shows that this actually is a cohomology theory, which goes by the name KO in the real case and just K in the complex case. These two examples (real and complex) are more interesting then the previous examples. The representation theory of Clifford algebras tells us that real K-theory is 8-periodic and complex K-theory is 2-periodic. Even if you fiddle with them to get rid of the negative groups, they still don’t come from any topological abelian group as above.
Let’s take a closer look at some of these groups. For example what is the zero dimensional group (for a space M)? Well and where the imaginary is given an odd grading. Thus a -module is just a real graded vector space (graded vector bundle over M), and a -module is a complex vector space with a -grading where multiplication by is an odd automorphism (i.e. a graded vector bundle with an odd endomorphism, squaring to -1). Such vector bundles are all isomorphic to one of the form
where means the same vector space, with the opposite grading. The complex structure is given in block form by:
Passing from a -module to a -module is exactly forgetting this complex structure. So the group is exactly set of isomorphism classes of real graded vector bundles modulo those of the form . Usually a graded vector bundle W is represented as a formal difference of two (ungraded) vector bundles:
So you see we recover the usual explanation of what K-theory (in dimension zero) is supposed to be: formal differences of vector bundles. To be slightly technical, what I’ve described is really unreduced K-theory. You can get the reduced K-theory by mucking around with base points or “stabilizing” with trivial bundles. This isn’t really a big deal so I’ll ignore it (like I’ve been doing with most of the details, anyway).
We can calculate the values of a point ( of for the reduced theory):
And these repeat with order 8.
Okay on to another example of a generalized homology theory. Start with a space M. To M (and n) we associate the following group: it is the set of n-manifolds X, equipped with maps to M, modulo the following equivalence relation:
if there exists W with and a map from W to M extending the maps .
The group structure is given by disjoint union. This theory is known as unoriented bordism. (It should be called bordism because it is a homology theory. Cobordism should be the cohomology theory). There are lots of variations of this example. An obvious one is where we only use oriented manifolds, or spin manifolds, or framed manifolds. There are many other examples too. This will probably be explained in a future post.
When you first learn about homology or cohomolgy it is kinda confusing. You spend all this time defining and working with singular chains. To be honest it is kinda painful and tricky to prove all the axioms like the product axiom and MV axiom. But for bordism it is more or less straightforward. It also has an immediate geometric interpretation. A cycle in bordism is represented by an actual manifold sitting in your space! (Well at least with a map to your space).
So why don’t we all switch to using bordism instead of ordinary homology? Well here is a question, what is the value on M=point? These are manifolds with maps to the point modulo bordism. The map to a point is no data, so we can forget it. We need to classify n-manifolds up to bordism for all n! This is a tricky geometric problem. The answer is know in the unoriented case and maybe a handful of other cases.
Okay, while we’re on the topic of theories we can’t compute all of, I want to include one last example: Stable homotopy. We started out talking about how homology is nice because it satisfies Mayer-Viatoris while homotopy is not nice because it doesn’t satisfy Mayer-Vietoris. However if you stabilize, things change. The stable homotopy groups are the colimit,
where is the kth (reduced) suspension of M. It turns out this is a homology theory! There cold be a whole blog entry (books actually) just about this cohomology theory. There are a lot of ways in which this homology pops its head up. For example it is related to exotic smooth structures on spheres and it plays a role analogous to the integers in the world of homology theories. It is also a special case of the bordism theories described above. Stable homotopy groups are the same as the (stably) framed bordism groups. These are the same homology theory. Unfortunately we can’t compute the stable homotopy groups either. The world would be a lot simpler if we could.
There is a whole world of generalized cohomology theories out there. The above examples are just a biased tip of the iceberg. All of the theories I just described have some sort of geometric interpretation be it via configuration spaces, vector bundles, or bordisms in your space. Some even have geometric-quantum field theory interpretations. There are many many more homology theories out there, but most of them don’t have such a nice geometric description as these, specifically the elliptic cohomology theories and also TMF lack any geometric interpretation. One of the goals of the Stolz-Teichner program is to develop a geometric model for TMF using the machinery of quantum field theory. But this is the topic of a later post.
‘Till next time!