Poincaré duality in logarithmic motivic homotopy theory

1. Il Problema e il Contesto

La teoria dell'omotopia motivica classica (es. nella categoria $\mathcal{SH}$ di Voevodsky) stabilisce la dualità di Poincaré per morfismi lisci e proiettivi (o propri). Tuttavia, questa formulazione si basa sull'invarianza rispetto ad $\mathbb{A}^1$, il che esclude molte teorie di coomologia importanti che non sono invarianti per $\mathbb{A}^1$, come la coomologia di Hodge, la coomologia ciclica topologica e la coomologia prismatica.

Recentemente, Annala, Hoyois e Iwasa hanno sviluppato una teoria motivica non-$\mathbb{A}^1$-invariante (denotata come $\mathcal{MS}$) che include queste teorie. Tuttavia, la loro prova della dualità di Poincaré in $\mathcal{MS}$ dipendeva dall'esistenza di morfismi di Gysin di Tang con una naturalezza specifica, che al momento della stesura non era ancora disponibile.

Parallelamente, la teoria dell'omotopia motivica logaritmica ($\log\mathcal{SH}$), sviluppata da Binda, Park e Østvær, offre un quadro alternativo che gestisce naturalmente le varietà con bordo (o schemi log-lisci). In questo contesto, i morfismi di Gysin logaritmici sono già disponibili. Il problema centrale affrontato da Park è dimostrare la dualità di Poincaré in $\log\mathcal{SH}$ per morfismi proiettivi lisci, utilizzando gli strumenti logaritmici invece di quelli mancanti in $\mathcal{MS}$, e applicare questo risultato per costruire una teoria di coomologia indipendente dalla scelta della compattificazione logaritmica.

2. Metodologia e Strumenti Tecnici

Il lavoro si svolge all'interno di un setting assiomatico flessibile che generalizza $\log\mathcal{SH}_{sat}$ (la versione saturata della teoria motivica logaritmica). I punti chiave della metodologia includono:

• Morfismi di Gysin Logaritmici: Sfruttando i risultati di Binda-Park-Østvær, il paper utilizza i morfismi di Gysin logaritmici ($Gys$) invece di quelli classici. Questi permettono di trattare immersioni chiuse in schemi log-lisci.
• Spazi di Thom Logaritmici: Vengono generalizzati gli spazi di Thom e le loro proprietà di invarianza (Proposizione 3.5) per gestire fibrati vettoriali su schemi logaritmici, inclusi casi con strutture logaritmiche non banali.
• Compatibilità con le Composizione: Una parte cruciale della dimostrazione (Sezione 5) consiste nel provare che i morfismi di Gysin logaritmici sono compatibili con le composizioni di immersioni chiuse (Teorema 5.5). Poiché la naturalezza forte richiesta in lavori precedenti non è disponibile, Park dimostra una versione più debole ma sufficiente, adattando l'argomentazione di Deglise.
• Dualità e Morfismi di Valutazione: Vengono costruiti morfismi di valutazione ($ev$) e di confronto ($comp$) per oggetti dualizzabili. La dimostrazione che il morfismo di confronto è un isomorfismo (Proposizione 7.4 e 7.9) è il cuore tecnico per stabilire la dualità.
• Schemi di Blow-up: Viene utilizzata la teoria dei quadrati di blow-up lisci (Sezione 9) per estendere la dualità da casi semplici (come spazi proiettivi) a morfismi proiettivi generali, dimostrando che se la dualità vale per tre angoli di un quadrato di blow-up, vale anche per il quarto.

3. Risultati Principali

Il paper stabilisce tre risultati fondamentali (Teoremi A, B e C):

A. Dualità di Poincaré in $\log\mathcal{SH}$ (Teorema A)

Per ogni morfismo proiettivo $f: X \to S$ di schemi, esiste un isomorfismo naturale:
$$f_\sharp \xrightarrow{\sim} f_* \Sigma^{\Omega^1_f} : \log\mathcal{SH}(X) \to \log\mathcal{SH}(S)$$
dove $\Sigma^{\Omega^1_f}$ è il twist di Thom associato al fascio delle forme differenziali relative.

