The *-variation of the Banach-Mazur game and forcing axioms

Cet article introduit une nouvelle propriété des ordres partiels, définie par une variation du jeu de Banach-Mazur où le premier joueur choisit des ensembles dénombrables, qui renforce la fermeture stratégique et préserve l'axiome de forçage propre (PFA), permettant ainsi de reproduire le théorème de Magidor sur la cohérence du PFA avec des variations faibles des principes carrés tout en distinguant cette propriété de la fermeture opérationnelle.

L'essentiel

Imaginez que vous êtes un architecte en train de construire une ville infinie, appelée l'Univers Mathématique. Dans cette ville, il y a des règles très strictes (les axiomes) qui dictent comment les bâtiments (les ensembles de nombres) peuvent être érigés. L'un de ces règles les plus célèbres et les plus puissantes s'appelle PFA (l'Axiome du Forçage Propre). C'est un peu comme le code de la route ultime : si vous le respectez, votre ville est stable, belle et sans trous dangereux.

Le problème, c'est que parfois, les mathématiciens veulent ajouter de nouveaux bâtiments ou modifier la ville. Pour cela, ils utilisent une technique appelée Forçage (Forcing). C'est comme un outil de construction qui permet d'ajouter des étages ou de changer la structure. Mais attention ! Si vous utilisez un mauvais outil, vous risquez de faire effondrer tout le code de la route (PFA) et de créer un chaos total.

L'auteur de ce papier, Yasuo Yoshinobu, s'est demandé : "Quels sont les outils de construction les plus sûrs pour modifier la ville sans détruire le code de la route ?"

Voici l'explication simple de ses découvertes, avec quelques analogies :

1. Le Jeu de la Tour de Hanoi (Le Jeu Banach-Mazur)

Pour tester la solidité d'un outil de construction, les mathématiciens utilisent un jeu imaginaire entre deux joueurs, disons Alice et Bob.

• Le but : Construire une tour infinie, brique par brique, sans jamais tomber.
• Le jeu classique : Alice pose une brique, Bob en pose une autre, et ainsi de suite. Si Bob peut toujours répondre à Alice jusqu'à l'infini, l'outil est considéré comme "solide".
• La nouvelle règle de Yoshinobu : Dans son jeu, Alice ne pose plus une seule brique à la fois. Elle pose un petit tas de briques (un ensemble dénombrable) à chaque tour.

C'est ici que la magie opère. Yoshinobu a découvert une nouvelle propriété, qu'il appelle la *fermeture -tactique (*-tactical closedness).

L'analogie :
Imaginez que vous jouez au tennis.

• Dans le jeu classique, votre adversaire vous lance une balle à la fois. Vous devez juste savoir où frapper.
• Dans le jeu de Yoshinobu, votre adversaire vous lance une poignée de balles en même temps. Vous devez être capable de les renvoyer toutes, ou du moins de trouver une position où vous pouvez continuer le jeu malgré cette pluie de balles.

Si vous (le joueur Bob) gagne toujours ce jeu, même quand l'adversaire vous bombarde de plusieurs options à la fois, alors votre outil de construction est ultra-sûr.

2. La Découverte Majeure : PFA est Indestructible

Yoshinobu a prouvé quelque chose de formidable : *Si vous utilisez un outil qui possède cette nouvelle propriété "ultra-sûre" (la fermeture -tactique), vous pouvez modifier votre ville mathématique à votre guise, et le code de la route (PFA) restera intact.

C'est comme si vous aviez trouvé un type de béton spécial qui, même si vous y ajoutez des étages, des sous-sols ou des tours bizarres, ne fissure jamais les fondations de la ville.

