5
$\begingroup$

Let $\kappa$ be a measurable cardinal. Is there a function $f\colon\kappa\to V$ such that whenever $j_U\colon V\to\operatorname{Ult}(V,U)$ is an ultrapower embedding with critical point $\kappa$, we have $j_U(f)(\kappa)=[\operatorname{id}]_U$?

I am particularly interested in the case that $\kappa$ is a strongly compact cardinal, and the $U$s are fine ultrafilter on $\mathscr{P}_\kappa(\lambda)$ for various $\lambda$.

$\endgroup$

1 Answer 1

8
$\begingroup$

This is never true in the circumstances you request, quite apart from your uniformity requirement, since some $U$ admit no such $f$ at all.

The reason is that if $[\text{id}]_U$ is generated by $\kappa$ in this way, then indeed the whole embedding $j_U$ will be isomorphic to the induced ultrapower by the normal measure. If $j_U:V\to M$ is the ultrapower by $U$, then every element of $M$ has the form $j_U(h)([\text{id}]_U)$ for some function $h$, since $[h]_U\mapsto j_U(h)([\text{id}]_U)$ is an isomorphism, and by composing with your function $f$ we would get that every element of $M$ has the form $j_U(g)(\kappa)$ for some function $g:\kappa\to V$. But this occurs only when $U$ is isomorphic to a normal measure on $\kappa$, the induced measure $X\in\mu\iff\kappa\in j_U(X)$, with the isomorphism being $[g]_\mu\mapsto j_U(g)(\kappa)$.

If $\kappa$ is measurable, however, then there are always measures on $\kappa$ that are not isomorphic to any normal measure, and these will form counterexamples to your property. For example, a product of measures $\mu\times\mu$ is never isomorphic to a normal measure. Such ultrafilters $U$ can have no function $f:\kappa\to V$ for which $j_U(f)(\kappa)=[\text{id}]_U$.

I conceive of all of this kind of reasoning as part of what I call seed theory. An elementary introduction to seed theory is available in my paper:

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .