Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations

Cet article établit une construction de filtres limites pour les itérations symétriques à support dénombrable, garantissant la préservation de ZF et du choix dépendant (DC), et l'applique pour construire un modèle où l'axiome du choix échoue spécifiquement pour une famille de paires de réels indexée par un cardinal de cofinalité supérieure ou égale à $\omega_1$.

L'essentiel

🌌 Le Grand Projet : Construire un Univers Mathématique "Juste"

Imaginez que vous êtes un architecte de mondes. Votre objectif est de construire un univers mathématique (appelé un modèle) qui respecte certaines règles fondamentales de la logique, mais qui brise volontairement une règle très spécifique : le Axiome du Choix.

Pourquoi briser une règle ? Parce que dans la vie réelle (et en mathématiques), il est parfois utile de voir ce qui se passe quand on ne peut pas "choisir" un élément dans chaque boîte d'une collection infinie. Le papier de Frank Gilson explique comment construire ces mondes de manière robuste, en évitant les pièges qui font s'effondrer la logique.

Voici les trois piliers de son travail, expliqués avec des métaphores.

---

1. Le Problème : La Tour qui s'effondre à l'infini

Imaginez que vous construisez une tour étage par étage.

• Les étages (étapes successives) : À chaque étage, vous ajoutez une nouvelle pièce avec une porte qui peut s'ouvrir de deux façons (gauche ou droite). Vous avez un groupe de gardiens qui peuvent ouvrir ces portes.
• La règle du jeu (Symétrie) : Pour que votre univers soit "juste", vous ne voulez pas que les gardiens puissent distinguer la porte de gauche de celle de droite. Ils doivent être interchangeables. C'est ce qu'on appelle la symétrie.

Le problème des limites :
Quand vous arrivez à un étage infini (un "limite"), comment décidez-vous qui sont les gardiens autorisés à entrer dans tout l'univers ?

• Si vous utilisez la méthode classique (support fini), vous dites : "Un gardien est valide s'il ne touche qu'à un nombre fini de portes".
• Le piège : À l'étage infini, si vous avez une infinité de portes, cette règle devient trop stricte. Elle empêche de faire des choix simples. Résultat : votre univers mathématique devient "malade". Il perd sa capacité à faire des séquences logiques infinies (ce qu'on appelle le Choix Dépendant ou DC). C'est comme si votre tour avait un ascenseur qui s'arrêtait au 100ème étage et ne pouvait plus jamais redescendre.

---

2. La Solution de Gilson : Le "Filtre Omega-1"

Frank Gilson propose une nouvelle façon de gérer les gardiens aux étages infinis. Au lieu de dire "seulement un nombre fini de portes", il dit : "On peut toucher à une infinité de portes, tant qu'on ne touche pas à une infinité non comptable."

Il introduit un outil mathématique appelé un filtre $\omega_1$-complet.

L'analogie du filet de pêche :

• Imaginez que les gardiens sont des poissons.
• L'ancien filet (support fini) avait des mailles si grandes qu'il laissait passer les petits poissons (les choix simples) mais attrapait les gros. À l'infini, il se déchirait.
• Le nouveau filet de Gilson a des mailles très fines, mais résistantes. Il est conçu pour attraper non seulement un poisson, mais aussi une infinité de poissons alignés, tant qu'ils forment une liste que l'on peut compter (1, 2, 3...).

Pourquoi est-ce crucial ?
Grâce à ce nouveau filet, l'architecte peut construire une tour infinie où :

1. La logique de base (ZF) reste solide (pas de contradictions).
2. On peut faire des choix séquentiels (DC) : on peut toujours choisir le prochain élément d'une liste infinie.
3. Mais on ne peut pas choisir un élément dans chaque boîte d'une collection infinie de paires indifférenciées. C'est le but !

---

3. L'Application : La Boîte de Paires Indécidables

Pour prouver que sa méthode fonctionne, Gilson construit un exemple concret : Le Modèle des Paires Désordonnées.

L'histoire :
Imaginez que vous avez une infinité de boîtes ($\kappa$ boîtes). Dans chaque boîte, il y a deux billes rouges indiscernables.