3. Pourquoi est-ce important ? (L'application)

Dans le monde mathématique, il y a des principes contradictoires. Par exemple, il y a une règle appelée "Square" (□) qui dit que la ville a une structure très rigide et prévisible. Mais PFA dit souvent le contraire : la ville doit être flexible et imprévisible.

Yoshinobu utilise sa nouvelle découverte pour prouver un théorème célèbre de Menachem Magidor : Il est possible d'avoir une ville où PFA est vrai (la ville est flexible) ET où la structure rigide "Square" existe aussi pour certaines parties de la ville.

C'est comme si vous prouviez qu'on peut construire un gratte-ciel qui est à la fois flexible comme du caoutchouc et rigide comme de l'acier, selon la façon dont vous utilisez votre outil de construction.

4. La Différence entre les Outils (Opérationnel vs Tactique)

Yoshinobu compare deux types d'outils :

1. Les outils "Opérationnels" : Vous avez une mémoire parfaite de tout ce qui s'est passé avant. Vous savez exactement quelle brique a été posée il y a 100 tours.
2. Les outils "*-Tactiques" : Vous avez une mémoire plus limitée. Vous ne regardez que le tas de balles que l'adversaire vient de vous lancer, sans vous souvenir de tout l'historique.

Le résultat surprenant :

• Certains outils "Opérationnels" sont si puissants qu'ils peuvent détruire certaines règles de la ville (comme la Conjecture de Chang).
• Mais les outils "*-Tactiques" sont différents : ils préservent ces règles.
• Inversement, il y a des règles que les outils "*-Tactiques" peuvent détruire, mais que les outils "Opérationnels" préservent.

En résumé : Ce ne sont pas les mêmes outils. Ils ne font pas la même chose. C'est comme comparer un marteau et un tournevis : les deux sont utiles, mais si vous essayez de visser avec un marteau, ça ne marchera pas. Yoshinobu montre exactement quand utiliser l'un ou l'autre pour ne pas casser la ville.

Conclusion Simple

Ce papier est une boîte à outils pour les architectes de l'infini. Yasuo Yoshinobu a inventé un nouveau type de marteau (la fermeture *-tactique) qui est si bien conçu qu'il permet de construire des structures mathématiques complexes sans jamais briser les lois fondamentales de l'univers (PFA). Il nous montre aussi que ce nouveau marteau est différent des outils qu'on utilisait avant, et qu'il faut savoir lequel choisir selon le type de construction que l'on veut réaliser.

Résumé technique

Voici un résumé technique détaillé de l'article **« The -variation of the Banach-Mazur game and forcing axioms »* de Yasuo Yoshinobu, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans l'étude des conséquences des axiomes de forçage, en particulier le Proper Forcing Axiom (PFA). Un problème central en théorie des ensembles est de déterminer quelles classes de posets (ensembles partiellement ordonnés) préservent le PFA lorsqu'on effectue un forçage au-dessus d'un modèle satisfaisant cet axiome.

• Contexte historique : Larson a démontré que le PFA est préservé par tout forçage sur un poset où toute sous-ensemble compatible de taille $\le \omega_1$ a une extension commune. Plus tard, König et Yoshinobu ont étendu ce résultat aux posets $\omega_2$-fermés. Cependant, il est connu que le PFA n'est pas préservé par tous les posets $(\omega_1+1)$-stratégiquement fermés (par exemple, le poset ajoutant une séquence $\square_{\omega_1}$ est $(\omega_1+1)$-stratégiquement fermé mais détruit le PFA).
• Question de recherche : Existe-t-il une classe de posets plus large que celle des posets $\omega_2$-fermés, mais plus restrictive que les posets $(\omega_1+1)$-stratégiquement fermés, qui préserve le PFA ?
• Travaux antérieurs : Dans un article précédent [22], l'auteur a introduit la notion de fermeture opérationnelle (operational closedness), où le second joueur d'un jeu de Banach-Mazur ne peut utiliser que l'infimum booléen des coups précédents et le numéro du tour pour décider de son coup. Cela suffit à préserver le PFA.
• Objectif de l'article : Introduire une nouvelle variation du jeu de Banach-Mazur pour définir une propriété de fermeture plus forte (ou différente) qui préserve également le PFA, et étudier la relation entre cette nouvelle propriété et la fermeture opérationnelle.

2. Méthodologie : Le Jeu $G^*(P)$ et les Nouvelles Propriétés

L'auteur introduit une variation du jeu de Banach-Mazur généralisé $G_{\omega_1+1}(P)$, notée $G^*(P)$.

• Règles du jeu $G^*(P)$ :

  • Comme dans le jeu classique, deux joueurs (I et II) jouent alternativement sur un poset $P$.
  • Différence majeure : Au tour $\gamma$, le Joueur I ne choisit pas un seul condition, mais un ensemble dénombrable de conditions $A_\gamma \subseteq P$.
  • Le Joueur II doit choisir une condition $b_\gamma$ qui est une extension commune de l'ensemble $A_\gamma$ (ou de l'union des ensembles choisis jusqu'à présent pour les tours limites).
  • Le Joueur II gagne s'il peut jouer jusqu'au tour $\omega_1$.

• Définitions clés :

  • $\ast$-fermeture tactique ($\ast$-tactically closed) : Un poset $P$ est $\ast$-tactiquement fermé s'il existe une stratégie gagnante pour le Joueur II dans $G^*(P)$ qui ne dépend que de l'ensemble des conditions choisies par le Joueur I jusqu'à ce moment (et non de l'historique complet des coups). C'est-à-dire que la stratégie est une fonction $\tau: [P]^{\le \aleph_0}_+ \to P$.
  • $\ast$-fermeture opérationnelle ($\ast$-operationally closed) : Une généralisation où la stratégie du Joueur II peut dépendre du numéro du tour $\delta$ en plus de l'ensemble des conditions $A_\delta$.

