A countable-support symmetric iteration separating PP from AC

Les auteurs construisent, à partir d'un modèle de ZFC, un modèle symétrique transitif satisfaisant ZF + DC + PP + AC_{wo} + ¬AC en utilisant une itération symétrique à support dénombrable de longueur Ord qui préserve le principe de dépendance choisie tout en rendant un ensemble spécifique non bien-ordonnable.

L'essentiel

Imaginez que vous êtes un architecte du monde mathématique. Votre objectif est de construire une nouvelle ville, appelée M, qui respecte certaines règles strictes mais en ignore d'autres, créant ainsi un univers où certaines choses sont possibles alors qu'elles ne le sont pas dans notre monde habituel (appelé ZFC).

Voici l'histoire de cette construction, racontée simplement.

1. Le Problème : La Règle du "Choix" et le Mystère "PP"

Dans notre monde mathématique habituel, il existe une règle fondamentale appelée Axiome du Choix (AC). C'est comme une loi qui dit : "Si vous avez une infinité de boîtes contenant des objets, vous pouvez toujours choisir un objet dans chaque boîte pour former une nouvelle collection." C'est très pratique, mais parfois trop puissant.

Il existe une autre règle, plus faible, appelée Principe de Partition (PP). Elle dit : "Si vous pouvez recouvrir une ville A avec une ville B (c'est-à-dire qu'il y a une surjection de B vers A), alors vous pouvez aussi trouver un chemin pour aller de A vers B sans se perdre (une injection)."

• Dans notre monde habituel, PP est toujours vrai car l'Axiome du Choix le garantit.
• Le défi : Les mathématiciens voulaient savoir si PP pouvait être vrai sans que l'Axiome du Choix ne soit vrai. Est-ce qu'on peut avoir le principe de partition sans avoir la capacité de choisir partout ?

2. Le Plan de Construction : Une Ville en Deux Étapes

L'auteur de l'article, Frank Trevor Gilson, propose de construire cette ville M en deux grandes étapes, comme on construit un gratte-ciel.

Étape 1 : Les Fondations (Le "Seed Model")

Il commence par une base solide, une ville provisoire appelée N.

• L'outil : Il utilise une machine à créer des "reals de Cohen". Imaginez que vous lancez une infinité de pièces de monnaie (des nombres réels) dans l'air.
• La symétrie : Pour empêcher l'Axiome du Choix de fonctionner, il applique une règle de symétrie stricte. Il dit : "Toutes ces pièces de monnaie sont indiscernables entre elles. Si vous essayez de les numéroter ou de les classer, vous ne pouvez pas le faire, car elles sont toutes mélangées de manière égale."
• Le résultat : Dans cette ville N, il existe un ensemble de pièces (appelé A) qui est non bien-ordonnable. Vous ne pouvez pas les mettre en file indienne. Donc, l'Axiome du Choix est faux ici (¬AC). Mais, la ville respecte quand même une règle de base appelée DC (le choix dépendant), qui permet de faire des choix étape par étape, comme marcher sur un sentier.

Étape 2 : L'Ascension (L'Itération Symétrique)

Maintenant, il faut construire le reste de la ville M au-dessus de N. C'est là que la magie opère. Il va ajouter des "étages" un par un, jusqu'à l'infini (une longueur appelée Ord).

• Le but : Il veut forcer le Principe de Partition (PP) à être vrai, mais seulement de manière locale d'abord, puis globalement.
• Les "Paquets" (Packages) : À chaque étage, il ajoute des outils spéciaux.
  • Paquet PP : Si vous avez une surjection (une couverture), ce paquet ajoute un "miroir" qui permet de trouver l'injection (le chemin de retour). Il le fait de manière très contrôlée, en ne touchant qu'à des parties spécifiques de la ville (appelées T).
  • Paquet ACWO : Il ajoute aussi la capacité de choisir pour les ensembles qui sont déjà bien ordonnés (comme les nombres entiers). C'est comme dire : "Vous pouvez choisir dans les boîtes numérotées, mais pas dans les boîtes mystères non numérotées."

3. La Technique Secrète : Les "Symétries Diagonales"

Comment construire une ville si haute sans que les fondations ne s'effondrent ?
L'auteur utilise une astuce ingénieuse appelée diagonal-lift / diagonal-cancellation.

Imaginez que vous avez un grand orchestre (les symétries). Si vous changez une note ici, cela peut tout gâcher là-bas. L'auteur crée des "contre-chants" :

• Quand il ajoute un nouvel étage, il crée une symétrie qui annule exactement les effets indésirables sur les étages précédents.
• C'est comme si vous construisiez un pont : chaque fois que vous posez une nouvelle poutre, vous ajustez les câbles de soutien pour que tout reste équilibré.
• Cela permet de garder la ville stable (elle respecte les règles de la logique ZF) tout en ajoutant de nouvelles propriétés (PP et ACWO).

