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

Il paper introduce una nuova proprietà dei poset, definita tramite una variante del gioco di Banach-Mazur, che rafforza la (ω₁+1)-strategic closedness e preserva l'assioma PFA, permettendo di riprodurre il teorema di Magidor sulla consistenza di PFA con principi di square deboli e distinguendo tale proprietà dalla (ω₁+1)-operational closedness.

L'essenziale

🎮 Il Gioco della Costruzione: Come Costruire Mondi Matematici Senza Crollare

Immagina di essere un architetto che deve costruire un grattacielo infinitamente alto. Il tuo obiettivo è aggiungere piani uno dopo l'altro, ma c'è una regola ferrea: il palazzo non deve mai crollare. In matematica, questo "palazzo" è un universo di numeri e insiemi, e i "piani" sono aggiunte fatte attraverso un processo chiamato forzatura (forcing).

Il problema è: se aggiungi un piano in modo sbagliato, potresti distruggere le leggi fondamentali della fisica del tuo universo (come il "Proper Forcing Axiom" o PFA, che è come una legge di gravità molto potente che garantisce che certe strutture esistano).

Questo articolo parla di un nuovo modo di costruire questi piani, un metodo così robusto che garantisce che le leggi dell'universo rimangano intatte.

1. Il Vecchio Gioco: Banach-Mazur

Per capire la novità, dobbiamo guardare al "vecchio gioco". Immagina due giocatori, Giocatore A (il costruttore un po' disordinato) e Giocatore B (l'ingegnere di controllo).

• Il gioco: A sceglie un singolo mattone (una condizione matematica). B deve rispondere con un mattone più forte che si incastra perfettamente.
• La vittoria: Se B riesce a rispondere per un tempo infinito (o per un tempo molto lungo, come $\omega_1 + 1$), significa che il sistema è stabile. Se B vince sempre, il metodo di costruzione è "strategicamente chiuso".

Tuttavia, gli matematici hanno scoperto che questo vecchio gioco non è abbastanza forte. Ci sono costruzioni che sembrano stabili nel vecchio gioco, ma che, se usate per costruire il nostro universo, distruggono le leggi fondamentali (come il PFA). È come se il palazzo sembrasse solido, ma crollasse appena ci metti sopra un soffitto.

2. La Nuova Regola: Il Gioco con il "Pacco" di Mattoni

Yoshinobu introduce una nuova variante del gioco, chiamata $\ast$-variazione.

• La novità: Ora, invece di scegliere un singolo mattone, il Giocatore A sceglie un pacco di mattoni (un insieme numerabile di condizioni) in ogni turno.
• La sfida per B: L'ingegnere B deve ora trovare un unico mattone che sia compatibile con tutti i mattoni del pacco scelto da A.

È come se il costruttore disordinato non ti desse più un solo pezzo di legno, ma un intero mazzo di pezzi diversi, e tu dovessi trovare un singolo tassello che si incastra perfettamente con tutti quei pezzi contemporaneamente.

Se B riesce a vincere questo gioco più difficile (chiamato $\ast$-tatticamente chiuso), allora la costruzione è così solida che nessuna legge fondamentale dell'universo verrà distrutta.

3. La Scoperta Principale: PFA al Sicuro

Il risultato principale del paper è una garanzia:

Se usi un metodo di costruzione che è "$\ast$-tatticamente chiuso", il Proper Forcing Axiom (PFA) sopravvive intatto.

In termini semplici: abbiamo trovato un nuovo tipo di "colla" matematica così potente che, anche se la usi per costruire universi complessi, le leggi della logica rimangono valide. Questo permette di dimostrare teoremi importanti, come la coesistenza del PFA con certi principi geometrici (chiamati principi "quadrato" o $\square$) che prima sembravano incompatibili.

4. Due Metodi, Due Risultati Diversi

L'autore confronta il suo nuovo metodo con un metodo precedente (chiamato "operazionalmente chiuso").

• L'analogia: Immagina due tipi di imballaggio per un fragile vaso di cristallo.
  • Il Metodo Operazionale è come un imballaggio che funziona bene se sai esattamente come muoverti, ma fallisce se il vaso ha una forma strana.
  • Il Metodo $\ast$-Tattico è come un imballaggio che si adatta a qualsiasi forma, ma fallisce se il vaso ha una proprietà specifica diversa.

Yoshinobu dimostra che questi due metodi non sono la stessa cosa.

• Ci sono universi che il metodo $\ast$-tattico può costruire senza problemi, ma che il metodo operazionale distruggerebbe.
• Viceversa, ci sono universi che il metodo operazionale salva, ma che il metodo $\ast$-tattico non può gestire.

È come dire: "Non esiste un'unica chiave universale per tutte le serrature". Ognuno di questi metodi ha i suoi punti di forza e di debolezza specifici.

5. Perché è Importante? (La Metafora del Viaggio)

