The class of Banach lattices is not primary

Basandosi su recenti risultati riguardanti il problema degli spazi complementati, gli autori dimostrano che la classe dei reticoli di Banach non è primaria, esibendo uno spazio $C(L)$ isomorfo alla somma diretta di due spazi che non sono isomorfi a nessun reticolo di Banach.

L'essenziale

Il Grande Enigma Matematico: Quando la somma di due "pezzi" non è un "tutto"

Immagina di avere un gigantesco puzzle matematico chiamato Spazio di Banach. Questo spazio è come un universo infinito fatto di numeri e funzioni, dove puoi sommare le cose e misurarne la "distanza" o la "lunghezza".

Ora, immagina che dentro questo universo ci siano delle strutture speciali, chiamate Reticoli di Banach (Banach Lattices). Pensali come dei palazzi con una griglia perfetta: ogni stanza ha un ordine preciso, come i libri su una libreria o i gradini di una scala. In questi palazzi, puoi sempre dire quale oggetto è "più grande" o "più piccolo" di un altro in modo naturale.

Per decenni, i matematici si sono chiesti una domanda fondamentale, un vero e proprio "mistero del detective":

"Se prendi un grande palazzo (uno spazio) e lo dividi in due parti perfettamente separate (due spazi complementati), è possibile che nessuna delle due parti sia un palazzo con la griglia perfetta (un reticolo), anche se il palazzo intero lo era?"

In termini tecnici, questa domanda chiede se la classe dei "palazzi a griglia" sia primaria. Se lo fosse, significherebbe che non puoi mai costruire un palazzo a griglia spezzandolo in due pezzi che non sono a griglia.

La Scoperta: Il Colpo di Scena

Antonio Acuaviva, nel suo lavoro, risponde a questa domanda con un secco "NO".

Ha dimostrato che la classe dei reticoli di Banach NON è primaria.
In parole povere: Sì, è possibile prendere un "palazzo perfetto" (uno spazio $C(L)$) e tagliarlo in due, ottenendo due pezzi che sono così strani e disordinati da non poter mai essere riorganizzati in un "palazzo a griglia".

Come ha fatto? La Metafora del "Doppio Specchio"

Per capire come ha costruito questo "mostro matematico", immagina di essere un architetto che deve costruire due case gemelle, ma con un trucco.

1. L'Obiettivo: Acuaviva voleva creare due spazi, chiamiamoli X e $\tilde{X}$.

   • Se li metti insieme ($X + \tilde{X}$), formano un edificio magnifico e ordinato (uno spazio $C(L)$, che è un "palazzo a griglia").
   • Ma se guardi X da solo, è un caos. Se guardi $\tilde{X}$ da solo, è un altro caos. Nessuno dei due ha la struttura ordinata di un reticolo.

2. Il Trucco Costruttivo (Il "Gioco delle Coppie"):
   Acuaviva ha usato un metodo chiamato "costruzione transfinita". Immagina di costruire due torri di mattoni, una per X e una per $\tilde{X}$, contemporaneamente, passo dopo passo.

   • In ogni passo, deve scegliere come posizionare un nuovo mattone.
   • Il trucco è che le scelte fatte per la torre X devono "rovinare" la struttura della torre $\tilde{X}$, e viceversa.
   • È come se stesse giocando a scacchi contro se stesso: ogni mossa che fa per rendere solida la casa A, indebolisce la casa B, impedendole di diventare un "palazzo a griglia".

3. L'Ingrediente Segreto: Le "Famiglie Quasi-Sconnesse"
   Per fare questo, ha usato oggetti matematici chiamati "famiglie quasi-disgiunte". Immagina di avere un mucchio infinito di fili. Due fili possono toccarsi in un solo punto, ma non possono incrociarsi per tutta la loro lunghezza.
   Acuaviva ha intrecciato questi fili in modo così complesso che, quando provi a guardare solo la metà dei fili (lo spazio X), il disegno è così contorto che non puoi mai raddrizzarlo in una griglia ordinata. Lo stesso vale per l'altra metà.

Perché è importante?

Prima di questo lavoro, c'era un precedente famoso (di Plebanek e Salguero-Alarcón) che aveva già dimostrato che uno spazio $C(K)$ poteva essere diviso in due, dove una parte non era un "palazzo a griglia". Ma il dubbio rimaneva: e l'altra parte? Forse era un reticolo?

