The number of measures on very large measurable cardinals

Il paper dimostra che, sfruttando le conseguenze dell'Ultrapower Axiom e aggirando i metodi dei modelli interni, è possibile combinare risultati classici sulla compattezza forte con pattern arbitrari per il numero di misure normali su cardini misurabili, inclusi quelli sopra cardini supercompatti o limiti di cardini supercompatti.

L'essenziale

Immagina l'universo matematico come un grattacielo infinito, dove ogni piano rappresenta un "numero" (o meglio, un cardinale). Più sali, più i numeri diventano enormi e le loro proprietà diventano strane e potenti.

In questo grattacielo, ci sono dei "piani speciali" chiamati cardinali misurabili. Sono come piani che hanno una "regola di selezione" molto precisa (chiamata misura normale) che ci dice quali sotto-gruppi di punti sul piano sono "importanti".

Il problema che gli autori di questo articolo (Apter, Kaplan e Poveda) vogliono risolvere è questo: Quante regole di selezione diverse possono esistere su uno di questi piani speciali?

Fino a poco tempo fa, per rispondere a questa domanda, i matematici usavano una "mappa interna" dell'universo (chiamata Inner Model Theory), un po' come usare una pianta architettonica originale per capire come è costruito un edificio. Ma questa mappa ha un limite: funziona solo per i piani bassi. Quando si sale verso i piani altissimi (dove ci sono cardinali "superpotenti" come quelli supercompatti), la mappa si rompe e non sappiamo più come muoverci.

Ecco come gli autori risolvono il problema, usando un approccio nuovo e creativo:

1. Il Problema: Trovare le Regole senza la Mappa

Immagina di voler costruire un piano (un cardinale) che abbia esattamente 5 regole di selezione diverse.