• Vous voulez dire : "Il n'existe aucune règle magique pour dire 'prends la bille de gauche' dans chaque boîte".
• Avec l'ancienne méthode (support fini), dès que vous avez une infinité de boîtes, la logique s'effondre : vous ne pouvez même plus faire une liste ordonnée des boîtes.
• Avec la méthode de Gilson (support dénombrable + filtre $\omega_1$) :
  • Vous pouvez faire une liste de toutes les boîtes.
  • Vous pouvez choisir une bille dans la boîte 1, puis dans la boîte 2, etc. (c'est le DC).
  • MAIS, il est impossible de créer une règle globale qui choisit une bille dans toutes les boîtes en même temps. Les billes restent "indécidables" collectivement.

C'est comme si vous aviez une infinité de paires de chaussures gauches/droites. Vous pouvez en enchaîner une paire après l'autre pour marcher, mais vous ne pouvez pas dire "je mets la gauche sur le pied gauche" pour toutes les paires en même temps sans briser la symétrie.

---

4. Pourquoi l'ancien système échouait (La leçon)

Le papier montre une preuve fascinante : si vous essayez de faire la même chose avec l'ancien système (support fini), tout s'effondre au premier étage infini.

• L'analogie : C'est comme essayer de construire un pont avec des briques qui ne tiennent que si on en pose une seule à la fois. Dès qu'il faut poser une rangée infinie de briques, le pont s'effondre.
• Gilson prouve que pour que le pont tienne (pour que le Choix Dépendant survive), il faut absolument utiliser son nouveau système de "mailles fines" (le filtre $\omega_1$-complet). Ce n'est pas juste une amélioration, c'est une nécessité structurelle.

En Résumé

Frank Gilson a écrit ce papier pour donner aux mathématiciens les outils de construction nécessaires pour créer des univers mathématiques où :

1. On peut faire des choix étape par étape (on garde la logique).
2. Mais on ne peut pas faire de choix global sur des objets identiques (on brise l'Axiome du Choix).

Il a résolu le problème des "étages infinis" en inventant un nouveau type de filtre de sécurité qui permet de gérer l'infini sans tout casser. C'est un manuel de survie pour les architectes de mondes mathématiques bizarres mais cohérents.

Résumé technique

Voici un résumé technique détaillé de l'article « Limit Filters and Dependent Choice in Countable-Support Symmetric Iterations » de Frank Gilson, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des ensembles, plus précisément dans l'étude des extensions symétriques et des itérations de forçage. Le but est de construire des modèles de la théorie des ensembles de Zermelo-Fraenkel (ZF) où l'Axiome du Choix (AC) échoue, tout en préservant des fragments importants comme le Principe du Choix Dépendant (DC).

Le problème central abordé par l'auteur concerne la construction d'itérations symétriques à support dénombrable (countable-support symmetric iterations).

• Contexte existant : La théorie des itérations symétriques à support fini est bien établie (notamment grâce aux travaux de Karagila). Cependant, le passage au support dénombrable introduit une contrainte critique aux étapes limites, en particulier aux limites de cofinalité $\omega$.
• Le défi : Pour que la classe des noms heréditairement symétriques (HS) reste close sous les opérations nécessaires à la vérification de ZF et, surtout, pour garantir la validité du Principe du Choix Dépendant (DC) dans le modèle résultant, il est impératif que les filtres de symétrie aux étapes limites soient non seulement normaux, mais aussi $\omega_1$-complets (c'est-à-dire stables par intersection dénombrable).
• L'obstacle : Dans les itérations à support fini, les filtres limites ne sont généralement pas $\omega_1$-complets aux étapes de cofinalité $\omega$, ce qui empêche la préservation de DC et peut mener à l'apparition d'ensembles pathologiques (comme des ensembles infinis dénombrables sans sous-ensemble infini dénombrable, ou ensembles amorphes).

2. Méthodologie

L'auteur développe une technologie spécifique pour les étapes limites des itérations à support dénombrable, en distinguant deux cas selon la cofinalité de l'ordinal limite $\lambda$ :

1. Cas de cofinalité non dénombrable ($cf(\lambda) \ge \omega_1$) :

   • L'auteur utilise l'identification de la limite à support dénombrable avec la limite directe (direct limit).
   • Grâce à un lemme de « bornage des étapes » (stage-bounding), toute condition ou nom a un support contenu dans un ordinal $\beta < \lambda$.
   • Le filtre limite $\tilde{F}_\lambda$ est défini comme le plus petit filtre normal contenant les « pullbacks » (rétro-images) des filtres des étapes précédentes. L'$\omega_1$-complétude découle naturellement de ce bornage : une intersection dénombrable d'éléments du filtre peut être ramenée à une intersection au sein d'un filtre d'étape $\beta < \lambda$, qui est déjà $\omega_1$-complet par hypothèse inductive.

2. Cas de cofinalité dénombrable ($cf(\lambda) = \omega$) :

   • Le lemme de bornage échoue ici (une union dénombrable d'ordinaux peut atteindre $\lambda$).
   • Contribution clé : L'auteur définit le filtre limite $\tilde{F}_\lambda$ non pas simplement comme le filtre normal engendré, mais comme le plus petit filtre normal $\omega_1$-complet contenant les pullbacks des générateurs des étapes antérieures.
   • Cette définition est constructive : un sous-groupe appartient au filtre si et seulement s'il contient une intersection dénombrable de conjugués de pullbacks de sous-groupes des étapes précédentes.

Outils techniques :

• Utilisation systématique de la complétion $\omega_1$ des filtres normaux (définition 2.5).
• Démonstration que la classe des noms heréditairement symétriques (HS) est close sous les opérations de ZF et sous la formation de tuples dénombrables grâce à cette $\omega_1$-complétude.

3. Contributions Clés

1. Construction canonique des filtres limites : L'article isole et formalise la construction nécessaire des filtres de symétrie aux étapes limites pour les itérations à support dénombrable, comblant un vide dans la théorie existante qui se concentrait principalement sur le support fini.
2. Théorème de préservation de ZF et DC :
   • Théorème 3.17 : Preuve que le modèle symétrique obtenu satisfait ZF.
   • Théorème 3.20 : Preuve que si le modèle de base satisfait ZFC, le modèle symétrique satisfait le Principe du Choix Dépendant ($DC = DC_\omega$).
   • La clé de voûte est le Théorème 3.13, qui établit que les filtres limites définis sont normaux et $\omega_1$-complets.
3. Distinction structurelle Support Fini vs Support Dénombrable : L'article démontre rigoureusement pourquoi le support fini est insuffisant pour préserver DC aux étapes limites de cofinalité $\omega$ (Proposition 4.4), tandis que le support dénombrable, couplé aux filtres $\omega_1$-complets, est structurellement nécessaire.

4. Résultats Principaux

• Théorème 3.13 (Propriétés du filtre limite) : Pour toute étape limite $\lambda$, le filtre $\tilde{F}_\lambda$ défini est normal et $\omega_1$-complet.
• Théorème 3.15 (Clôture des noms HS) : La classe des noms heréditairement symétriques est close sous les paires, les unions, la séparation bornée, et les tuples dénombrables. Cette dernière propriété est cruciale et dépend directement de l'intersection dénombrable des stabilisateurs, rendue possible par l'$\omega_1$-complétude.
• Théorème 3.20 (Préservation de DC) : Dans le modèle symétrique $M$, tout ensemble non vide $A$ et relation $R$ telle que $\forall x \in A \exists y \in A (xRy)$ admet une suite infinie $a_0, a_1, \dots$ telle que $a_n R a_{n+1}$.
• Application (Section 4) : Construction d'un modèle pour tout cardinal infini $\kappa$ avec $cf(\kappa) \ge \omega_1$ satisfaisant :
  $$ZF + DC + \neg AC_\kappa(\mathcal{F})$$
  où $\mathcal{F}$ est une famille $\kappa$-indexée de paires d'ensembles de réels (chaque paire étant un ensemble de deux réels de Cohen) qui n'admet aucune fonction de choix dans le modèle.
  • Chaque étape de l'itération ajoute une paire « imprenable » (non choisissable).
  • Le degré d'échec de l'AC est contrôlé par la longueur de l'itération.
• Contre-exemple (Proposition 4.4) : Une version à support fini de la même construction échoue à préserver DC à la première étape limite $\omega$, car le filtre limite à support fini ne contient pas l'intersection dénombrable des stabilisateurs nécessaire pour rendre la suite de choix heréditairement symétrique.

5. Signification et Impact

Cet article est fondamental pour l'avenir de la théorie des extensions symétriques itérées :

• Nécessité structurelle : Il démontre que le support dénombrable n'est pas seulement une variante technique du support fini, mais une exigence structurelle pour obtenir des modèles de ZF + DC avec des échecs contrôlés de l'AC. Sans les filtres limites $\omega_1$-complets, la préservation de DC est impossible aux étapes limites de cofinalité $\omega$.
• Modularité : L'auteur propose un cadre modulaire. Une fois qu'un système symétrique à l'étape successeur est défini, les résultats sur les filtres limites et la préservation de ZF/DC peuvent être appliqués directement sans refaire les preuves de base.
• Limites : L'article ne prétend pas fournir un théorème de préservation de ZF pour les itérations de longueur classe (class-length iterations), notant que cela nécessite des hypothèses supplémentaires complexes au-delà du cadre actuel (prétameness).
• Applications futures : La construction de modèles avec $\neg AC_\kappa$ tout en maintenant $DC$ ouvre la voie à l'étude fine de la hiérarchie des principes de choix faibles et de leurs conséquences sur la structure des ensembles de réels et des cardinaux.

En résumé, Frank Gilson fournit les outils techniques manquants pour manipuler les itérations symétriques à support dénombrable, garantissant la cohérence de ZF et la validité du choix dépendant, tout en permettant la construction de modèles où l'axiome du choix échoue de manière spécifique et contrôlée.