7
$\begingroup$

What on Earth do Russian Matryoshka dolls have in common with large cardinal axioms?! Well, the answer lies in Jónsson algebras! Here is how:

As illustrated in the pictures, a Matryoshka set is a self-replicating container in which the mother doll contains a similar copy of itself. This sub-doll also contains a rather smaller similar copy of itself and so on. The dolls in a Matryoshka set could be completely isomorphic in shape (often depicted as a chubby Russian girl wearing Sarafan, the beautiful Persian-named traditional Russian dress) or with some slight differences in spite of general similarity (e.g. Different species of Taiga).

enter image description here

As the allegory suggests, the Matryoshka phenomenon is not uncommon in mathematics. There are (infinite) self-replicating mathematical structures which contain some proper isomorphic copies of themselves or at least have a fairly similar (e.g. elementary) proper sub-structures of the same size as the mother structure. Jónsson algebras provide an iconic example of this type.

Definition 1. Let $M$ be a model in a countable language. $M$ is called a Jónsson algebra (model) if it does not have any proper (elementary) submodel of the size $|M|$.

It is easy to see that for an infinite cardinal $\kappa$, the existence of a Jónsson algebra of size $\kappa$ is equivalent to the existence of a Jónsson model of size $\kappa$. By the way, there is a combinatorial large cardinal of the same name:

Definition 2. An uncountable cardinal number $\kappa$ is called Jónsson if for every function $f:[\kappa]^{<\omega}\rightarrow \kappa$ there is a set $H$ of order type $\kappa$ such that for each $n$, $f$ restricted to $n$-element subsets of $H$ omits at least one value in $\kappa$.

According to the following fact, it turns out that the demand for every infinite first-order structure in a countable language to have a proper sub-structure of the same size (i.e. non-existence of Jónsson algebras) has the large cardinal strength of a Jónsson cardinal which is a fairly strong large cardinal assumption incompatible with the Axiom of Constructibility.

Theorem. For an infinite cardinal $\kappa$, the followings are equivalent:

(a) $\kappa$ is a Jónsson cardinal.

(b) There are no Jónsson algebras of size $\kappa$. (i.e. Every algebra of size $\kappa$ is a Matryoshka, namely every algebra of size $\kappa$ contains a proper sub-algebra of the same size.)

The above fact indicates that the occurrence of a Matryoshka phenomenon (i.e. having self-replicating structures) among certain types of mathematical structures may give rise to some large cardinals. In other words, a structure needs to be so large in order to be able to support a self-replicating Matryoshka-like structure. In this sense, Jónsson cardinals have a characterization in terms of a Matryoshka phenomenon for certain type of mathematical structures, namely algebras.

Here, the natural question to ask is whether there are other examples of a Matryoshka characterization for large cardinal axioms. In other words, what other Matryoshka phenomenona for mathematical structures do have some large cardinal strength? Precisely:

Question 1. What are some other examples of large cardinal characterizations of the following form?

The followings are equivalent/equiconsistent:

(a) $\kappa$ is large.

(b) Any structure of type X and size $\kappa$ has a proper (isomorphic, elementary, "similar", etc.) sub-structure of size $\kappa$. (i.e. There is a Matryoshka phenomenon among mathematical structures of type X).

Note that we are not limiting ourselves to the first order structures or structures in countable language. The question is considering the possible existence of such a characterization for large cardinal axioms anywhere in mathematics where a theory around certain type of "mathematical structures" (whatever it means depending on the context, say functional space or a manifold) evolves.

Question 2. How much does the consistency strength of $\kappa$ increase if we expand our demand in the existing Matroshka chracaterization of Jónsson cardinals to contain isomorphic proper sub-algebras? Will we hit the inconsistency barrier? Precisely, what is the consistency strength of the following statement? Is it consistent at all?

"Every algebra of size $\kappa$ contains a proper sub-algebra of the same size which is isomorphic to the original structure."

$\endgroup$
  • $\begingroup$ Why the ct.category-theory tag? $\endgroup$ – Damiano Mazza May 28 '18 at 6:05
  • $\begingroup$ @DamianoMazza The question is asking about the existence of a specific pattern (concerning structural morphisms) among mathematical structures in general. Particularly, it explicitly deals with algebras which are mentioned in the description of the category tag. $\endgroup$ – Morteza Azad May 28 '18 at 6:36
11
$\begingroup$

It seems to me that the Berkeley cardinals can be thought of in line with your Matryoshka analogy. Namely, a cardinal $\kappa$ is Berkeley, if for every transitive set containing $\kappa$ there is an elementary embedding $j:M\to M$ with critical point below $\kappa$. Thus, $M$ contains an isomorphic copy of itself, namely the image $j"M$, as a proper subalgebra, which is furthermore an elementary substructure. So this large cardinal notion combines some of the features you mention.

These cardinals are stronger than Reinhardt cardinals in consistency strength, and they are inconsistent with the axiom of choice.