• Significato: Questo risultato estende la dualità di Poincaré a tutte le teorie di coomologia rappresentabili in $\log\mathcal{SH}$, incluse quelle non invarianti per $\mathbb{A}^1$ (come la coomologia di Hodge e quella prismatica), purché ammettano estensioni logaritmiche adeguate.

B. Dualità di Lefschetz Motiva (Teorema B)

Per un'immersione chiusa $Z \to X$ di schemi proiettivi lisci, l'oggetto $\Sigma^\infty X/Z$ è dualizzabile con duale $\text{Th}^{-1}_{(X,Z)}(\Omega^1_{(X,Z)/S})$, dove $(X,Z)$ è lo schema logaritmico associato con bordo $Z$.

• Significato: Questo è l'analogo motivico della dualità di Lefschetz per varietà con bordo, fondamentale per collegare la coomologia di uno schema alla coomologia del suo bordo logaritmico.

C. Indipendenza della Compattificazione Logaritmica (Teorema C)

Sia $k$ un campo perfetto di caratteristica $p > 0$. Esiste un fascio cdh di complessi $R\Gamma^{lc}_{crys}$ sulla categoria degli schemi su $k$ tale che per ogni schema logaritmico lisci proiettivo $X$ su $k$:
$$R\Gamma^{lc}_{crys}(X - \partial X) \simeq R\Gamma_{crys}(X)$$

• Significato: Questo dimostra che la coomologia cristallina di una varietà aperta (rappresentata come $X - \partial X$) è indipendente dalla scelta della compattificazione logaritmica $X$. Questo risolve un problema aperto, fornendo una costruzione che non richiede la risoluzione delle singolarità (necessaria in lavori precedenti di Ertl-Shiho-Sprang e Merici) ma si basa sulla dualità motivica logaritmica.

4. Contributi Chiave e Innovazioni

1. Sostituzione dei Morfismi di Gysin: Park dimostra che è possibile ottenere la dualità di Poincaré senza i morfismi di Gysin di Tang (non ancora disponibili in forma completa), utilizzando invece i morfismi di Gysin logaritmici già esistenti in $\log\mathcal{SH}$.
2. Indipendenza dalla Risoluzione delle Singolarità: A differenza dei lavori precedenti sulla coomologia cristallina che assumevano la risoluzione delle singolarità, questo risultato è ottenuto puramente attraverso tecniche motiviche logaritmiche.
3. Struttura Assiomatica: Il lavoro è formulato in un setting assiomatico che permette di applicare i risultati non solo a $\log\mathcal{SH}$, ma potenzialmente ad altre categorie di spettri motivici che soddisfano condizioni simili.
4. Fallimento della Proprietà di Localizzazione: Il paper dimostra (Proposizione 11.2) che la proprietà di localizzazione (che vale per immersioni aperte) fallisce per immersioni chiuse non aperte in $\log\mathcal{SH}$, evidenziando una differenza fondamentale rispetto alla teoria classica dovuta alla presenza di teorie non-$\mathbb{A}^1$-invarianti.

5. Significato e Impatto

Questo lavoro rappresenta un passo avanti significativo nella teoria dell'omotopia motivica, colmando il divario tra la teoria classica ($\mathcal{SH}$) e le nuove teorie non-$\mathbb{A}^1$-invarianti.

• Unificazione: Fornisce un quadro unificato per trattare la dualità di Poincaré in contesti logaritmici, permettendo di calcolare coomologie complesse (come quella prismatica) su varietà singolari o aperte tramite compattificazioni logaritmiche.
• Applicazioni alla Geometria Aritmetica: La costruzione di una teoria di coomologia cristallina indipendente dalla compattificazione è uno strumento potente per lo studio delle varietà in caratteristica positiva, offrendo un approccio alternativo e più flessibile rispetto alle tecniche tradizionali basate sulla risoluzione delle singolarità.
• Sviluppo Futuro: L'introduzione di tracce ciclotomiche logaritmiche e la loro interazione con la dualità di Poincarè apre la strada a nuove ricerche sulle connessioni tra K-teoria, coomologia ciclica e geometria logaritmica.

In sintesi, Doosung Park dimostra che l'ambiente logaritmico non è solo un'estensione tecnica, ma un quadro necessario e potente per stabilire dualità fondamentali e costruire teorie di coomologia robuste in assenza di risoluzione delle singolarità.