Cores and localizations of $(\infty,\infty)$-categories

Il lavoro esamina le $(\infty,\infty)$-categorie come limite di $(\infty,d)$-categorie quando $d \to \infty$, confrontando i risultati ottenuti tramite i funtori di "core" e di localizzazione e dimostrando che quest'ultimo è una localizzazione riflessiva del primo, mentre si studiano anche localizzazioni intermedie basate su nozioni di invertibilità emergenti solo a $d=\infty$.

L'essenziale

Immagina di dover costruire una città infinita, dove ogni strada, ogni incrocio e ogni edificio può essere modificato, spostato o trasformato in un altro modo. Questa città è ciò che gli matematici chiamano $(\infty, \infty)$-categoria. È un mondo di oggetti e frecce (flussi) che collegano questi oggetti, ma con una regola strana: le frecce stesse possono essere trasformate in altre frecce, e quelle trasformazioni possono essere trasformate a loro volta, all'infinito.

Il problema è che in questo mondo infinito, capire quando due cose sono "uguali" o "invertibili" (cioè quando puoi andare da A a B e tornare indietro senza perdere nulla) diventa un labirinto senza fine.

Questo articolo, scritto da Ozornova, Rovelli e Walde, è come una mappa per navigare in questo labirinto. Ecco la spiegazione semplice, con qualche analogia creativa.

1. Il Problema: Due Modi per Guardare l'Infinito

Immagina di avere una macchina fotografica con due obiettivi diversi per fotografare questa città infinita:

• Obiettivo "Core" (Il Nucleo): Questo obiettivo è molto severo. Se vedi una strada che non è perfettamente percorribile in entrambe le direzioni (non invertibile), la cancella dalla foto. Ti mostra solo le strade perfette, quelle dove puoi andare e tornare indietro senza problemi. Chiamiamo questo risultato $Cat_R$ (la categoria "destra"). È un mondo molto pulito, ma forse troppo sterile.
• Obiettivo "Localization" (Localizzazione): Questo obiettivo è più generoso. Invece di cancellare le strade non perfette, le "trasforma" magicamente in strade perfette. Se c'è un vicolo cieco, questo obiettivo lo rende un tunnel magico che ti permette di tornare indietro. Chiamiamo questo risultato $Cat_L$ (la categoria "sinistra"). È un mondo più fluido, ma dove le regole originali sono state un po' alterate.

Fino a poco tempo fa, i matematici non erano sicuri se queste due foto fossero la stessa cosa vista da angolazioni diverse o se fossero due mondi completamente diversi.

2. La Scoperta Principale: Una Relazione Speciale

Gli autori scoprono che non sono la stessa cosa, ma sono strettamente collegati.
Immagina che $Cat_R$ (il mondo pulito) sia un grande lago tranquillo.
Immagina che $Cat_L$ (il mondo fluido) sia lo stesso lago, ma dopo che ci hanno versato dentro un po' di detersivo che scioglie le impurità.

La scoperta è questa: $Cat_L$ è una versione "riflessa" di $Cat_R$.
C'è un processo matematico (una "localizzazione") che prende il mondo pulito ($Cat_R$) e lo trasforma nel mondo fluido ($Cat_L$). Questo processo è come un filtro che lascia passare solo certe cose e ne trasforma altre.
In termini semplici: Il mondo fluido ($Cat_L$) è contenuto dentro il mondo pulito ($Cat_R$), ma per vederlo così, devi applicare una lente magica che rende "invertibili" anche le cose che prima non lo erano.

3. Il Concetto di "Suriettività Debole" (La Chiave del Mistero)

Come fa il filtro a sapere cosa trasformare? Gli autori usano un concetto chiamato "suriettività debole all'infinito".
Facciamo un'analogia con una festa:

• Se sei suriettivo, significa che ogni persona nella stanza (l'obiettivo) ha almeno un amico che la sta guardando (la fonte).
• Se sei suriettivo debole all'infinito, significa che anche se non riesci a vedere direttamente ogni persona, puoi vedere una catena infinita di amici che ti portano fino a lei. Non è una connessione diretta, ma una catena così lunga e complessa che, in un certo senso, "copre" tutto.

Il teorema dice che il filtro che trasforma il mondo pulito in quello fluido funziona esattamente su queste "connessioni infinite". Se una mappa tra due mondi ha questa proprietà di "copertura infinita", allora il filtro la trasformerà in un'uguaglianza perfetta.

4. Le "Inversioni Coinduttive": Il Paradosso dell'Infinito

C'è una parte molto affascinante dell'articolo che parla di un tipo speciale di "uguaglianza" chiamata inversione coinduttiva.
Immagina di avere un'arma magica (una freccia) che dice: "Posso andare da A a B". Per essere un'inversione coinduttiva, non devi solo trovare un modo per tornare da B ad A. Devi anche trovare un modo per dimostrare che il tuo viaggio di ritorno è corretto, e poi un modo per dimostrare che la dimostrazione è corretta, e così via, all'infinito.

È come una storia che si racconta da sola all'infinito: "C'era una volta un viaggio... e c'era una volta la prova che quel viaggio esisteva... e c'era una volta la prova che quella prova esisteva..."
Gli autori mostrano che ci sono categorie (mondi matematici) dove queste storie infinite esistono, ma non sono "vere" uguaglianze nel senso classico.

• Esiste un mondo ($Cat_{coind}$) dove queste storie infinite sono accettate come vere.
• Esiste un mondo più ristretto ($Cat_L$) dove queste storie infinite devono essere "complete" in un senso molto forte per essere accettate.

5. Perché è Importante?

Questo lavoro è importante perché chiarisce la struttura fondamentale della matematica dell'infinito.

• Prima, c'era confusione su quale fosse la definizione "giusta" di una categoria infinita.
• Ora, sappiamo che ci sono due definizioni principali (quella "destra" e quella "sinistra") e che una è una versione semplificata dell'altra.
• Hanno anche scoperto che ci sono "mostri" matematici (come l'esempio della categoria dei cobordismi o delle span) che nel mondo fluido ($Cat_L$) diventano banali (si riducono a nulla), mentre nel mondo pulito ($Cat_R$) rimangono strutture ricche e interessanti.

In Sintesi

Immagina di avere due specchi:

1. Uno specchio ($Cat_R$) che ti mostra la realtà così com'è, con tutti i suoi difetti e le sue strade non percorribili.
2. Uno specchio magico ($Cat_L$) che riflette la realtà ma corregge automaticamente tutti i difetti, rendendo tutto percorribile.

Gli autori hanno dimostrato che lo specchio magico è semplicemente una versione "lucidata" dello specchio normale, e hanno scoperto esattamente quali regole governano questa lucidatura. Hanno anche scoperto che ci sono oggetti che nello specchio magico sembrano scomparire, mentre nello specchio normale sono ancora lì, vivi e complessi.

È un lavoro che unisce l'astrazione più alta della matematica con la necessità di trovare ordine nel caos dell'infinito, usando strumenti logici per dire: "Ok, se guardiamo qui, ecco cosa succede; se guardiamo lì, ecco cosa cambia".

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Cores and Localizations of (∞, ∞)-Categories" di Viktoria Ozornova, Martina Rovelli e Tashi Walde, presentata in italiano.

1. Il Problema e il Contesto

Il lavoro affronta la definizione e la classificazione delle $(\infty, \infty)$-categorie, ovvero strutture categoriali che possiedono frecce in ogni dimensione finita $d = 0, 1, 2, \dots$ fino all'infinito.
Il problema centrale risiede nella natura ricorsiva e potenzialmente circolare della definizione di "isomorfismo" in questo contesto infinito:

• In una $(\infty, d)$-categoria, un isomorfismo è definito in termini di un'inversa a livello $d-1$, che a sua volta richiede isomorfismi a livello $d-2$, e così via.
• Quando si passa al limite $d \to \infty$, questa catena di condizioni non termina più, creando una situazione in cui la nozione di invertibilità può essere definita in modi diversi a seconda di come si gestisce l'infinito.

In particolare, gli autori esplorano come le $(\infty, \infty)$-categorie emergono come limite di una sequenza di categorie $(\infty, d)$-dimensionali. Esistono due approcci naturali per costruire questo limite, basati su due funtori adjunti diversi:

1. Core ($R_d$): Rimuove tutte le frecce non invertibili di dimensione $d+1$.
2. Localizzazione ($L_d$): Inverte formalmente tutte le frecce di dimensione $d+1$.

La domanda fondamentale è: qual è la relazione tra il limite ottenuto usando i core ($Cat^R_\infty$) e quello ottenuto usando le localizzazioni ($Cat^L_\infty$)?

2. Metodologia

Gli autori adottano un approccio ibrido che combina la teoria delle categorie $(\infty, d)$ concrete con un'astrazione assiomatica potente.

• Sistemi Bi-induttivi: Introducono il concetto di "sistema bi-induttivo" su una categoria $\mathcal{C}$, costituito da una sequenza di sottocategorie piene $C_0 \subseteq C_1 \subseteq \dots$ con adjunti a sinistra ($L_d$) e a destra ($R_d$).
• Bias (Pregiudizio): Definizione di una struttura aggiuntiva chiamata "bias", che è una sequenza di sottocategorie ampie $S_n$ (frecce $n$-suriettive) che soddisfano proprietà specifiche di cancellazione e chiusura rispetto alla composizione. Questo permette di catturare le proprietà essenziali delle mappe suriettive senza dipendere dai dettagli specifici dei modelli.
• Astrazione del Limite: Costruiscono le categorie limite $C_R = \lim (\dots \to C_d \to \dots)$ e $C_L = \lim (\dots \leftarrow C_d \leftarrow \dots)$ e studiano l'aggiunzione tra di esse.
• Costruzioni Esplicite: Utilizzano complessi cellulari categoriali (cell complexes) e il concetto di "isomorfismo coinduttivo" per costruire controesempi e caratterizzare le sottocategorie.

3. Contributi Chiave e Risultati Principali

A. Il Teorema Principale: Localizzazione Riflessiva

Il risultato centrale è la caratterizzazione della relazione tra le due nozioni di $(\infty, \infty)$-categorie:

• Esiste un'aggiunzione $L: Cat^R_\infty \rightleftarrows Cat^L_\infty : R$.
• Il funtore destro $R$ è pienamente fedele.
• Il funtore sinistro $L$ è una localizzazione riflessiva che inverte esattamente le mappe debolmente $\infty$-suriettive.
• Di conseguenza, $Cat^L_\infty$ è una localizzazione di $Cat^R_\infty$. Questo significa che le $(\infty, \infty)$-categorie "sinistre" (basate sulla localizzazione) sono una versione più "collassata" o semplificata di quelle "destrorse" (basate sui core).

B. Isomorfismi Coinduttivi e Completezza

Gli autori introducono nuove nozioni di invertibilità che emergono solo al limite infinito:

• Isomorfismo Coinduttivo: Un arco è coinduttivamente invertibile se ammette una torre infinita di "inversi" e "omotopie" che sono a loro volta coinduttivamente invertibili. Questo corrisponde alla soluzione massima (coinduttiva) di una formula ricorsiva.
• Completezza Coinduttiva: Una categoria è coinduttivamente completa se ogni isomorfismo coinduttivo è un vero isomorfismo.
• Risultato: La localizzazione di $Cat^R_\infty$ rispetto alle mappe $\infty$-suriettive (senza considerare la coinduzione) produce esattamente la sottocategoria delle categorie coinduttivamente complete. Questo risolve una congettura di Loubaton.

C. Completezza $\omega$ e la Distinzione tra $L$ e $R$

Vengono introdotte le nozioni di $\omega$-isomorfismo (invertibilità fino a una certa altezza finita $n$, ma non necessariamente all'infinito in modo coerente) e di completezza $\omega$.

• Viene dimostrato che ogni categoria nell'immagine di $R$ (cioè in $Cat^L_\infty$) è $\omega$-completa.
• Tuttavia, la completezza $\omega$ è una condizione più debole della coinduttiva completezza.
• Controesempio (Esempio 5.45): Viene costruito un oggetto $E(\omega)$ che è coinduttivamente completo ma non è nell'immagine di $R$ (non è $\omega$-completo). Questo dimostra che l'aggiunzione $L \dashv R$ non è un'equivalenza e che la struttura di $Cat^L_\infty$ è più ristretta di quanto ci si potrebbe aspettare solo dalla completezza coinduttiva.

D. Caratterizzazione delle Equivalenze $L$

Gli autori forniscono una caratterizzazione esplicita delle mappe invertite da $L$ (le equivalenze $L$): sono le mappe che sono $\infty$-suriettive "fino a isomorfismi $n$-invertibili" per ogni $n$. Questo chiarisce la natura della localizzazione rispetto alla suriettività classica.

4. Significato e Implicazioni

1. Risoluzione dell'Ambiguità del Limite: Il lavoro chiarisce definitivamente che non esiste un'unica nozione di $(\infty, \infty)$-categoria. Esistono due versioni canoniche: quella "destrorsa" ($Cat^R_\infty$), che mantiene più struttura (come le categorie di cobordismo o gli span), e quella "sinistrorsa" ($Cat^L_\infty$), che è una localizzazione della prima.
2. Gerarchia di Completezza: Il paper stabilisce una gerarchia precisa tra diverse nozioni di completezza:
   $$Cat^L_\infty \subset Cat^\omega_\infty \subset Cat^{coind}_\infty \subset Cat^R_\infty$$
   dove le inclusioni sono proprie (con possibili eccezioni da verificare per l'ultima).
3. Strumenti Teorici: L'introduzione dei "sistemi bi-induttivi con bias" fornisce un quadro assiomatico potente che potrebbe essere applicato ad altri contesti di teoria delle categorie superiori, separando le proprietà universali dai dettagli dei modelli specifici (come i modelli simpliciali o cubici).
4. Connessione con la Fisica e la Topologia: Poiché le $(\infty, \infty)$-categorie sono fondamentali per la teoria dei campi topologici (TQFT) e l'ipotesi del cobordismo, la distinzione tra $Cat^L_\infty$ e $Cat^R_\infty$ ha implicazioni su come si modellano le dualità e le strutture invertibili in fisica matematica. Ad esempio, la categoria dei cobordismi collassa a una struttura di gruppoide sotto la localizzazione $L$, ma mantiene struttura non banale in $Cat^R_\infty$.

In sintesi, il paper dimostra che il passaggio al limite infinito non è un processo passivo, ma introduce nuove strutture (come l'invertibilità coinduttiva) e che la scelta tra "inversione" e "rimozione" delle frecce non invertibili porta a due mondi categoriali distinti ma strettamente correlati, con la versione basata sulla localizzazione che è una versione "piena" della versione basata sui core.