Nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in Cohen models

Cet article démontre que l'ajout de $\kappa < \aleph_\omega$ réels de Cohen à un modèle de l'hypothèse du continu engendre des automorphismes non triviaux de $\mathcal P(\omega)/\mathrm{Fin}$, et étend ce résultat aux cardinaux $\kappa \geq \aleph_\omega$ sous certaines hypothèses supplémentaires concernant les arbres de Davies, généralisant ainsi un théorème antérieur de Shelah et Steprāns.

L'essentiel

Le Mystère des Portes Infinies : Comment ouvrir des verrous dans un monde de recoins

Imaginez que vous avez un immense château de cartes, mais au lieu de cartes, ce sont des ensembles d'objets infinis (comme tous les nombres entiers, tous les jours de votre vie, etc.). En mathématiques, on appelle cela $\mathcal{P}(\omega)$.

Maintenant, imaginez que vous ignorez les détails insignifiants. Si vous enlevez un seul objet d'un tas infini, le tas reste "le même". C'est ce qu'on appelle le quotient $\mathcal{P}(\omega)/Fin$. Ce système a des portes (des automorphismes) qui permettent de réorganiser tout le château sans le détruire.

La question centrale de ce papier est la suivante : Si on ajoute de nouvelles "pièces" à notre univers mathématique (en utilisant une technique appelée "forçage de Cohen"), peut-on trouver de nouvelles portes secrètes pour réorganiser ce château ?

1. Le Problème : Le château devient trop grand

Les mathématiciens savaient déjà que si on ajoute un petit nombre de nouvelles pièces (par exemple, $\aleph_2$), on peut trouver beaucoup de nouvelles portes secrètes. C'est comme si le château restait assez petit pour qu'on puisse y voir toutes les pièces et trouver des astuces pour les déplacer.

Mais que se passe-t-il si on ajoute énormément de pièces (beaucoup plus que $\aleph_2$) ?

• L'analogie du chantier : Imaginez que vous essayez de réorganiser une bibliothèque. Si la bibliothèque est petite, vous pouvez parcourir les rayons un par un et déplacer les livres. Si la bibliothèque devient une ville entière, vous ne pouvez plus tout voir d'un coup. La méthode qui fonctionnait pour les petites bibliothèques échoue : vous ne savez plus comment déplacer les livres sans casser la structure.

Les auteurs, Will Brian et Alan Dow, disent : "Ne paniquez pas ! Même pour les très grandes bibliothèques, on peut trouver des portes secrètes, à condition d'avoir une carte spéciale."

2. La Solution : L'Arbre Sage (Sage Davies Tree)

Pour résoudre ce problème de taille, les auteurs utilisent un outil mathématique très sophistiqué appelé un "Arbre Sage" (Sage Davies tree).

