Periodicity in the cumulative hierarchy

Abstract

We investigate the structure of rank-to-rank elementary embeddings, working in ZF set theory without the Axiom of Choice. Recall that the levels $V_α$ of the cumulative hierarchy are defined via iterated application of the power set operation, starting from $V_0=\emptyset$, and taking unions at limit stages. Assuming that $j:V_{α+1}\to V_{α+1}$ is a (non-trivial) elementary embedding, we show that the structure of $V_α$ is fundamentally different to that of $V_{α+1}$. We show that $j$ is definable from parameters over $V_{α+1}$ iff $α+1$ is an odd ordinal. Moreover, if $α+1$ is odd then $j$ is definable over $V_{α+1}$ from the parameter $j`` V_α=\{j(x)\bigm|x\in V_α\}$, and uniformly so. This parameter is optimal in that $j$ is not definable from any parameter which is an element of $V_α$. In the case that $α=β+1$, we also give a characterization of such $j$ in terms of ultrapower maps via certain ultrafilters. Assuming $λ$ is a limit ordinal, we prove that if $j:V_λ\to V_λ$ is $Σ_1$-elementary, then $j$ is not definable over $V_λ$ from parameters, and if $β<λ$ and $j:V_β\to V_λ$ is fully elementary and $\in$-cofinal, then $j$ is likewise not definable; note that this last result is relevant to embeddings of much lower consistency strength than rank-to-rank. If there is a Reinhardt cardinal, then for all sufficiently large ordinals $α$, there is indeed an elementary $j:V_α\to V_α$, and therefore the cumulative hierarchy is eventually periodic (with period 2).