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

Resumo Técnico: Geometria Assintótica de Normas Não-Arquimedianas em Anéis de Seções

1. Problema e Contexto

O artigo aborda o estudo métrico da geometria assintótica do espaço de normas não-Arquimedianas sobre um anel de seções $R(X, L)$ de uma variedade polarizada $(X, L)$ sobre um corpo não-Archimediano arbitrário $(k, |\cdot|)$.

• Contexto: O espaço de normas em um espaço vetorial de dimensão finita, conhecido como espaço de Goldman-Iwahori $N(V)$, é bem compreendido como um espaço métrico de curvatura negativa (relacionado a edifícios de Bruhat-Tits). A ação de G´erardin descreve como filtrations (equivalentes a normas com valor trivial) agem sobre este espaço, gerando raios geodésicos.
• O Desafio: Estender essa compreensão para o caso de dimensão infinita, onde o espaço vetorial é substituído por um anel graduado $R = \bigoplus H^0(X, mL)$. O objetivo é entender a "fronteira no infinito" deste espaço de normas graduadas, a existência de raios geodésicos, e a relação entre a geometria radial e as medidas espectrais relativas.
• Motivação: Este trabalho conecta a teoria de K-stabilidade, a teoria de potenciais plurisubharmônicos não-Arquimedianos e a geometria de Kähler, generalizando resultados recentes do caso Archimediano (como os de Finski e Darvas) para o contexto não-Archimediano.

2. Metodologia

A metodologia do autor baseia-se em uma combinação de técnicas de geometria métrica, teoria de edifícios e análise assintótica de medidas espectrais.

• Abordagem por Quantização: O autor primeiro estabelece resultados rigorosos no caso de dimensão finita (espaço vetorial $V$) e, em seguida, utiliza argumentos de "quantização" (passagem ao limite quando o grau $m \to \infty$) para estender esses resultados ao anel graduado $R$.
• Ação de G´erardin: Define-se uma ação do espaço de normas com valor trivial $N_0(R)$ sobre o espaço de normas graduadas $N(R)$. Para uma norma trivial $\|\cdot\|_0$ e uma norma $\|\cdot\|$, a ação é definida via um envelope (supremo de normas dominadas pelo produto):
  $$\|\cdot\|_0 \cdot \|\cdot\| := \sup \{ \|\cdot\|' \in N(R) \mid \|\cdot\|' \leq \|\cdot\| \cdot \|\cdot\|_0 \}$$
• Medidas Espectrais e Volumes: Utiliza-se o conceito de medida espectral relativa $\sigma(\|\cdot\|, \|\cdot\|')$, que generaliza os autovalores logarítmicos de matrizes de transição. A convergência fraca das medidas espectrais normalizadas $m^{-1}\sigma(\|\cdot\|_m, \|\cdot\|'_m)$ para uma medida limite $\sigma(\|\cdot\|_\bullet, \|\cdot\|'_\bullet)$ (resultado de Chen-Maclean) é fundamental para definir as distâncias $d_p$.
• Argumentos de Volume e Determinante: O autor emprega propriedades de volumes relativos e determinantes de normas para provar desigualdades de Lipschitz e convexidade, adaptando técnicas de trabalhos anteriores (BE21, Reb22) para o contexto não-Archimediano.

3. Principais Contribuições e Resultados

O artigo apresenta três teoremas principais que estruturam a geometria assintótica do espaço de normas graduadas:

Teorema A: Ação Contrativa e Geodésicas
Estabelece a existência de uma ação conjunta $N_0(R) \times N(R) \to N(R)$ que:

1. É 1-Lipschitz em ambas as variáveis em relação à métrica $d_1$.
2. Transforma a ação de escala em $N_0(R)$ em raios geodésicos em $N(R)$.

• Significado: Isso generaliza a ação de G´erardin para o caso infinito, provando que as filtrations atuam como direções no infinito que geram trajetórias geodésicas naturais.

Teorema B: Isometria Radial e Convergência de Medidas
Demonstra que a geometria radial dos raios geodésicos converge para a geometria da fronteira no infinito. Se $t \mapsto \|\cdot\|_{\bullet, t}$ e $t \mapsto \|\cdot\|'_{\bullet, t}$ são raios geodésicos com limites triviais $\|\cdot\|_{0, \bullet}$ e $\|\cdot\|'_{0, \bullet}$, então:
$$\lim_{t \to \infty} t^{-1} d_p(\|\cdot\|_{\bullet, t}, \|\cdot\|'_{\bullet, t}) = d_p(\|\cdot\|_{0, \bullet}, \|\cdot\|'_{0, \bullet})$$

• Consequência: O espaço de normas com valor trivial $N_0(R)$ (equipado com $d_p$) é isometricamente isomorfo à "fronteira no infinito" do espaço de normas graduadas $N(R)$. Além disso, as medidas espectrais relativas escalonadas convergem para a medida espectral dos limites:
  $$\lim_{t \to \infty} t^{-1}_* \sigma(\|\cdot\|_{\bullet, t}, \|\cdot\|'_{\bullet, t}) = \sigma(\|\cdot\|_{0, \bullet}, \|\cdot\|'_{0, \bullet})$$

Teorema C: Existência de Cones Planos Infinitos-Dimensionais
Mostra que qualquer elemento em $N(R)$ é o ápice de infinitos cones métricos planos de dimensão infinita.

• Detalhe: Para qualquer norma $\|\cdot\|_{0, \bullet} \in N_0(R)$, existe um mergulho isométrico do espaço de funções convexas $C(S)$ (onde $S$ é o suporte da medida espectral) em $N(R)$.
• Significado: Isso revela uma estrutura de "edifício" (building) em dimensão infinita para o espaço de normas, generalizando a propriedade de que em dimensão finita, todo ponto pertence a um "apartamento" isométrico a $\mathbb{R}^n$.

4. Significado e Impacto

• Generalização da Teoria de Edifícios: O trabalho fornece a primeira visão clara da estrutura de edifício de Bruhat-Tits em dimensão infinita para anéis de seções, mostrando que, embora a estrutura seja mais sutil do que no caso finito (nem todos os pares de normas compartilham um mesmo "apartamento"), a existência de cones planos é garantida.
• Conexão com Potenciais Plurisubharmônicos: Os resultados oferecem uma interpretação métrica rigorosa para a teoria de potenciais plurisubharmônicos não-Arquimedianos, conectando a geometria de raios geodésicos com a convergência de medidas de Monge-Ampère.
• Análogo Não-Archimediano de Resultados Recentes: O Teorema B é o análogo não-Archimediano de resultados recentes de Finski no caso complexo, estabelecendo a convergência de medidas relativas ao longo de raios geodésicos, o que é crucial para o estudo de estabilidade K e equações de Monge-Ampère.
• Ferramentas para K-Stabilidade: Ao caracterizar a fronteira no infinito e a ação de filtrations, o artigo fornece ferramentas essenciais para analisar problemas de estabilidade em variedades projetivas sobre corpos não-Arquimedianos, onde a compactificação do espaço de métricas é um passo fundamental.

Em suma, o artigo consolida a compreensão da geometria métrica de espaços de normas não-Arquimedianas, unificando conceitos de teoria de grupos algébricos, geometria aritmética e análise complexa não-Archimediana.