Filtrations and asymptotic geometry of non-Archimedean norms on section rings

1. Il Problema e il Contesto

L'articolo si inserisce nel campo della geometria non archimedea e della teoria dei potenziali plurisubarmonici non archimediani. L'obiettivo principale è studiare la geometria asintotica dello spazio delle norme su spazi vettoriali di dimensione finita e, in modo più significativo, su anelli di sezioni (section rings) di varietà proiettive polarizzate $(X, L)$ su un campo non archimedeo $(k, |\cdot|)$.

Il lavoro generalizza risultati classici di Goldman-Iwahori e Gérardin, che hanno descritto lo spazio delle norme $N(V)$ su uno spazio vettoriale finito-dimensionale come uno spazio metrico a curvatura negativa (simile agli edifici di Bruhat-Tits). La sfida aperta è estendere questa comprensione al caso infinito-dimensionale delle norme graduate sull'anello $R(X, L) = \bigoplus_{m \ge 0} H^0(X, mL)$, che è fondamentale per la stabilità K (K-stability) e la geometria complessa non archimedea.

In particolare, l'autore indaga:

• La struttura asintotica dello spazio delle norme graduate $N(R)$.
• L'azione dello spazio delle norme "trivialmente valutate" $N_0(R)$ (equivalenti a filtrazioni) sul bordo all'infinito di $N(R)$.
• La convergenza delle misure spettrali relative lungo le geodetiche.

2. Metodologia

L'approccio metodologico si basa su una combinazione di tecniche di analisi non archimedea, teoria degli edifici e quantizzazione di risultati finito-dimensionali.