$\endgroup$
  • $\begingroup$ (+1) Thanks! However, one may argue that elementary embedding characterizations, in general, are more like a very strong reflection phenomenon rather than Matryoshka ones which sound of a different nature to me. Of course, as you mentioned, these two share some points at very high levels of Cantor's attic where rank to rank and self-elementary embeddings of the universe come to the play. But it is not exactly what I intended to look for here in this post (and that is why I intentionally avoided referring to various reflection-like characterizations and elementary embeddings in the OP). $\endgroup$ – Morteza Azad May 26 '18 at 12:11
  • 2
    $\begingroup$ But $M$ is isomorphic with its image $j"M$, so when $j"M\subset M$, isn't this the Matryoshka situation? When there is a Berkeley cardinal, it follows that EVERY sufficiently large structure is strongly Matryoshka. $\endgroup$ – Joel David Hamkins May 26 '18 at 12:15
  • $\begingroup$ Sort of! In my humble view, a Matryoshka situation has two features, self-replication and size of the space. In fact, the soul of the Matryoshka phenomenon is to conclude large cardinality of the size of a space from its self-replication. The example that you brought up is definitely presenting a self-replicating structure, however, the size of the entire space is not $\kappa$ (though, $\kappa$ certainly has something to do with the "largeness" of the space in general sense). So it is somehow a half-Matryoshka case. $\endgroup$ – Morteza Azad May 26 '18 at 12:26
  • $\begingroup$ I don't understand the objection. If $\kappa$ is Berkeley, then every structure $M$ of size $\kappa$ has an isomorphic elementary proper substructure. (And indeed, this is also true for any structure of size at least $\kappa$.) $\endgroup$ – Joel David Hamkins May 26 '18 at 12:28
  • 2
    $\begingroup$ Uuugh... My bad! Yes, you are right, Joel! A Berkeley cardinal is providing a full Matryoshka case as you said and that is very awesome; indicating that how strong such axioms of infinity are! By the way, I faintly recall a theorem stating that if every topological space of certain type has a proper sub-space then some large cardinals must exist. Though, I can't find it now. Maybe it was along the lines of the general question concerning the size of certain subspaces in a $T_2$ space of large cardinality, but I am not quite sure. Maybe I should check some Hungarian guys' papers on the topic. $\endgroup$ – Morteza Azad May 26 '18 at 12:41
11
$\begingroup$

Adding to Joel's answer, there is a weak form of Berkeley cardinals having almost the property you want and whose existence is consistent with the axiom of choice (in fact with ZFC + $V = L$.)

Note: the cardinals defined in Joel's answer are sometimes instead called proto-Berkeley cardinals, but I'll call them Berkeley cardinals here for the sake of consistency. (The difference is whether or not the critical points of such $j$ are unbounded in $\kappa$.)

We may call a cardinal $\kappa$ a virtual Berkeley cardinal if for every transitive set $M$ containing $\kappa$ there is a generic elementary embedding $j : M \to M$ with critical point below $\kappa$, where a generic elementary embedding is defined as an elementary embedding that exists in some generic extension of $V$. (This is a slight abuse of terminology: what is really being defined is the phrase "there is a generic elementary embedding.") This is a type of virtual large cardinal property, other examples being remarkability, virtual extendibility, and the generic Vopěnka principle.

Note that the range of such a generic elementary embedding is a proper elementary substructure of $(M;\in)$ that is isomorphic to $(M;\in)$. However, the embedding and its associated substructure typically exist only in a generic extension in which $M$ (and therefore $\kappa$) is collapsed to be countable.

If $0^\sharp$ exists, then one can show that every Silver indiscernible is a virtual Berkeley cardinal in $L$. This is fairly easy, using the fact that the existence of an elementary embedding $j : M \to M$ with critical point below $\kappa$ is absolute from $V$ to any generic extension of $L$ in which $M$ is countable.

It turns out that a cardinal $\kappa$ is a virtual Berkeley cardinal (as defined above, which should perhaps be called a virtual proto-Berkeley cardinal) if and only if $\kappa \to (\omega)^{<\omega}_2$. Therefore there is a virtual Berkeley cardinal if and only if there is an $\omega$-Erdős cardinal. The forward direction is proved using methods of Silver [1] and the reverse direction is proved similarly to Gitman and Schindler [2, Theorem 4.17].

[1] Jack Silver. A large cardinal in the constructible universe. Fund. Math. 69:93–100, 1970.

[2] Victoria Gitman and Ralf Schindler. Virtual large cardinals. Preprint available at http://ivv5hpp.uni-muenster.de/u/rds/virtualLargeCardinalsEdited4.pdf

$\endgroup$
  • 1
    $\begingroup$ (+1) Really nice, Trevor! It is interesting to learn that some large cardinals which satisfy variants of Matryoshka phenomenon may live in the lower levels of large cardinal hierarchy beneath the $V=L$ borderline. $\endgroup$ – Morteza Azad May 27 '18 at 5:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.