Acuaviva ha risolto il problema definitivo: Nessuna delle due parti è un reticolo.

È come se avessi una torta perfetta. Ne hai tagliato due fette. Fino a ieri, pensavamo che almeno una delle due fette dovesse avere la forma classica della torta. Acuaviva ha dimostrato che puoi tagliare la torta in modo che entrambe le fette abbiano una forma così strana e irregolare da non assomigliare per nulla alla torta originale, eppure, se le ricongiungi, la torta perfetta ricompare magicamente.

Conclusione

In sintesi, questo paper ci dice che l'ordine matematico (i reticoli) è fragile. Puoi avere un universo ordinato, ma se lo dividi in due, le due metà potrebbero perdere completamente la loro identità ordinata, diventando entità matematiche "selvagge" che non rispettano più le regole della griglia.

È una scoperta che cambia il modo in cui i matematici vedono la struttura degli spazi infiniti, dimostrando che la somma di due "mostri" può creare un "angelo", ma i "mostri" da soli restano tali.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "THE CLASS OF BANACH LATTICES IS NOT PRIMARY" di Antonio Acuaviva, redatta in italiano.

1. Il Problema: La Proprietà Primaria delle Classi di Spazi Banach

Il lavoro si inserisce nel contesto del Problema dello Sottospazio Complementato (Complemented Subspace Problem) per le classi di spazi di Banach.
Una classe di spazi di Banach $\mathcal{C}$ è detta primaria se per ogni spazio $Z \in \mathcal{C}$ tale che $Z \simeq X \oplus Y$ (dove $X$ e $Y$ sono sottospazi complementati), allora almeno uno tra $X$ o $Y$ è isomorfo a $Z$.

Il paper affronta due questioni fondamentali:

1. Spazi $C(K)$: È noto che la classe degli spazi $C(K)$ (spazi di funzioni continue su compatti di Hausdorff) non è primaria, grazie alla costruzione di Plebanek e Salguero-Alarcón [5] che ha prodotto uno spazio $C(L) \simeq C(K) \oplus PS_2$, dove $PS_2$ non è isomorfo a nessun $C(K)$.
2. Reti di Banach (Banach Lattices): La domanda aperta era se la classe delle reti di Banach fosse primaria. De Hevia et al. [1] avevano dimostrato che lo spazio $PS_2$ non è isomorfo a una rete di Banach, risolvendo il problema per i sottospazi complementati, ma la questione della primarietà della classe intera rimaneva aperta.

L'obiettivo principale di Acuaviva è dimostrare che la classe delle reti di Banach non è primaria.

2. Metodologia e Costruzione

La strategia adottata si basa su una costruzione transfinitea sofisticata che estende e modifica il lavoro di Plebanek e Salguero-Alarcón. L'idea centrale è costruire uno spazio $C(L)$ che si decompone in una somma diretta di due spazi $X$ e $\tilde{X}$, tali che nessuno dei due sia isomorfo a una rete di Banach.

2.1. Quadri Teorici e Strumenti

• Spazi Johnson-Lindenstrauss ($JL(\mathcal{B})$): Vengono utilizzati spazi costruiti a partire da famiglie quasi disgiunte ($\mathcal{B}$) di sottoinsiemi di $\omega$. Questi spazi sono isometricamente isomorfi a spazi $C(K)$ su spazi di Stone compatti e sparsi.
• Decomposizione Simultanea: A differenza della costruzione precedente che produceva $C(L) \simeq C(K) \oplus PS_2$, l'autore esegue due costruzioni simultanee su due copie di $\omega \times 2$ (denotate $\omega \times 2$ e $\tilde{\omega} \times 2$).
  • Si costruiscono famiglie quasi disgiunte $\mathcal{A}, \tilde{\mathcal{A}}$ e le relative famiglie di partizioni $\mathcal{B}, \tilde{\mathcal{B}}$.
  • Si definiscono gli spazi:
    $$X := JL(\tilde{\mathcal{A}}) \oplus Y \quad \text{e} \quad \tilde{X} := JL(\mathcal{A}) \oplus \tilde{Y}$$
    dove $Y$ e $\tilde{Y}$ sono i nuclei di proiezioni specifiche.
  • Si ottiene la decomposizione:
    $$C(L) \simeq JL(\mathcal{B}) \oplus JL(\tilde{\mathcal{B}}) \simeq X \oplus \tilde{X}$$
    dove $L$ è la somma topologica dei compatti associati.