• Il vecchio metodo: Costruivi la casa partendo dalle fondamenta (la mappa interna) e aggiungevi i mattoni uno per uno. Funzionava bene per i piani bassi, ma se volevi farlo per un piano altissimo (dove c'è un "superpotere" sopra di lui), la mappa non esisteva e il metodo falliva.
• Il nuovo metodo: Invece di usare la mappa, gli autori usano un "martello magico" (un principio chiamato Ultrapower Axiom o UA) che dice: "Ogni piano ha una regola di base unica e semplice". Partendo da questa certezza, costruiscono tutto il resto.

2. La Soluzione: Il "Forzaggio di Scissione" (Splitting Forcing)

Per controllare il numero di regole, gli autori usano una tecnica chiamata forcing (forzaggio). Immagina di avere un unico "piano base" (un cardinale misurabile) con una sola regola. Vogliamo dividerlo in tante regole diverse.

Usano un'idea chiamata Splitting Forcing (Forzaggio di Scissione):

• Immagina che la tua regola originale sia un unico filo.
• Introduci un "taglio" o una "scissione" lungo il filo.
• A seconda di come tagli e ricuci il filo, ottieni 2, 3, 100 o anche un numero infinito di nuovi fili (nuove regole).
• La magia è che possono decidere esattamente quanti fili ottenere, senza rovinare la struttura dell'edificio.

3. Le Scoperte Principali (Cosa hanno costruito?)

Gli autori hanno applicato questa tecnica in tre scenari molto difficili:

• Scenario A: I primi N piani speciali.
  Immagina i primi 10 piani misurabili del grattacielo. Prima, non sapevamo se potevamo decidere quanti piani fossero "forti" (supercompatti) e quante regole avessero. Ora dicono: "Sì! Possiamo fare che i primi 5 piani siano tutti superpotenti, e che il primo abbia 3 regole, il secondo 10, il terzo 1000, ecc., esattamente come vogliamo". È come se potessimo personalizzare l'arredamento di ogni piano di una torre, anche se sopra di essi ci sono piani ancora più alti.

• Scenario B: Il primo piano sopra un gigante.
  Immagina un piano "superpotente" (supercompatto) che è così forte da tenere insieme tutto ciò che sta sotto. Subito sopra di lui c'è il primo piano "misurabile". Prima, non si sapeva quante regole potesse avere quel piano appena sopra il gigante. Ora gli autori dicono: "Possiamo decidere che abbia esattamente il numero di regole che scegliamo noi, anche se il gigante sotto di lui è indistruttibile".

• Scenario C: Il piano che è la somma di tutti i giganti.
  Esiste un piano speciale che è la "somma" di infiniti piani superpotenti (un limite misurabile di supercompatti). È un piano molto raro e potente. Gli autori mostrano che anche su questo piano, che è il più basso della sua categoria, possono decidere quante regole di selezione ci saranno.

4. Perché è importante?

Prima di questo lavoro, per fare queste cose, i matematici dovevano usare tecniche molto complesse basate su "anti-ipotesi" (dovevano assumere che certi mostri matematici non esistessero per poter costruire la loro struttura).

Gli autori hanno detto: "Non serve! Possiamo usare il nostro 'martello magico' (l'assioma UA) e il 'taglio' (splitting forcing) per costruire esattamente quello che vogliamo, anche in presenza di mostri enormi, senza doverli cacciare via".

In sintesi

Hanno scoperto un nuovo modo per "modellare" l'universo matematico. Invece di dipendere da una mappa vecchia e limitata, hanno inventato un nuovo strumento che permette loro di dire: "Voglio che questo numero enorme abbia esattamente 42 regole di selezione, e che sia il primo della sua categoria, anche se sotto di lui ci sono mostri matematici giganteschi".

È come se, invece di dover seguire le regole di un architetto antico, avessero inventato un nuovo tipo di cemento che permette di costruire torri di qualsiasi forma, anche in zone dove prima si pensava fosse impossibile costruire nulla.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del documento "THE NUMBER OF MEASURES ON VERY LARGE MEASURABLE CARDINALS" di Arthur W. Apter, Eyal Kaplan e Alejandro Poveda, redatto in italiano.

1. Il Problema di Ricerca

Il lavoro si concentra sulla determinazione del numero possibile di misure normali che un cardinale misurabile può portare in contesti dove le tecniche di modelli interni (inner model theory) non sono disponibili o non sono applicabili.

Storicamente, la questione del numero di misure normali su un cardinale misurabile è stata risolta da Friedman e Magidor [14] per cardinals misurabili "standard". Tuttavia, il loro metodo si basa pesantemente sulla forza strutturale dei modelli interni (in particolare $L[\vec{U}]$) e su tecniche di forcing sofisticate come il forcing di Sacks generalizzato e il self-coding. Questi metodi falliscono quando si considerano cardinals molto grandi, come i primi cardinals fortemente compatti o i limiti misurabili di cardinals supercompatti, per i quali non esiste ancora un modello interno canonico.

L'obiettivo principale del paper è stabilire la consistenza di configurazioni in cui i primi $n$ cardinals misurabili (che possono anche essere fortemente compatti) o il primo cardinale misurabile sopra un cardinale supercompatico (o un limite misurabile di supercompatti) portino un numero arbitrario prescritto di misure normali, senza fare affidamento su assunzioni anti-grandi cardinali (come l'assenza di cardinals misurabili sopra un certo punto) o su modelli interni.

2. Metodologia e Strumenti Tecnici

Gli autori evitano l'uso dei modelli interni sostituendo le tecniche tradizionali con conseguenze dell'Assioma dell'Ultrapotenza (Ultrapower Axiom - UA), in particolare la linearità dell'ordine di Mitchell e l'esistenza di una misura normale unica di ordine Mitchell 0 su ogni cardinale misurabile.

Le tecniche chiave impiegate includono:

• Forcing di Splitting (Splitting Forcing): Introdotta originariamente da Kaplan in [28] e qui variata, questa tecnica permette di "dividere" una misura normale esistente in un numero specifico di nuove misure. A differenza delle iterazioni di forcing di tipo Prikry, il forcing di splitting è semplice, non richiede supporti non stazionari complessi per la sua definizione base, e preserva la struttura dei grandi cardinali sottostanti.
• Iterazioni a Supporto Non Stazionario (Nonstationary Support Iterations): Utilizzate per combinare diverse tecniche di forcing mantenendo la chiusura strategica necessaria per preservare i grandi cardinali.
• Indistruttibilità di Laver (Laver Indestructibility): Vengono utilizzate versioni modificate del forcing di Laver per rendere i cardinals supercompatti indistruttibili sotto forcing chiusi diretti, garantendo al contempo il controllo sul numero di misure normali.
• Teorema del Gap Forcing di Hamkins: Utilizzato per dimostrare che le nuove misure normali nel modello esteso sono "sollevamenti" (lifts) di misure del modello base, permettendo di classificare tutte le misure presenti.
• Assioma dell'Ultrapotenza (UA): Viene assunta la consistenza di UA con grandi cardinali. L'unico risultato di UA effettivamente utilizzato è che ogni cardinale misurabile porta una misura normale unica di ordine Mitchell 0. Questo semplifica drasticamente l'analisi rispetto ai metodi di Friedman-Magidor.

