Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

Sintesi Tecnica: Cohomologia Prismatica Logaritmica, Fasci Motivi e Teoremi di Confronto

Enunciato del Problema
Il lavoro affronta la rappresentabilità delle teorie di coomologia prismatica e sintomica logaritmica all'interno del quadro dei fasci motivici logaritmici. Le teorie classiche di coomologia $p$-adica (étale, di de Rham, cristallina) e le loro generalizzazioni prismatiche spesso non sono invarianti per omotopia $\mathbb{A}^1$, impedendo la loro rappresentazione diretta nella categoria standard dei fasci motivici (ad esempio, $\text{DA}_{\text{eff}}$). Sebbene la geometria logaritmica offra un contesto naturale per gestire la riduzione semi-stabile e i divisori al bordo, è mancato un formalismo motivico unificato capace di rappresentare queste specifiche teorie di coomologia $p$-adica, in particolare nel contesto logaritmico. Inoltre, teoremi di confronto espliciti tra coomologia prismatica logaritmica e coomologia cristallina/de Rham logaritmica, insieme alla costruzione di applicazioni di Gysin e formule di blow-up in questo contesto, richiedono una solida base strutturale.

Metodologia
Gli autori adottano un approccio multiforme che combina geometria logaritmica, algebra superiore e teoria dell'omotopia motivica:

