Arithmetic Fujita approximation over adelic curves

Resumo Técnico: Aproximação de Fujita Aritmética sobre Curvas Adélicas

Enunciado do Problema
O artigo aborda a extensão do teorema de aproximação de Fujita para o arcabouço da geometria de Arakelov sobre curvas adélicas. Na geometria algébrica clássica, o teorema de Fujita afirma que um feixe grande pode ser aproximado arbitrariamente de perto por um feixe amplo tensorizado com um feixe efetivo, até uma modificação biracional. No cenário aritmético sobre corpos numéricos, essa conjectura foi estabelecida anteriormente por Chen e Yuan usando métodos distintos (envoltórios plurisubarmônicos e $\mathbb{R}$-filtrações, respectivamente).

No entanto, a generalização para curvas adélicas — um arcabouço desenvolvido por Chen e Moriwaki para unificar a geometria aritmética sobre corpos numéricos, corpos de funções e outros corpos de base com estruturas adélicas — apresenta desafios significativos. Especificamente, a "propriedade minkowskiana" (que facilita o uso de mínimos sucessivos no caso dos corpos numéricos) está ausente em curvas adélicas gerais. Além disso, surgem problemas de mensurabilidade e integrabilidade devido à complexidade da estrutura adélica (por exemplo, $\sigma$-álgebras não discretas). O artigo visa resolver uma conjectura de Chen e Moriwaki sobre se uma aproximação de Fujita aritmética completa ocorre neste cenário geral, especificamente para feixes $\mathbb{R}$, em vez de apenas uma versão "relativa" envolvendo inclinações assintóticas.

Metodologia
O autor emprega uma estratégia de múltiplas etapas combinando a teoria de $\mathbb{R}$-filtrações, filtrações de Harder-Narasimhan e a construção de séries lineares graduadas sobre corpos com valoração trivial.

1. Arcabouço e Suposições: O trabalho opera sob a suposição de que o corpo base $K$ é perfeito e que a curva adélica $S$ satisfaz condições técnicas específicas: ou a $\sigma$-álgebra $\mathcal{A}$ é discreta, ou $K$ contém um subcorpo enumerável denso em $K_w$ para todo $w \in \Omega$. Essas condições garantem que as normas de subespaço e as normas de quociente permaneçam mensuráveis e integráveis, evitando obstruções na construção de feixes vetoriais adélicos.
2. Filtração de Harder-Narasimhan e $\mathbb{R}$-filtrações: O artigo utiliza a filtração de Harder-Narasimhan de feixes vetoriais adélicos, formulada via $\mathbb{R}$-filtrações. Isso permite a definição de invariantes assintóticos como as inclinações máxima e mínima ($\hat{\mu}^{\text{asy}}_{\max}$ e $\hat{\mu}^{\text{asy}}_{\min}$).
3. Transição para Corpos com Valoração Trivial: Uma técnica crucial envolve a construção de uma série linear graduada sobre um corpo com valoração trivial ($S_0$) a partir da série original sobre $S$. Ao aplicar a filtração de Harder-Narasimhan aos espaços de seções globais $H^0(X, L^{\otimes n})$, o autor define uma norma espectral. Isso transforma a série original em uma "série linear graduada aproximável por filtração" sobre $S_0$.
4. Aproximação de Séries Lineares Graduadas: O autor prova que, para um feixe linearmente grande aritmeticamente, a série linear graduada associada sobre $S_0$ é aproximável. Isso envolve mostrar que, para qualquer $\lambda < \hat{\mu}^{\text{asy}}_{\max}(L)$, a subsérie definida por seções com normas espectrais limitadas por $e^{-D\lambda}$ contém um divisor amplo. Esta etapa depende de um argumento de decomposição de Kodaira geométrica adaptado ao cenário adélico, evitando a aplicação direta da decomposição de Kodaira aritmética, que falha em curvas adélicas gerais (conforme demonstrado por um contraexemplo no Exemplo 4.4).
5. Extensão para Feixes $\mathbb{Q}$ e $\mathbb{R}$:
   • Para feixes $\mathbb{Q}$, o resultado segue diretamente do caso inteiro por escalonamento.
   • Para feixes $\mathbb{R}$, o autor utiliza um argumento de continuidade. Como a função de volume aritmética é contínua, um feixe $\mathbb{R}$ aritmeticamente grande pode ser aproximado por um feixe $\mathbb{Q}$ aritmeticamente grande tal que a diferença possua uma seção pequena não nula.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1.1 (Teorema 5.5), que estabelece a aproximação de Fujita aritmética para feixes $\mathbb{R}$ aritmeticamente grandes sobre curvas adélicas próprias.

• Enunciado do Teorema: Seja $S$ uma curva adélica própria com um corpo perfeito $K$ satisfazendo as condições de mensurabilidade. Seja $X$ uma variedade projetiva e $L$ um feixe $\mathbb{R}$ aritmeticamente grande. Para qualquer $\epsilon > 0$, existe um inteiro $p$ suficientemente grande e uma morfismo biracional $v: X' \to X$ tal que:
  $$v^*(L^{\otimes p}) = A \otimes M$$
  onde:

  1. $A$ é um feixe aritmeticamente amplo.
  2. $M$ é um feixe $\mathbb{R}$ adélico que admite uma seção pequena não nula (uma seção global $s$ com $\|s\|_{\sup, w} \leq 1$ para todos os $w$).
  3. Os volumes satisfazem a desigualdade de aproximação:
     $$p^{-(\dim(X)+1)} \widehat{\text{vol}}(A) \geq \widehat{\text{vol}}(L) - \epsilon$$

• Generalização: Este resultado generaliza o trabalho anterior de Chen e Yuan (que trataram o caso do corpo numérico) e fornece uma resposta positiva à conjectura proposta por Chen e Moriwaki em seu trabalho de 2021 [11, Remark 9.2.7]. Ele vai além da "aproximação de Fujita relativa" (que apenas controla a inclinação máxima) para uma decomposição completa onde a parte "efetiva" é controlada pela existência de seções pequenas.

Significância
O artigo afirma fornecer uma resposta afirmativa definitiva à conjectura de Chen e Moriwaki sobre a validade da aproximação de Fujita no cenário geral de curvas adélicas. Sua significância reside em:

1. Unificação: Estende um teorema fundamental da geometria aritmética para um arcabouço unificado cobrindo corpos numéricos, corpos de funções e outras bases adélicas, apesar da perda da propriedade minkowskiana.
2. Resolução Técnica: Supera obstruções específicas relacionadas à mensurabilidade e integrabilidade ao impor condições sobre a curva adélica e utilizar a construção de norma espectral sobre corpos com valoração trivial.
3. Escopo: Lida com sucesso com feixes $\mathbb{R}$, que são essenciais para a teoria de interseção aritmética moderna, estabelecendo uma ponte entre feixes $\mathbb{R}$ e feixes $\mathbb{Q}$ via seções pequenas.

O autor observa que o resultado é um análogo direto da aproximação de Fujita geométrica, afirmando que um feixe aritmeticamente grande pode ser aproximado por um feixe amplo ao longo de uma direção efetiva (representada pelo feixe com uma seção pequena não nula), confirmando assim a robustez dos conceitos de positividade aritmética no arcabouço de curvas adélicas.