The Galvin-Hajnal Formulas (Part II)

In the last entry, we worked through the proof of the first Galvin-Hajnal formula.

Theorem 1 (Galvin-Hajnal): Let \kappa and \lambda be uncountable regular cardinals such that, for all \delta<\lambda, we have that \delta^\kappa<\lambda. Assume further that \lambda \kappa_\alpha : \alpha<\kappa\rangle is a sequence of cardinals such that for all \alpha<\kappa, the product \prod_{\beta<\alpha} \kappa_\beta <\aleph_\lambda. It then follows that \prod_{\alpha<\kappa}\kappa_\alpha<\aleph_\lambda.

In this entry, I want to discuss a particular astonishing corollary to the above theorem, and use this to talk a bit about the singular cardinal problem.

Corollary: If \aleph_{\omega_1} is a strong limit cardinal, then 2^{\aleph_{\omega_1}}<\aleph_{(2^{\aleph_1})^+}.

To see this, we begin by noting that, for every \kappa<2^{\aleph_1}, we have that \kappa^{\aleph_1}\leq (2^{\aleph_1})^{\aleph_1}<(2^{\aleph_1})^+. Now let \kappa_\alpha=2^{\aleph_\alpha} for \alpha<\omega_1, and note that for every \alpha<\omega_1


since \alpha is countable and \aleph_{\omega_1} is strong limit. Thus, the sequence \langle \kappa_\alpha : \alpha<\omega_1\rangle  satisfies the hypotheses of the above theorem with \kappa=\aleph_1 and \lambda=(2^{\aleph_1})^+. It follows that 2^{\aleph_{\omega_1}}<\aleph_{(2^{\aleph_1})^+}.

We can generalize the above argument to get the following theorem.

Theorem 2 (Galvin-Hajnal): Let \aleph_\alpha be a singular strong limit cardinal of uncountable cofinality. Then, 2^{\aleph_\alpha}< \aleph_{(2^{|\alpha|})^+}.

Of course, this says absolutely nothing about fixed points of the \aleph function. Furthermore, we saw in the proof of the first Galvin-Hajnal formula that we needed uncountability in order to ensure the order <_J was well-founded, thus enabling to pick a minimal witness contradicting the conclusion of the theorem. Shelah, using his powerful pcf theory, was able to show that Theorem 2 holds for cardinals of countable cofinality, and that we can in fact replace (|\alpha|^{cf(\alpha)})^+ with |\alpha|^{+4}, the fourth cardinal successor of |\alpha|. This is in stark contrast to the situation for regular cardinals.

Theorem 3 (Easton): Let F be a function from regular cardinals to cardinals with the following properties:

  1. If \lambda<\kappa, then F(\lambda) \leq F(\kappa);
  2. cf(F(\kappa))>cf(\kappa).

Then, there exists a model of ZFC in which 2^\kappa=F(\kappa) for each regular cardinal \kappa.

In other words, the Zermelo-König theorem is the only provable result in ZFC regarding the behavior of the continuum function for regular cardinals. However, we have just shown that this is far from the case for singular cardinals that are not fixed points of the \aleph function. The next natural question is whether or not we can provide any natural bounds for the continuum function for fixed points for the \aleph function. In general we cannot, but this requires large cardinals to show.

The simplest way to go about this is to assume we have a sequence \langle \kappa_n : n\in\omega\rangle of \lambda+1 strong cardinals with limit \kappa. From here, we use the the existence of canonical normal measures along with a very nice ordering afforded by the existence of extenders to add \lambda-many Prikry sequences to \prod_{n<\omega}\kappa_n. Unfortunately, this construction does not preserve cardinals. In order to prevent cardinals from collapsing, the usual Cohen forcing to blow up 2^{\kappa^+} to \lambda is weaved into each of the blocks that make up the extender-based Prikry forcing. Unfortunately, one cannot simply use this forcing, and then try to collapse \kappa to a smaller \aleph fixed point. The problem here is that the elements of the Prikry sequences are indiscernibles, and so attempting to collapse \kappa will actually collapse all cardinals between \kappa and \lambda.

Shelah has shown that there are provable (in ZFC) bounds for the continuum function certain at smaller \aleph fixed points. However, he was unable to show that there exists a bound for the first fixed point. Gitik was able to show that there was in fact no bound for the first fixed point, but the construction is beyond me at the moment.

This is just one direction that we can take when asking about singular cardinals. For example, we can note that the continuum function on singular cardinals is incredibly sensitive to what happens below said singular cardinals. On the other hand, Shelah introduced a number of higher cardinal invariants that are much less sensitive to the behavior of cardinal arithmetic below the singular cardinal we are concerned with. There are a number of questions related to the relationships between these cardinal invariants that turn out to be fairly interesting. In particular, questions about singular cardinals will involve pcf theory, large cardinals, inner model theory, forcing, and infinitary combinatorics (stationary reflection, square principles, coloring theorems, etc.).

In the next entry, I plan on working through the proof of the second Galvin-Hajnal formula. After that, I want to further pursue the thread regarding blowing up powers of singulars using large cardinals. That’s the plan at least.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s