1. Formalismo Motivico Logaritmico: Gli autori operano all'interno della categoria dei fasci motivici logaritmici, in particolare $\text{logFDA}(S, \Lambda)$, la $\infty$-categoria degli spettri motivici logaritmici su una base $S$. Questa categoria è costruita localizzando i fasci étale stretti su schemi lisci logaritmici rispetto alle proiezioni che coinvolgono $(\mathbb{P}^n, \mathbb{P}^{n-1})$, recuperando così proprietà come le successioni di Gysin e gli isomorfismi di Thom non disponibili nel contesto localizzato $\mathbb{A}^1$.
2. Rappresentabilità tramite Orientazioni di Chern: Per dimostrare la rappresentabilità, gli autori stabiliscono che le teorie di coomologia in questione ammettono una "orientazione di Chern". Utilizzano la prima classe di Chern prismatica (costruita da Bhatt–Lurie) per definire applicazioni dall'oggetto di Tate $\Lambda(1)$ alle teorie di coomologia. Ciò permette loro di costruire spettri ad anello orientati che rappresentano le teorie.
3. Discesa Saturata: Uno strumento tecnico centrale è la "discesa saturata", ispirata al lavoro di Nizioł sulla $K$-teoria logaritmica. Gli autori analizzano il nervo di Čech delle applicazioni di Kummer nella categoria dei monoidi saturi. Dimostrano che per anelli logaritmici quasi-sintomici, la coomologia prismatica logaritmica può essere calcolata come limite della coomologia prismatica non logaritmica su un diagramma cosimpliciale specifico che coinvolge prodotti tensoriali saturi. Questa tecnica colma il divario tra contesti logaritmici e non logaritmici.
4. Congettura di Segal Logaritmica: Per costruire la coomologia di Breuil–Kisin, gli autori dimostrano una versione logaritmica della congettura di Segal (che collega l'omotopia di Hochschild topologica alla sua costruzione di Tate) per algebre lisce logaritmiche, essenziale per stabilire le proprietà di discesa di Frobenio richieste per la teoria della coomologia.

Contributi e Risultati Chiave

• Rappresentabilità Motivica: Il risultato principale è la dimostrazione che la coomologia prismatica logaritmica ($R\Gamma_{\hat{\Delta}}$) e la coomologia sintomica logaritmica ($R\Gamma_{F_{\text{syn}}}$) sono rappresentabili nella categoria dei fasci motivici logaritmici. Nello specifico, costruiscono spettri ad anello orientati $E_{\hat{\Delta}}$, $E_{\text{Fil}\hat{\Delta}}$ ed $E_{F_{\text{syn}}}$ in $\text{CAlg}(\text{logFDA}(S, \mathbb{Z}_p))$.
• Applicazioni di Gysin e Cofibri: Come conseguenza della rappresentabilità e dell'esistenza di orientazioni di Chern, gli autori costruiscono applicazioni di Gysin funtoriali per la coomologia prismatica e sintomica associate a immersioni chiuse di codimensione pura $d$. Crucialmente, identificano esplicitamente i cofibri di omotopia di queste applicazioni come la coomologia della coppia $(\text{Bl}_Z(X), E)$, dove $\text{Bl}_Z(X)$ è il blow-up ed $E$ è il divisore eccezionale. Ciò fornisce una "successione di residuo" per queste teorie di coomologia.
• Formula di Blow-up Liscio: Il lavoro stabilisce una formula di blow-up liscio per la coomologia prismatica e sintomica, esprimendo la coomologia di un blow-up come somma diretta della coomologia della base e del centro, spostata di gradi appropriati.
• Calcoli sulle Grassmanniane: Utilizzando il formalismo motivico, gli autori calcolano la coomologia prismatica e sintomica delle Grassmanniane, stabilendo isomorfismi di anelli bigraduati che coinvolgono un anello dei coefficienti esplicito $Z_{r,n}$.
• Teoremi di Confronto tramite Discesa Saturata:
  • Confronto Cristallino: Utilizzando la discesa saturata, gli autori dimostrano che per schemi lisci logaritmici su un campo perfetto $k$ di caratteristica $p$, la coomologia prismatica logaritmica è equivalente alla coomologia cristallina logaritmica (con strutture logaritmiche appropriate sulla base).
  • Confronto di de Rham: Stabiliscono un'equivalenza tra coomologia prismatica logaritmica e coomologia di de Rham logaritmica dopo estensione scalare lungo la mappa dei periodi $\theta$.
• Coomologia Logaritmica di Breuil–Kisin: Gli autori costruiscono una versione logaritmica della coomologia di Breuil–Kisin per schemi formali lisci logaritmici sull'anello degli interi di un campo $p$-adico. Questa teoria assume valori in algebre $E_\infty$ $(p, z)$-complete sull'anello di Breuil–Kisin $S = W(k)[[z]]$. Soddisfa la discesa di Frobenio e ammette isomorfismi di confronto con la coomologia di de Rham logaritmica e la coomologia cristallina logaritmica.
• Applicazioni di Gysin per la Coomologia $A_{\inf}$: Cambiando base la coomologia logaritmica di Breuil–Kisin su $A_{\inf}$, gli autori derivano applicazioni di Gysin per la coomologia $A_{\inf}$ e ne identificano i cofibri in termini di coomologia prismatica logaritmica.

Significato
Il lavoro rivendica rilevanza in diverse aree:

1. Unificazione: Colloca la coomologia prismatica e sintomica logaritmica nel potente quadro dei fasci motivici, permettendo l'uso di strumenti motivici (come purezza, successioni di Gysin e formule di blow-up) nella teoria di Hodge $p$-adica.
2. Cofibri Espliciti: Risolve il problema dell'identificazione dei cofibri delle applicazioni di Gysin per queste teorie, che in precedenza non era esplicitamente disponibile nella letteratura per il contesto logaritmico.
3. Tecnica di Discesa: Lo sviluppo della discesa saturata fornisce un nuovo metodo per calcolare teorie di coomologia logaritmica riducendole a controparti non logaritmiche, facilitando teoremi di confronto che in precedenza erano difficili da stabilire.
4. Estensioni Fondamentali: La costruzione della coomologia logaritmica di Breuil–Kisin e della congettura di Segal logaritmica estende la portata del lavoro di Bhatt–Morrow–Scholze al contesto logaritmico, fornendo una base per futuri confronti con filtrazioni motiviche globali e varianti logaritmiche delle filtrazioni pari.

Gli autori notano che i loro risultati sono indipendenti dalle definizioni basate sui siti di Koshikawa e Yao, sebbene riconoscano che un confronto tra la coomologia prismatica logaritmica completa di Nygaard definita qui e la versione basata sui siti è oggetto di lavoro in corso (riferito come [BLMP25]). Il lavoro sottolinea che la struttura logaritmica sul prisma dei coefficienti è generalmente banale, tranne nel caso specifico di Breuil–Kisin.