Immagina di voler viaggiare in un mondo parallelo dove certe regole della realtà sono diverse (ad esempio, dove esistono certi tipi di alberi infiniti o dove certe sequenze di numeri non possono essere costruite).

• Prima di questo articolo, sapevamo che alcuni viaggi erano sicuri e altri no.
• Yoshinobu ci ha dato una nuova mappa e un nuovo veicolo (il forcing $\ast$-tattico).
• Con questo nuovo veicolo, possiamo viaggiare in zone che prima sembravano pericolose (dove il PFA rischiava di rompersi) e scoprire che, in realtà, possiamo arrivarci vivi e sani.

Inoltre, l'autore usa questo nuovo metodo per dimostrare un teorema famoso di Magidor: possiamo avere un universo dove il PFA è vero e dove esistono certe strutture geometriche (i principi $\square$) che prima pensavamo fossero nemiche del PFA. È come scoprire che due nemici giurati possono effettivamente vivere nella stessa casa, purché si usi il giusto arredamento.

In Sintesi

Questo paper è come un manuale di ingegneria avanzata per matematici.

1. Introduce un nuovo gioco (con i pacchi di mattoni invece di quelli singoli).
2. Dimostra che chi vince questo gioco ha un metodo di costruzione indistruttibile per le leggi fondamentali della logica.
3. Mostra che questo metodo è diverso e complementare ai metodi precedenti, aprendo nuove strade per costruire modelli matematici complessi senza far crollare tutto.

È un passo avanti nella comprensione di quanto sia flessibile e robusto il nostro universo matematico.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del documento *The -variation of the Banach-Mazur game and forcing axioms di Yasuo Yoshinobu, redatto in italiano.

Titolo: La variazione *-del gioco di Banach-Mazur e gli assiomi di forzatura

Autore: Yasuo Yoshinobu
Data: Gennaio 2017 (aggiornamento v2)

---

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio delle conseguenze degli assiomi di forzatura, in particolare del Proper Forcing Axiom (PFA). Un problema centrale nella teoria degli insiemi moderna è determinare quali tipi di forzatura preservano il PFA quando si estende un modello di ZFC.

• Stato dell'arte: È noto che il PFA è preservato da forzature su poset (ordini parziali) che sono $\omega_2$-chiusi o $\omega_2$-direttamente chiusi. Tuttavia, la classe dei poset $\omega_2$-chiusi è piuttosto restrittiva.
• Limiti delle generalizzazioni: La proprietà di $(\omega_1+1)$-chiusura strategica (definita tramite il gioco di Banach-Mazur standard) non è sufficiente a preservare il PFA. Un controesempio classico è il poset naturale che aggiunge una sequenza $\square_{\omega_1}$; tale poset è $(\omega_1+1)$-strategicamente chiuso, ma il PFA implica la negazione di $\square_{\omega_1}$ (teorema di Todorcevic).
• Obiettivo: L'autore cerca una generalizzazione ragionevole della chiusura $\omega_2$ che sia più ampia della chiusura strategica standard ma che garantisca ancora la preservazione del PFA.

2. Metodologia e Definizioni Chiave

L'autore introduce una nuova variante del gioco di Banach-Mazur sui poset per definire nuove proprietà di chiusura.

Il Gioco $G^*(P)$

Mentre nel gioco standard $G_{\omega_1+1}(P)$ il Primo Giocatore sceglie una singola condizione ad ogni turno, nella variante $G^*(P)$:

• Giocatore I: Sceglie un insieme numerabile di condizioni $A_\gamma \subseteq P$ (anziché un singolo elemento).
• Giocatore II: Sceglie una singola condizione $b_\gamma$ che estende l'estensione comune (infimo booleano) di tutte le condizioni scelte dal Giocatore I fino a quel momento.
• Regole: L'insieme delle mosse del Giocatore I deve essere crescente per inclusione e avere un'estensione comune.

Nuove Proprietà di Chiusura

Basandosi su questo gioco, Yoshinobu definisce:

1. *Chiusura -tattica (-tactically closed):* Un poset $P$ è *-tatticamente chiuso se il Giocatore II ha una strategia vincente che dipende solo dall'insieme di condizioni $A_\gamma$ scelto dal Giocatore I in quel turno (senza ricordare la storia completa delle mosse precedenti, solo l'insieme corrente).
2. *Chiusura -operazionale (-operationally closed):* Una generalizzazione in cui la strategia del Giocatore II può dipendere anche dall'ordine del turno (l'ordinale $\delta$), ma ancora limitata all'insieme di condizioni correnti.

Queste proprietà sono strettamente più forti della chiusura strategica standard ma più deboli della chiusura $\omega_2$-diretta in termini di struttura, sebbene preservino il PFA.

3. Risultati Principali

A. Preservazione del PFA (Teorema 3.1)

