The first topic I’ll be covering in the Algebra and Set Theory seminar is Whitehead’s Conjecture, and I want to take some time to sketch out how those lectures are going to go.
In order to even talk about Whitehead’s conjecture, I’m going to need to talk about Ext. So given any abelian group , we say that a free resolution of is a short exact sequence of the form
where and are both free groups. Now, every abelian group has a free resolution as we can take to be the free abelian group generated by using as an alphabet, and to be the kernel of the surjection induced by . Hitting this complex with the functor yields the following cochain complex:
Now that we have a cochain complex, we can ask about the cohomology groups of this complex, which are denoted by . So what on earth does this tell us about my original group ? Let’s borrow some (misleading) intuition from algebraic topology. One nice fact is that if my fundamental group is trivial, and all cohomology groups are trivial, then my space (provided it’s a CW complex) is contractible. So maybe if is trivial I can say something about my group.
It turns out that we can! This cohomology group being trivial is equivalent to the statement that the only group extension of by is just the direct sum . This is coming from the equivalence of the “derived functor” presentation of Ext and the “classical” version of Ext in terms of extension classes (hence ext). That’s pretty cool, but what about that topology bit? Obviously I can’t say that is contractible, but can I say that is “nice” in some other way? This leads us to Whitehead’s conjecture.
Whitehead’s Conjecture: For any abelian group , if , then is free.
The converse is actually a really easy theorem since Ext is invariant with respect to which free resolutions we take, and we can always resolve a free group in the dumbest way possible:
Of course, the first cohomology group of the resulting cochain complex is trivial. What’s interesting about Whitehead’s conjecture is that it’s independent of ZFC, so the resolution comes in two parts. Here’s my plan for how we’re going to tackle that:
- We’re going to start off by proving some facts about Ext, and showing that Whitehead’s conjecture is true for countable abelian groups.
- From here, we can use the proof of the countable case to see what we would need to “turn on induction” and prove this for higher cardinalities. This naturally leads us to Jensen’s principle.
- At this point, we’re going to break from the algebra a bit to review some facts about stationary sets, introduce , and prove some facts about it. In particular, we’ll need an equivalent definition that will be a bit more useful to us.
- We now show that under , we can prove that Whitehead’s conjecture holds for groups of size . In particular, we see how to continue going provided we can get diamond for other cardinals.
- Again we take a break from our regularly scheduled algebra program to do some set theory. In particular we want to introduce Gödel’s constructible universe, . Here we have quite a bit of structure, but important to us is the fact that holds for every regular uncountable . I don’t know how much I’ll prove here about , but at the very least we’ll need this model again later.
- Now in we can push through the induction at regular stages, but singular stages seem to be problematic. Here we will prove Shelah’s singular compactness theorem which is stronger than what we need, and a result of ZFC. This final piece will finish the proof that if , then Whitehead’s conjecture holds.
- For the other half of the independence result, we’ll need to introduce Martin’s Axiom. Now this axiom does technically refer to forcing, but we can easily give a forcing free exposition provided we take the consistency of for granted. On the other hand, I will take this opportunity to use Martin’s Axiom to motivate forcing and intuitively discuss how one might force to violate the continuum hypothesis.
- With Martin’s Axiom, we assume that holds and construct an non-free abelian group of cardinality such that . This will finish up proof that Whitehead’s conjecture is independent of ZFC.
One thing that I find neat about this proof is that we get to touch on quite a bit of set theory as we go along, and it’s rather instructive as to how one can employ some powerful machinery to prove things about abelian group. The main reference I’ll be using for this part is Paul Eklof’s paper “Whitehead’s Problem is Undecidable”.