Nontrivial automorphisms of $\mathcal P(\omega)/\mathrm{Fin}$ in Cohen models

Dit artikel bewijst dat er niet-triviale automorfismen van $\mathcal P(\omega)/\mathrm{Fin}$ bestaan in Cohen-uitbreidingen met minder dan $\aleph_\omega$ reële getallen, en onder bepaalde extra aannames ook voor grotere cardinaalgetallen, waarmee een eerder resultaat van Shelah en Steprāns wordt uitgebreid.

De kern

Stel je voor dat je een enorme bibliotheek hebt, niet met boeken, maar met oneindig veel verzamelingen van getallen. In de wiskunde noemen we deze bibliotheek P(ω)/Fin. Het is een beetje zoals een bibliotheek waar je alleen de "essentie" van de boeken mag zien, en alle kleine details (zoals een kladje op de eerste pagina) worden genegeerd.

De vraag die de auteurs, Will Brian en Alan Dow, zich stellen, is als volgt: Kunnen we deze bibliotheek op een slimme manier herschikken zonder dat de structuur verandert?

In de wiskunde noemen we zo'n herschikking een automorfisme.

• Een triviale herschikking is saai: je verplaatst de boeken gewoon een beetje, maar je doet precies wat je al kon doen met de getallen zelf (bijvoorbeeld: verplaats boek 1 naar plek 2, boek 2 naar plek 3, enzovoort).
• Een niet-triviale herschikking is een mysterieuze magie: je herschikt de bibliotheek op een manier die je nooit zou kunnen doen door simpelweg de getallen te verplaatsen. Het is alsof je de bibliotheek in een spiegelbeeld zet, maar dan op een manier die de fysieke wetten van de getallen schendt.

Het Probleem: De "Cohen"-Explosie

De auteurs kijken naar wat er gebeurt als je een heel specifiek type wiskundige "toevoeging" doet, genaamd Cohen-reals. Stel je voor dat je een nieuwe dimensie aan je universum toevoegt, vol met willekeurige, nieuwe informatie (zoals het gooien van oneindig veel munten).

• Als je weinig van deze nieuwe dingen toevoegt (minder dan $\aleph_\omega$, wat een heel groot, maar nog "beheersbaar" oneindig getal is), weten we al dat er magische herschikkingen ontstaan.
• De grote vraag was: Wat gebeurt er als je nog meer toevoegt? Wat als je een gigantische hoeveelheid nieuwe informatie toevoegt (een heel groot oneindig getal $\kappa$)?

Vroeger dachten wiskundigen dat als je te veel nieuwe informatie toevoegt, de structuur van de bibliotheek zo chaotisch wordt dat je geen magische herschikkingen meer kunt maken. De oude methoden om deze herschikkingen te bouwen, hielden op te werken zodra je verder ging dan een bepaald punt.

De Oplossing: De "Sage Davies Tree"

Hier komt het creatieve deel van dit artikel. De auteurs gebruiken een wiskundig hulpmiddel dat ze een "Sage Davies Tree" noemen.

Stel je dit voor als een gigantische, slimme indexkaart of een landkaart van je universum.

• Deze "boom" bestaat uit een reeks van kleine, goed georganerde bibliotheken (wiskundige modellen) die op elkaar zijn gestapeld.
• De "wijze" (Sage) aan deze boom is dat ze heel goed weten hoe ze nieuwe informatie kunnen verwerken zonder de structuur te verliezen. Ze hebben een speciale eigenschap: ze kunnen "gaten" in de bibliotheek opvullen met nieuwe, willekeurige boeken die perfect passen.

De auteurs laten zien dat als je deze boom gebruikt als blauwdruk, je zelfs in een universum met enorme hoeveelheden nieuwe informatie (zelfs als dat getal groter is dan $\aleph_\omega$) nog steeds die magische, niet-triviale herschikkingen kunt bouwen.

Hoe werkt het? (De Analogie)

Stel je voor dat je een bibliotheek moet herschikken, maar je mag alleen werken met de boeken die je nu al hebt, plus een paar nieuwe die net zijn aangekomen.

