A countable-support symmetric iteration separating PP from AC

Gli autori costruiscono un modello simmetrico a supporto numerabile che soddisfa $ZF + DC + PP + AC_{wo} + \neg AC$, dimostrando così l'indipendenza del Principio di Partizionamento (PP) dall'Assioma della Scelta (AC) partendo da un modello di $ZFC$.

L'essenziale

Immagina di essere un architetto che sta progettando una città ideale, chiamata Città della Logica. In questa città, le regole fondamentali sono scritte nel "Codice Fondamentale" (la teoria matematica ZF).

Normalmente, in questa città vige una regola d'oro chiamata Axioma della Scelta (AC). È come se ogni famiglia avesse un "capofamiglia" che può scegliere un rappresentante per ogni gruppo di persone, garantendo che tutto sia ordinato e che ogni insieme possa essere messo in fila (ben ordinato).

Tuttavia, i matematici si chiedono: È possibile costruire una città dove le regole di base funzionano perfettamente, dove si può fare quasi tutto ciò che serve per la vita quotidiana (come scegliere elementi da una lista infinita), ma dove non esiste quel "capofamiglia" universale che ordina tutto?

In altre parole: la regola "Se c'è una mappa che copre tutto, allora esiste un modo per tornare indietro" (chiamata Principio di Partizione o PP) è davvero legata alla regola del "capofamiglia" (AC), o possono esistere separatamente?

Il Progetto: Costruire una Città "Simmetrica"

L'autore di questo articolo, Frank Trevor Gilson, ha costruito una città sperimentale per rispondere a questa domanda. Ecco come ha fatto, usando metafore semplici:

1. Il Terreno di Partenza: Il "Seme Cohen"

Immagina di iniziare con un terreno vuoto dove hai piantato $\omega_1$ semi speciali (chiamati "numeri reali di Cohen"). Questi semi sono tutti diversi tra loro, ma sono piantati in modo così caotico e simmetrico che non puoi dire quale sia il "primo", il "secondo" o il "terzo". Non c'è un ordine naturale.

• Risultato: Hai una città dove esiste un insieme di oggetti (i semi) che non può essere ordinato. Questo rompe la regola del "capofamiglia" (AC è falsa). Ma la città è ancora vivibile: le regole di base (ZF) e la capacità di fare scelte finite o sequenze infinite (DC) funzionano.

2. La Macchina da Costruzione: L'Iterazione Simmetrica

Ora, l'architetto deve aggiungere nuovi edifici alla città senza rompere l'ordine caotico dei semi. Usa una macchina speciale chiamata Iterazione Simmetrica.

• Il problema: Se aggiungi un edificio, potresti accidentalmente creare un ordine tra i semi, ripristinando il "capofamiglia" e rovinando l'esperimento.
• La soluzione: La macchina lavora con simmetrie. Immagina di avere un gruppo di "guardie" che possono ruotare la città, scambiare i semi tra loro, ma solo in modo controllato. Se un nuovo edificio è costruito in modo che, ruotando la città, sembri sempre lo stesso edificio (o che le sue parti si scambino in modo prevedibile), allora quel nuovo edificio è "sicuro" e non crea un ordine nascosto.

3. I Due Obiettivi da Costruire

L'architetto deve costruire due tipi di edifici speciali in questa città:

• Edificio A (Il Principio di Partizione Locale - PP):
  Immagina di avere due gruppi di persone, A e B, e una mappa che collega ogni persona di B a una persona di A (una suriezione). La regola PP dice: "Se hai questa mappa, allora esiste anche una mappa inversa che ti permette di tornare da A a B senza saltare nessuno".
  L'architetto costruisce questi edifici solo per gruppi specifici (quelli legati ai suoi semi iniziali). Usa una tecnica chiamata "pacchetto orbitale": crea copie identiche di questi edifici in modo che, se le guardie li ruotano, l'edificio sembra lo stesso. In questo modo, la regola PP diventa vera per questi gruppi, ma non rompe il caos generale.

• Edificio B (La Scelta per Gruppi Ordinati - ACWO):
  Questa è una regola più debole: "Se hai un gruppo di scatole che sono già numerate (ordinate), puoi scegliere un oggetto da ciascuna".
  L'architetto costruisce anche questi edifici, assicurandosi che funzionino per i gruppi che hanno già un numero (un ordine), ma senza toccare i suoi semi caotici.

4. Il Trucco Magico: Il "Filtro Diagonale"

Il problema più grande è: come fai a costruire questi edifici uno dopo l'altro (per un tempo infinito) senza che alla fine, sommandoli tutti, si crei un ordine globale tra i semi?
L'architetto usa un trucco geniale chiamato schema di cancellazione diagonale.

