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

Dit artikel introduceert een eigenschap van posets die (ω₁+1)-strategische geslotenheid versterkt via een variatie van het Banach-Mazur-spel, bewijst dat de Forcing Axiom (PFA) behouden blijft onder forcing met posets die deze eigenschap hebben, en gebruikt dit om Magidor's stelling over de consistentie van PFA met zwakke varianten van de vierkantsprincipes te reproduceren.

De kern

De Bananen-Mazur Spelletjes en het Universum van de Wiskunde: Een Simpele Uitleg

Stel je voor dat wiskundigen proberen een enorm, complex universum te bouwen. Ze noemen dit de "Wiskundige Wereld". Om dit universum te maken of te veranderen, gebruiken ze een gereedschap dat forsering (forcing) heet. Denk aan forsering als een soort 3D-printer of een magische hamer die nieuwe muren, vloeren of zelfs nieuwe regels aan het universum toevoegt.

Maar hier is het probleem: als je te hard slaat met die hamer, kan je hele universum instorten. Specifiek willen wiskundigen een heel belangrijk principe behouden dat PFA (Proper Forcing Axiom) heet. Je kunt PFA zien als de "fundamentele wet van de zwaartekracht" in dit universum. Als je PFA verliest, valt het hele bouwwerk uit elkaar.

De vraag die de auteur, Yasuo Yoshinobu, zich stelt, is: "Hoe kunnen we onze 3D-printer (forsering) gebruiken om nieuwe dingen toe te voegen, zonder dat de zwaartekracht (PFA) verdwijnt?"

De Bananen-Mazur Spel (Het Oude Spel)

Om dit te begrijpen, introduceert de auteur een spelletje dat lijkt op een strijd tussen twee spelers, Speler I en Speler II.

• Speler I probeert het spel te winnen door een reeks stappen te zetten die het universum "dicht" maken (zoals een muur bouwen die niet meer open te breken is).
• Speler II probeert te winnen door te laten zien dat ze altijd nog een nieuwe stap kan zetten, ongeacht wat Speler I doet.

Als Speler II altijd kan winnen, noemen we het universum "strategisch gesloten". Dit betekent dat je veilig kunt forseren zonder de zwaartekracht te breken.

De Nieuwe Variatie: Het *-Spel

In dit paper introduceert Yoshinobu een nieuwe, strengere versie van dit spelletje.

• In het oude spel mocht Speler I op elke beurt één blokje (een voorwaarde) kiezen.
• In het nieuwe "-spel" (het *-variatie) mag Speler I op elke beurt een heel zakje vol blokjes kiezen (een aftelbaar aantal).

Dit klinkt misschien als een klein verschil, maar het is enorm belangrijk. Het is alsof Speler I in het oude spel één steen gooide, maar in het nieuwe spel een hele emmer stenen gooit. Als Speler II nog steeds kan winnen in dit zwaardere spelletje, betekent dit dat het universum extreem sterk en stabiel is.

Yoshinobu noemt deze eigenschap "-tactisch gesloten".

Waarom is dit cool? (De Magische Hammer)

De grote ontdekking in dit paper is: Als je een universum hebt dat "-tactisch gesloten" is, dan kun je het veilig forseren zonder PFA te verliezen.

Dit is als het vinden van een nieuwe, super-sterke lijm. Je kunt nu nieuwe muren bouwen (nieuwe wiskundige objecten toevoegen) zonder bang te hoeven zijn dat de zwaartekracht (PFA) verdwijnt.

Een concreet voorbeeld:
De auteur gebruikt deze nieuwe lijm om een oud, beroemd bewijs van de wiskundige Magidor te reproduceren. Magidor had bewezen dat het mogelijk is om een universum te hebben waar PFA geldt, én waar een heel specifiek, raar patroon (de "Square-principe" of $\square$) ook bestaat. Vroeger was dit lastig te bewijzen, maar met Yoshinobu's nieuwe "-tactische" methode gaat het veel soepeler.

Twee Soorten Lijm: Operationeel vs. Tactisch

De auteur vergelijkt zijn nieuwe methode met een eerdere methode die hij zelf had bedacht (de "operationeel gesloten" methode).

• Operationeel gesloten: Speler II mag alleen kijken naar het totaal van wat Speler I heeft gedaan en de tijd die het is. Ze mag niet naar de individuele stukjes kijken.
• Tactisch gesloten (de nieuwe): Speler II mag kijken naar de verzameling van alle stukjes die Speler I heeft gegooid.

Yoshinobu toont aan dat deze twee methoden niet hetzelfde zijn. Het is alsof je twee verschillende soorten super-lijm hebt:

