Heights on toric varieties for singular metrics: Global theory

Este artículo desarrolla una teoría análoga de divisores adélicos en variedades tóricas para métricas singulares, demostrando que el número de intersección aritmética auto-recíproca se calcula mediante la integral de una función cóncava sobre un conjunto convexo compacto, lo que permite determinar las alturas de variedades tóricas aritméticas con métricas singulares.

Lo esencial

¡Hola! Vamos a desglosar este artículo matemático complejo como si estuviéramos contando una historia sobre construir ciudades perfectas en un universo de números.

El autor, Gari Y. Peralta, está resolviendo un problema enorme: ¿Cómo medimos la "complejidad" o el "tamaño" de ciertas formas geométricas cuando estas formas tienen bordes muy irregulares o "rotos"?

Aquí tienes la explicación sencilla, usando analogías:

1. El Problema: Las Ciudades con Bordes Rotos

Imagina que tienes una ciudad perfecta (llamada Variedad Torica). En matemáticas, estas ciudades tienen una estructura muy ordenada, como un tablero de ajedrez o un mapa de metro.

• La versión antigua: Antes, los matemáticos podían medir el "peso" o la "altura" de estas ciudades solo si sus edificios y calles eran suaves y perfectos. Era como medir la altura de un rascacielos de cristal: fácil y limpio.
• La realidad: En el mundo real (y en la teoría de números), a veces las ciudades tienen bordes muy extraños, agujeros, o "cicatrices" (llamadas métricas singulares). Imagina que la ciudad tiene edificios que se desmoronan en los bordes o que el suelo se vuelve inestable. Las reglas antiguas no servían aquí; era como intentar medir la altura de un castillo de arena con la lluvia cayendo.

2. La Solución: Un Nuevo Mapa (La Teoría de Yuan-Zhang)

El autor toma una herramienta nueva creada por otros matemáticos (Yuan y Zhang) que permite medir estas ciudades "rotas" o "incompletas". Pero esta herramienta es muy abstracta y difícil de usar. Es como tener un manual de instrucciones escrito en un idioma alienígena.

El objetivo de este paper es traducir ese manual alienígena a un lenguaje que los matemáticos de toros (geometría torica) entiendan perfectamente.

3. La Magia: El "Tejado" y el "Suelo" (Funciones Cóncavas)

Aquí viene la parte creativa. El autor descubre que, para estas ciudades especiales, no necesitas mirar cada ladrillo. Solo necesitas mirar dos cosas:

1. El Suelo (El Poliedro Convexo): Imagina que la ciudad está construida sobre una sombra proyectada en el suelo. Esta sombra es una forma geométrica (un poliedro).
2. El Tejado (La Función Global): Imagina que sobre esa sombra hay un techo invisible. La altura de este techo en cada punto nos dice la "complejidad" de la ciudad en ese lugar.

La analogía clave:
En lugar de sumar millones de números complicados, el autor dice: "¡Espera! Si tienes el plano del suelo y la forma del techo, la altura total de la ciudad es simplemente el volumen que hay entre el suelo y el techo".

• Antes: Tenías que sumar infinitas piezas de un rompecabezas.
• Ahora: Solo tienes que calcular el volumen de una forma geométrica simple usando una fórmula de integración (una operación de cálculo estándar).

4. ¿Qué logra el autor? (Los Resultados)

El autor demuestra tres cosas principales:

• Traducción: Convierte el lenguaje abstracto de "divisores adélicos" (que suena a jerga espacial) en funciones matemáticas concretas (funciones cóncavas) que se pueden dibujar y calcular.
• La Fórmula Mágica: Da una fórmula exacta para calcular la "altura aritmética" (el peso de la ciudad). La fórmula es:

  Altura = (Número de dimensiones + 1)! × (Volumen bajo el techo)

  Es como decir: "Para saber cuánto pesa tu ciudad, solo mide cuánto espacio ocupa su techo".
• Casos Extremos: Muestra que esta nueva fórmula funciona incluso cuando las ciudades tienen bordes muy feos o rotos (singularidades), donde los métodos anteriores fallaban.

5. ¿Por qué es importante? (El "Para qué sirve")

Imagina que eres un arquitecto que diseña naves espaciales.

