Coherent six-functor formalisms: Pro vs Solid

Sintesi Tecnica: Note sui Formalismi Coerenti a Sei Functori: Pro contro Solido

Enunciato del Problema
Il lavoro affronta una lacuna fondazionale nel formalismo a sei functori di Grothendieck per fasci coerenti. Sebbene il formalismo sia ben consolidato per fasci costruibili $\ell$-adici nella coomologia étale, il caso dei fasci coerenti rimane incompleto. Nello specifico, per un'immersione aperta $j: U \hookrightarrow X$, il funtore spingente eccezionale $j_!$ non esiste come funtore tra le categorie standard di fasci (quasi)coerenti.

Storicamente, sono stati proposti due approcci distinti per risolvere ciò ampliando la categoria dei fasci:

1. Approccio di Deligne: Estende la categoria ai fasci pro-coerenti (nello specifico, sistemi pro-indizzati da $\mathbb{N}^{op}$) per costruire $j_!$ [Har66, Appendice].
2. Approccio di Clausen-Scholze: Estende la categoria ai moduli solidi all'interno del quadro della matematica condensata, fornendo un trattamento robusto di $j_!$ in un contesto derivato [CS19a, Lezione VIII].

La relazione tra queste due costruzioni è rimasta poco chiara. Questo lavoro mira a colmare questi approcci stabilendo un confronto preciso tra la costruzione di fasci pro di Deligne e la costruzione di moduli solidi di Clausen-Scholze.

Metodologia e Quadro Tecnico
L'autore costruisce un funtore di confronto naturale $\Phi$ e ne analizza le proprietà nel contesto della matematica condensata e dei moduli topologici.

1. Costruzione del Funtore:
   Il lavoro definisce un funtore $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$, dove $A$ è un anello commutativo. Questo funtore mappa un sistema pro $\varprojlim_{\mathbb{N}} M_i$ nel modulo solido associato al limite inverso dei moduli topologici sottostanti (dotati della topologia limite inverso).

   • La costruzione procede in due passaggi:
     • $\Phi_1$: Mappa i sistemi pro in moduli topologici ($\text{TopMod}(A)_{cgwh}$).
     • $\Phi_2$: Mappa questi moduli topologici in moduli condensati tramite l'immersione di Yoneda ($M \mapsto \text{Hom}_{\text{Top}}(-, M)$).
   • Il composto $\Phi = \Phi_2 \circ \Phi_1$ fattorizza attraverso la categoria dei moduli solidi, $\text{Solid}(A)$.

2. Analisi della Fedeltà Piena:
   Un risultato tecnico centrale riguarda la restrizione di $\Phi$ alla sottocategoria dei sistemi pro Mittag-Leffler ($\text{Pro}^{ML}_{\mathbb{N}}\text{Mod}(A)$).

   • L'autore dimostra che $\Phi$ è pienamente fedele quando ristretto ai sistemi Mittag-Leffler.
   • La dimostrazione si basa sul mostrare che, per un sistema Mittag-Leffler, la mappa canonica dal colimite degli omomorfismi agli omomorfismi del limite è una biiezione. Ciò richiede un'analisi attenta della topologia limite inverso, sfruttando specificamente il fatto che, per insiemi di indici numerabili, la condizione Mittag-Leffler garantisce che le mappe di proiezione si stabilizzino sull'immagine stabile.
   • Il lavoro nota esplicitamente che questa proprietà fallisce per insiemi di indici non numerabili o sistemi non Mittag-Leffler, fornendo un controesempio che coinvolge sistemi indici da $\omega_1$ dove il limite si annulla nonostante il sistema sia Mittag-Leffler.

3. Funtore Derivato e Compatibilità:
   Il lavoro considera il funtore derivato destro $R\Phi: D(\text{Pro}_{\mathbb{N}}\text{Mod}(A)) \to D(\text{Solid}(A))$. Il teorema principale stabilisce la compatibilità di $R\Phi$ con i functori $j_!$ definiti da Deligne ($j^{De}_!$) e da Clausen-Scholze ($j^{CS}_!$).

Risultati Chiave
Il risultato primario è il Teorema 1.1 (dettagliato nelle Proposizioni 2.14 e 3.3):

• Esistenza e Proprietà di $\Phi$: Esiste un funtore naturale $\Phi: \text{Pro}_{\mathbb{N}}\text{Mod}(A) \to \text{Solid}(A)$. Questo funtore è esatto a sinistra. La sua restrizione alla sottocategoria dei sistemi pro Mittag-Leffler, $\Phi_{ML}$, è esatta e pienamente fedele.

• Compatibilità di $j_!$: Per un'algebra di tipo finito su $\mathbb{Z}$, $A$, e un non divisore di zero $f \in A$, sia $j: \text{Spec}(A[1/f]) \hookrightarrow \text{Spec}(A)$ l'immersione aperta. Il diagramma che coinvolge i functori derivati commuta:
  $$\begin{array}{ccc} \text{Mod}^{fp}(A[1/f]) & \xrightarrow{j^{De}_!} & D(\text{Solid}(A[1/f])) \\ \downarrow & & \downarrow \\ \text{Pro}_{\mathbb{N}}\text{Mod}^{fp}(A) & \xrightarrow{R\Phi} & D(\text{Solid}(A)) \end{array}$$
  Nello specifico, $R\Phi \circ j^{De}_! \cong j^{CS}_! \circ R\Phi$ per moduli finitamente presentati.

• Meccanismo di Dimostrazione per la Compatibilità: La dimostrazione coinvolge calcoli espliciti di entrambi i lati del diagramma commutativo.

  • $j^{De}_!$ di Deligne è realizzato tramite il cono della mappa da un modulo finitamente presentato $M'$ al suo completamento $f$-adico.
  • $j^{CS}_!$ di Clausen-Scholze è calcolato utilizzando il prodotto tensoriale solido e la risoluzione di $A[1/f]$ nella categoria dei moduli solidi su $(A[T], A)$.
  • L'autore dimostra che entrambe le costruzioni producono oggetti isomorfi nella categoria derivata dei moduli solidi analizzando il completamento $f$-adico $\widehat{M'}$ e la sua localizzazione, sfruttando risultati di piattezza per la mappa $A \to \widehat{A}$ e la localizzazione $A \to A[1/f]$.

Significato e Affermazioni
Il lavoro afferma di fornire una "unificazione concettuale e strutturale" dei due approcci al funtore $j_!$ mancante. Dimostrando che la costruzione classica di Deligne tramite fasci pro coincide con la costruzione moderna di Clausen-Scholze tramite moduli solidi, il lavoro rafforza la compatibilità delle tecniche classiche con gli strumenti della matematica condensata.

L'autore nota che, sebbene il teorema sia attualmente enunciato per un tipo specifico di immersione aperta (definita da un non divisore di zero in un'algebra di tipo finito), il risultato offre un'"idea interessante" per il caso generale. Il lavoro non afferma di aver risolto il caso generale per immersioni aperte arbitrarie, ma esprime l'aspettativa che il teorema valga più in generale, con il piano di "incollare il funtore $R\Phi$" in lavori futuri.

Il lavoro è modesto nel suo ambito, concentrandosi sull'istituzione del ponte tra i due specifici quadri piuttosto che proporre nuove applicazioni sperimentali o estendere la teoria a contesti geometrici completamente nuovi oltre il confronto di questi due formalismi.