1. Het oude probleem: Als je te veel nieuwe boeken krijgt, raak je de overzichten kwijt. Je weet niet meer welke boeken bij elkaar horen, en je kunt geen nieuwe regels bedenken om ze te herschikken.
2. De nieuwe methode: De auteurs gebruiken de "Sage Davies Tree" als een stap-voor-stap bouwplan.
   • Ze bouwen de bibliotheek op in lagen.
   • Op elke laag gebruiken ze de "boom" om te zien welke nieuwe boeken er "vers" en "willekeurig" zijn.
   • Omdat deze nieuwe boeken zo willekeurig zijn, kunnen ze als kleefmiddel dienen. Ze vullen precies de gaten op die nodig zijn om de magische herschikking te voltooien.
   • Het is alsof je een muur bouwt: je hebt niet alleen bakstenen nodig, maar ook een speciaal soort mortel die je alleen kunt maken als je precies weet welke bakstenen je hebt. De "boom" vertelt je precies welke mortel je nodig hebt.

De Conclusie

Het belangrijkste resultaat van dit paper is:

• Ja, er zijn magische herschikkingen. Zelfs als je een enorm groot aantal nieuwe willekeurige dingen toevoegt aan je wiskundige universum, blijft de bibliotheek van de getallen zo flexibel dat je hem op mysterieuze manieren kunt herschikken.
• Ze bewijzen zelfs dat er niet één, maar oneindig veel (specifiek $2^\kappa$) van deze magische herschikkingen zijn.

Waarom is dit belangrijk?

In de wiskunde is het vaak zo dat als je een structuur "te groot" maakt, hij zijn mooie eigenschappen verliest. Dit paper zegt eigenlijk: "Nee, zelfs als je het universum enorm groot maakt, blijft de magie van de getallenbibliotheek bestaan, zolang je maar de juiste blauwdruk (de Sage Davies Tree) gebruikt om het te bouwen."

Het is alsof ze laten zien dat zelfs in een chaotisch, overvol universum, er nog steeds een diepe, verborgen orde zit die je kunt manipuleren, mits je de juiste sleutel hebt.

Kort samengevat: De auteurs hebben een nieuwe sleutel (de Sage Davies Tree) gevonden die opent naar een wereld van oneindig veel magische herschikkingen, zelfs in de grootste en meest chaotische wiskundige universums die we kunnen bedenken.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Nontrivial Automorphisms of P(ω)/Fin in Cohen Models" van Will Brian en Alan Dow, geschreven in het Nederlands.

Titel: Niet-triviale automorfismen van P(ω)/Fin in Cohen-modellen

1. Het Probleem en de Context

De kernvraag van dit artikel betreft de structuur van de Boolese algebra $\mathcal{P}(\omega)/\text{Fin}$ (de algebra van deelverzamelingen van de natuurlijke getallen modulo de eindige deelverzamelingen) in modellen die zijn verkregen door het toevoegen van Cohen-reële getallen.

• Triviale vs. Niet-triviale Automorfismen: Een automorfisme van $\mathcal{P}(\omega)/\text{Fin}$ heet triviaal als het wordt geïnduceerd door een "bijna-permutatie" van $\omega$ (een bijectie tussen cofinite deelverzamelingen van $\omega$). Er zijn slechts $\mathfrak{c}$ (het continuüm) triviale automorfismen. Als er meer dan $\mathfrak{c}$ automorfismen bestaan, moeten er noodzakelijkerwijs niet-triviale automorfismen zijn.
• De Historische Context:
  • Onder de Aanneming van het Continuüm (CH) bewees Rudin dat er $2^{\mathfrak{c}}$ automorfismen bestaan.
  • Shelah bewees later dat het consistent is met ZFC dat alle automorfismen triviaal zijn (bijvoorbeeld onder OCA).
  • Shelah en Steprāns bewezen in 2004 dat in het $\aleph_2$-Cohen-model (verkregen door $\aleph_2$ Cohen-reële getallen toe te voegen aan een CH-model) er niet-triviale automorfismen bestaan.