3. Contributions et Résultats Principaux

A. Préservation du PFA

Le résultat central de l'article est le Théorème 3.1 :

Le PFA est préservé par tout forçage sur un poset $\ast$-opérationnellement fermé.

La preuve suit la structure de la démonstration précédente pour la fermeture opérationnelle, mais s'adapte à la nature des coups du Joueur I (ensembles dénombrables). L'auteur construit un poset auxiliaire $R$ (un poset de conditions finies représentant des parties du jeu) et montre que le produit itéré $P * \dot{Q} * \dot{R}$ est propre, permettant d'appliquer le PFA dans le modèle de base pour trouver un filtre générique.

B. Application : Théorème de Magidor

En tant qu'application directe, l'auteur redémontre le théorème de Magidor (Théorème 3.3) :

L'énoncé $\square_{\kappa, \omega_2}$ est cohérent avec ZFC + PFA pour tout cardinal $\kappa \ge \omega_2$.

La preuve utilise le poset naturel $P_{\square_{\kappa, \lambda}}$ qui force le principe $\square_{\kappa, \lambda}$. L'auteur démontre (Théorème 2.6) que pour $2^{\aleph_0} \le \lambda \le \kappa$, ce poset est **$\ast$-tactiquement fermé**. Par le théorème de préservation, le PFA reste valide après le forçage de ces principes de carré faibles.

C. Distinction entre Fermeture Opérationnelle et $\ast$-Fermeture Tactique

L'article répond à la question de savoir si ces deux notions de fermeture sont équivalentes. La réponse est non. L'auteur utilise l'axiome $MA^+(\omega_1\text{-closed})$ pour séparer les deux concepts via deux principes combinatoires :

1. SCP (Setwise Climbability Property) :

   • L'auteur montre que $SCP$ est équivalent à $MA_{\omega_2}$ pour la classe des posets $\ast$-opérationnellement fermés.
   • Le poset forçant $SCP$ est $\ast$-opérationnellement fermé.

2. SCP$^-$ (Version sans fonction de climbabilité) :

   • Le poset forçant $SCP^-$ est $\ast$-tactiquement fermé.
   • Théorème 5.1 : Sous $MA^+(\omega_1\text{-closed})$, tout forçage $\ast$-tactiquement fermé préserve la Conjecture de Chang (CC). Or, $CC$ implique la négation de $CP$ (une propriété liée à $SCP$).
   • Théorème 6.1 : Sous $MA^+(\omega_1\text{-closed})$, tout forçage opérationnellement fermé détruit $SCP^-$.

Conclusion de la séparation :

• Il existe un poset $\ast$-tactiquement fermé qui préserve $SCP^-$ (donc ne détruit pas $SCP^-$), mais qui peut détruire $CP$ (via la préservation de $CC$).
• Il existe un poset opérationnellement fermé qui détruit $SCP^-$, mais qui peut préserver $CP$.
• Ainsi, ni l'une ni l'autre propriété n'implique l'autre. Elles sont des extensions distinctes de la fermeture stratégique.

4. Signification et Impact

• Nouveauté technique : L'introduction du jeu $G^*(P)$ où le premier joueur choisit des ensembles dénombrables offre un nouvel outil pour analyser la structure des posets et leur comportement sous forçage. Cela permet de capturer des propriétés de fermeture qui échappent aux définitions classiques basées sur des coups uniques.
• Compréhension des axiomes de forçage : L'article affine notre compréhension de la hiérarchie des axiomes de forçage (PFA, MM) et de leur robustesse face à l'introduction de principes combinatoires faibles comme les variations du principe $\square$.
• Résolution de problèmes ouverts : En prouvant que la fermeture opérationnelle et la fermeture $\ast$-tactique sont incomparables, l'article clarifie la structure des classes de posets préservant des fragments de l'axiome de Martin ($MA^+$) et du PFA.
• Cohérence de PFA avec $\square$ : La ré-démonstration du théorème de Magidor fournit une preuve plus directe et conceptuelle reliant la fermeture $\ast$-tactique à la cohérence de PFA avec des principes de carré, renforçant le lien entre les jeux sur les posets et les principes de structure fine.

En résumé, Yasuo Yoshinobu propose une généralisation élégante des jeux de Banach-Mazur pour définir de nouvelles classes de posets fermés, prouve leur capacité à préserver le PFA, et établit une distinction fondamentale entre ces nouvelles classes et les classes précédemment étudiées, enrichissant ainsi la théorie des forçages et des axiomes de Martin.