A Note on a Theorem of Apter

Il paper dimostra che la consistenza di $\mathrm{ZF} + \mathrm{AD}_{\mathbb{R}} + \text{"}\Theta \text{ è misurabile"}$ implica la consistenza di $\mathrm{ZF} + \text{"}\Theta \text{ è il cardinale misurabile e fortemente regolare minimo"} + \text{"tutti i cardini non numerabili sotto } \Theta \text{ hanno cofinalità numerabile"}$.

L'essenziale

Il Grande Puzzle dei Numeri Infiniti: Una Storia di Costruttori e Regole

Immagina l'universo matematico come una gigantesca città costruita su livelli infiniti. In questa città, i "numeri" non sono solo cifre, ma cardini (o cardinali) che definiscono la grandezza e la struttura degli edifici.

Per decenni, i matematici hanno usato una regola fondamentale chiamata Assioma della Scelta (AC). Pensala come un "regista" onnipotente che organizza tutto: se hai una pila infinita di scarpe, il regista sa sempre scegliere la scarpa sinistra di ogni paio senza esitare. Grazie a questo regista, la città è ordinata, prevedibile e i numeri grandi (i cardinali misurabili) sono molto rari e molto potenti, come giganti solitari in cima a montagne altissime.

Il Problema: Cosa succede senza il Regista?

In questo articolo, gli autori (Rahman Mohammadpour, Otto Rajala e Sebastiano Thei) chiedono: "Cosa succede se togliamo il Regista?"
Senza l'Assioma della Scelta, la città diventa un po' caotica. Le regole cambiano. In particolare, appare un nuovo concetto chiamato Determinacy (AD). Immagina l'AD come un gioco infinito tra due giocatori che non possono mai perdere: ogni mossa è predeterminata da una strategia vincente. In questo mondo senza il "Regista" della Scelta, le cose strane accadono: numeri che prima erano piccoli e deboli (come $\omega_1$, il primo numero infinito dopo i naturali) possono diventare "giganti" potenti.

Il problema è: Qual è il "primo" gigante (il primo numero misurabile) in questo nuovo mondo caotico?
Fino a poco tempo fa, sapevamo che poteva essere molto piccolo. Ma gli autori volevano sapere: possiamo costringere il primo gigante a essere anche il primo "palazzo inaccessibile"?

I Personaggi Chiave

Per capire la loro scoperta, dobbiamo conoscere tre tipi di "edifici" nella città:

1. I Giganti Misurabili: Sono numeri così potenti da avere una "mappa perfetta" (una misura) che li descrive. Sono rari e preziosi.
2. I Palazzi Inaccessibili: Sono edifici così grandi che non puoi raggiungerli saltando da quelli più piccoli. Sono "inaccessibili" dall'esterno.
3. I Palazzi "Fortemente Regolari" (Strongly Regular): Questa è la novità. Immagina un palazzo che non solo è inaccessibile, ma ha una struttura così solida che nessun "tunnel" (funzione) proveniente da un piano inferiore può bucarlo o raggiungerlo in modo disordinato. È una versione più robusta dell'inaccessibilità.

L'Esperimento: La Macchina di Prikry

Gli autori usano uno strumento matematico chiamato Forcing di Prikry.
Immagina di avere un gigante (un numero misurabile) che è troppo alto e solitario. Il Forcing di Prikry è come una macchina per scavare tunnel.

• Prende un gigante e gli scava un tunnel infinito verso il basso, rendendolo "singolare" (cioè, lo fa diventare raggiungibile da sotto, togliendogli la sua "inaccessibilità").
• Tuttavia, questa macchina è molto precisa: se la usi su un gigante, lo rende raggiungibile, ma non tocca gli altri giganti vicini.

La Scoperta Principale

Gli autori hanno fatto un esperimento mentale (e matematico) geniale:

1. Hanno preso un mondo matematico dove esiste un "super-gigante" chiamato $\Theta$ (Theta).
2. Hanno usato la loro "macchina di scavo" (Prikry) su tutti i giganti più piccoli di $\Theta$.
3. Il risultato?
   • Tutti i giganti più piccoli di $\Theta$ sono stati "abbassati" e resi raggiungibili (non sono più inaccessibili).
   • $\Theta$ è rimasto intatto.
   • Ma ora, $\Theta$ è diventato il primo gigante in assoluto che è sia "misurabile" che "fortemente regolare".

In parole povere: Hanno costruito un universo in cui il primo edificio "inaccessibile" e il primo "gigante misurabile" sono la stessa identica persona.

Perché è importante?

Prima di questo lavoro, per ottenere un risultato del genere, servivano "motori" matematici enormi e potenti (come i "cardinali di Woodin"). Era come usare un razzo spaziale per accendere una candela.
Gli autori hanno dimostrato che non serve un razzo. Basta una candela più piccola (una struttura chiamata $\Theta_{meas}$, che è più debole dei giganti precedenti). Hanno "ridotto il costo" della costruzione.

