One of the projects on my plate for next semester is to understand Shelah’s original proofs of his Revised GCH from SH460. Despite the fact that the proof from Abraham and Magidor’s chapter in the handbook is comparatively easy to work through, it looks like there’s some good information smuggled in Shelah’s original proofs which make them worth looking at. I should point out that yes, there are in fact two proofs of the Revised GCH in SH460. The first uses generic ultrapowers, and I’m a bit wary of it, as it uses Chapter 5 of Cardinal Arithmetic as a black box. The second proof, however is more pcf-theoretic, and it seems a bit less challenging since the aforementioned handbook chapter is such a wonderful resource on the basics of pcf theory.
Before I get to any of these proofs, I plan on actually working through the Abraham-Magidor version of the proof. I haven’t done any pcf theory for a few months, and I want to go back and get reacquainted with the machinery. Before even doing that though, I want to take some time to motivate why The Revised GCH is an appropriate name for the theorem. Hopefully this will have the benefit of getting other people interested in the result, because it is genuinely surprising and pretty. This part is intended for a mathematical audience acquainted with the basics of set theory. As a result, it will be simultaneously far too curt, contain far too much information, sweep too many details under the rug, and provide too many specifics.
In SH460, Shelah starts off with looking at Hilbert’s 1st problem: The continuum hypothesis. The question itself is rather simple: Is it the case that ? It turned out that this question was quite difficult to answer. In fact, this question itself spurred the development of quite a bit of set theory, but we won’t be focussing on that. What is worth noting is that we can generalize this question to the following:
“Is is the case that, for any cardinal , the operation is precisely the cardinal successor operator on ?”
A positive answer to the above question is called the General Continuum Hypothesis (or GCH). Godel was able to show that GCH was consistent with ZFC (the “usual” axioms of set theory that most mathematicians take). That is, we can find an example of a “universe” in which ZFC holds, and GCH is true.
Now, in order to answer this question further, we would need to know more about the map . However, for some time the only thing we knew was the fact that it must obey two rules:
- If , then ;
Due to the work of Easton, it turned out that these were the only rules for regular cardinals . That is, given any “function” from regular cardinals to cardinals obeying the two rules above, there is a universe in which the continuum function is precisely described by . This does provide a resolution to our question, but it seems very unsatisfying. Essentially, the continuum function on regular cardinals is arbitrary modulo two very minor restrictions. One thing to do here is to take this resolution as evidence that we’ve asked the wrong question, and instead look at how we can massage Hilbert’s problem into something more reasonable.
Here, we have two approaches. The first is to note that all of these issues are arising from the fact that we’re considering regular cardinals. So, we can ask ourselves about singular cardinals and see where we end up. This leads us to the singular cardinal hypothesis, and there has been a lot of fruitful investigation done in this vein by way of something called pcf theory. The other method is to see what we can say about regular cardinals, which is what we’re concerned about here.
One way of looking at GCH is that it says, roughly speaking “cardinal exponentiation is not too unruly”. So while we can’t say much about the continuum function, it may be worthwhile to look at the values of for regular. Perhaps we can ask that exponentiation behaves like sum and product for infinite cardinals, which brings us to the following first revision:
For regular cardinals , we have
Still though, this is not quite what we want. Part of the issue is that these values are too tied up with each other, so failures for small values of will imply failures all the way up. This is where Shelah introduces a revised version of cardinal exponentiation that allows for a finer slicing. First, some notation:
For cardinals , we set . We will also have occasion to use .
One thing to note is that we have , so looking at this collection isn’t completely unreasonable. For regular , then we define “ to the revised power of ” to be:
Now, this looks like a lot, but it’s not too bad. Essentially, we look at certain sorts of covering families , and ask what the minimum cardinality of such a covering family must be. Here though, our version of covering is that any is covered by a union of fewer than -many elements of . The obvious question is “what does this have to do with ?”
Claim: For every we have that if and only if and for every regular ,
First suppose that . Then certainly we have that , as . Further, for any regular , we know that
So we simply note that witnesses that . As the other inequality holds trivially, we’re done with this direction.
For the other direction, we proceed by induction on . So assume , and let be a family witnessing that . Let , and let be such that . Then is countable, and so we see that is isomorphic to a subset of insofar as it sits inside . Thus, we can associate to a unique and some , which yields an embedding of into . By assumption, this set has size .
Now let be regular such that our conclusion holds for each . That is, for each such , if for every regular , then . By assumption, we therefore know that . Thus, we also have that
As before, we begin by enumerating a family witnessing the fact that . We then fix , and let be such that . As before, since is of size , we see that is isomorphic to a subset of insofar as it sits inside that union. So we can associate to a unique and some ,which yields an embedding of into . By assumption, this set has size , and so we’re done.
So that above claim shows that looking at these revised powers is completely reasonable thing to do. The other nice thing is that Shelah and Gitik have shown that the values of and are independent of each other for . This brings us to the Revised GCH:
The Revised GCH Theorem (Shelah): Fix any uncountable strong limit cardinal . For ever there is some such that if is regular with , then .
Put more simply: for most pairs , we have that . Given our discussion above, this is indeed a theorem deserving of the name “Revised GCH”.