A $p$-adic Simpson correspondence for singular rigid-analytic varieties

Sintesi Tecnica: Una Corrispondenza di Simpson $p$-adica per Varietà Rigide-Analitiche Singolari

Enunciato del Problema
Il lavoro affronta l'estensione della corrispondenza di Simpson $p$-adica al contesto delle varietà rigide-analitiche singolari. Lavori fondativi precedenti hanno stabilito tale corrispondenza per curve proiettive lisce (Faltings [Fal05]), varietà algebriche lisce di dimensione superiore (Abbes, Gros e Tsuji [AGT16]) e varietà rigide-analitiche proprie e arbitrarie lisce su un campo non archimedeo completo e algebricamente chiuso $C$ (Heuer [Heu23]). La sfida centrale affrontata qui è la rimozione dell'ipotesi di liscietà. Nel caso singolare, il fascio standard di differenziali $\Omega^1_X$ è insufficiente per definire fasci di Higgs in modo da catturare le proprietà coomologiche necessarie, e la topologia étale non ammette una base di oggetti lisci, complicando gli argomenti di discesa.

Metodologia
Gli autori impiegano la topologia $\acute{e}h$ (introdotta per le varietà rigide-analitiche da Guo [Guo19]) per risolvere le singolarità localmente. La topologia $\acute{e}h$ è generata da ricoprimenti étale, ricoprimenti ottenuti per blow-up e omeomorfismi universali. Una proprietà strutturale chiave utilizzata è che il sito $\acute{e}h$ di qualsiasi varietà rigide-analitica ammette una base di varietà rigide-analitiche lisce tramite risoluzione delle singolarità.

La metodologia procede attraverso tre fasi principali:

1. Discesa sulle Varietà Lisce: Gli autori stabiliscono innanzitutto che, per una varietà rigide-analitica liscia $X$, la categoria dei fasci di Higgs sul sito $\acute{e}h$ ($X_{\acute{e}h}$) è equivalente alla categoria dei fasci di Higgs sul sito étale ($X_{\acute{e}t}$). Ciò si basa sulla dimostrazione che i fibrati vettoriali e i fasci di Higgs soddisfano la discesa $\acute{e}h$ e che il fascio di differenziali $\Omega^1_{\acute{e}h}$ coincide con il pullback dei differenziali étale sugli oggetti lisci.
2. Macchinario Simpliciale: Per gestire le varietà singolari, gli autori costruiscono iper-rivestimenti $\acute{e}h$ propri e lisci simpliciali. Sviluppano la teoria delle varietà rigide-analitiche simpliciali, definendo fasci di Higgs simpliciali e stabilendo una corrispondenza di Simpson $p$-adica per varietà simpliciali proprie e lisce. Ciò comporta il sollevamento della varietà simpliciale a $B^+_{dR}/\xi^2$ e l'utilizzo di una mappa esponenziale.
3. Discesa al Caso Singolare: Sfruttando la liscietà locale della topologia $\acute{e}h$, gli autori costruiscono un iper-rivestimento $\acute{e}h$ proprio e lisci 1-truncato per una varietà rigide-analitica propria arbitraria $X. Utilizzano quindi l'equivalenza stabilita nel caso simpliciale liscio e le proprietà di discesa (in particolare che i fibrati vettoriali e i fasci di Higgs formano fasci $\acute{e}h$) per discendere la corrispondenza alla varietà singolare $X$.

Contributi e Risultati Chiave

• Teorema Principale (Teorema 4.4): Per una varietà rigide-analitica propria $X$ su $C$, la categoria dei fibrati vettoriali pro-étale su $X$ ($\text{Vect}(X_{pro\acute{e}t})$) è equivalente alla categoria dei fasci di Higgs sul sito $\acute{e}h$ di $X$ ($\text{Higgs}(X_{\acute{e}h})$).

  • Un fascio di Higgs su $X_{\acute{e}h}$ è definito come un $\mathcal{O}_{X_{\acute{e}h}}$-modulo localmente libero di tipo finito $E$ dotato di un morfismo $\theta: E \to E \otimes \Omega^1_{X_{\acute{e}h}}(-1)$ tale che $\theta \wedge \theta = 0$.
  • Qui, $\Omega^1_{X_{\acute{e}h}}$ è il fascio associato al prefascio che invia una varietà rigide-analitica liscia $Y$ a $\Gamma(Y, \Omega^1_Y)$. Questo fascio sostituisce efficacemente il fascio differenziale standard con il primo complesso di Deligne–Du Bois nel contesto singolare.

• Confronto Cohomologico (Teorema 4.7): La corrispondenza induce un isomorfismo naturale tra la coomologia pro-étale di un fibrato vettoriale $E$ e la coomologia $\acute{e}h$ del corrispondente fascio di Higgs $(E, \theta)$:
  $$R\Gamma_{pro\acute{e}t}(X, E) \simeq R\Gamma_{\acute{e}h}(X, (E, \theta))$$
  Gli autori dimostrano che questi gruppi di coomologia sono concentrati nei gradi coomologici $[0, 2n]$, dove $n$ è la dimensione di $X$.

• Operatore di Sen Geometrico (Proposizione 4.8): Il lavoro costruisce un unico campo di Higgs $\eta_E$ per qualsiasi fibrato $v$-vettoriale sul diamante associato a una varietà rigide-analitica $X$. Questo campo si annulla se e solo se il fibrato discende dal sito $\acute{e}h$, generalizzando l'operatore di Sen geometrico al contesto singolare.

• Proprietà di Discesa: Il lavoro stabilisce rigorosamente che i prefasci di fibrati vettoriali e fasci di Higgs soddisfano la discesa $\acute{e}h$ (Teorema 2.5, Corollario 2.17). Chiarisce inoltre il comportamento dei fasci differenziali, notando che, sebbene $\Omega^1_{\acute{e}h}$ non sia un fibrato vettoriale (il suo rango può variare), si comporta in modo sufficientemente buono per la costruzione della corrispondenza.

Significato e Affermazioni
Gli autori affermano che questo lavoro generalizza i risultati di Faltings, Abbes-Gros-Tsuji e Heuer al caso di varietà rigide-analitiche proprie arbitrarie, rimuovendo il vincolo di liscietà.

• Teoria di Hodge Non Abeliiana: Il risultato è presentato come una generalizzazione categorica non abeliana del teorema di confronto primitivo di Scholze e della decomposizione di Hodge generalizzata per varietà singolari (Guo [Guo19]).
• Analogia con la Geometria Complessa: Il lavoro nota che, sebbene la corrispondenza di Simpson per varietà algebriche complesse singolari sia in gran parte aperta (con risultati parziali per singolarità klt), i metodi sviluppati qui, che utilizzano la topologia $\acute{e}h$ e i complessi di Deligne–Du Bois, suggeriscono un percorso plausibile per generalizzare questi risultati anche al contesto algebrico complesso.
• Fondamento Tecnico: Il lavoro fornisce la macchina di discesa necessaria e il quadro simpliciale per gestire le singolarità nella teoria di Hodge non abeliana $p$-adica, affrontando specificamente le sottigliezze dei fasci differenziali su spazi singolari dove il rango non è costante.

Il lavoro non propone nuove applicazioni sperimentali o congetture future oltre alla generalizzazione immediata della corrispondenza e alla potenziale estensione alle varietà algebriche complesse menzionata nella Remark 1.3.