A Note on a Theorem of Apter

Each language version is independently generated for its own context, not a direct translation.

🌌 Le Grand Puzzle des Infinis : Une Note sur un Théorème d'Apter

Imaginez que les mathématiciens sont des architectes qui construisent des univers entiers. Dans leur boîte à outils, il y a une règle fondamentale appelée l'Axiome du Choix (AC). C'est comme une règle de "bon sens" qui dit : "Si vous avez une infinité de boîtes, vous pouvez toujours en choisir une pomme dans chacune d'elles".

Mais dans ce papier, les auteurs (Rahman, Otto et Sebastiano) décident de retirer cette règle. Ils construisent un univers sans elle. C'est un monde très étrange, régi par une autre loi appelée l'Axiome de la Déterminance (AD). Dans ce monde, les règles du jeu changent radicalement : les nombres infinis (les cardinaux) ne se comportent plus comme on s'y attend.

🎯 Le Problème : Trouver le "Champion" le plus petit

Dans notre monde habituel (avec l'Axiome du Choix), il y a des nombres infinis très spéciaux appelés nombres mesurables. On peut les comparer à des champions de force dans un tournoi.

Habituellement, le premier champion (le plus petit nombre mesurable) est très, très grand.
Mais sans l'Axiome du Choix, les choses deviennent floues. On sait que le premier champion pourrait être très petit (comme le nombre $\omega_1$ ), mais les mathématiciens voulaient savoir : Quelle est la taille minimale absolue que ce champion peut avoir tout en restant "fort" et "inaccessible" ?

Des chercheurs précédents (comme Apter, Gitik et d'autres) avaient déjà construit des modèles où ce champion était plus petit que prévu. Mais ils utilisaient des outils très lourds (des "super-puissances" mathématiques appelées grands cardinaux) pour y arriver.

🛠️ L'Innovation : Un Outil plus Léger

L'objectif de ce papier est simple : Réduire la puissance nécessaire pour construire cet univers spécial.

Les auteurs disent : "Nous n'avons pas besoin de construire un gratte-ciel entier pour faire tenir une petite maison. Nous pouvons le faire avec un simple abri de jardin."

Ils utilisent une technique appelée Forçage de Prikry. Imaginez cela comme une machine à modifier la texture du sol :

Prenez un nombre infini très grand et très solide (un nombre mesurable).
Utilisez la machine pour le "percer" ou le "rendre poreux" (le rendre de cofinalité $\omega$ , ce qui signifie qu'on peut le compter en faisant une liste infinie).
Le résultat ? Ce nombre perd sa solidité habituelle, mais il garde une propriété magique : il reste un "champion" (mesurable).

🏆 La Révélation du Théorème

Le résultat principal de l'article est une démonstration de cohérence. En termes simples, ils prouvent que :

Si on part d'un univers où une certaine règle forte (ADR) est vraie,
Alors on peut construire un nouvel univers où :

Le nombre infini le plus grand possible (appelé $\Theta$ ) devient le tout premier champion (le plus petit nombre mesurable).

Il est aussi le premier nombre "fort" (régulier) et le premier nombre "inaccessible".

Et le plus surprenant : Tous les nombres infinis qui sont plus petits que lui sont devenus "faibles" et "comptables" (ils ont une cofinalité dénombrable).

C'est comme si, dans un tournoi, vous preniez le plus grand géant, vous le rendiez le plus petit possible tout en gardant sa couronne, et vous transformiez tous les autres géants en nains qui peuvent être comptés un par un.

🧩 Comment ils ont fait ? (L'Analogie de la Tour)

Pour y parvenir, ils ont utilisé une méthode ingénieuse :

Ils ont pris une liste de tous les "champions" existants sous $\Theta$ .
Ils ont appliqué leur machine (le forçage de Prikry) sur chacun d'eux, un par un, mais de manière synchronisée.
Cela a transformé tous les champions intermédiaires en nombres "faibles".
Le grand $\Theta$ lui-même, grâce à une propriété spéciale de mesure (une sorte de filtre parfait), a survécu à la transformation et est devenu le seul champion restant, et le plus petit possible.

🔮 Pourquoi c'est important ?

C'est une avancée majeure car cela montre que la "force" nécessaire pour créer un tel univers est beaucoup plus faible que ce que l'on pensait.

Avant : Il fallait des hypothèses mathématiques énormes (des limites de Woodin).
Maintenant : Il suffit d'hypothèses plus modestes (liées à la déterminance).

Cela rapproche les mathématiciens de la réponse à une question fondamentale : Quelle est la structure la plus simple possible d'un univers où l'Axiome du Choix échoue ?

❓ Les Questions Ouvertes

Le papier se termine par quelques questions pour les futurs explorateurs :

Peut-on faire en sorte que le champion le plus petit ait une force encore plus spécifique (par exemple, concentrée sur des nombres impairs ou pairs infinis) ?
Jusqu'où peut-on pousser la "force" de ce champion ?

En résumé

Ce papier est comme un manuel de bricolage pour les architectes de l'infini. Il montre comment, avec des outils plus légers et plus précis, on peut construire un univers où le plus grand nombre possible est aussi le plus petit champion, et où tout le reste s'effondre en nombres comptables. C'est une victoire de l'ingéniosité mathématique sur la complexité.

Each language version is independently generated for its own context, not a direct translation.

Voici un résumé technique détaillé de l'article « A Note on a Theorem of Apter » de Rahman Mohammadpour, Otto Rajala et Sebastiano Thei, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des ensembles sans l'axiome du choix (ZF) et explore la structure des grands cardinaux, en particulier les cardinaux mesurables et réguliers.

Le contexte : En présence de l'axiome du choix (AC), la notion de cardinal mesurable est bien comprise via les plongements élémentaires ou les ultrafiltres. Cependant, sans AC, l'équivalence entre ces définitions peut échouer. Sous l'axiome de la détermination (AD), la structure des cardinaux change radicalement : par exemple, $\omega_1$ peut être mesurable.
Le problème central : Identifier le plus petit cardinal mesurable possible en l'absence de l'axiome du choix, tout en imposant qu'il soit inaccessible (ou fortement régulier).
Travaux antérieurs :
- Apter [1] a montré que sous AD + $V=L(\mathbb{R})$ , il existe un modèle où le plus petit cardinal mesurable est le plus petit cardinal limite régulier.
- Gitik, Hayut et Karagila [5] ont démontré que si $\kappa$ est un cardinal $\kappa^{++}$ -supercompact, on peut forcer pour obtenir un modèle où $\kappa$ est le plus petit cardinal inaccessible (au sens de leur définition) et mesurable.
L'objectif de l'article : Réduire la force des grands cardinaux requise pour le théorème de Gitik, Hayut et Karagila. Les auteurs introduisent une notion légèrement différente d'inaccessibilité, qu'ils appellent régularité forte, et cherchent à construire un modèle où le cardinal $\Theta$ (le plus petit cardinal vers lequel $\mathbb{R}$ ne peut pas être mappé) est à la fois le plus petit cardinal régulier non dénombrable, le plus petit cardinal mesurable et le plus petit cardinal fortement régulier.

2. Méthodologie

Les auteurs utilisent une combinaison de techniques de forçage et de modèles symétriques, en s'appuyant sur les travaux d'Apter.

Hypothèse de départ : Ils travaillent dans un modèle de ZF + ADR (Axiome de la Détermination pour les jeux alternés sur les réels) + « Il existe une mesure $\mathbb{R}$ -complète sur $\Theta$ ». Cette hypothèse, notée $\Theta_{meas}$ , est consistante et plus faible que la limite de Woodin de cardinaux de Woodin.
Outils principaux :
1. Forçage de Prikry : Utilisé pour singulariser des cardinaux mesurables (rendre leur cofinalité $\omega$ ) tout en préservant la mesurabilité des autres cardinaux.
2. Produit fini de forçages : Ils considèrent l'ensemble $M$ des cardinaux mesurables strictement inférieurs à $\Theta$ . Ils définissent un forçage $P$ comme le produit à support fini des forçages de Prikry $\mathcal{P}_\kappa$ pour chaque $\kappa \in M$ .
3. Extension symétrique : Pour construire le modèle final $N$ , ils utilisent une extension symétrique basée sur des filtres génériques « petits » ( $G_\kappa$ pour $\kappa \in M$ ). Cette construction permet de contrôler quels ensembles sont présents dans le modèle final, en particulier pour détruire la mesurabilité des cardinaux inférieurs à $\Theta$ tout en préservant celle de $\Theta$ .
Définition de la régularité forte : Un cardinal $\kappa$ est dit fortement régulier s'il est non dénombrable et que pour tout $\alpha < \kappa$ et toute fonction $f: \mathcal{P}(\alpha) \to \kappa$ , l'image de $f$ est bornée dans $\kappa$ . Cette notion est plus forte que la régularité usuelle mais équivalente sous AC.

3. Résultats Principaux

Le résultat central est le Théorème 1.1 :

Théorème : En supposant ZF + $\Theta_{meas}$ , il existe une extension satisfaisant ZF dans laquelle :

$\Theta$ est un cardinal fortement régulier.

$\Theta$ est le plus petit cardinal régulier non dénombrable.

$\Theta$ est le plus petit cardinal mesurable.

Détails techniques de la preuve :

Destruction de la mesurabilité en dessous de $\Theta$ : Le forçage de Prikry appliqué à chaque $\kappa \in M$ rend la cofinalité de chaque $\kappa$ égale à $\omega$ dans le modèle final $N$ . Par conséquent, aucun cardinal strictement inférieur à $\Theta$ ne peut être régulier, et donc aucun ne peut être mesurable (car tout cardinal mesurable est régulier).
Préservation de la régularité forte de $\Theta$ : Les auteurs prouvent que toute fonction $f \in N$ de $\mathcal{P}(\alpha)$ vers $\Theta$ (pour $\alpha < \Theta$ ) est bornée. La preuve repose sur le fait que tout ensemble d'ordinaux dans $N$ appartient à une extension générique finie $V[G_c]$ (Lemme 3.4). Ils montrent que si une telle fonction était non bornée, cela impliquerait l'existence d'une application non bornée de $\mathbb{R}$ vers $\Theta$ dans le modèle de base, ce qui contredit l'hypothèse $\Theta_{meas}$ .
Préservation de la mesurabilité de $\Theta$ : Ils démontrent qu'une mesure $\mathbb{R}$ -complète et normale $\mu$ sur $\Theta$ dans le modèle de base peut être « relevée » (lifted) vers le modèle symétrique $N$ . La mesure relevée $\mu^*$ reste un ultrafiltre normal et $\Theta$ -complet dans $N$ , prouvant ainsi que $\Theta$ reste mesurable.
Conséquence : Puisque tous les cardinaux non dénombrables inférieurs à $\Theta$ sont singuliers (de cofinalité $\omega$ ), $\Theta$ devient automatiquement le plus petit cardinal régulier non dénombrable.

4. Contributions Clés et Signification

Réduction de la force des grands cardinaux : L'article améliore les résultats antérieurs de Gitik, Hayut et Karagila en montrant que la configuration où le plus petit cardinal mesurable est aussi le plus petit cardinal inaccessible (au sens de la régularité forte) ne nécessite pas la force d'un cardinal supercompact, mais seulement l'hypothèse $\Theta_{meas}$ (consistante avec ADR).
Nuance conceptuelle : L'introduction et l'utilisation de la notion de « régularité forte » permettent de distinguer subtilement les types d'inaccessibilité en l'absence de choix, tout en maintenant la cohérence avec les résultats classiques sous AC.
Conjecture : Les auteurs formulent la Conjecture 1.2, suggérant que la théorie « ZF + $\Theta$ est le plus petit mesurable et le plus petit inaccessible » est strictement plus faible que la limite de Woodin de cardinaux de Woodin.

5. Questions Ouvertes

La section finale du papier propose plusieurs questions pour la recherche future :

Question 4.1 : Quelle est la force de consistance exacte de « $\Theta$ est le plus petit inaccessible et le plus petit mesurable » ?
Question 4.2 : Peut-on obtenir un modèle où le plus petit inaccessible est le plus petit mesurable portant une mesure normale concentrée sur des points de cofinalité $\omega_1$ ou sur des cardinaux réguliers ?
Question 4.3 & 4.4 : Questions sur la structure des ultrafiltres sur $\Theta$ (notamment l'ordinal $o(\Theta)$ ) et la possibilité que $\Theta$ soit le $\xi$ -ième cardinal régulier non dénombrable tout en étant le plus petit mesurable.

En résumé, cet article établit un nouveau point de référence pour la compréhension de la hiérarchie des cardinaux en l'absence de l'axiome du choix, en démontrant que des configurations très fortes de grands cardinaux peuvent être obtenues à partir d'hypothèses relativement faibles (ADR + existence d'une mesure sur $\Theta$ ).