Hanno anche risolto un mistero: in questo nuovo mondo, tutti i numeri infiniti sotto $\Theta$ sono "strani" (hanno una "cofinalità" numerabile, come se fossero fatti di mattoncini infiniti ma contabili), mentre $\Theta$ è l'unico che rimane solido e inaccessibile.

In Conclusione

Questa ricerca è come aver trovato un modo per costruire un grattacielo che tocca il cielo (il primo numero misurabile) usando mattoni più economici del previsto.

• Prima: Pensavamo che per avere il primo "gigante" e il primo "palazzo inaccessibile" insieme, servisse una potenza divina enorme.
• Ora: Sappiamo che basta una potenza più modesta.

Gli autori lasciano anche delle domande aperte (come un invito a continuare il gioco): "Quanto può essere alto questo edificio? Possiamo renderlo ancora più speciale?"

È un passo avanti nella nostra comprensione di come l'universo matematico possa essere strutturato quando togliamo le regole rigide della Scelta, rivelando che la bellezza e la complessità dei numeri infiniti sono ancora più sorprendenti di quanto pensassimo.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del paper "A Note on a Theorem of Apter" di Rahman Mohammadpour, Otto Rajala e Sebastiano Thei, redatto in italiano.

Titolo: Una nota su un teorema di Apter

Autori: Rahman Mohammadpour, Otto Rajala, Sebastiano Thei
Istituzione: IMPAN (Istituto Polacco di Matematica)

---

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria degli insiemi senza l'Assioma della Scelta (AC), in particolare nell'ambito della teoria dei grandi cardinali sotto l'ipotesi dell'Assioma di Determinatezza (AD) o sue varianti (come ADR).

• Contesto: In presenza di AC, la nozione di cardinalità misurabile è ben definita e legata a embedding elementari. Senza AC, le equivalenze classiche possono fallire. È noto (Jech) che è consistente che $\omega_1$ sia misurabile. Tuttavia, sotto AD + $V=L(\mathbb{R})$, tutti i cardinali regolari sotto $\Theta$ (il più piccolo cardinale su cui non esiste una suriezione dai reali) sono misurabili (Steel).
• La questione centrale: Identificare la forza di consistenza e le proprietà del "più piccolo cardinale misurabile" in assenza di AC, specialmente quando si richiede che sia anche un cardinale inaccessibile (o una sua variante forte).
• Stato dell'arte:
  • Apter [1] ha dimostrato che sotto AD + $V=L(\mathbb{R})$ esiste un modello in cui il più piccolo cardinale misurabile è il più piccolo cardinale limite regolare.
  • Gitik, Hayut e Karagila [5] hanno mostrato che se $\kappa$ è $\kappa^{++}$-supercompatto, esiste un'estensione di forcing in cui $\kappa$ è il più piccolo cardinale inaccessibile (nella loro definizione) e misurabile.
• Obiettivo del paper: Ridurre la forza dei grandi cardinali richiesta dal teorema di Gitik, Hayut e Karagila. Gli autori introducono una nozione leggermente diversa di inaccessibilità, chiamata fortemente regolare (strongly regular), e mirano a costruire un modello in cui $\Theta$ è contemporaneamente il più piccolo cardinale misurabile, il più piccolo cardinale regolare non numerabile e il più piccolo cardinale fortemente regolare.

2. Metodologia

Gli autori utilizzano una combinazione di tecniche di forcing di Prikry e estensioni simmetriche, seguendo l'analisi di Apter ma adattandola al contesto di ZF + ADR.

• Ipotesi di partenza: ZF + ADR + "Esiste una misura $\mathcal{R}$-completa su $\Theta$". Questa assunzione (indicata come $\Theta_{meas}$) è consistente (Rachid e Sargsyan [2]) e più debole di un limite di Woodin di cardinali di Woodin.
• Definizioni Chiave:
  • Cardinale Fortemente Regolare: Un cardinale $\kappa$ è fortemente regolare se è non numerabile e per ogni $\alpha < \kappa$ e ogni funzione $f: \mathcal{P}(\alpha) \to \kappa$, l'immagine di $f$ è limitata in $\kappa$.
  • Misura $\mathcal{R}$-completa: Una misura $\mu$ è $\mathcal{R}$-completa se per ogni sequenza $\langle A_x \mid x \in \mathbb{R} \rangle$ di elementi in $\mu$, l'intersezione $\bigcap_{x \in \mathbb{R}} A_x$ appartiene a $\mu$.
• Strumento Principale: Forcing di Prikry:
  • Viene utilizzato il forcing di Prikry $P_\mu$ associato a una misura $\mu$ su un cardinale $\kappa$. Questo forcing rende $\kappa$ di cofinalità $\omega$ senza aggiungere sottoinsiemi limitati di $\kappa$ e preservando i cardinali.
  • Si considera un prodotto finito di supporti di forcings di Prikry $P = \prod_{\kappa \in M} P_\kappa$, dove $M$ è l'insieme dei cardinali misurabili sotto $\Theta$.
