Birational and $\mathbf{A}^1$-invariant lattices in the cohomology of the structure sheaf over non-archimedean fields

Riepilogo Tecnico: Reti Birazionali e $\mathbb{A}^1$-Invarianti nella Cohomologia del Fascio Strutturale su Campi Non-Archimedei

Enunciato del Problema
Il lavoro affronta una questione classica nella geometria aritmetica: se una teoria di cohomologia $X \mapsto H(X)$ definita su una categoria di schemi su un campo non archimedeo completo $K$, a valori in spazi vettoriali $K$-dimensionali di dimensione finita, ammetta una rete funtoriale sull'anello degli interi $R = \mathcal{O}_K$. Una risoluzione positiva implica che per ogni endomorfismo $f: X \to X$, il polinomio caratteristico dell'applicazione lineare indotta $f^*$ abbia coefficienti in $R$.

Nello specifico, gli autori si concentrano sulla cohomologia del fascio strutturale, $H^i(X, \mathcal{O}_X)$, per schemi lisci e propri. Sebbene sia noto che questa cohomologia si estende a un funtore sugli schemi separati lisci (tramite compattificazione) e sia $\mathbb{A}^1$-invariante, l'esistenza di una struttura intera definita algebricamente (una rete) che soddisfi la discesa tampe e sia compatibile con l'invarianza birazionale è stata una sfida aperta, in particolare in caratteristica positiva e per schemi non propri.

Metodologia
Gli autori costruiscono la rete desiderata utilizzando una variante della cohomologia tampe introdotta da Hübner e Schmidt [HS20], modificata come in [MRS26]. Il cuore del loro approccio coinvolge:

1. Il Sito Tampe: Lavorano nella categoria $\text{Sch}(S, \bar{S})$ di coppie $(U, \tilde{U})$ dove $U \hookrightarrow \tilde{U}$ è un'immersione aperta su $\bar{S} = \text{Spec}(R)$, con $U$ che fattorizza attraverso $S = \text{Spec}(K)$. Dotano questa categoria della topologia tampe, dove i ricoprimenti sono definiti da famiglie di applicazioni che sono tampe rispetto alle valutazioni.
2. Il Fascio $\mathcal{G}_a(0)$: Invece di utilizzare il fascio strutturale tampe standard $\mathcal{O}_t$ (la cui rigidificazione è il fascio strutturale rigido intero $\mathcal{O}^\circ$), definiscono un fascio twistato $\mathcal{G}_a(0)$. Per una coppia $(U, \tilde{U})$, questo fascio è definito come:
   $$\mathcal{G}_a(0)(U, \tilde{U}) = \left\{ a \in \mathcal{O}(U) \mid a \in \sqrt[m]{\pi \mathcal{O}(\tilde{U}_{\text{int}})} \right\}$$
   dove $\pi$ è un pseudo-uniformizzatore di $R$ e $\tilde{U}_{\text{int}}$ è la chiusura integrale di $\tilde{U}$ in $U$.
   Distinzione Cruciale: La rigidificazione di $\mathcal{G}_a(0)$ corrisponde al fascio $\mathcal{O}(1)$ (funzioni con norma sup strettamente minore di 1), mentre $\mathcal{O}_t$ si rigidifica in $\mathcal{O}^\circ$ (funzioni con norma sup $\le 1$). Gli autori sostengono che $\mathcal{O}(1)$ è sovraconvergente, una proprietà essenziale per applicare i teoremi di cambiamento di base nella geometria rigida, cosa che fallisce per $\mathcal{O}^\circ$.
3. Confronto con la Geometria Rigida: La prova si basa su un teorema di confronto tra la cohomologia tampe di $\mathcal{G}_a(0)$ e la cohomologia analitica rigida di $\mathcal{O}(1)$. Questo confronto è un teorema "GAGA intero".
4. Vanishing Analitico: L'invarianza $\mathbb{A}^1$ e l'invarianza birazionale sono dedotte da risultati di annullamento nella geometria analitica rigida. Nello specifico, utilizzano risultati di Bartenwerfer [Bar79] e van der Put [Put82] che mostrano che $H^i(D, \mathcal{O}(s)) = 0$ per $i > 0$ su iperdischi generalizzati $D$, e che i gruppi di cohomologia sono annullati da elementi di piccola norma (Teorema 3.2).