• Spazio di Goldman-Iwahori e Azione di Gérardin: Nel caso finito-dimensionale ($V$), l'autore studia l'azione di Gérardin di $N_0(V)$ su $N(V)$. Questa azione è definita tramite un "inviluppo" (envelope): dato $\|\cdot\| \in N(V)$ e $\|\cdot\|_0 \in N_0(V)$, l'azione produce una nuova norma $\|\cdot\|_0 . \|\cdot\|$ come il massimo delle norme dominate dal prodotto puntuale.
• Metriche $d_p$ e Misure Spettrali: Vengono utilizzate le metriche $d_p$ (per $p \in [1, \infty]$), definite tramite le misure spettrali relative $\sigma(\|\cdot\|, \|\cdot\|')$. Queste misure sono analoghi non archimediani delle somme di masse di Dirac sugli autovalori logaritmici.
• Quantizzazione: Il passaggio dal caso finito-dimensionale ($V$) al caso graduato ($R$) avviene tramite un processo di "quantizzazione". Si dimostra che molte proprietà metriche e geometriche si preservano passando al limite per $m \to \infty$ sui gradi dell'anello di sezioni, sfruttando risultati di equidistribuzione (Chen-Maclean).
• Estensioni di Campo Sfericamente Complete: Per gestire le norme non diagonalizzabili, l'autore utilizza estensioni di campo che rendono lo spazio sfericamente completo, permettendo la diagonalizzazione delle norme e l'applicazione di risultati noti, per poi restringere i risultati al campo base.

3. Risultati Chiave e Contributi

Il lavoro è strutturato in due parti principali: la geometria asintotica delle norme su spazi vettoriali (Capitolo 1) e la generalizzazione agli anelli di sezioni (Capitolo 2).

A. Geometria Asintotica su Spazi Vettoriali Finiti (Capitolo 1)

L'autore stabilisce proprietà fondamentali dell'azione di Gérardin su $N(V)$:

1. Continuità dell'Azione: Viene dimostrato che l'azione $N_0(V) \times N(V) \to N(V)$ è 1-Lipschitziana rispetto alla metrica $d_1$ (Teorema 1.36) e $d_\infty$ (Teorema 1.33). Questo è un risultato tecnico cruciale che richiede l'uso di argomenti sui determinanti e sull'ortogonalità quasi-assoluta.
2. Geodetiche e Raggi: L'azione trasforma l'azione di scalatura su $N_0(V)$ in raggi geodetici in $N(V)$. Viene mostrato che ogni raggio geodetico non costante in $N(V)$ è asintoticamente determinato da un elemento di $N_0(V)$.
3. Bordo all'Infinito: Si prova che $(N_0(V), d_p)$ è isometricamente il "bordo all'infinito" di $(N(V), d_p)$. In particolare, per due raggi geodetici, il limite asintotico della distanza scalata coincide con la distanza tra i loro limiti triviali.

B. Geometria Asintotica sugli Anelli di Sezione (Capitolo 2)

Questa è la parte innovativa del lavoro, che estende i risultati precedenti a $N(R)$.

• Teorema A (Azione e Raggi Geodetici): Esiste un'azione $N_0(R) \times N(R) \to N(R)$ che è 1-Lipschitziana rispetto a $d_1$ e trasforma la scalatura in $N_0(R)$ in raggi geodetici in $N(R)$. Questo generalizza il lavoro precedente dell'autore e di Witt Nyström.
• Teorema B (Isometria Radiale e Misure Limite): Questo è il risultato centrale. Dati due raggi geodetici $t \mapsto \|\cdot\|_{\bullet, t}$ e $\|\cdot\|'_{\bullet, t}$ in $N(R)$ con limiti triviali $\|\cdot\|_{0, \bullet}$ e $\|\cdot\|'_{0, \bullet}$, le misure spettrali relative scalate convergono:
  $$\lim_{t \to \infty} t^{-1}_* \sigma(\|\cdot\|_{\bullet, t}, \|\cdot\|'_{\bullet, t}) = \sigma(\|\cdot\|_{0, \bullet}, \|\cdot\|'_{0, \bullet})$$
  Di conseguenza, la distanza asintotica scalata tra i raggi è uguale alla distanza $d_p$ tra i loro limiti:
  $$\lim_{t \to \infty} t^{-1} d_p(\|\cdot\|_{\bullet, t}, \|\cdot\|'_{\bullet, t}) = d_p(\|\cdot\|_{0, \bullet}, \|\cdot\|'_{0, \bullet})$$
  Questo stabilisce un'isometria radiale precisa, analogo non archimedeo di risultati recenti nel caso archimedeo (Finski).
• Teorema C (Piani Metrici Infiniti): Ogni elemento in $N(R)$ è l'apice di infiniti coni piatti metrici di dimensione infinita (metric flat cones). In particolare, per ogni $\|\cdot\|_{0, \bullet} \in N_0(R)$, esiste un'immersione isometrica dallo spazio delle funzioni continue su un supporto $S$ (con la metrica $L^p$ rispetto alla misura spettrale) nello spazio delle norme $N(R)$. Questo suggerisce una struttura di "edificio infinito-dimensionale" per $N(R)$.

4. Significato e Implicazioni

1. Generalizzazione della Teoria degli Edifici: Il lavoro fornisce una prima visione chiara della struttura di edificio di Bruhat-Tits nel contesto infinito-dimensionale degli anelli di sezioni. Mentre nel caso finito-dimensionale ogni coppia di norme appartiene a un "appartamento" (sottospazio piatto), nel caso graduato la struttura è più sottile, ma l'esistenza di coni piatti infiniti conferma la natura "edificiale" dello spazio.
2. Connessione con la Stabilità K e Geometria Kähler: Le norme graduate su $R(X, L)$ sono in corrispondenza con le metriche plurisubarmoniche non archimediane su $L$. La comprensione della geometria asintotica di questi spazi è essenziale per lo studio della stabilità K e delle equazioni di Monge-Ampère non archimediane.
3. Convergenza delle Misure: Il Teorema B fornisce uno strumento potente per analizzare il comportamento asintotico delle metriche, collegando la dinamica delle geodetiche alla struttura algebrica delle filtrazioni (elementi di $N_0(R)$). Questo è analogo ai risultati di Finski nel caso complesso, ma ottenuto con tecniche puramente non archimediane.
4. Nuovi Strumenti Analitici: La dimostrazione della continuità dell'azione in $d_1$ e la gestione delle norme non diagonalizzabili tramite estensioni di campo e approssimazioni offrono nuovi strumenti tecnici per la ricerca futura in geometria non archimedea.

In sintesi, l'articolo di Reboulet colma un divario significativo tra la geometria delle norme su spazi vettoriali finiti e quella sugli anelli di sezioni, fornendo una descrizione rigorosa del "bordo all'infinito" e della struttura metrica asintotica, con profonde implicazioni per la teoria delle varietà polarizzate non archimediane.