Uniform (<θ)-supercompactness is equivalent to a coherent system of normal fine measures

This post answers a question that had come up some time ago with Arthur Apter, and more recently with Philipp Schlicht and Arthur Apter.

Definition. A cardinal κ is uniformly <θ-supercompact if there is an embedding j:VM having critical point κ, with j(κ)>θ and M<θM.

(Note:  This is typically stronger than merely asserting that κ is γ-supercompact for every γ<θ, a property which is commonly denoted <θ-supercompact, so I use the adjective “uniformly” to highlight the distinction.)

Two easy observations are in order.  First, if θ is singular, then κ is uniformly <θ-supercompact if and only if κ is θ-supercompact, since the embedding j:VM will have jλM for every λ<θ, and we may assemble jθ from this inside M, using a sequence of length cof(θ). Second, in the successor case, κ is uniformly <λ+-supercompact if and only if κ is λ-supercompact, since if j:VM has MλM, then it also has M<λ+M. So we are mainly interested in the concept of uniform <θ-supercompactness when θ is weakly inaccessible.

Definition. Let us say of a cardinal κ that μλλ<θ is a coherent θ-system of normal fine measures, if each μλ is a normal fine measure on Pκλ, which cohere in the sense that if λ<δ<θ, then μλRKμδ, and more specifically Xμλ if and only if {σPκδσλX}μδ.  In other words, μλ=fμδ, where f:PκδPκλ is the function that chops off at λ, so that f:σσλ.

Theorem.  The following are equivalent, for any regular cardinals κθ.

1. The cardinal κ is uniformly <θ-supercompact.

2. There is a coherent θ-system of normal fine measures for κ.

Proof. The forward implication is easy, since if j:VM has M<θM, then we may let μλ be the normal fine measure on Pκλ generated by jλ as a seed, so that Xμλjλj(X).  Since the seeds jλ cohere as initial segments, it follows that μλRKμδ in the desired manner whenever λ<δ<θ.

Conversely, fix a coherent system μλλ<θ of normal fine measures. Let jλ:VMλ be the ultrapower by μλ. Every element of Mλ has the form jλ(f)(jλ).  Because of coherence, we have an elementary embedding kλ,δ:MλMδ defined by kλ,δ:jλ(f)(jλ)jδ(f)(jλ). It is not difficult to check that these embeddings altogether form a commutative diagram, and so we may let j:VM be the direct limit of the system, with corresponding embeddings kλ,θ:MλM.  The critical point of kλ,δ and hence also kλ,θ is larger than λ.  This embedding has critical point κ, and I claim that M<θM. To see this, suppose that zαM for each α<β where β<θ.  So zα=kλα,θ(zα) for some zαMλα. Since θ is regular, we may find λ<θ with λαλ for all α<β and also βλ, and so without loss we may assume λα=λ for all α<β. Since Mλ is closed under λ-sequences, it follows that z=zαα<βMλ.  Applying kλ,θ to z gives precisely the desired sequence z=zαα<β inside M, showing this instance of M<θM. QED

The theorem does not extend to singular θ.

Theorem.  If κ is θ-supercompact for a singular strong limit cardinal θ above κ, then there is a transitive inner model in which κ has a coherent system μλλ<θ  of normal fine measures, but κ is not uniformly <θ-supercompact.

Thus, the equivalence of the first theorem does not hold generally for singular θ.

Proof.  Suppose that κ is θ-supercompact, where θ is a singular strong limit cardinal. Let j:VM be a witnessing embedding, for which κ is not θ-supercompact in M (use a Mitchell-minimal measure).  Since θ is singular, this means by the observation after the definition above that κ is not uniformly <θ-supercompact in M. But meanwhile, κ does have a coherent system of normal fine ultrafilters in M, since the measures defined by Xμλjλj(X) form a coherent system just as in the theorem, and the sequence μλλ<θ is in M by θ-closure. QED

The point is that in the singular case, the argument shows only that the direct limit is <cof(θ)-closed, which is not the same as <θ-closed when θ is singular.

The example of singular θ also shows that κ can be <θ-supercompact without being uniformly <θ-supercompact, since the latter would imply full θ-supercompactness, when θ is singular, but the former does not. The same kind of reasoning separates uniform from non-uniform <θ-supercompactness, even when θ is regular.

Theorem. If κ is uniformly <θ-supercompact for an inaccessible cardinal θ, then there is a transitive inner model in which κ is <θ-supercompact, but not uniformly <θ-supercompact.

Proof. Suppose that κ is uniformly <θ-supercompact, witnessed by embedding j:VM, with M<θM, and furthermore assume that j(κ) is as small as possible among all such embeddings. It follows that there can be no coherent θ-system of normal fine measures for κ inside M, for if there were, the direct limit of the associated embedding would send κ below j(κ), which from the perspective of M is a measurable cardinal far above κ and θ. But meanwhile, κ is β-supercompact in M for every β<θ. Thus, κ is <θ-supercompact in M, but not uniformly <θ-supercompact, and so the notions do not coincide. QED

Meanwhile, if θ is weakly compact, then the two notions do coincide. That is, if κ is <θ-supercompact (not necessarily uniformly), and θ is weakly compact, then in fact κ is uniformly <θ-supercompact, since one may consider a model M of size θ with θM and VθM, and apply a weak compactness embedding j:MN. The point is that in N, we get that κ is actually θ-supercompact in N, which provides a uniform sequence of measures below θ.

Leave a Reply

Your email address will not be published. Required fields are marked *