• De Open Vraag: Wat gebeurt er in het $\kappa$-Cohen-model voor $\kappa \geq \aleph_3$? De techniek van Shelah en Steprāns faalt voor grotere $\kappa$ omdat de specifieke "near-saturation" structuur die in het $\aleph_2$-geval optreedt, daar niet meer aanwezig is.

2. Methodologie en Kernconcepten

De auteurs ontwikkelen een nieuwe aanpak gebaseerd op Sage Davies-bomen (sage Davies trees), een structuur die oorspronkelijk door R.O. Davies werd geïntroduceerd en later verfijnd in [22].

• Sage Davies-bomen: Dit zijn sequenties $\langle M_\alpha : \alpha < \kappa \rangle$ van elementaire submodellen van een groot fragment $H_\theta$ van het universum. Ze hebben specifieke eigenschappen:
  • Ze zijn aftelbaar gesloten ($M_\alpha^\omega \subseteq M_\alpha$).
  • Ze hebben grootte $\aleph_1$.
  • Ze voldoen aan dekkingseigenschappen (bijv. $[\kappa]^\omega \subseteq \bigcup M_\alpha$).
  • Ze zijn "sage" (wijs) omdat ze bestaan onder de Singular Cardinals Hypothesis (SCH) plus de axioma's van Jensen ($\square_\lambda$) voor singuliere kardinalen met cofinaliteit $\omega$. Voor $\kappa < \aleph_\omega$ bestaan deze bomen in ZFC.
• De Strategie:
  1. Behoud van Structuur: De auteurs tonen aan dat een Sage Davies-boom in het grondmodel, na het forceren met $\kappa$ Cohen-reële getallen ($Fn(\kappa, 2)$), nog steeds voldoende structuur behoudt om als combinatorisch hulpmiddel te dienen in de extensie $V[G]$.
  2. Constructie van Subalgebra's: Ze definiëren een stijgende keten van subalgebra's $B_\alpha$ van $\mathcal{P}(\omega)/\text{Fin}$ in de extensie, gebaseerd op de modellen $M_\alpha[G]$.
  3. Gap-vulling: Het cruciale inzicht is dat binnen de modellen $M_{\alpha+1}[G]$ er voldoende "verse" (fresh) Cohen-reële getallen beschikbaar zijn om $(\omega, \omega)$-gaten te vullen die ontstaan tijdens het uitbreiden van een partiële automorfisme. Omdat deze gaten in de subalgebra's worden gedefinieerd, kunnen de modellen zelf generieke filters construeren om de automorfismen uit te breiden.
  4. Transfinite Recursie: Ze construeren het automorfisme door een recursie van lengte $\kappa$ (georganiseerd in $\omega_1$-stappen per fase), waarbij ze op elk stadium een automorfisme uitbreiden en tegelijkertijd een waarde van een functie $h: \kappa \to 2$ coderen om te garanderen dat verschillende functies $h$ leiden tot verschillende automorfismen.

3. Belangrijkste Resultaten

Het artikel presenteert het Hoofdstelling met de volgende drie delen:

1. Geval $\kappa < \aleph_\omega$:

   • Als $\kappa < \aleph_\omega$ Cohen-reële getallen worden toegevoegd aan een CH-model, dan breidt elk automorfisme van $\mathcal{P}(\omega)/\text{Fin}$ uit het grondmodel uit tot $2^\kappa$ automorfismen in de extensie.
   • Dit is een stelling van ZFC, omdat Sage Davies-bomen van deze lengte altijd bestaan.

2. Geval $\kappa \geq \aleph_\omega$ (Regulier):

   • Als $\kappa$ een reguliere kardinaal is en er bestaat een Sage Davies-boom van lengte $\kappa$ (wat volgt uit SCH + $\square_\lambda$), dan geldt hetzelfde resultaat: elke grondmodel-automorfisme breidt uit tot $2^\kappa$ automorfismen.
   • Dit generaliseert het resultaat van Shelah en Steprāns ($\kappa = \aleph_2$) naar alle reguliere $\kappa$ waarvoor de hypothese geldt.