1. De ene lijm houdt het universum stabiel als je alleen naar de "hoofdlijnen" kijkt.
2. De andere lijm houdt het stabiel als je naar de "detailverzameling" kijkt.

Hij bewijst dat je met de ene lijm bepaalde dingen kunt bouwen die met de andere niet kunnen, en vice versa. Ze vullen elkaar aan, maar zijn niet uitwisselbaar.

Samenvatting in één zin

Yoshinobu heeft een nieuwe, krachtigere manier ontdekt om te garanderen dat je bij het bouwen van nieuwe wiskundige universa de fundamentele wetten (PFA) niet breekt, door een spelletje te spelen waarbij de tegenstander meer tegelijk mag gooien, en hij laat zien dat deze nieuwe manier uniek en onmisbaar is voor bepaalde complexe bouwwerken.

Kortom: Hij heeft een nieuwe, super-sterke "veiligheidsnet" ontworpen voor wiskundigen die universa bouwen, zodat ze kunnen experimenteren zonder alles te laten instorten.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel *"The -variation of the Banach-Mazur game and forcing axioms" van Yasuo Yoshinobu, geschreven in het Nederlands.

Titel: De *-variatie van het Banach-Mazur-spel en Forcing-axioma's

Auteur: Yasuo Yoshinobu
Trefwoorden: Proper Forcing Axiom (PFA), Banach-Mazur-spel, strategische geslotenheid, forcing, Magidor's stelling.

---

1. Het Probleem en Achtergrond

Het centrale probleem in dit artikel is het vinden van een brede klasse van posets (partieel geordende verzamelingen) die het Proper Forcing Axiom (PFA) behouden onder forcing.

• Achtergrond: Het is bekend dat PFA behouden blijft onder forcing over $\omega_2$-gesloten posets (Larson, König en Yoshinobu). Echter, de natuurlijke generalisatie, namelijk $(\omega_1 + 1)$-strategische geslotenheid, is onvoldoende om PFA te behouden. Een tegenvoorbeeld is de poset die een $\square_{\omega_1}$-sequentie toevoegt; deze is $(\omega_1 + 1)$-strategisch gesloten, maar onder PFA geldt $\square_{\omega_1}$ niet (bewezen door Todorcevic).
• Vraag: Kan men een versterking van strategische geslotenheid vinden die sterker is dan $(\omega_1 + 1)$-strategische geslotenheid, maar die nog steeds PFA behoudt?
• Context: In eerdere werken introduceerde de auteur "operationele geslotenheid" (waarbij de tweede speler in het Banach-Mazur-spel slechts de booleaanse infimum van eerdere zetten mag gebruiken). Dit artikel introduceert een nieuwe variant en vergelijkt deze met operationele geslotenheid.

2. Methodologie

De auteur introduceert een variatie op het Banach-Mazur-spel op posets om nieuwe geslotenheidseigenschappen te definiëren.

*Het -Banach-Mazur-spel ($G^*(P)$)

In het standaard spel $G_{\omega_1+1}(P)$ kiest Speler I bij elke beurt één voorwaarde (condition). In de nieuwe variant $G^*(P)$ kiest Speler I bij elke beurt een aftelbare verzameling van voorwaarden ($A_\gamma \in [P]^{\leq \aleph_0}$).

• Regels: Speler II moet een gemeenschappelijke uitbreiding kiezen van de verzameling $A_\gamma$ die Speler I heeft gekozen. De "positie" van het spel wordt bepaald door de booleaanse infimum van alle tot dan toe gekozen verzamelingen.
• Doel: Speler II wint als ze $\omega_1$ zetten kan maken.

Nieuwe Definities

Op basis van dit spel worden twee nieuwe eigenschappen gedefinieerd:

1. $*$-tactisch gesloten ($*$-tactically closed): Speler II heeft een winnende strategie (een "tactic") die alleen afhankelijk is van de huidige verzameling $A_\gamma$ die Speler I heeft gekozen, en niet van de volledige geschiedenis van het spel of de beurtindex.
2. $*$-operationeel gesloten ($*$-operationally closed): Speler II heeft een winnende strategie (een "operation") die afhankelijk is van zowel de verzameling $A_\gamma$ als de beurtindex $\gamma$.

Deze eigenschappen zijn versterkingen van $(\omega_1 + 1)$-strategische geslotenheid.

3. Belangrijkste Bijdragen en Resultaten

A. Behoud van PFA (Hoofdstuk 3)

Het belangrijkste resultaat is Stelling 3.1:

PFA wordt behouden onder forcing over elke $*$-operationeel gesloten poset.

