Almost Kurepa Suslin trees and destructibility of the Guessing Model Property

Cet article établit la cohérence du principe des modèles de devinette à $\omega_2$ conjointement avec l'existence d'un arbre de Suslin presque Kurepa, démontrant ainsi que ce principe peut être détruit par un forçage ccc de taille $\omega_1$, et prouve également la cohérence de l'existence d'un arbre Kurepa faible avec l'échec de l'hypothèse de Kurepa et un principe de devinette impliquant la propriété d'arbre à $\omega_2$.

L'essentiel

Imaginez que l'univers des mathématiques est une immense forêt d'arbres. Certains de ces arbres sont très spéciaux : ils ont une hauteur infinie, mais chaque niveau de l'arbre est fini. En théorie des ensembles, on appelle cela des arbres.

Les auteurs de ce papier, Chris Lambie-Hanson et Šárka Stejskalová, s'intéressent à deux types d'arbres très particuliers et à une règle magique qui régit comment ces arbres peuvent grandir ou être détruits.

Voici une explication simple de leur découverte, sans jargon mathématique compliqué.

1. Les deux types d'arbres spéciaux

Imaginez deux types d'arbres dans cette forêt :

• L'Arbre Suslin (Le "Fantôme") : C'est un arbre qui semble très solide. Il a une infinité de niveaux, mais il est impossible de trouver un chemin qui monte jusqu'au sommet sans jamais s'arrêter (une "branche infinie"). De plus, il est impossible de trouver une infinité de branches qui ne se touchent jamais. C'est un arbre très "rigide".
• L'Arbre Kurepa (Le "Monstre") : C'est un arbre qui, au contraire, a une infinité de branches qui montent jusqu'au sommet. C'est un arbre très "branchu".

Le problème : En mathématiques, on pense souvent que si un arbre est un "Fantôme" (Suslin), il ne peut jamais devenir un "Monstre" (Kurepa). Mais les auteurs montrent qu'il existe un arbre spécial, qu'ils appellent un "Arbre Suslin presque Kurepa".

• L'analogie : Imaginez un arbre qui semble solide et sans branches infinies dans votre jardin (le monde actuel). Mais si vous utilisez une machine spéciale (une opération mathématique appelée "forçage") pour le secouer, soudainement, il se met à pousser des milliers de nouvelles branches infinies. Il est devenu un "Monstre" ! C'est ce que les auteurs appellent "presque Kurepa".

2. La règle magique : Le "Principe de Devinette" (GMP)

Maintenant, imaginons une règle fondamentale de la forêt, appelée le Principe de Devinette (ou Guessing Model Property).

• Ce que ça fait : Cette règle dit : "Dans cette forêt, il est impossible d'avoir des arbres Monstres (Kurepa). Si vous essayez d'en faire pousser un, la règle magique l'empêche."
• La robustesse : Habituellement, si cette règle est en place, elle est très forte. Même si vous ajoutez de nouveaux arbres ou modifiez la forêt, la règle tient bon. C'est comme un bouclier indestructible.

3. La grande découverte : Le bouclier peut être cassé !

C'est ici que le papier devient excitant. Les auteurs se demandent : "Est-ce que ce bouclier (le Principe de Devinette) est vraiment indestructible ?"

Ils découvrent que non.
Ils construisent un modèle mathématique où :

1. Le Principe de Devinette est actif (la forêt est ordonnée, pas de Monstres).
2. Mais, il existe un arbre spécial (le "Presque Kurepa") qui, si on l'utilise pour modifier la forêt, casse le bouclier.