3. Geval $\kappa$ Singulier:

   • Als $\kappa$ singulier is en er bestaat een Sage Davies-boom van lengte $\nu = \kappa^\omega$, dan bestaan er niet-triviale automorfismen in de extensie.
   • Hier wordt niet bewezen dat er $2^\kappa$automorfismen zijn, maar wel dat er minstens één niet-triviaal automorfisme bestaat (door een specifieke constructie met een constante functie$h(\alpha)=1$).

4. Technisch Detail van het Bewijs

• Uitbreiding van Automorfismen: Om een automorfisme $\Phi$ uit te breiden van een subalgebra $D$ naar een nieuw element $x$, moet men een beeld $y$ vinden dat dezelfde "gaten" (gaps) in de algebra vult als $x$. In het $\aleph_2$-geval werd dit gedaan door de CH-eigenschap te gebruiken. Voor grotere $\kappa$ gebruiken de auteurs de eigenschap dat $M_{\alpha+1}[G]$ bevat $\aleph_1$ Cohen-reële getallen die generiek zijn over $M_\alpha[G]$.
• Het "Gap"-argument: Als $x$ een $(\omega, \omega)$-gat $(L, U)$ in $D$ snijdt, dan moet $\Phi(x)$ een gat $(\Phi[L], \Phi[U])$ in het beeld snijden. De auteurs tonen aan dat binnen $M_{\alpha+1}[G]$ er een Cohen-reëel getal bestaat dat precies dit gat vult.
• Distinctie van Automorfismen: Om te bewijzen dat er $2^\kappa$verschillende automorfismen zijn, coderen ze een functie$h \in 2^\kappa$in de constructie. Ze gebruiken de eigenschappen van de Sage Davies-boom (specifiek de gesloten en onbegrensde verzameling van "limit-punten" waar de modellen stabiel zijn) om aan te tonen dat als$h \neq h'$, de resulterende automorfismen$\Phi_h$en$\Phi_{h'}$ verschillend moeten zijn.

5. Betekenis en Open Vragen

• Uitbreiding van Bestaande Resultaten: Dit artikel lost een langdurig open probleem op door de methode van Shelah en Steprāns te generaliseren van $\aleph_2$ naar veel grotere kardinalen, mits bepaalde combinatorische axioma's (SCH en $\square$) gelden.
• Rol van Grote Kardinalen: De auteurs benadrukken dat de hypothese van de Sage Davies-boom (SCH + $\square$) essentieel is voor hun bewijs voor $\kappa \geq \aleph_\omega$. Ze merken op dat het consistent is (relatief tot grote kardinalen) dat er geen Sage Davies-bomen van lengte $\geq \aleph_\omega$ bestaan. Dit suggereert dat het bewijs van het algemene geval (zonder extra axioma's) mogelijk onmogelijk is in ZFC alleen, of ten minste grote kardinalen vereist om de tegenstrijdige scenario's uit te sluiten.
• Open Vragen:
  1. Kunnen de resultaten voor $\kappa \geq \aleph_\omega$ worden bewezen puur in ZFC?
  2. Is het consistent dat in een $\kappa$-Cohen-model (voor $\kappa \geq \aleph_\omega$) alle automorfismen triviaal zijn? (Dit zou een grote kardinaal-hypothese vereisen).
  3. Wat gebeurt er met automorfismen in modellen met random reële getallen (random real models)? Dit blijft een open vraag.

Conclusie:
Brian en Dow tonen aan dat de toevoeging van Cohen-reële getallen, zelfs in grote aantallen, de structuur van $\mathcal{P}(\omega)/\text{Fin}$ zodanig verrijkt dat er een overvloed aan niet-triviale automorfismen ontstaat, mits men beschikt over de combinatorische gereedschappen van Sage Davies-bomen. Dit verbindt de theorie van Boolese algebra's, forcering en de structuurtheorie van kardinalen op een diepgaande manier.