• Bewijsidee: De auteur construeert een hulp-poset $R$ (gebaseerd op de winnende strategie) en toont aan dat de iteratie van proper posets met $*$-operationeel gesloten forcing proper blijft. Dit generaliseert eerdere resultaten over operationeel gesloten posets.
• Toepassing (Magidor's Stelling): Als directe toepassing wordt een bewijs gegeven van een bekende stelling van Magidor:

  Stelling 3.3: Het is consistent met ZFC + PFA dat $\square_{\kappa, \omega_2}$ geldt voor alle cardinals $\kappa \geq \omega_2$.
  Dit wordt bewezen door een iteratie te construeren die $\square_{\kappa, \omega_2}$ forceert. De auteur toont aan (Stelling 2.6) dat de natuurlijke posets die $\square_{\kappa, \lambda}$ forceren (voor $2^{\aleph_0} \leq \lambda \leq \kappa$)$$-tactisch gesloten zijn. Omdat$$-tactische geslotenheid impliceert dat PFA behouden blijft, volgt de consistentie.

B. Vergelijking van Geslotenheidseigenschappen (Hoofdstuk 4, 5 en 6)

De auteur onderzoekt de relatie tussen $*$-tactische geslotenheid en operationele geslotenheid. Ze blijken onafhankelijk van elkaar te zijn onder het axioma $MA^+(\omega_1\text{-closed})$.

De auteur introduceert twee combinatorische principes:

1. SCP (Setwise Climbability Property): Geassocieerd met operationeel gesloten posets.
2. SCP$^-$: Een zwakkere variant (zonder de functie $f$), geassocieerd met $*$-tactisch gesloten posets.

Resultaten:

• Stelling 5.1: Onder $MA^+(\omega_1\text{-closed})$ behoudt elke $*$-tactisch gesloten poset Chang's Conjecture (CC). Omdat CC impliceert dat CP (Climbability Property) faalt, volgt dat $*$-tactische geslotenheid niet impliceert dat CP geldt.
  • Conclusie: Operationele geslotenheid impliceert CP, maar $*$-tactische geslotenheid niet. Dus: Operationeel gesloten $\nRightarrow$ $*$-tactisch gesloten.
• Stelling 6.1: Onder $MA^+(\omega_1\text{-closed})$ forceert elke operationeel gesloten poset $\neg SCP^-$. Omdat er $*$-tactisch gesloten posets bestaan die SCP$^-$ forceren, volgt dat operationele geslotenheid niet impliceert dat SCP$^-$ geldt.
  • Conclusie: $*$-tactische geslotenheid impliceert SCP$^-$, maar operationele geslotenheid niet. Dus: $*$-tactisch gesloten $\nRightarrow$ Operationeel gesloten.

Deze resultaten tonen aan dat de twee manieren om strategische geslotenheid te versterken fundamenteel verschillend zijn en verschillende gevolgen hebben voor de structuur van het universum (specifiek voor principes als CC, CP en SCP$^-$).

4. Significance (Betekenis)

1. Verrijking van de Theorie van Forcing: Het artikel introduceert een nieuwe, krachtige klasse van posets ($*$-tactisch en $*$-operationeel gesloten) die PFA behoudt. Dit breidt het domein van bekende "PFA-behoudende" forcingen uit buiten de standaard $\omega_2$-gesloten posets.
2. Oplossing van een Consistentie-vraag: Het biedt een elegant en zelfstandig bewijs voor de consistentie van PFA met zwakke varianten van het square-principe ($\square_{\kappa, \omega_2}$), een resultaat dat oorspronkelijk door Magidor was bewezen maar nu via deze nieuwe spel-theoretische methode wordt gereproduceerd.
3. Nuance in Geslotenheid: Het artikel maakt een scherp onderscheid tussen verschillende versterkingen van strategische geslotenheid. Het toont aan dat "strategische kracht" niet monotoon is; het toevoegen van meer informatie (zoals de beurtindex in operationele geslotenheid) of het veranderen van de spelregels (verzamelingen in plaats van elementen) leidt tot fundamenteel verschillende forcing-eigenschappen.
4. Technische Innovatie: De introductie van het spel waarbij Speler I aftelbare verzamelingen kiest, biedt een nieuw instrument voor het analyseren van de interactie tussen forcing-axioma's en combinatorische principes op $\omega_2$.

Samenvattend biedt dit artikel een diepgaande analyse van hoe de structuur van Banach-Mazur-spellen direct correleert met de kracht van forcing-axioma's, en levert het nieuwe inzichten op in de consistentie van PFA met andere set-theoretische principes.