• Immagina di avere un'infinità di "cancelli" che si aprono e chiudono. Quando costruisci un nuovo edificio, usi un "cancello diagonale" che cancella le asimmetrie create dai passaggi precedenti. È come se ogni volta che aggiungi un nuovo mattoncino, usassi un martello speciale che rimuove le impronte digitali lasciate dai mattoni precedenti, mantenendo la superficie liscia e simmetrica.
• Questo garantisce che, anche dopo un tempo infinito, i tuoi semi originali rimangano caotici e non ordinabili.

5. Il Risultato Finale: La Città di M

Alla fine del processo, l'architetto ha una città M con queste proprietà sorprendenti:

1. Le regole di base funzionano (ZF): Tutto è logico.
2. Si possono fare scelte infinite (DC): Puoi camminare su un sentiero infinito senza bloccarti.
3. La regola "Mappa Inversa" funziona (PP): Se hai una mappa che copre tutto, puoi trovare il modo di tornare indietro (anche per i gruppi complessi).
4. La scelta per gruppi ordinati funziona (ACWO): Se le scatole sono numerate, puoi scegliere.
5. MA... Il "Capofamiglia" universale NON esiste (¬AC): Esiste ancora quel gruppo di semi caotici che non può essere messo in fila. Non c'è un modo per dire "questo è il primo, questo è il secondo".

Perché è importante?

Prima di questo lavoro, non si sapeva con certezza se la regola "Mappa Inversa" (PP) fosse strettamente legata alla regola "Capofamiglia" (AC).
Questo articolo dimostra che possono vivere separate. Puoi avere una città dove la logica delle mappe funziona perfettamente, dove puoi fare scelte ragionevoli, ma dove l'ordine assoluto non esiste.

È come dire: "Puoi avere una società dove tutti possono essere rappresentati e dove le liste ordinate funzionano, ma dove non esiste un modo universale per mettere in fila tutti gli abitanti della città contemporaneamente".

In sintesi, l'autore ha usato una costruzione matematica complessa (un'iterazione infinita con simmetrie e cancellazioni) per dimostrare che due grandi principi matematici, che sembravano legati, sono in realtà indipendenti l'uno dall'altro.

Sommario tecnico

1. Il Problema e l'Obiettivo

