Arithmetic Fujita approximation over adelic curves

Sintesi Tecnica: Approssimazione Aritmetica di Fujita su Curve Adeliche

Enunciato del Problema
Il saggio affronta l'estensione del teorema di approssimazione di Fujita al quadro della geometria di Arakelov sulle curve adeliche. Nella geometria algebrica classica, il teorema di Fujita asserisce che un fibrato lineare "big" può essere approssimato arbitrariamente da un fibrato lineare ampio tensornato con un fibrato lineare efficace, a meno di una modifica birazionale. Nel contesto aritmetico su campi numerici, questa congettura è stata precedentemente stabilita da Chen e Yuan utilizzando metodi distinti (inviluppi plurisubarmonici e $\mathbb{R}$-filtrature, rispettivamente).

Tuttavia, la generalizzazione alle curve adeliche — un quadro sviluppato da Chen e Moriwaki per unificare la geometria aritmetica su campi numerici, campi di funzioni e altri basi con strutture adeliche — presenta sfide significative. Nello specifico, la "proprietà minkowskiana" (che facilita l'uso dei minimi successivi nel caso dei campi numerici) è assente nelle curve adeliche generali. Inoltre, emergono problemi di misurabilità e integrabilità a causa della complessità della struttura adelica (ad esempio, $\sigma$-algebra non discrete). Il saggio mira a risolvere una congettura di Chen e Moriwaki riguardante se una piena approssimazione aritmetica di Fujita sia valida in questo contesto generale, specificamente per i fibrati lineari $\mathbb{R}$, piuttosto che solo per una versione "relativa" che coinvolge le pendenze asintotiche.

Metodologia
L'autore impiega una strategia multi-step combinando la teoria delle $\mathbb{R}$-filtrature, le filtrature di Harder-Narasimhan e la costruzione di serie lineari graduate su campi con valore triviale.

1. Quadro e Assunzioni: Il lavoro opera sotto l'assunzione che il campo base $K$ sia perfetto e che la curva adelica $S$ soddisfi specifiche condizioni tecniche: o la $\sigma$-algebra $\mathcal{A}$ è discreta, o $K$ contiene un sottocampo numerabile denso in $K_w$ per ogni $w \in \Omega$. Queste condizioni garantiscono che le norme di sottospazio e le norme di quoziente rimangano misurabili e integrabili, evitando ostacoli nella costruzione di fibrati vettoriali adelici.
2. Filtratura di Harder-Narasimhan e $\mathbb{R}$-filtrature: Il saggio utilizza la filtratura di Harder-Narasimhan dei fibrati vettoriali adelici, formulata tramite $\mathbb{R}$-filtrature. Ciò consente la definizione di invarianti asintotici come le pendenze massima e minima ($\hat{\mu}^{\text{asy}}_{\max}$ e $\hat{\mu}^{\text{asy}}_{\min}$).
3. Transizione verso Campi con Valore Triviale: Una tecnica cruciale consiste nel costruire una serie lineare graduata su un campo con valore triviale ($S_0$) a partire dalla serie originale su $S$. Applicando la filtratura di Harder-Narasimhan agli spazi di sezioni globali $H^0(X, L^{\otimes n})$, l'autore definisce una norma spettrale. Questo trasforma la serie originale in una "serie lineare graduata filtrata approssimabile" su $S_0$.
4. Approssimazione di Serie Lineari Graduate: L'autore dimostra che, per un fibrato lineare aritmeticamente big, la serie lineare graduata associata su $S_0$ è approssimabile. Ciò comporta la dimostrazione che, per ogni $\lambda < \hat{\mu}^{\text{asy}}_{\max}(L)$, la sotto-serie definita da sezioni con norme spettrali limitate da $e^{-D\lambda}$ contiene un divisore ampio. Questo passaggio si basa su un argomento di decomposizione di Kodaira geometrica adattato al contesto adelico, evitando l'applicazione diretta della decomposizione di Kodaira aritmetica che fallisce nelle curve adeliche generali (come dimostrato da un controesempio nell'Esempio 4.4).
5. Estensione a $\mathbb{Q}$ e Fibrati Lineari $\mathbb{R}$:
   • Per i fibrati lineari $\mathbb{Q}$, il risultato segue direttamente dal caso intero tramite scalatura.
   • Per i fibrati lineari $\mathbb{R}$, l'autore utilizza un argomento di continuità. Poiché la funzione di volume aritmetico è continua, un fibrato lineare $\mathbb{R}$ aritmeticamente big può essere approssimato da un fibrato lineare $\mathbb{Q}$ aritmeticamente big tale che la differenza possieda una sezione piccola non nulla.

Contributi Chiave e Risultati
Il risultato primario è il Teorema 1.1 (Teorema 5.5), che stabilisce l'approssimazione aritmetica di Fujita per fibrati lineari $\mathbb{R}$ aritmeticamente big su curve adeliche proprie.

• Enunciato del Teorema: Sia $S$ una curva adelica propria con un campo perfetto $K$ che soddisfi le condizioni di misurabilità. Sia $X$ una varietà proiettiva e $L$ un fibrato lineare $\mathbb{R}$ aritmeticamente big. Per ogni $\epsilon > 0$, esiste un intero $p$ sufficientemente grande e una morfismo birazionale $v: X' \to X$ tale che:
  $$v^*(L^{\otimes p}) = A \otimes M$$
  dove:

  1. $A$ è un fibrato lineare aritmeticamente ampio.
  2. $M$ è un fibrato lineare $\mathbb{R}$ adelico che ammette una sezione piccola non nulla (una sezione globale $s$ con $\|s\|_{\sup, w} \leq 1$ per ogni $w$).
  3. I volumi soddisfano la disuguaglianza di approssimazione:
     $$p^{-(\dim(X)+1)} \widehat{\text{vol}}(A) \geq \widehat{\text{vol}}(L) - \epsilon$$

• Generalizzazione: Questo risultato generalizza il lavoro precedente di Chen e Yuan (che hanno trattato il caso dei campi numerici) e fornisce una risposta positiva alla congettura posta da Chen e Moriwaki nel loro lavoro del 2021 [11, Remark 9.2.7]. Esso va oltre l'approssimazione di Fujita "relativa" (che controlla solo la pendenza massima) per arrivare a una piena decomposizione dove la parte "effettiva" è controllata dall'esistenza di sezioni piccole.

Significato
Il saggio sostiene di fornire una risposta affermativa definitiva alla congettura di Chen e Moriwaki riguardante la validità dell'approssimazione di Fujita nel contesto generale delle curve adeliche. La sua importanza risiede in:

1. Unificazione: Estende un teorema fondamentale della geometria aritmetica a un quadro unificato che copre campi numerici, campi di funzioni e altre basi adeliche, nonostante la perdita della proprietà minkowskiana.
2. Risoluzione Tecnica: Supera ostacoli specifici legati alla misurabilità e all'integrabilità imponendo condizioni sulla curva adelica e utilizzando la costruzione della norma spettrale su campi con valore triviale.
3. Ambito: Gestisce con successo i fibrati lineari $\mathbb{R}$, essenziali per la moderna teoria delle intersezioni aritmetiche, stabilendo un ponte tra i fibrati $\mathbb{R}$ e i fibrati $\mathbb{Q}$ tramite sezioni piccole.

L'autore nota che il risultato è un diretto analogo dell'approssimazione geometrica di Fujita, asserendo che un fibrato aritmeticamente big può essere approssimato da un fibrato ampio lungo una direzione effettiva (rappresentata dal fibrato con sezioni piccole non nulle), confermando così la robustezza dei concetti di positività aritmetica nel quadro delle curve adeliche.