• L'analogie de l'arbre généalogique : Imaginez que pour construire votre nouvelle bibliothèque, vous ne le faites pas d'un coup. Vous construisez étage par étage, en vous assurant que chaque nouvel étage est bien connecté à l'ancien.
• Un "Arbre Sage" est une liste de modèles mathématiques (des sous-ensembles de l'univers) qui se chevauchent intelligemment. C'est comme avoir une équipe de superviseurs qui vérifient chaque section du chantier.
• Grâce à cet arbre, les auteurs peuvent prouver que même si le château est gigantesque, il existe toujours des "recoins" (des recoins de l'arbre) où l'on peut insérer de nouvelles pièces de manière contrôlée.

3. Le Résultat Magique

Grâce à cette technique, les auteurs montrent deux choses principales :

1. Pour les tailles "moyennes" (moins de $\aleph_\omega$) : On n'a besoin d'aucune hypothèse spéciale. Dans n'importe quel univers mathématique standard, si on ajoute des pièces, on trouve énormément de nouvelles portes secrètes (au moins autant que le nombre de façons de peindre le ciel en deux couleurs !).
2. Pour les tailles "géantes" ($\ge \aleph_\omega$) : Il faut un peu plus de magie. Il faut que l'univers de départ ait une structure très ordonnée (comme un arbre sage). Si cette condition est remplie (ce qui est souvent le cas si on accepte certaines hypothèses standard en mathématiques), alors là encore, on trouve énormément de nouvelles portes.

4. Pourquoi c'est important ?

Avant ce papier, on pensait que pour les très grands univers, la structure devenait si rigide qu'on ne pouvait plus trouver de nouvelles portes. Les auteurs ont prouvé le contraire : l'ordre caché (l'arbre sage) permet de maintenir la flexibilité.

Ils montrent aussi que si vous avez une porte secrète dans l'ancien monde, vous pouvez l'étirer pour en créer des milliers dans le nouveau monde. C'est comme si vous aviez une clé unique qui, grâce à un mécanisme ingénieux, pouvait ouvrir des millions de nouvelles portes.

En résumé

Ce papier dit : "Même si vous construisez un univers mathématique gigantesque en ajoutant des milliards de nouvelles choses, vous ne perdez pas votre liberté. Si vous avez la bonne carte (l'arbre sage), vous pourrez toujours réorganiser les pièces de l'univers de façons nouvelles et surprenantes."

C'est une victoire de la logique : elle nous dit que même dans le chaos infini, il existe des structures cachées qui permettent de tout réarranger.

Résumé technique

Voici un résumé technique détaillé de l'article « Nontrivial Automorphisms of P(ω)/Fin in Cohen Models » de Will Brian et Alan Dow, rédigé en français.

1. Problématique et Contexte

L'article s'intéresse à la structure de l'algèbre de Boole $\mathcal{P}(\omega)/\text{Fin}$ (l'ensemble des parties de $\omega$ modulo les ensembles finis) dans des modèles de la théorie des ensembles obtenus par l'ajout de réels de Cohen.

• Le problème central : Déterminer l'existence d'automorphismes non triviaux de $\mathcal{P}(\omega)/\text{Fin}$ dans le modèle de Cohen $\kappa$ (noté $V[G]$ où $G$ est générique pour le forcing $Fn(\kappa, 2)$).
• Définitions clés :
  • Un automorphisme est dit trivial s'il est induit par une presque-permutation de $\omega$ (une bijection entre sous-ensembles cofinis de $\omega$). Il n'y a que $\mathfrak{c}$ (le continu) tels automorphismes.
  • Un automorphisme est non trivial s'il n'est pas induit par une telle permutation.
• État de l'art :
  • Sous l'Hypothèse du Continuum (CH), il existe $2^{\mathfrak{c}}$ automorphismes.
  • Shelah a montré qu'il est cohérent que tous les automorphismes soient triviaux.
  • Shelah et Steprāns ont prouvé en 1990 que dans le modèle de Cohen $\aleph_2$, il existe des automorphismes non triviaux. Cependant, leur preuve repose sur des propriétés spécifiques de saturation « quasi-saturée » du modèle $\aleph_2$ qui ne se généralisent pas aux cardinaux $\kappa \ge \aleph_3$.
• Question ouverte : Existe-t-il des automorphismes non triviaux dans le modèle de Cohen $\kappa$ pour tout $\kappa \ge \aleph_2$ ?

2. Méthodologie et Outils Principaux

Les auteurs développent une nouvelle approche pour surmonter les limitations de la preuve de Shelah-Steprāns, qui échoue pour $\kappa \ge \aleph_3$ car le modèle n'est plus une union croissante de modèles satisfaisant la CH de manière adéquate pour la récursion.

A. Les Arbres de Davies « Sage » (Sage Davies Trees)

L'outil central est l'utilisation d'arbres de Davies, des séquences de sous-modèles élémentaires $\langle M_\alpha : \alpha < \kappa \rangle$ de $H_\theta$.

• Ils utilisent une version spécifique appelée « sage Davies trees », introduite dans la littérature antérieure ([22]), qui nécessite l'hypothèse des cardinaux singuliers (SCH) et le principe de carré ($\square_\lambda$) pour les cardinaux limites de cofinalité $\omega$.
• Propriété clé : Ces arbres permettent de structurer le forcing de manière à ce que chaque étape $\alpha$ ajoute des générateurs « frais » (de nouveaux réels de Cohen) qui sont génériques par rapport aux modèles précédents, tout en maintenant une cohérence structurelle.

B. Extension de la Preuve de Shelah-Steprāns via les Arbres

L'idée maîtresse est de remplacer la décomposition du modèle de Cohen par une union de modèles satisfaisant la CH par une décomposition basée sur l'arbre de Davies :

1. On définit une suite croissante de sous-algèbres $B_\alpha = \mathcal{P}(\omega)/\text{Fin} \cap \bigcup_{\xi < \alpha} M_\xi[G]$.
2. On construit l'automorphisme par récurrence transfinie sur $\kappa$.
3. À chaque étape $\alpha$, on étend l'automorphisme de $B_\alpha$ à $B_{\alpha+1}$.
4. Le mécanisme de construction : Pour étendre l'automorphisme à un nouvel élément $b \in B_{\alpha+1}$, on identifie un « trou » $(\omega, \omega)$ (un gap) dans $B_\alpha$ créé par $b$. Grâce aux propriétés de l'arbre de Davies, on peut trouver dans $M_{\alpha+1}[G]$ un réel de Cohen « frais » qui comble ce trou (en tant que générateur générique), permettant ainsi de définir l'image de $b$.

C. Gestion des Cardinaux Singuliers

Pour les cardinaux singuliers $\kappa$ (notamment lorsque $\kappa^\omega > \kappa$), les auteurs adaptent la construction en utilisant des familles presque disjointes généralisées pour simuler la disponibilité de réels de Cohen génériques, contournant ainsi l'impossibilité d'utiliser directement le théorème 2.1(1) dans ce cas.

3. Résultats Principaux

Le Théorème Principal établit les résultats suivants sous l'hypothèse de la CH dans le modèle de base $V$ :

1. Cas $\kappa < \aleph_\omega$ (Théorème ZFC) :

   • Si $\kappa < \aleph_\omega$, alors dans le modèle de Cohen $\kappa$, tout automorphisme de $\mathcal{P}(\omega)/\text{Fin}$ dans $V$ s'étend à $2^\kappa$automorphismes distincts dans$V[G]$.
   • Ce résultat est un théorème de ZFC car les hypothèses nécessaires à l'existence des arbres de Davies (SCH et $\square_\lambda$) sont trivialement vraies pour $\kappa < \aleph_\omega$.

2. Cas $\kappa \ge \aleph_\omega$ (Hypothèses supplémentaires) :

   • Si $\kappa$ est régulier et qu'il existe un arbre de Davies « sage » de longueur $\kappa$ (ce qui suit de SCH + $\square_\lambda$), alors tout automorphisme de $V$ s'étend à $2^\kappa$automorphismes dans$V[G]$.
   • Si $\kappa$ est singulier et qu'il existe un arbre de Davies de longueur $\nu = \kappa^\omega$, alors il existe des automorphismes non triviaux dans $V[G]$.

3. Quantité d'automorphismes :

   • Pour les cardinaux réguliers, le nombre d'automorphismes est maximal ($2^\kappa$, ce qui correspond à$2^{\mathfrak{c}}$ dans le modèle étendu).
   • Pour les cardinaux singuliers, la preuve garantit l'existence d'au moins un automorphisme non trivial (en utilisant la fonction constante $h(\alpha)=1$ pour briser la trivialité).

4. Signification et Implications

• Généralisation majeure : Ce travail étend considérablement le résultat de Shelah et Steprāns (qui ne couvrait que $\kappa = \aleph_2$) à une large classe de cardinaux, y compris les cardinaux infinis arbitrairement grands, sous des hypothèses de combinatoire ensembliste standard (SCH + $\square$).
• Rôle des Arbres de Davies : L'article démontre la puissance des arbres de Davies « sage » comme outil unificateur pour la combinatoire infinie, permettant de transposer des arguments de récursion qui échouent habituellement dans les modèles de forcing de grande taille.
• Limites et Questions Ouvertes :
  • Les auteurs ne savent pas si le résultat pour $\kappa \ge \aleph_\omega$ est un théorème de ZFC pur. La construction d'arbres de Davies de grande longueur nécessite l'échec de certaines hypothèses de grand cardinal (comme la force de cohérence de la négation de SCH ou de $\square$).
  • Ils soulignent qu'il est cohérent (sous de grandes hypothèses de cardinaux) que tous les automorphismes soient triviaux dans certains modèles de Cohen pour $\kappa \ge \aleph_\omega$, mais prouver cela nécessiterait des hypothèses de grands cardinaux.
  • La question de l'existence d'automorphismes non triviaux dans les modèles de réels aléatoires (random reals) reste ouverte.

Conclusion

Brian et Dow réussissent à prouver que l'ajout de réels de Cohen, même en grand nombre, préserve la richesse structurelle de $\mathcal{P}(\omega)/\text{Fin}$ en permettant l'existence d'une multitude d'automorphismes non triviaux. Leur méthode, fondée sur les arbres de Davies, offre un cadre robuste pour analyser les propriétés de saturation et de construction dans les modèles de forcing complexes, dépassant les obstacles techniques qui avaient bloqué les recherches antérieures au-delà de $\aleph_2$.