2.2. La Proprietà (DP)

Per dimostrare che $X$ e $\tilde{X}$ non sono reti di Banach, l'autore utilizza la Proprietà (DP) (Desired Property) introdotta da De Hevia et al. [1].

• Definizione: Uno spazio $X$ ha la proprietà (DP) se per ogni successione normante $(e^*_n) \subset X^*$, esiste un elemento $f \in X$ tale che non esiste alcun $g \in X$ con $\langle e^*_n, g \rangle = |\langle e^*_n, f \rangle|$ per ogni $n$.
• Teorema Chiave: Se uno spazio ha una successione normante numerabile e il suo duale è isomorfo a $\ell_1(\Gamma)$, allora $X$ è una rete di Banach se e solo se non soddisfa la (DP).
• Obiettivo della costruzione: Costruire le famiglie in modo che $X$ e $\tilde{X}$ soddisfino la (DP).

2.3. L'Induzione Transfinita

La costruzione avviene per induzione transfinita su $\xi < \mathfrak{c}$ (il continuo).

• Codifica delle Successioni: Si enumerano tutte le possibili successioni di misure che potrebbero apparire come successioni normanti nei duali di $X$ e $\tilde{X}$.
• Separazione delle Misure: Il cuore della costruzione risiede nel garantire che, per ogni coppia di successioni di misure candidate, non esista una separazione tramite le algebre booleane generate dalle famiglie costruite fino a quel momento.
• Uso del Lemma 4.7 e Proposizione 4.4: Si applicano tecniche combinatorie (Lemma di Haydon e Rosenthal) per selezionare cilindri e partizioni che "mescolino" le strutture in modo che nessuna proiezione possa preservare la struttura di reticolo. In particolare, si sfruttano le libertà nella scelta di insiemi infiniti (continuum di scelte) per evitare che le successioni normanti ammettano un "modulo assoluto" all'interno dello spazio.

3. Risultati Principali

Teorema 1.1: Esistono uno spazio compatto di Hausdorff $L$ e spazi di Banach $X$ e $\tilde{X}$ tali che:
$$C(L) \simeq X \oplus \tilde{X}$$
e né $X$ né $\tilde{X}$ sono isomorfi a una rete di Banach.

Conseguenze Immediate:

1. Non Primarietà delle Reti di Banach: Poiché $C(L)$ è una rete di Banach (essendo uno spazio $C(K)$), ma i suoi due fattori complementati non lo sono, la classe delle reti di Banach non è primaria.
2. Non Primarietà degli Spazi $C(K)$: Ne consegue anche che la classe degli spazi $C(K)$ non è primaria (risultato già noto, ma qui confermato in un contesto più generale e costruttivo).
3. Risposta alla Domanda 4 di De Hevia e Tradacete: Il lavoro risolve positivamente (nel senso negativo della primarietà) la domanda aperta sollevata in [2].

4. Significato e Contributi Chiave

• Estensione dei Risultati Precedenti: Il paper non si limita a confermare che $PS_2$ non è una rete di Banach, ma dimostra che la decomposizione di uno spazio $C(K)$ può generare entrambi i fattori come spazi che falliscono la struttura di reticolo. Questo è un risultato più forte e strutturale.
• Metodologia Innovativa: L'uso di una costruzione "doppia" e simultanea, dove le strutture di $K$ e $\tilde{K}$ vengono intrecciate con le proprietà di $Y$ e $\tilde{Y}$, rappresenta un avanzamento tecnico significativo rispetto alle costruzioni precedenti.
• Impatto sulla Teoria degli Spazi di Banach: Il risultato chiarisce la rigidità (o la mancanza di essa) della struttura di reticolo. Dimostra che la proprietà di essere una rete di Banach non è ereditaria rispetto alla decomposizione in somma diretta di spazi $C(K)$, anche quando lo spazio totale è "molto regolare".
• Generalizzazione: L'autore nota che, con modifiche naturali, gli stessi argomenti valgono per le reti di Banach complesse, estendendo la validità del risultato oltre il caso reale.

In sintesi, il paper di Acuaviva chiude una questione aperta nella teoria degli spazi di Banach, fornendo un controesempio esplicito e costruttivo che dimostra l'assenza di primarietà nella classe delle reti di Banach, utilizzando tecniche avanzate di analisi funzionale, teoria della misura e topologia insiemistica.