• Costruzione del Modello (Estensione Simmetrica):
  • Si costruisce un modello $N$ (estensione simmetrica) all'interno dell'estensione generica $V[G]$.
  • Il modello $N$ è definito tramite una gerarchia di insiemi definibili che utilizzano solo i "piccoli" filtri generici $G_\kappa$ per $\kappa \in M$.
  • L'idea è che $N$ erediti le proprietà di misurabilità da $V$ ma distrugga la misurabilità dei cardinali sotto $\Theta$ rendendoli di cofinalità $\omega$, lasciando intatta la struttura di $\Theta$.

3. Risultati Principali

Il risultato centrale è il Teorema 1.1:

Teorema: Assumendo ZF + $\Theta_{meas}$, esiste un'estensione che soddisfa ZF in cui $\Theta$ è:

1. Un cardinale fortemente regolare.
2. Il più piccolo cardinale regolare non numerabile.
3. Il più piccolo cardinale misurabile.

Dettagli tecnici della dimostrazione:

1. Distruzione della misurabilità sotto $\Theta$: Nel modello $N$, ogni cardinale misurabile $\kappa < \Theta$ viene reso di cofinalità $\omega$ tramite il forcing di Prikry associato ($P_\kappa$). Di conseguenza, nessun cardinale sotto $\Theta$ rimane misurabile (Proposizione 3.7).
2. Preservazione della regolarità di $\Theta$: Si dimostra che $\Theta$ rimane fortemente regolare in $N$ (Proposizione 3.8). La prova si basa sul fatto che qualsiasi funzione $f: \mathcal{P}(\alpha) \to \Theta$ in $N$ appartiene a un'estensione generica finita $V[G_c]$. Poiché il forcing di Prikry non aggiunge sottoinsiemi limitati e la misura su $\Theta$ è $\mathcal{R}$-completa, si può dimostrare che $f$ deve essere limitata in $\Theta$, altrimenti si violerebbe l'assunzione di base su $\Theta_{meas}$.
3. Misurabilità di $\Theta$: Si dimostra che una misura $\mathcal{R}$-completa normale su $\Theta$ in $V$ si "solleva" (lifts) a una misura normale su $\Theta$ in $N$ (Proposizione 3.9). Questo garantisce che $\Theta$ rimanga misurabile.
4. Minimalità: Poiché tutti i cardinali sotto $\Theta$ sono singolari (cofinalità $\omega$) e non misurabili, $\Theta$ è automaticamente il più piccolo cardinale regolare non numerabile e il più piccolo cardinale misurabile.

4. Contributi Chiave e Significato

• Riduzione della Forza dei Grandi Cardinali: Il paper riduce significativamente la forza di consistenza necessaria rispetto al lavoro di Gitik, Hayut e Karagila. Mentre quest'ultimo richiedeva cardinali supercompatto, gli autori mostrano che l'assunzione di $\Theta_{meas}$ (consistente con ADR e più debole di un limite di Woodin) è sufficiente.
• Nuova Nozione di Inaccessibilità: Introducono e lavorano con la nozione di "fortemente regolare", che è più forte della regolarità standard ma equivalente all'inaccessibilità in presenza di AC. Questo permette di formulare il teorema in un contesto ZF puro.
• Conferma di una Congettura: Il lavoro supporta l'ipotesi che la teoria "ZF + $\Theta$ è il più piccolo misurabile e il più piccolo inaccessibile" sia più debole di un limite di Woodin di cardinali di Woodin (Congettura 1.2).
• Metodologia Robusta: La dimostrazione conferma l'efficacia delle tecniche di Apter combinate con l'analisi delle misure $\mathcal{R}$-complete in contesti senza AC, offrendo un quadro coerente per la manipolazione della struttura dei cardinali sotto $\Theta$.

5. Domande Aperte

Gli autori concludono sollevando diverse questioni aperte per la ricerca futura:

• Question 4.1: Qual è la forza di consistenza esatta di "$\Theta$ è il più piccolo inaccessibile e il più piccolo misurabile"?
• Question 4.2: È possibile che il più piccolo inaccessibile sia il più piccolo misurabile che porta una misura normale concentrata su punti di cofinalità $\omega_1$ o su cardinali regolari?
• Question 4.3: Quanto può essere grande l'ordine di Mitchell $o(\Theta)$ se $\Theta$ è inaccessibile e il più piccolo misurabile?
• Question 4.4: È consistente che $\Theta$ sia il più piccolo misurabile e fortemente regolare, ma sia anche il $\xi$-esimo cardinale regolare non numerabile per un dato $\xi < \Theta$?

In sintesi, il paper rappresenta un avanzamento significativo nella comprensione della struttura dei cardinali grandi in assenza dell'Assioma della Scelta, fornendo un modello di riferimento per l'interazione tra misurabilità, regolarità e cofinalità sotto l'Assioma di Determinatezza.