4. Le Résultat Final : La Ville M

À la fin de la construction, la ville M existe. Voici ce qu'on y trouve :

1. Pas de Choix Global (¬AC) : Vous ne pouvez toujours pas choisir un élément dans chaque boîte de l'ensemble mystère A (les pièces de monnaie initiales). Elles restent un chaos non ordonné.
2. Choix Localisé (ACWO) : Si les boîtes sont numérotées, vous pouvez choisir.
3. Le Principe de Partition (PP) est Vrai : Peu importe comment vous recouvrez une ville avec une autre, vous pouvez toujours trouver un chemin de retour.
4. Dépendance (DC) : Vous pouvez toujours faire des choix étape par étape pour avancer.

En Résumé : L'Analogie du Jardin

Imaginez un jardin infini (M).

• Il y a une zone de fleurs sauvages (A) qui sont toutes identiques et mélangées. Vous ne pouvez pas les ranger par ordre de taille (pas de AC).
• Cependant, si quelqu'un vous dit "Regarde, cette zone de fleurs couvre toute la pelouse", vous pouvez toujours prouver que la pelouse peut être "replacée" dans la zone de fleurs (c'est le PP).
• Et si vous avez des pots de fleurs numérotés, vous pouvez choisir une fleur dans chaque pot (c'est le ACWO).

L'article de Gilson prouve qu'il est mathématiquement possible de construire un tel jardin. Il sépare la règle "PP" de la règle "AC", montrant que l'une peut exister sans l'autre, en utilisant une construction complexe mais élégante basée sur la symétrie et l'annulation des erreurs.

C'est une victoire de l'ingéniosité mathématique : prouver que l'univers des ensembles peut être plus flexible que nous ne le pensions, en créant un monde où certaines règles s'appliquent et d'autres non, sans que le monde ne s'effondre.

Résumé technique

1. Problème et Contexte

L'article s'attaque à un problème fondamental en théorie des ensembles sans l'axiome du choix (AC) : la séparation du Principe de Partition (PP) de l'axiome du choix complet.

• Le Principe de Partition (PP) : Il stipule que pour toute surjection $f: Y \twoheadrightarrow X$, il existe une injection $i: X \hookrightarrow Y$.
• Le contexte : Dans ZFC, PP est trivialement vrai car toute surjection admet une section (une inverse à droite), ce qui équivaut à l'AC. Cependant, dans ZF (sans AC), la relation entre PP et AC est subtile. Il est connu que PP implique certaines formes de choix, mais il n'était pas établi si PP impliquait l'AC complet ou des principes de choix intermédiaires forts.
• L'objectif : Construire un modèle de ZF dans lequel PP est vrai, mais l'AC est faux. Plus précisément, l'auteur vise à construire un modèle satisfaisant $ZF + DC + PP + ACWO + \neg AC$, où :
  • $DC$ est le Principe du Choix Dépendant.
  • $ACWO$ est le Principe du Choix pour les ensembles bien-ordonnables (toute famille bien-ordonnée d'ensembles non vides admet une fonction de choix).
  • $\neg AC$ signifie que l'axiome du choix complet échoue (il existe un ensemble qui n'est pas bien-ordonnable).

2. Méthodologie

L'auteur utilise une itération symétrique à support dénombrable de longueur Ordinale (Ord), construite au-dessus d'un modèle de départ spécifique.

A. Le Modèle de Graine (Seed Model)

Le point de départ est un modèle symétrique de Cohen, noté $N$, obtenu par le forcing $Add(\omega, \omega_1)$ (ajout de $\omega_1$ réels de Cohen) avec un groupe d'automorphismes $G = Sym(\omega_1)$ agissant sur les indices des réels.

• Dans $N$, l'ensemble $A = \{c_\alpha : \alpha < \omega_1\}$ des réels de Cohen n'est pas bien-ordonnable, assurant $\neg AC$.
• Le modèle $N$ satisfait $ZF + DC$ et le principe $SVC(S)$ (Set-Vector-Choice) pour $S = A^\omega$.

B. L'Itération Symétrique

L'auteur construit une itération de longueur Ordinale sur $N$. À chaque étape successeur, on ajoute des « paquets de forcing » (package forcings) symétrisés par orbite pour forcer des principes locaux spécifiques, tout en préservant $DC$ et en maintenant l'échec de l'AC.

1. Forcings de Paquets (Package Forcings) :

   • Paquet PP ($Q_f$) : Pour chaque surjection $f: Y \twoheadrightarrow X$ où $X, Y \subseteq T$ (avec $T = \mathcal{P}(S)$), on ajoute une section (inverse à droite) pour $f$. Ce forcing est comptablement clos (countably closed), ce qui préserve $DC$ et n'ajoute pas de nouveaux réels.
   • Paquet ACWO ($R_f$) : Pour chaque surjection $f: S \times \eta \twoheadrightarrow \lambda$ (où $\lambda < \aleph^*(S)$), on ajoute une inverse à droite. Cela force le principe de choix pour les ensembles bien-ordonnables.

2. Gestion de la Symétrie et des Filtres :

   • L'itération utilise un système de filtres de sous-groupes modifiés aux étapes limites.
   • Une innovation clé est l'utilisation d'automorphismes diagonaux (diagonal lifts) et d'un schéma de cancellation diagonale. Cela permet de définir des filtres limites $\tilde{F}^*_\lambda$ qui sont $\omega_1$-complets et normaux, même pour des itérations de longueur Ordinale.
   • Ces automorphismes protègent les noms génériques des paquets tout en permettant de « casser » la symétrie nécessaire pour prouver que l'ensemble $A$ reste non bien-ordonnable dans le modèle final.

3. Mécanisme de Bookkeeping :

   • Une fonction de bookkeeping assure que chaque instance de surjection pertinente (dans le modèle intermédiaire) est rencontrée à une étape successeur où le forcing correspondant est appliqué.

3. Contributions Clés et Résultats Techniques

A. Séparation de PP et AC

Le résultat principal (Théorème 5.85) établit l'existence d'un modèle $M$ tel que :
$$M \models ZF + DC + PP + ACWO + \neg AC$$
Cela démontre que PP est strictement plus faible que l'AC complet, même en présence de $DC$ et de $ACWO$.

B. Réduction Locale et Localisation de Ryan–Smith

L'article utilise et applique le théorème de localisation de Ryan–Smith (Théorème 4.5) :
$$PP \iff (PP \upharpoonright T \land ACWO)$$
sous l'hypothèse $SVC^+(T)$.

• L'auteur force localement le principe de partition restreint ($PP \upharpoonright T$) en forçant le principe de scission ($PPsplit \upharpoonright T$) pour les ensembles dans $T = \mathcal{P}(A^\omega)$.
• La persistance de $SVC(S)$ à travers l'itération (Lemme 5.81) garantit que $SVC^+(T)$ est vrai dans le modèle final.
• La combinaison de $PP \upharpoonright T$ et $ACWO$ (forcés explicitement) implique donc le PP global.

C. Préservation de DC et Échec de AC

• Préservation de DC : La fermeture dénombrable des forcings de paquets ($Q_f$ et $R_f$) et la structure des filtres limites $\omega_1$-complets assurent que le Principe du Choix Dépendant est préservé à chaque étape et dans la limite.
• Échec de AC : La preuve que $A$ n'est pas bien-ordonnable dans $M$ (Proposition 5.77) repose sur une argumentation par contradiction utilisant les automorphismes diagonaux. Si $A$ était bien-ordonnable, son ordre serait invariant sous l'action d'un automorphisme diagonal qui échange deux réels de Cohen distincts, ce qui est impossible car un ordre bien-ordonné ne possède pas d'automorphisme non trivial (Lemme 3.24).

D. Conséquences Dérivées

Le modèle satisfait également :

• Le Principe d'Ordre (Ordering Principle) : Tout ensemble peut être linéairement ordonné (Corollaire 5.86).
• Les principes Kinna–Wagner ($KWP_1$ et $KWP_2$) (Remarque 5.87).

4. Signification et Impact

Ce travail est une avancée majeure dans la compréhension de la hiérarchie des principes de choix faibles :

1. Résolution d'une question ouverte : Il répond positivement à la question de savoir si PP peut être vrai sans AC, même avec des principes de choix intermédiaires forts comme $ACWO$ et $DC$.
2. Technique d'itération : L'article développe une infrastructure technique sophistiquée pour les itérations symétriques de longueur Ordinale, en particulier la gestion des filtres limites via des automorphismes diagonaux. Cela ouvre la voie à d'autres constructions de modèles de ZF avec des propriétés de choix spécifiques.
3. Nuance sur la localisation : Il montre comment des principes locaux (restreints à un paramètre fixe $T$) peuvent être « globalisés » via des théorèmes de localisation comme celui de Ryan–Smith, offrant une méthode puissante pour construire des modèles avec des propriétés de choix précises.

En résumé, Gilson fournit une construction explicite et rigoureuse d'un univers mathématique où la capacité à extraire des injections à partir de surjections (PP) est préservée, tandis que la capacité à bien-ordonner tous les ensembles (AC) est brisée, même en présence de choix pour les ensembles bien-ordonnables.