Comparison of Motivic Homotopy Theories

Il paper costruisce funtori di confronto tra le categorie duali delle teorie dell'omotopia motivica (sia $\mathbb{A}^1$-invariante che non) e le categorie di motivi localizzanti, dimostrando che, su un campo che ammette risoluzione delle singolarità, il funtore fattorizzato per la versione $\mathbb{A}^1$-invariante è pienamente fedele, mentre quello non $\mathbb{A}^1$-invariante non lo è in generale.

L'essenziale

Immagina di essere un architetto che sta cercando di capire come due città molto diverse siano in realtà collegate da strade nascoste. Una città è fatta di forme geometriche perfette e regole rigide (la Teoria dell'Omotopia Motiva), l'altra è un mercato caotico ma pieno di oggetti matematici astratti chiamati "motivi" (i Motivi Non-Commutativi).

Il paper di Tianjian Tan è come una mappa che prova a costruire un ponte tra queste due città. Ecco la spiegazione semplice, passo dopo passo.

1. Le Due Città: Omotopia e Motivi

Immagina due grandi biblioteche:

• La Biblioteca SH (Omologia Motiva): Qui ci sono tutti gli oggetti geometrici (come curve, superfici) che hanno subito una trasformazione magica: sono stati "stirati" e "appiattiti" in modo che una linea retta e un punto siano considerati la stessa cosa (questa è l'invarianza $A^1$). È un mondo molto ordinato, dove le regole sono severe.
• La Biblioteca Mot (Motivi Localizzanti): Qui non ci sono solo forme geometriche, ma "schemi" di come questi oggetti si comportano quando li trasformi. È come se avessimo un catalogo universale che dice: "Se prendi questo oggetto e lo fai diventare quello, ecco cosa succede". Questa biblioteca è più generale e include anche casi in cui non abbiamo fatto quel "magico stiramento" della linea retta.

L'obiettivo del paper è: Possiamo tradurre perfettamente tutto ciò che c'è nella prima biblioteca nella seconda?

2. Il Ponte Speculare (Il "Dual" Functor)

Il problema è che le due biblioteche parlano lingue leggermente diverse. Per collegarle, l'autore non costruisce un ponte diretto, ma un ponte speculare.
Immagina di prendere la prima biblioteca, capovolgerla come un guanto (questa è la "dualità") e poi cercare di inserirla nella seconda biblioteca.

L'autore dice: "Ok, se capovolgiamo la nostra biblioteca geometrica e la trasformiamo in una serie di regole universali, possiamo mapparla sulla biblioteca dei motivi".

• Il risultato principale: C'è una strada (un "functore") che collega queste due realtà. È come avere un traduttore automatico che prende un libro di geometria capovolto e lo trasforma in un libro di motivi.

3. La Differenza tra "Stirato" e "Non-Stirato"

Qui arriva il punto cruciale, il cuore della scoperta. L'autore costruisce due tipi di ponti:

• Ponte A (Il mondo "Stirato" - $A^1$-invariant): Qui usiamo la biblioteca dove le linee sono state stirate.

  • La scoperta: Il ponte funziona perfettamente. Se prendi due oggetti diversi nella biblioteca capovolta, il traduttore li manda in due oggetti diversi nella biblioteca dei motivi. Non c'è confusione. È un traduttore fedele al 100%.
  • Metafora: È come se avessi un codice segreto che, se decifrato, ti dà esattamente la stessa immagine originale senza perdere un pixel.

• Ponte B (Il mondo "Non-Stirato" - Non-$A^1$): Qui usiamo la biblioteca originale, dove le linee non sono state stirate.

  • La scoperta: Il ponte non funziona perfettamente. A volte, due oggetti diversi nella biblioteca capovolta finiscono per sembrare identici nella biblioteca dei motivi. Il traduttore perde informazioni.
  • Perché? Immagina di avere un numero infinito di chiavi diverse (oggetti matematici) che aprono la stessa serratura. Nella biblioteca dei motivi, queste chiavi diventano indistinguibili, mentre nella biblioteca originale erano tutte diverse. L'autore dimostra che in certi casi (quando il campo di numeri di base è "contabile", come i numeri razionali), c'è un "collasso" di informazioni: troppe chiavi diverse finiscono per essere la stessa cosa.

4. La Scoperta Chiave: La "Rigidità"

Perché un ponte funziona e l'altro no?
L'autore usa un concetto chiamato "Rigid Generation" (Generazione Rigida).

• Immagina che la biblioteca capovolta sia costruita con mattoni speciali che hanno una proprietà magica: sono "duali" (come uno specchio perfetto).
• Nel mondo "Stirato" (Ponte A), questi mattoni sono così ben organizzati che il ponte funziona sempre.
• Nel mondo "Non-Stirato" (Ponte B), i mattoni sono un po' più "morbidi" o disordinati. Manca quella rigidità. Quando provi a costruire il ponte, le informazioni si perdono perché non c'è abbastanza struttura per tenere tutto insieme.

5. In Sintesi

Il paper di Tianjian Tan ci dice:

1. Possiamo collegare la geometria moderna (omotopia motivica) con la teoria dei motivi non-commutativi.
2. Se lavoriamo nel mondo "pulito" e "stirato" (dove valgono certe regole di simmetria), la connessione è perfetta e fedele.
3. Se proviamo a farlo nel mondo "selvaggio" (senza quelle regole), la connessione si rompe: perdiamo informazioni e due cose diverse diventano uguali.

È come dire: "Se vuoi tradurre un poema complesso in un'altra lingua mantenendo ogni singola sfumatura, devi usare un dizionario molto specifico e rigido. Se usi un dizionario troppo generico, perderai la poesia e rimarrà solo il significato grezzo".

L'autore ha costruito il dizionario perfetto per il caso "stirato" e ha dimostrato perché quello stesso dizionario fallisce nel caso "non stirato", usando strumenti matematici molto avanzati (come la teoria delle categorie e gli spettri) ma con un risultato molto chiaro sulla struttura fondamentale di questi mondi matematici.

Sommario tecnico

Ecco un riassunto tecnico dettagliato del lavoro "Comparison of Motivic Homotopy Theories" di Tianjian Tan, redatto in italiano.

Titolo: Confronto tra Teorie di Omotopia Motiviche

Autore: Tianjian Tan
Contesto: Tesi di laurea magistrale presso l'Università della Sorbona.

---

1. Il Problema e l'Obiettivo

Il lavoro si propone di stabilire un confronto rigoroso tra due grandi famiglie di categorie motiviche:

1. Le categorie di omotopia motivica:
   • $\mathcal{SH}$: La categoria di omotopia motivica classica $\mathbb{A}^1$-invariante di Morel e Voevodsky.
   • $\mathcal{MS}$: La categoria di omotopia motivica non $\mathbb{A}^1$-invariante costruita da Annala, Iwasa e Hoyois.
2. Le categorie di motivi non commutativi:
   • $\text{Mot}_{\text{loc}}$: La categoria dei motivi localizzanti di Blumberg, Gepner e Tabuada (BGT).
   • $\text{Mot}_{\text{loc}}^{\mathbb{A}^1}$: La versione $\mathbb{A}^1$-invariante dei motivi localizzanti.

L'obiettivo principale è costruire functor di confronto che colleghino le categorie duale delle teorie di omotopia motivica ($\mathcal{SH}^\vee$ e $\mathcal{MS}^\vee$) alle categorie di motivi ($\text{Mot}_{\text{loc}}^{\mathbb{A}^1}$ e $\text{Mot}_{\text{loc}}$). La domanda centrale è se questi functor siano pienamente fedeli (fully faithful), ovvero se preservino tutte le informazioni omotopiche tra gli oggetti.

---

2. Metodologia

L'autore impiega un approccio basato sulla teoria delle categorie $\infty$-stabili e sulla dualità nel contesto delle categorie presentabili stabili ($\text{Pr}^L_{\text{st}}$).

A. Dualità e Inversione Formale

Il cuore della metodologia risiede nella comprensione della dualità per le categorie di presheaf.

• Si considera la categoria duale $\mathcal{C}^\vee = \text{Fun}^L(\mathcal{C}, \text{Sp})$.
• Viene dimostrato un risultato chiave (Proposizione 1.2/2.14): l'operazione di dualità commuta con l'inversione formale di un oggetto. Se $\mathcal{C}[X^{-1}]$ è l'inversione formale di un oggetto $X$ in $\mathcal{C}$, allora:
  $$\mathcal{C}^\vee[(X^{\text{dual}})^{-1}] \simeq (\mathcal{C}[X^{-1}])^\vee$$
  Questo permette di descrivere le categorie duali $\mathcal{SH}^\vee$ e $\mathcal{MS}^\vee$ non come categorie astratte, ma come categorie di cosheaf (co-presheaf) con condizioni di discesa (codescent) e l'inversione formale del duale di $\mathbb{P}^1$.

B. Proprietà Universali e Functor di Confronto

Sfruttando la descrizione come inversione formale, l'autore costruisce i functor di confronto:

1. Si parte dal functor naturale definito sugli schemi lisci di presentazione finita:
   $$X \mapsto U(\text{perf}_X)$$
   dove $U$ è il funtore universale dei motivi localizzanti.
2. Si estende questo functor al dominio duale ($\mathcal{SH}^\vee$ o $\mathcal{MS}^\vee$) utilizzando le proprietà universali derivate dalla struttura di inversione formale.
3. Si ottengono due functor left-adjoint fortemente monoidali:
   • $\Phi: \mathcal{SH}^\vee \to \text{Mot}_{\text{loc}}^{\mathbb{A}^1}$
   • $\Psi: \mathcal{MS}^\vee \to \text{Mot}_{\text{loc}}$

C. Fattorizzazione attraverso Moduli

Grazie al teorema di Barr-Beck (e le sue varianti per categorie monoidali), questi functor fattorizzano attraverso categorie di moduli su un anello commutativo (spettro) nel dominio duale:

• $\text{Mod}_{\Phi^*(1)}(\mathcal{SH}^\vee) \to \text{Mot}_{\text{loc}}^{\mathbb{A}^1}$
• $\text{Mod}_{\Psi^*(1)}(\mathcal{MS}^\vee) \to \text{Mot}_{\text{loc}}$
  Dove $\Phi^*(1)$ e $\Psi^*(1)$ agiscono come versioni duali dello spettro K-teorico $KGL$.

---

3. Risultati Principali

Caso $\mathbb{A}^1$-invariante (Teorema 4.2)

Sotto l'ipotesi che il campo base $k$ ammetta una risoluzione delle singolarità (o invertendo la caratteristica esponenziale $e$ di $k$):

• La categoria $\mathcal{SH}(k)^\vee$ è rigidamente generata (rigidly generated), ovvero generata da oggetti compatti e dualizzabili.
• Il functor fattorizzato:
  $$e\Phi: \text{Mod}_{\Phi^*(1)}(\mathcal{SH}(k)[1/e]^\vee) \to \text{Mot}(k)_{\text{loc}}^{\mathbb{A}^1}[1/e]$$
  è pienamente fedele a livello di spettri di mappa.
• Significato: Questo risultato conferma che la teoria di omotopia motivica classica, quando vista attraverso la lente della dualità e dei motivi localizzanti, cattura fedelmente la struttura algebrica dei motivi, specialmente in relazione alla K-teoria omotopica ($KH$).

Caso Non $\mathbb{A}^1$-invariante (Teorema 4.3 e Controesempio)

Nel caso della teoria non $\mathbb{A}^1$-invariante ($\mathcal{MS}$):

• La categoria $\mathcal{MS}(k)^\vee$ non è rigidamente generata, anche invertendo la caratteristica esponenziale.
• Il functor fattorizzato:
  $$e\Psi: \text{Mod}_{\Psi^*(1)}(\mathcal{MS}(k)[1/e]^\vee) \to \text{Mot}(k)_{\text{loc}}[1/e]$$
  non è pienamente fedele in generale.
• Dimostrazione del fallimento:
  • In $\mathcal{MS}(k)^\vee$ (su un campo numerabile), gli spettri di mappa tra oggetti compatti hanno un $\pi_0$ numerabile.
  • In $\text{Mot}_{\text{loc}}$, gli spettri di mappa tra certi oggetti (es. tra l'anello affine e un anello $R$) sono isomorfi agli anelli di Witt grandi $W(R)$, il cui insieme sottostante è non numerabile.
  • Questa discrepanza di cardinalità dimostra che il functor non può essere pienamente fedele.

---

4. Contributi Chiave

1. Costruzione di Functor di Confronto: Definizione rigorosa di functor da categorie duali di omotopia motivica a categorie di motivi non commutativi, superando la barriera della mancanza di una definizione diretta di "dual" per $\mathcal{SH}$ e $\mathcal{MS}$.
2. Dualità e Inversione Formale: Estensione e applicazione del teorema di compatibilità tra dualità e inversione formale ($\mathcal{C}^\vee[X^{-1}] \simeq (\mathcal{C}[X^{-1}])^\vee$) in un contesto motivico complesso.
3. Analisi della Fedeltà Piena: Dimostrazione che la fedeltà piena dipende criticamente dalla proprietà di "generazione rigida" del dominio.
4. Distinzione tra Casi Invarianti e Non: Evidenziazione di una differenza fondamentale tra la teoria $\mathbb{A}^1$-invariante (dove la dualità funziona bene grazie alla risoluzione delle singolarità) e quella non invariante (dove la struttura è troppo "grande" o complessa per essere catturata pienamente dai motivi localizzanti in questo modo).

---

5. Significato e Implicazioni

Questo lavoro fornisce un ponte teorico solido tra l'omotopia motivica classica (Morel-Voevodsky) e la teoria dei motivi non commutativi (BGT).

• Per la K-teoria: Conferma che la K-teoria omotopica ($KH$) è rappresentabile in modo fedele all'interno della categoria dei motivi localizzanti $\mathbb{A}^1$-invarianti.
• Limiti della Teoria: Il risultato negativo per il caso non $\mathbb{A}^1$-invariante suggerisce che la teoria di Annala-Iwasa-Hoyois contiene informazioni omotopiche "più ricche" o di natura diversa che non possono essere completamente codificate nella categoria dei motivi localizzanti standard, almeno attraverso questo specifico meccanismo di confronto.
• Metodologico: Offre un modello per studiare la dualità in categorie di omotopia superiori, utilizzando la struttura di "cosheaf" e l'inversione formale come strumenti computazionali potenti.

In sintesi, la tesi dimostra che mentre la teoria motivica classica si "adatta" perfettamente alla cornice dei motivi non commutativi tramite la dualità, la sua controparte non invariante presenta ostacoli strutturali che impediscono un'identificazione completa.