Arithmetic Fujita approximation over adelic curves

Resumen Técnico: Aproximación de Fujita Aritmética sobre Curvas Adélicas

Planteamiento del Problema
El artículo aborda la extensión del teorema de aproximación de Fujita al marco de la geometría de Arakelov sobre curvas adélicas. En la geometría algebraica clásica, el teorema de Fujita establece que un haz de líneas grande puede aproximarse arbitrariamente cerca por un haz de líneas ample tensado con un haz de líneas efectivo, salvo mediante una modificación biracional. En el entorno aritmético sobre cuerpos numéricos, esta conjetura fue establecida previamente por Chen y Yuan utilizando métodos distintos (envolventes plurisubarmónicas y $\mathbb{R}$-filtraciones, respectivamente).

Sin embargo, la generalización a curvas adélicas —un marco desarrollado por Chen y Moriwaki para unificar la geometría aritmética sobre cuerpos numéricos, cuerpos de funciones y otras bases con estructuras adélicas— presenta desafíos significados. Específicamente, la "propiedad minkowskiana" (que facilita el uso de mínimos sucesivos en el caso de los cuerpos numéricos) está ausente en las curvas adélicas generales. Además, surgen problemas de mensurabilidad e integrabilidad debido a la complejidad de la estructura adélica (por ejemplo, $\sigma$-álgebras no discretas). El artículo tiene como objetivo resolver una conjetura de Chen y Moriwaki sobre si una aproximación de Fujita aritmética completa se cumple en este entorno general, específicamente para haces de líneas $\mathbb{R}$, en lugar de solo una versión "relativa" que involucra pendientes asintóticas.

Metodología
El autor emplea una estrategia de múltiples pasos que combina la teoría de $\mathbb{R}$-filtraciones, filtraciones de Harder-Narasimhan y la construcción de series lineales graduadas sobre cuerpos con valoración trivial.

1. Marco y Supuestos: El trabajo opera bajo el supuesto de que el cuerpo base $K$ es perfecto y que la curva adélica $S$ satisface condiciones técnicas específicas: o bien la $\sigma$-álgebra $\mathcal{A}$ es discreta, o $K$ contiene un subcuerpo contable denso en $K_w$ para todo $w \in \Omega$. Estas condiciones aseguran que las normas de subespacios y las normas de cociente sigan siendo mensurables e integrables, evitando obstrucciones en la construcción de haces de líneas (vectoriales) adélicos.
2. Filtración de Harder-Narasimhan y $\mathbb{R}$-filtraciones: El artículo utiliza la filtración de Harder-Narasimhan de los haces de líneas adélicos, formulada mediante $\mathbb{R}$-filtraciones. Esto permite la definición de invariantes asintóticos como las pendientes máxima y mínima ($\hat{\mu}^{\text{asy}}_{\max}$ y $\hat{\mu}^{\text{asy}}_{\min}$).
3. Transición a Cuerpos con Valoración Trivial: Una técnica crucial implica la construcción de una serie lineal graduada sobre un cuerpo con valoración trivial ($S_0$) a partir de la serie original sobre $S$. Al aplicar la filtración de Harder-Narasimhan a los espacios de secciones globales $H^0(X, L^{\otimes n})$, el autor define una norma espectral. Esto transforma la serie original en una "serie lineal graduada aproximable por filtración" sobre $S_0$.
4. Aproximación de Series Lineales Graduadas: El autor demuestra que, para un haz de líneas aritméticamente grande, la serie lineal graduada asociada sobre $S_0$ es aproximable. Esto implica demostrar que, para cualquier $\lambda < \hat{\mu}^{\text{asy}}_{\max}(L)$, la sub-serie definida por secciones con normas espectrales acotadas por $e^{-D\lambda}$ contiene un divisor ample. Este paso se apoya en un argumento de descomposición de Kodaira geométrica adaptado al entorno adélico, evitando la aplicación directa de la descomposición de Kodaira aritmética, la cual falla en curvas adélicas generales (como demuestra un contraejemplo en el Ejemplo 4.4).
5. Extensión a $\mathbb{Q}$ y Haces de Líneas $\mathbb{R}$:
   • Para haces de líneas $\mathbb{Q}$, el resultado sigue directamente del caso entero mediante escalamiento.
   • Para haces de líneas $\mathbb{R}$, el autor utiliza un argumento de continuidad. Dado que la función de volumen aritmético es continua, un haz de líneas $\mathbb{R}$ aritméticamente grande puede aproximarse por un haz de líneas $\mathbb{Q}$ aritméticamente grande tal que la diferencia tenga una sección pequeña no nula.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1.1 (Teorema 5.5), que establece la aproximación de Fujita aritmética para haces de líneas $\mathbb{R}$ aritméticamente grandes sobre curvas adélicas propias.

• Enunciado del Teorema: Sea $S$ una curva adélica propia con un cuerpo perfecto $K$ que satisface las condiciones de mensurabilidad. Sea $X$ una variedad proyectiva y $L$ un haz de líneas $\mathbb{R}$ aritméticamente grande. Para cualquier $\epsilon > 0$, existen un entero $p$ suficientemente grande y una morfismo biracional $v: X' \to X$ tales que:
  $$v^*(L^{\otimes p}) = A \otimes M$$
  donde:

  1. $A$ es un haz de líneas aritméticamente ample.
  2. $M$ es un haz de líneas $\mathbb{R}$ adélico que admite una sección pequeña no nula (una sección global $s$ con $\|s\|_{\sup, w} \leq 1$ para todo $w$).
  3. Los volúmenes satisfacen la desigualdad de aproximación:
     $$p^{-(\dim(X)+1)} \widehat{\text{vol}}(A) \geq \widehat{\text{vol}}(L) - \epsilon$$

• Generalización: Este resultado generaliza el trabajo previo de Chen y Yuan (quienes trataron el caso de los cuerpos numéricos) y proporciona una respuesta positiva a la conjetura planteada por Chen y Moriwaki en su trabajo de 2021 [11, Nota 9.2.7]. Se va más allá de la "aproximación de Fujita relativa" (que solo controla la pendiente máxima) hacia una descomposición completa donde la parte "efectiva" está controlada por la existencia de secciones pequeñas.

Significado
El artículo afirma proporcionar una respuesta afirmativa definitiva a la conjetura de Chen y Moriwaki respecto a la validez de la aproximación de Fujita en el entorno general de las curvas adélicas. Su importancia radica en:

1. Unificación: Extiende un teorema fundamental de la geometría aritmética a un marco unificado que cubre cuerpos numéricos, cuerpos de funciones y otras bases adélicas, a pesar de la pérdida de la propiedad minkowskiana.
2. Resolución Técnica: Supera obstrucciones específicas relacionadas con la mensurabilidad e integrabilidad mediante la imposición de condiciones en la curva adélica y el uso de la construcción de la norma espectral sobre cuerpos con valoración trivial.
3. Alcance: Maneja con éxito haces de líneas $\mathbb{R}$, los cuales son esenciales para la teoría de intersección aritmética moderna, estableciendo un puente entre los haces $\mathbb{R}$ y los haces $\mathbb{Q}$ a través de secciones pequeñas.

El autor señala que el resultado es un análogo directo de la aproximación de Fujita geométrica, afirmando que un haz aritméticamente grande puede aproximarse por un haz ample a lo largo de una dirección efectiva (representada por el haz con secciones pequeñas no nulas), confirmando así la robustez de los conceptos de positividad aritmética en el marco de las curvas adélicas.