Il risultato centrale del paper è la dimostrazione che il *PFA è preservato da qualsiasi forzatura su un poset -operazionalmente chiuso.

• Metodo: La prova utilizza una tecnica di "gioco interno". Si costruisce un poset ausiliario $R$ (basato sulla strategia vincente $\sigma$) e si dimostra che l'insieme $S = P * \dot{Q} * \dot{R}$ è un poset proprio. Applicando il PFA nel modello base a $S$, si estrae un filtro che permette di costruire una strategia vincente nel gioco esteso, garantendo l'esistenza di un'estensione comune per le condizioni richieste.
• Implicazione: Questo generalizza i risultati precedenti di Larson e Konig-Yoshinobu, fornendo una classe più ampia di poset che preservano il PFA.

B. Coerenza di PFA con Principi di Quadrato (Teorema 3.3)

Come applicazione diretta, l'autore riproduce una dimostrazione del teorema di Magidor:

• È consistente con ZFC + PFA che valga il principio $\square_{\kappa, \omega_2}$ per ogni cardinale $\kappa \ge \omega_2$.
• La dimostrazione utilizza un'iterazione di forzatura con supporto di Easton di poset $P_{\square_{\kappa, \omega_2}}$. L'autore dimostra (Teorema 2.6) che questi poset sono *-tatticamente chiusi, e quindi, per il Teorema 3.1, il PFA sopravvive all'iterazione.

*C. Distinzione tra Chiusura Operazionale e -Tattica (Sezioni 5 e 6)

L'autore indaga se le due nuove proprietà di chiusura siano equivalenti o implicano l'una l'altra. Utilizzando l'assioma MA$^+(\omega_1$-closed), dimostra che sono indipendenti:

1. *La chiusura -tattica non implica la chiusura operazionale:

   • Si considera il principio combinatoriale SCP$^-$ (Setwise Climbability Property minus).
   • Esiste un poset *-tatticamente chiuso che forza SCP$^-$.
   • Tuttavia, sotto MA$^+(\omega_1$-closed), ogni forzatura *-tatticamente chiusa preserva la Congettura di Chang (CC). Poiché SCP$^-$ implica la negazione di CC (in certi contesti) o è incompatibile con essa in modelli specifici, e poiché esistono poset operazionalmente chiusi che distruggono CC, ne segue che la chiusura *-tattica è diversa da quella operazionale.
   • Risultato specifico: Sotto MA$^+(\omega_1$-closed), ogni poset *-tatticamente chiuso preserva CC (Teorema 5.1).

2. *La chiusura operazionale non implica la chiusura -tattica:

   • Si considera il principio SCP (con la funzione $f$).
   • Esiste un poset operazionalmente chiuso che forza SCP.
   • Tuttavia, sotto MA$^+(\omega_1$-closed), ogni forzatura operazionalmente chiusa distrugge SCP$^-$ (Teorema 6.1).
   • Poiché SCP$^-$ può essere forzato da un poset *-tatticamente chiuso, ne consegue che la chiusura operazionale non implica quella *-tattica.

4. Significato e Contributi

1. Nuova Classe di Forzatura: L'introduzione della *-chiusura tattica e operazionale offre strumenti più raffinati per analizzare quali assiomi di forzatura sopravvivono a specifiche estensioni, andando oltre la semplice chiusura $\omega_2$.
2. Risoluzione di Problemi Aperti: La dimostrazione della preservazione del PFA sotto questa nuova classe risolve la questione se esista una generalizzazione ragionevole della chiusura $\omega_2$ che preservi il PFA, fornendo una risposta affermativa.
3. Separazione delle Proprietà: Il lavoro chiarisce la gerarchia delle proprietà di chiusura. Mostra che la capacità di "dimenticare" la storia delle mosse (tattica) rispetto alla dipendenza dall'ordine (operazionale) ha conseguenze combinatorie distinte (preservazione di CC vs SCP$^-$).
4. Connessione con Principi Combinatori: Il paper stabilisce equivalenze profonde tra principi di Martin (MA) per classi specifiche di poset e principi combinatoriali come SCP e SCP$^-$, arricchendo la comprensione delle interazioni tra assiomi di forzatura e principi di square.

Conclusione

Yoshinobu dimostra che la variazione *-del gioco di Banach-Mazur definisce una classe di poset sufficientemente robusta da preservare il PFA, permettendo la coesistenza di PFA con principi di square deboli (come $\square_{\kappa, \omega_2}$). Inoltre, il lavoro distingue nettamente tra le varianti tattiche e operazionali di questa chiusura, mostrando che ciascuna preserva o distrugge diversi principi combinatori sotto l'assunzione di MA$^+(\omega_1$-closed). Questo lavoro rappresenta un avanzamento significativo nella teoria della forzatura e nella comprensione della struttura dei modelli di ZFC che soddisfano forti assiomi di forzatura.