Contributi e Risultati Chiave

1. Costruzione del Funtore $F$
Gli autori definiscono un funtore $F: \text{Sm}_K \to D^{\ge 0}(R)_f$ (dove $D^{\ge 0}(R)_f$ è la categoria derivata di complessi con cohomologia nella categoria di moduli $R$-di tipo finito fino a torsione limitata) tramite:
$$F(X) := R\Gamma_t(X/R, \mathcal{G}_a(0))$$
Dimostrano che questo funtore soddisfa le seguenti proprietà (Teorema 1):

• Compatibilità: $F(X) \otimes_R K \simeq R\Gamma(X, \mathcal{O})$ per ogni compattificazione liscia $X$ di $X$.
• Invarianza $\mathbb{A}^1$: $F(X) \simeq F(X \times \mathbb{A}^1)$.
• Invarianza Birazionale: $F(X) \simeq F(Y)$ per ogni applicazione $Y \to X$ che è un isomorfismo su un sottoinsieme aperto denso.
• Discesa Tampe: $F$ soddisfa la discesa rispetto ai ricoprimenti $R$-tampi.

2. Vincoli Dimensionali e di Caratteristica

• Caratteristica Zero: I risultati valgono per tutti gli schemi separati lisci su $K$ di qualsiasi dimensione.
• Caratteristica Positiva: I risultati valgono per schemi separati lisci di dimensione $\le 3$. Questa restrizione deriva dalla dipendenza dall'esistenza di compattificazioni lisce e risoluzione delle singolarità in caratteristica positiva (utilizzando [CP19] e [CR15]), che sono attualmente stabilite solo per dimensioni fino a 3.

3. Applicazione ai Gruppi di Automorfismi
Come applicazione diretta, gli autori dimostrano che per una varietà liscia propria $X$ di dimensione $\le 3$ su un campo $k$ di caratteristica positiva, il gruppo degli automorfismi birazionali $\text{Aut}_k(k(X))$ agisce quasi-unipotentemente sui gruppi di cohomologia $H^i(X, \mathcal{O}_X)$.

• Meccanismo: Riducendo a un campo finitamente generato, si dimostra che gli autovalori dell'azione appartengono al gruppo moltiplicativo di un campo finito, implicando che sono radici dell'unità.

4. Estensione a Schemi Singolari
Il lavoro nota che l'ipotesi di liscietà è richiesta principalmente per applicare il teorema di annullamento di Bartenwerfer per affinoide lisci. Gli autori propongono che se il risultato di annullamento per $\mathcal{O}(1)$ può essere generalizzato ad affinoide con specifiche singolarità (ad esempio razionali, log-canoniche, Du Bois), allora i teoremi principali si estendono a schemi normali con tali singolarità (Teorema 4.19).

Significato e Affermazioni
Il lavoro afferma di fornire la prima struttura intera definita algebricamente sulla cohomologia del fascio strutturale che sia sia $\mathbb{A}^1$-invariante che soddisfi la discesa tampe.

• Analitico vs Algebrico: Sebbene una struttura intera possa essere definita analiticamente tramite GAGA e i risultati di Bartenwerfer sugli spazi rigidi, questo lavoro la costruisce algebricamente tramite il sito tampe.
• Superamento delle Singolarità: L'uso del fascio twistato $\mathcal{G}_a(0)$ (che si rigidifica in $\mathcal{O}(1)$) invece del fascio strutturale tampe standard è la chiave tecnica che permette agli autori di bypassare la necessità di risoluzione delle singolarità su $R$ nella prova dell'invarianza $\mathbb{A}^1$, affidandosi invece a calcoli analitici sul lato rigido.
• Modestia: Gli autori dichiarano esplicitamente che la restrizione alla dimensione 3 in caratteristica positiva è una limitazione dei risultati attuali sulla risoluzione delle singolarità, non del loro metodo. Notano inoltre che l'estensione alla cohomologia di de Rham o cristallina rimane un argomento per lavori futuri, condizionato alla costruzione di fasci adeguati sul sito tampe.

In sintesi, il lavoro stabilisce un quadro robusto per lo studio delle strutture intere nella cohomologia non archimedeo, colmando la geometria algebrica tampe e la geometria analitica rigida per derivare forti risultati strutturali sugli invarianti birazionali e sulle azioni degli automorfismi.