3. Risultati Principali (Teoremi)

Il paper stabilisce i seguenti risultati fondamentali:

• Teorema 3.1 (I primi $n$ cardinals misurabili):
  Assumendo GCH e l'esistenza di $n$ cardinals supercompatti $\langle \kappa_i : i < n \rangle$ (senza cardinals misurabili sopra $\kappa_{n-1}$), ciascuno con una misura unica di ordine Mitchell 0, esiste un'estensione generica in cui:

  1. I primi $n$ cardinals misurabili sono esattamente i primi $n$ cardinals fortemente compatti.
  2. Ogni $\kappa_i$ porta esattamente $\tau_i$ misure normali, per ogni $\tau_i \leq \kappa_i^{++}$.
     Questo combina il classico teorema di Kimchi-Magidor (identità crisi) con il controllo del numero di misure.

• Teorema 3.2 (Il primo misurabile sopra un supercompatico):
  Se $\kappa$ è supercompatico e $\lambda$ è il primo cardinale misurabile sopra $\kappa$ (con una misura unica), allora per ogni $\tau \leq \lambda^{++}$ esiste un'estensione in cui $\kappa$ rimane supercompatico, $\lambda$ è misurabile e porta esattamente $\tau$ misure normali.
  Questo risolve un problema aperto che le tecniche di Friedman-Magidor non potevano affrontare.

• Teorema 3.3 (Il primo limite misurabile di supercompatti):
  Se $\kappa$ è il primo cardinale misurabile che è un limite di cardinals supercompatti (o forti), e porta una misura unica di ordine Mitchell 0, allora esiste un'estensione in cui $\kappa$ rimane il primo tale limite e porta esattamente $\tau$ misure normali.

• Teorema 3.5 (Generalizzazione di Goldberg-Woodin):
  Assumendo GCH e che $\kappa$ sia un limite misurabile di cardinals supercompatti con una misura unica, esiste un'estensione in cui $\kappa$ diventa il primo cardinale misurabile e il primo cardinale fortemente compatto, portando esattamente $\tau$ misure normali.
  Questo rafforza un teorema non pubblicato di Goldberg-Woodin, rimuovendo la necessità di assunzioni anti-grandi cardinali.

• Teorema 4.4 (Ipotesi HOD di Woodin):
  Migliorando un risultato di Goldberg, Onsinski e Poveda, gli autori mostrano che è consistente l'ipotesi HOD di Woodin con il primo cardinale supercompatico $\kappa$ che è fortemente compatto in HOD ma porta esattamente una misura normale in HOD.

4. Significato e Impatto

1. Superamento dei Limiti dei Modelli Interni: Il lavoro dimostra che è possibile controllare il numero di misure normali su cardinals molto grandi (oltre la portata della teoria attuale dei modelli interni) senza bisogno di costruire modelli interni complessi come $L[\vec{U}]$.
2. Flessibilità del Forcing di Splitting: Dimostra che il forcing di splitting è uno strumento potente e flessibile che può essere combinato con l'indistruttibilità di Laver e iterazioni non stazionarie per ottenere configurazioni molto specifiche di grandi cardinali.
3. Rafforzamento di Risultati Esistenti: I risultati migliorano teoremi precedenti (Kimchi-Magidor, Friedman-Magidor, Goldberg-Woodin) rimuovendo ipotesi restrittive (come l'assenza di cardinals misurabili sopra certi punti) e permettendo un controllo fine sul numero di misure.
4. Connessione con l'Assioma dell'Ultrapotenza: Il lavoro fornisce un'applicazione concreta delle conseguenze dell'UA nella teoria dei forcing, mostrando come la linearità dell'ordine di Mitchell possa essere sfruttata per semplificare le dimostrazioni di consistenza in contesti di grandi cardinali.

In sintesi, il paper risolve una serie di problemi aperti riguardanti la "ricchezza" delle misure normali su cardinals misurabili in presenza di grandi cardinali, offrendo un nuovo paradigma metodologico che bypassa la dipendenza dai modelli interni canonici.