L'analogie du château de cartes :
Imaginez un château de cartes magnifique et stable (le Principe de Devinette). Les mathématiciens pensaient qu'on ne pouvait pas le faire tomber en ajoutant une seule carte. Mais les auteurs montrent qu'il existe une carte spéciale (l'arbre Suslin presque Kurepa). Si vous posez cette carte précise sur le château, tout s'effondre ! Le château tombe, et soudain, des arbres Monstres peuvent apparaître.

C'est une découverte majeure car cela montre que la stabilité de certaines règles mathématiques n'est pas absolue ; elle dépend de la manière dont on modifie l'univers.

4. La deuxième partie : Séparer les jumeaux

Dans la deuxième moitié du papier, ils s'attaquent à une autre question. Il existe deux règles similaires :

• La Règle Kurepa : "Il n'y a pas d'arbres Monstres."
• La Règle "Faible" Kurepa : "Il n'y a pas d'arbres Monstres faibles (une version moins puissante)."

On pensait que si la première règle était vraie, la seconde l'était forcément. Les auteurs montrent qu'on peut créer un univers où la règle "Faible" est vraie (pas de Monstres faibles), mais où la règle "Vraie" est fausse (il y a un Monstre faible, mais pas de Monstre complet).
C'est comme si on disait : "Il n'y a pas de dragons géants dans le monde, mais il y a des dragons nains." Ils prouvent que ces deux idées peuvent coexister, ce qui sépare deux concepts que l'on croyait liés.

En résumé

Ce papier est comme un tour de magie mathématique :

1. Les auteurs créent un arbre magique qui semble normal mais qui peut devenir monstrueux.
2. Ils utilisent cet arbre pour casser une règle de sécurité (le Principe de Devinette) qui était censée être indestructible.
3. Ils montrent aussi qu'on peut distinguer deux types de règles de sécurité qui semblaient identiques.

Cela nous apprend que l'univers mathématique est plus flexible et plus surprenant qu'on ne le pensait : même les règles les plus solides peuvent être fragilisées par la bonne "clé" (l'arbre presque Kurepa).

Résumé technique

Voici un résumé technique détaillé du papier "Almost Kurepa Suslin Trees and Destructibility of the Guessing Model Property" par Chris Lambie-Hanson et Šárka Stejskalová.

1. Problématique et Contexte

Le papier s'inscrit dans le domaine de la théorie des ensembles combinatoire, plus précisément dans l'étude des principes de compacité aux cardinaux accessibles (comme $\omega_2$) et de leur robustesse sous les extensions de forçage.

• Le Principe de Modélisation de Devin (Guessing Model Property - GMP) : Noté $GMP(\kappa)$, ce principe est une généralisation forte de la propriété de l'arbre (Tree Property - $TP(\kappa)$). Alors que $TP(\kappa)$ caractérise les cardinaux faiblement compacts parmi les inaccessibles, $GMP(\kappa)$ caractérise les cardinaux supercompacts.
• La Robustesse : Aux grands cardinaux, ces principes sont robustes sous des forçages satisfaisant de bonnes conditions de chaîne (comme les forçages ccc). Cependant, leur comportement à $\omega_2$ est moins clair. Une question ouverte majeure est de savoir si $GMP(\omega_2)$ (ou $TP(\omega_2)$) peut être destructible par un forçage ccc de taille $\omega_1$.
• Les Arbres de Kurepa et Suslin :
  • Un arbre de Suslin est un arbre $\omega_1$ sans branche cofinale ni antichaîne non dénombrable.
  • Un arbre de Kurepa est un arbre $\omega_1$ ayant au moins $\omega_2$ branches cofinales.
  • Un arbre de Suslin est dit presque Kurepa (almost Kurepa) si, après avoir forcé avec lui, il devient un arbre de Kurepa. Cela se produit généralement lorsque l'arbre possède $\omega_2$ automorphismes deux à deux presque disjoints.
  • Le principe $GMP$ implique l'absence d'arbres de Kurepa. Par conséquent, si un arbre de Suslin devient Kurepa après forçage, $GMP$ doit échouer dans cette extension.

Le problème central : Est-il cohérent que $GMP(\omega_2)$ soit vrai dans un modèle, mais qu'il existe un forçage ccc de taille $\omega_1$ qui le détruise ?

2. Méthodologie

Les auteurs utilisent une variante du forçage de Mitchell pour construire leurs modèles.

• Forçage de Mitchell Classique ($M(\omega, \kappa)$) : Utilise généralement $Add(\omega, 1)$ (ajout de réels de Cohen) aux étapes successives pour élever la puissance du continu à $\kappa$ tout en préservant les propriétés de compacité.

• Variation Introduite : Au lieu d'ajouter des réels de Cohen, les auteurs remplacent les itérants par le forçage $A(T)$, conçu pour ajouter un automorphisme générique à un arbre de Suslin libre $T$ fixé dans le modèle de base.

  • Le forçage $A(T)$ est défini par des segments initiaux d'automorphismes de $T$.
  • Si $T$ est un arbre de Suslin libre, $A(T)$ est totalement propre (totally proper) et préserve $\omega_1$.

• Construction du Modèle (Théorème A) :

  1. Partir d'un modèle avec un cardinal supercompact $\kappa$ et un arbre de Suslin libre $T$.
  2. Forcer avec la variante de Mitchell $M^T_\kappa$ où les itérants ajoutent des automorphismes à $T$.
  3. L'objectif est de faire en sorte que dans l'extension générique $V[G]$, $GMP$ soit vrai, mais que $T$ possède suffisamment d'automorphismes pour devenir un arbre de Kurepa si l'on force à nouveau avec $T$.

• Construction du Modèle (Théorème B) :

  • Utilise le forçage de Mitchell classique $M(\omega, \kappa)$ combiné avec un forçage $K_\kappa$ conçu pour ajouter un arbre de Kurepa faible (weak Kurepa tree).
  • L'objectif est de séparer l'hypothèse de Kurepa faible (wKH) de l'hypothèse de Kurepa (KH) tout en maintenant une forme affaiblie de $GMP$.

3. Contributions Clés et Résultats

Théorème A : Destructibilité de GMP

Sous l'hypothèse de l'existence d'un cardinal supercompact, il existe une extension de forçage dans laquelle :

1. Il existe un arbre de Suslin presque Kurepa $T$.
2. Le principe $GMP$ (Guessing Model Property) est vrai.
3. Conséquence majeure : Il est cohérent que $GMP$ soit vrai, mais destructible par un forçage ccc de cardinalité $\omega_1$ (à savoir le forçage avec l'arbre $T$ lui-même).
   • Preuve de la destructibilité : Dans l'extension par $T$, $T$ devient un arbre de Kurepa. Comme $GMP$ implique l'absence d'arbres de Kurepa, $GMP$ échoue dans cette extension.

Corollaire 1.1 : Destructibilité de $\neg wKH$

Sous l'hypothèse d'un cardinal inaccessible (plus faible que supercompact), il est cohérent que :

1. Il existe un arbre de Suslin presque Kurepa.
2. L'hypothèse de Kurepa faible est fausse ($\neg wKH$).
3. $\neg wKH$ est destructible par un forçage ccc de taille $\omega_1$.

Théorème B : Séparation de wKH et KH

Sous l'hypothèse d'un cardinal supercompact, il existe une extension où :

1. $2^\omega = \omega_2 = \kappa$.
2. La propriété de modélisation de devin affaiblie $GMP_{\omega_2}(\omega_2)$ est vraie (ce qui implique la propriété de l'arbre $TP(\omega_2)$).
3. Il n'y a pas d'arbres de Kurepa ($\neg KH$), mais il existe un arbre de Kurepa faible ($wKH$).
   • Ce résultat affine des travaux précédents en montrant que la présence d'un arbre de Kurepa faible est compatible avec l'absence d'arbres de Kurepa et avec une forte propriété de compacité.

Résultats Techniques et Lemmes

• Propriété d'Approximation : Les auteurs prouvent que leur forçage de Mitchell modifié possède la propriété d'approximation $\omega_1$. Cela est crucial pour montrer que $GMP$ est préservé dans l'extension.
• Automorphismes et Arbres Dérivés : Ils développent une théorie fine des automorphismes d'arbres (consistance, séparation) pour garantir que les automorphismes ajoutés par le forçage sont "presque disjoints", assurant ainsi que l'arbre de Suslin devient Kurepa après forçage.
• Préservation par forçages $\sigma$-centrés : Ils démontrent directement que $\neg wKH$ est préservé par tout forçage $\sigma$-centré (incluant l'ajout de réels de Cohen), sans passer par $GMP$.

4. Signification et Impact

1. Réponse à une question ouverte : Ce papier répond négativement à la question de la robustesse absolue de $GMP(\omega_2)$. Il montre que, contrairement à ce qui se passe aux grands cardinaux, $GMP$ à $\omega_2$ n'est pas indestructible par tous les forçages ccc de taille $\omega_1$.
2. Précision de la "pointe" (Sharpness) : Le résultat est optimal car il est connu que l'ajout de réels de Cohen (forçage dénombrable) ne détruit jamais $GMP$. La destruction nécessite donc un forçage de taille $\omega_1$.
3. Nouvelles interactions : Le papier établit des liens profonds entre la structure des automorphismes d'arbres de Suslin, la non-saturation des arbres d'Aronszajn et les principes de modélisation de devin.
4. Méthodologie flexible : L'utilisation d'une variante du forçage de Mitchell où les itérants sont des forçages d'automorphismes plutôt que des réels de Cohen ouvre la voie à de nouvelles constructions de modèles en théorie des ensembles, permettant de manipuler finement les propriétés des arbres tout en préservant des principes de compacité forts.

En résumé, ce travail démontre que la robustesse des principes de compacité forts comme $GMP$ aux cardinaux accessibles est plus fragile qu'aux grands cardinaux, et que la présence d'objets combinatoires spécifiques (arbres de Suslin presque Kurepa) peut servir de "cheval de Troie" pour détruire ces principes via des forçages ccc de petite taille.