Il principio di partizione (PP) afferma che per ogni suriezione $A \twoheadrightarrow B$, esiste un'iniezione $B \hookrightarrow A$. Nella teoria degli insiemi con l'Assioma della Scelta (ZFC), questo è banale poiché ogni suriezione ammette una sezione destra (una funzione inversa). Tuttavia, in ZF (senza l'Assioma della Scelta), la relazione tra PP e l'Assioma della Scelta (AC) è un problema aperto di lunga data.

L'obiettivo principale del paper è separare il principio PP dall'Assioma della Scelta completo. Nello specifico, l'autore costruisce un modello di ZF in cui:

• Vale il principio di partizione (PP).
• Vale l'Assioma della Scelta per insiemi ben ordinabili (ACWO).
• Vale il Principio di Scelta Dipendente (DC).
• Non vale l'Assioma della Scelta completo ($\neg$AC).

Questo risolve una questione fondamentale nella teoria degli insiemi senza scelta, dimostrando che PP non implica AC, nemmeno in presenza di DC e ACWO.

2. Metodologia: Iterazione Simmetrica a Supporto Contabile

La costruzione si basa su una iterazione simmetrica a supporto contabile di lunghezza Ordinale (Ord), eseguita sopra un modello seme di Cohen.

A. Il Modello Seme (Seed Model)

Il punto di partenza è un modello simmetrico $N$ ottenuto forzando con $\text{Add}(\omega, \omega_1)$ (aggiunta di $\omega_1$ reali di Cohen) utilizzando un gruppo di automorfismi $G = \text{Sym}(\omega_1)$ e un filtro di sottogruppi normale generato da fissatori di insiemi numerabili.

• In $N$, l'insieme dei reali di Cohen $A = \{c_\alpha : \alpha < \omega_1\}$ non è ben ordinabile, garantendo $\neg$AC.
• $N$ soddisfa ZF + DC.
• È soddisfatto il principio SVC(S) (Set-Valued Choice) per $S = A^\omega$, il che implica che ogni insieme può essere immerso in un prodotto di $S$ per un ordinale.

B. Parametri Fissi e Localizzazione

L'autore fissa due parametri derivati dal modello seme:

• $S := A^\omega$
• $T := \mathcal{P}(S)$ (calcolato in $N$)

Il lavoro si concentra sulla localizzazione dei principi di scelta su $T$. Viene utilizzato il teorema di Ryan-Smith, che stabilisce che, assumendo $\text{SVC}^+(T)$, la validità globale di PP è equivalente alla congiunzione di:

1. PP$\upharpoonright$T: Il principio di partizione localizzato su $T$ (ogni suriezione tra sottoinsiemi di $T$ ammette un'iniezione inversa).
2. ACWO: L'Assioma della Scelta per insiemi ben ordinabili.

C. L'Iterazione

L'iterazione procede per stadi successivi e limiti di lunghezza Ordinale:

1. Stadi Successori: Vengono aggiunti "pacchetti di forzatura" orbitale-simmetrizzati.
   • Pacchetto PP ($Q_f$): Per ogni suriezione $f: Y \twoheadrightarrow X$ con $X, Y \subseteq T$, si forza l'esistenza di una sezione destra (splitting). Questo forza $\text{PPsplit} \upharpoonright T$.
   • Pacchetto ACWO ($R_f$): Per ogni suriezione $f: S \times \eta \twoheadrightarrow \lambda$ (con $\lambda < \aleph^*(S)$), si forza l'esistenza di una sezione destra, garantendo ACWO.
   • Questi forcing sono chiudibili a supporto contabile (countably closed), il che preserva DC e non aggiunge nuovi reali.
2. Stadi Limite: Viene utilizzata una tecnica innovativa di sollevamento diagonale e cancellazione diagonale (diagonal-lift/diagonal-cancellation).
   • Vengono definiti filtri limite modificati ($\tilde{F}^*_\lambda$) che includono sottogruppi diagonali $\Delta^\uparrow_\lambda(E, D)$.
   • Questi strumenti permettono di mantenere la coerenza della simmetria attraverso l'intera iterazione, garantendo che i nomi ereditariamente simmetrici rimangano tali e che il filtro sia $\omega_1$-completo.

D. Bookkeeping

Un meccanismo di "bookkeeping" (gestione dei nomi) assicura che ogni possibile istanza di suriezione rilevante (per PP o ACWO) che appare nel modello finale venga "catturata" e forzata a uno stadio successivo, garantendo che i principi locali vengano soddisfatti globalmente.

3. Contributi Chiave e Risultati Tecnici

• Separazione di PP e AC: Il risultato principale (Teorema 5.85) è l'esistenza di un modello $M$ tale che:
  $$M \models \text{ZF} + \text{DC} + \text{PP} + \text{ACWO} + \neg\text{AC}$$
• Preservazione di DC: La dimostrazione che l'iterazione preserva il Principio di Scelta Dipendente è cruciale. L'autore utilizza la chiusura numerabile dei forcing dei pacchetti e la completezza $\omega_1$ dei filtri limite per garantire che le catene decrescenti di condizioni ammettano limitazioni inferiori, permettendo di costruire sequenze necessarie per DC.
• Non-ben-ordinabilità di A: Viene dimostrato che l'insieme dei reali di Cohen $A$ rimane non ben ordinabile nel modello finale. La prova utilizza un argomento di "cancellazione diagonale": si costruisce un automorfismo diagonale che fissa il nome di una presunta buona ordinazione di $A$ ma scambia due reali di Cohen, portando a una contraddizione.
• Persistenza di SVC(S): Viene dimostrato che il principio SVC(S) persiste attraverso l'intera iterazione, permettendo l'applicazione del teorema di localizzazione di Ryan-Smith.
• Nuova Infrastruttura per Iterazioni Simmetriche: Il paper sviluppa una tecnica specifica per gestire filtri limite in iterazioni simmetriche di lunghezza Ordinale, introducendo i gruppi diagonali $\Delta^\uparrow$ e il filtro modificato $\tilde{F}^*$, risolvendo problemi di coerenza che si presentano quando si lavora con supporti contabili su stadi limite di cofinalità $\omega$.

4. Significato e Implicazioni

• Risoluzione di una Congettura Aperta: Il lavoro fornisce una risposta negativa alla domanda se PP implichi AC (o anche solo ACWO in combinazione con DC). Mostra che PP è una proprietà debole rispetto all'AC completo.
• Conseguenze Derivate:
  • Principio di Ordinamento: Poiché vale PP e SVC, ne consegue che ogni insieme può essere linearmente ordinato (Corollario 5.86).
  • Principi di Kinna-Wagner: Il modello soddisfa i principi KWP1 e KWP2, che riguardano l'immersione degli insiemi in potenze iterati di insiemi ben ordinabili.
• Metodologia Avanzata: La costruzione dimostra la potenza delle iterazioni simmetriche a supporto contabile di lunghezza Ordinale, un'area che è tecnicamente molto complessa a causa della gestione dei nomi ereditariamente simmetrici e dei filtri limite. L'uso di tecniche di "diagonal-lift" offre nuovi strumenti per la teoria degli insiemi senza scelta.

In sintesi, il paper di Gilson rappresenta un avanzamento significativo nella comprensione della gerarchia dei principi di scelta deboli, costruendo un modello "estremo" dove il principio di partizione è vero, ma l'Assioma della Scelta fallisce in modo sostanziale, preservando al contempo proprietà di scelta dipendenti e per insiemi ben ordinabili.