• Si usas las reglas viejas, solo puedes diseñar naves perfectas y lisas.
• Con las reglas de este autor, puedes diseñar naves con formas extrañas, agujeros y bordes irregulares, y aun así saber exactamente cuánto combustible (complejidad) necesitarán para volar.

Esto es crucial para resolver problemas en la Teoría de Números (como la conjetura de Mordell-Lang), donde necesitamos entender la "complejidad" de soluciones numéricas que a menudo tienen comportamientos "rotos" o singulares.

En Resumen

Este paper es como diseñar una nueva regla métrica para medir edificios con grietas.
El autor toma una teoría matemática muy compleja y abstracta, la adapta a un mundo geométrico específico (las variedades toricas), y descubre que, en lugar de hacer cálculos infinitos y dolorosos, todo se reduce a calcular el volumen bajo un techo curvo.

Es una herramienta poderosa que permite a los matemáticos medir cosas que antes parecían imposibles de medir, abriendo la puerta a resolver misterios antiguos sobre los números.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Heights on Toric Varieties for Singular Metrics: Global Theory" de Gari Y. Peralta Alvarez, estructurado según los puntos solicitados.

1. El Problema

El artículo aborda la necesidad de extender la teoría de intersección aritmética y el cálculo de alturas (heights) en variedades aritméticas a un contexto más general que el tradicionalmente tratado por la teoría de Arakelov clásica (Gillet-Soulé) y sus extensiones recientes (Yuan-Zhang, Burgos-Kramer).

• Limitaciones de las métricas suaves: La teoría clásica requiere que las métricas hermitianas en los haces de líneas sean suaves. Sin embargo, en situaciones naturales (como el haz de Hodge en compactificaciones toroidales de espacios de módulos de variedades abelianas o haces de formas de Siegel-Jacobi), las métricas relevantes son singulares.
• Complejidad de los divisores adélicos: La teoría de divisores adélicos introducida por Yuan y Zhang para variedades cuasi-proyectivas es poderosa pero abstracta. Un divisor adélico se define como una clase de equivalencia de sucesiones de Cauchy de divisores en modelos proyectivos. Esto hace que los cálculos explícitos sean extremadamente difíciles debido a la complejidad de la categoría de modelos y la teoría de Arakelov en cada uno.
• Falta de descripciones convexas globales: Mientras que para variedades proyectivas suaves existen descripciones convexas-analíticas explícitas (Burgos, Philippon, Sombra) que relacionan la intersección aritmética con integrales de funciones cóncavas (funciones techo), estas herramientas no se habían extendido sistemáticamente al caso de variedades cuasi-proyectivas con métricas singulares en el contexto global.

2. Metodología

El autor desarrolla una versión torica de la teoría de divisores adélicos de Yuan y Zhang, aprovechando la estructura combinatoria de las variedades toricas para obtener descripciones explícitas.

• Marco Torico: Se restringe el estudio a variedades toricas aritméticas $U$ (específicamente toros divididos sobre anillos de enteros) y sus modelos proyectivos toricos. Esto permite utilizar la correspondencia entre divisores toricos y funciones de soporte (o funciones de techo).
• Análisis Convexo y Funciones de Techo:
  • Se utiliza la tropicalización para relacionar las métricas adélicas con funciones continuas en el espacio de co-caracteres $N_{\mathbb{R}}$.
  • Se introduce la función techo global ($\vartheta_D$) como la suma (pesada) de las funciones techo $v$-ádicas ($\vartheta_{D,v}$) asociadas a cada lugar $v$ del cuerpo de números.
  • Se emplea la dualidad de Legendre-Fenchel para pasar entre las funciones de Green tropicales (en el espacio de co-caracteres) y las funciones techo (en el espacio de caracteres, definidas sobre un poliedro convexo $\Delta$).
• Topología de Frontera y Completación: Se define el grupo de divisores adélicos toricos ($\text{Div}_T(U/\mathcal{O}_K)$) como la completación del grupo de divisores modelo toricos con respecto a una "norma de frontera" inducida por divisores de frontera semipositivos.
• Aproximación: Se construyen secuencias decrecientes de divisores modelo semipositivos que aproximan a los divisores adélicos singulares, permitiendo definir números de intersección como límites.

3. Contribuciones Clave

