This post is just an organizational one without any proofs. I wanted to list a few consequences of the following conjecture of Shelah:
- If is a progressive set of regular cardinals, then does not have a weakly inaccessible point of accumulation.
Equivalently, if is a progressive set of regular cardinals, then is bounded in for every weakly inaccessible .
In his paper [Sh:666], Shelah argues that this conjecture is “a significant dividing line between chaos and order”.
One answer is outlined in [Sh:666]: if the conjecture is true, then for any progressive set of regular cardinals we have
while if the conjecture fails one can force a counterexample to the above statement.
The above is really just an outcropping of deeper results from the third section of Chapter VIII of The Book, where Shelah proves that a subset of which does not have a weakly inaccessible accumulation point still has a nice pcf structure, even though it may be the case that is not progressive. In particular, we have for such a . As a corollary, we see that if Shelah’s conjecture is true, then
for any progressive set of regular cardinals .
But Shelah’s Conjecture also has consequences for cardinal arithmetic as well: this is the content of the fourth section of [Sh:430]. I invite the adventurous reader to take a look at that particular piece of Shelah’s oeuvre, because at this point I have no idea what the theorems say. Well, that’s not quite true, as I have a vague idea of what they say, but they are couched in the language of nice filters originating in Chapter V of The Book, and that’s a language I’ve not yet tried to learn. In [Sh:666], he says that if the conjecture holds and is the th fixed point (strong limit), then is less than then th fixed point. (But I don’t actually see this in [Sh:430] so it’s possible that something was retracted.).
Almost all of the implications listed at the end of the last post follow immediately from the definitions involved. The one exception to this is the result that the Shelah Weak Hypothesis implies for any progressive set of regular cardinals . It isn’t a difficult result, but it uses “heavy machinery”: the Localization Theorem for pcf.
Suppose is a progressive set of regular cardinals satisfying . Let consist of the first elements of greater than (so is progressive).
If we define
then clearly is a singular cardinal of cofinality . Our goal is to obtain a violation of the Shelah Weak Hypothesis by proving
We mentioned the localization theorem earlier; we will be content just to quote it without proof:
Theorem 1 (Localization Theorem) Suppose is a progressive set of regular cardinals and does not have a weakly inaccessible point of accumulation. Then for any there is a set of cardinality at most such that .
The above is Theorem 3.4 on page 337 of The Book. Note that the theorem doesn’t require that is progressive; it demands only that is bounded in for every weakly inaccessible cardinal (of course, this is overkill for the application we have in mind).
Given , note
(This follows immediately upon consideration of the cofinality of where is any ultrafilter on disjoint to the ideal of bounded subsets of .)
By the Localization Theorem, it follows that for each there is a such that and
It follows easily that we can find an increasing and continuous sequence of cardinals such that
- , and
- for each .
For , let us define
and let be an ultrafilter on with
Now let be the least cardinal with
and an easy argument establishes that is a singular cardinal satisfying . Since , it follows that the sequence is strictly increasing, and therefore we have what we need.
This post represents a short detour. I want to take a look at the last section of the paper [Sh:420]: “Advances in Cardinal Arithmetic”. The published version of this paper is a bit hard to track down, but Shelah’s archive contains an approximation.
Anyway, the last section commences with a list of hypotheses:
- for every singular . (The “Shelah Strong Hypothesis” or (SSH).)
- If is a progressive set of regular cardinals, then .
- If is a progressive set of regular cardinals, then does not have a weakly inaccessible accumulation point.
- For every , is countable. (The “Shelah Weak Hypothesis” or (SWH).)
- For every , is countable.
- For every , is finite.
Are the above hypotheses true? Well, the first of these is the only one whose negation is known to be consistent (relative to large cardinals), so potentially any of the others could be a theorem of ZFC.
Edit: See James’s comment for news on (2).
How are they related? Shelah points out the following:
- (1) implies (2) implies (3)
- (1) implies (4) implies (5)
- (1) implies (6)
- (5) and (6) together imply (4)
- (4) implies (2)
I think I’d like to take a few posts to map out the proofs of the above, and maybe comment on what I know about the strength of the various hypotheses.
I wanted to use this post as an opportunity to write down some things that I think I know regarding the unresolved questions raised in my last post.
To set the stage, suppose with and regular. Let us define the set to be of all cardinals such that
- is a progressive set of regular cardinals cofinal in ,
- is a -complete ideal on containing the bounded subsets of , and
We are interested in the following:
Suppose is a regular cardinal . Is ?
If the answer to the above question is “NO” for some , then I THINK I know the following:
- There is a cardinal such that and .
- There is a cofinal and progressive with unbounded in .
- There is cofinal and progressive of cardinality for which modulo the ideal has true cofinality at least .
What I want to do over our Christmas break is to work out the details of the above and see if I REALLY know this. The idea is to keep mining pcf theory for more and more structure, with the hope of getting a contradiction eventually. I’ll post my work on the blog as it progresses.
The quarter is ending here, so I should have a little more time for maintaining this blog. I mentioned before that I figured out how to fix the proof of Claim 3.5, which then gives a fairly transparent proof of the cov vs. pp theorem. I need to clarify this a little, because what I’ve got doesn’t recover the full result originally claimed by Shelah. Here’s what I can show:
Theorem 1 Suppose is singular, and with and regular. Then the following two statements are equivalent for a regular cardinal :
This is enough to deduce Shelah’s cov vs. pp theorem (Theorem 5.4 of Chapter II in The Book), which states:
Theorem 2 If is a regular uncountable cardinal, and , then
Now the issue left unresolved concerns the attainment of suprema in one particular case: if is singular and is a weakly inaccessible cardinal , must there exist a cofinal subset of of cardinal less than and a -complete ideal on containing the bounded subsets of such that
Said another way, if is regular, then must the supremum in the definition of be attained?
PS: I’m still very sleep-deprived…it’s all part of being the father of young children.