1. Definición de Divisores Adélicos Toricos: Se formaliza el grupo de divisores adélicos toricos sobre una variedad cuasi-proyectiva torica, estableciendo una biyección con tuplas de funciones cóncuas que satisfacen condiciones de convergencia y compatibilidad (Teorema 1).
2. Caracterización de la Positividad: Se caracteriza el cono de divisores adélicos semipositivos y nef (numéricamente efectivos) en términos de las propiedades de sus funciones techo globales. Específicamente, un divisor es nef si y solo si su función techo global es no negativa (Teorema 2).
3. Fórmula Integral Generalizada: Se demuestra que el número de auto-intersección aritmética de un divisor semipositivo (incluso con métricas singulares) está dado por una integral de su función techo global sobre un conjunto convexo compacto.
4. Compatibilidad y Mejoras: Se demuestra que esta teoría coincide con la de Burgos y Kramer (2024) pero la generaliza significativamente al permitir métricas singulares en todos los lugares (no solo en el lugar arquimediano) y al manejar casos donde las funciones techo son no acotadas o el conjunto asociado no es un politopo.

4. Resultados Principales

• Teorema 1 (Correspondencia): Existe una biyección entre el cono de divisores adélicos toricos semipositivos y el cono de tuplas de funciones cerradas cóncavas $(\vartheta_v)$ que satisfacen condiciones de racionalidad en supremos y convergencia uniforme fuera de un conjunto finito de lugares.
• Teorema 2 (Nefness): Un divisor adélico torico semipositivo $D$ es nef si y solo si su función techo global $\vartheta_D$ es no negativa en todo su dominio efectivo.
• Teorema 3 (Fórmula de Intersección): Sea $D$ un divisor semipositivo tal que $\vartheta_D$ no es la constante $-\infty$. El número de auto-intersección aritmética viene dado por:
  $$D^{d+1} = (d+1)! \int_{\Delta_D} \vartheta_D \, d\text{Vol}_M = (d+1)! \sum_{v \in M(K)} \delta_v \int_{\Delta_D} \vartheta_{D,v} \, d\text{Vol}_M$$
  Este número es finito si y solo si $\vartheta_D \in L^1(\Delta_D)$.
• Ejemplos de Singularidad: El autor construye ejemplos explícitos (Ejemplos 6.2.3 a 6.2.7) de divisores adélicos toricos con las siguientes propiedades:
  • No son divisores modelo (no provienen de un modelo proyectivo fijo).
  • Sus funciones techo $v$-ádicas son todas no acotadas.
  • Tienen números de intersección finitos a pesar de la singularidad extrema.
  • Estos ejemplos demuestran que la teoría de Burgos-Kramer (que requiere condiciones de energía relativa más restrictivas) no puede calcular estos números, mientras que la teoría presentada sí puede.

5. Significado e Impacto

• Herramienta Computacional: Proporciona un marco computacional explícito para calcular alturas aritméticas en variedades cuasi-proyecticas con métricas singulares, un problema abierto en geometría aritmética.
• Generalización de Teorías Previas: Unifica y extiende los resultados de Burgos-Philippon-Sombra (caso proyectivo suave), Yuan-Zhang (divisores adélicos abstractos) y Burgos-Kramer (intersecciones con energía relativa). Muestra que la descripción convexa-analítica es robusta incluso bajo singularidades severas.
• Aplicaciones Potenciales: Dado que las métricas singulares aparecen naturalmente en problemas de teoría de números (conjeturas de Bogomolov, Mordell-Lang, programas de Kudla), esta teoría ofrece un nuevo enfoque para atacar estas conjeturas mediante el cálculo explícito de alturas en ejemplos concretos de variedades toricas.
• Nueva Perspectiva sobre la Energía Relativa: Los ejemplos muestran que la "energía relativa" utilizada por Burgos-Kramer es un caso particular de esta teoría más general, y que existen casos de intersección finita que escapan a su marco de definición debido a la naturaleza de las singularidades en los lugares finitos.

En resumen, el artículo establece una teoría global de intersección aritmética para variedades toricas con métricas singulares, traduciendo problemas geométricos complejos en cálculos de análisis convexo sobre conjuntos compactos, lo que permite el tratamiento de casos previamente intratables.