Equidistribution for semiabelian varieties over number fields

Resumen Técnico: Equidistribución para Variedades Semiabelianas sobre Cuerpos Numéricos

Planteamiento del Problema
Este artículo aborda la brecha entre la equidistribución de puntos pequeños en variedades semiabelianas y la conjetura clásica de Bogomolov, específicamente en entornos donde las métricas definitorias no son "cuasi-canónicas" en el sentido requerido por el teorema de equidistribución de Yuan–Zhang. Mientras que Yuan y Zhang establecieron la equidistribución para fibrados de líneas adelicas cuasi-canónicas en variedades cuasi-proyectivas, y Kühne demostró la equidistribución para métricas semiabelianas canónicas, una clase significativa de métricas —específicamente aquellas en compactificaciones semiabelianas gobernadas por métricas tóricas que son semipositivas, monocriticas y aritméticamente T-efectivas— permaneció fuera del alcance directo de estos teoremas.

La cuestión central es si la equidistribución genérica y la propiedad de Bogomolov (que una subvariedad no especial no puede contener un conjunto denso en sentido de Zariski de puntos de altura arbitrariamente pequeña) se cumplen para estas métricas tóricas más generales. La dificultad radica en que, para tales métricas, la altura global de la variedad puede ser estrictamente menor que su mínimo esencial ($h_L(G) < \mu^{\text{ess}}_L(G)$), lo que impide la aplicación directa del marco de Yuan–Zhang.

Metodología
El autor, Wei Xue, desarrolla una estrategia de prueba que aísla las estimaciones asintóticas en el argumento de Kühne y las reinterpreta a través de "caminos de compresión explícitos". La metodología procede en cuatro etapas distintas:

1. Trivialización Local y Construcción Adélica: El artículo extiende la trivialización local arquimediana de Kühne a todos los lugares de un cuerpo numérico $K$. Utilizando la uniformización de Raynaud–Bosch–Lütkebohmert para variedades abelianas y funciones theta $p$-ádicas, el autor construye un fibrado de líneas adélico $\mathcal{G}(D)$ en la compactificación semiabeliana $\overline{G}$ asociada con un divisor métrico tórico $D$. Esta construcción asegura la compatibilidad con las trivializaciones locales en cada lugar, permitiendo una comparación precisa entre la altura en la variedad semiabeliana y el mínimo absoluto en la parte tórica.

2. Caso de Métrica Canónica: El artículo establece primero la equidistribución para el caso de la métrica canónica. Mediante la construcción de una torre de $n$-división y la extensión de las estimaciones asintóticas de Kühne a divisores tóricos amplios arbitrarios, el autor demuestra que las secuencias pequeñas genéricas se equidistribuyen con respecto a la medida canónica. Esto implica acotar los términos de traslación de Picard-cero y establecer una "cota inferior canónica" para las alturas.

3. Compresión Cuasi-Canónica: Para métricas que son cuasi-canónicas pero no necesariamente canónicas, el artículo introduce "caminos de compresión explícitos". La métrica se comprime hacia un modelo cuasi-canónico singularizado por su centro tropical crítico. El autor construye parámetros de compresión explícitos $m(n)$ y demuestra que las cotas inferiores, las estimaciones de medida y las comparaciones de volumen aritmético se mantienen uniformemente a lo largo de estos caminos. Este paso transporta efectivamente los argumentos de la sección de Haar y del morfismo de diferencia de Kühne desde la compactificación estándar $(\mathbb{P}^1)^t$ hacia una compactificación tórica propia normal arbitraria $X_\Sigma$.

4. Reducción Monocritica: El paso final maneja el caso monocrítico general. Utilizando la teoría de medidas tóricas de Burgos Gil, Philippon, Rivera-Letelier y Sombra (BGPS), el autor muestra que las métricas monocríticas pueden reducirse a métricas cuasi-canónicas mediante un "reemplazo cuasi-canónico". Esto se basa en la T-efectividad aritmética de la métrica, que fija el origen en el conjunto de estabilidad de la función de techo (roof function). Se demuestra que la medida límite para la métrica monocrítica coincide con la de su métrica cuasi-canónica asociada.

Contribuciones Clave y Resultados

• Equidistribución Genérica (Teorema 1.3): El artículo demuestra que para una variedad semiabeliana $G$ sobre un cuerpo numérico, equipada con un fibrado de líneas $L = \mathcal{G}(D) \otimes \pi^*N$ donde $D$ es un divisor métrico tórico grande, T-efectivo, semipositivo, monocrítico y aritméticamente T-efectivo, toda secuencia $L$-pequeña genérica satisface la equidistribución $v$-ádica en cada lugar $v$.
• Teorema de Bogomolov (Teorema 1.4): El artículo establece el teorema de Bogomolov para esta clase específica de métricas. Demuestra que si una subvariedad cerrada $X \subseteq G$ satisface $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$, entonces $X$ es una subvariedad especial (un traslación de un subgrupo algebraico por un punto de torsión). Inversamente, si $G(K)$ contiene puntos $L$-especiales, $X$ es $L$-especial si y solo si $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$.
• Ensamblaje de Transporte de Kühne (Kühne Transport Assembly): Una contribución técnica significativa es el "Ensamblaje de Transporte de Kühne" (Proposición 96). Este paquete adapta rigurosamente el análisis de trivialización local, los morfismos de diferencia y los argumentos de contradicción de la caja pequeña de Kühne a compactificaciones tóricas arbitrarias y métricas cuasi-canónicas. Demuestra que las identidades de empuje hacia adelante (pushforward) y las descripciones de la sección de Haar utilizadas en el caso canónico siguen siendo válidas bajo estas generalizaciones, siempre que se gestionen correctamente las convenciones de los factores theta.
• Equidistribución Estricta: El artículo deriva un teorema de equidistribución estricta (Teorema 102) para métricas cuasi-canónicas, mostrando que las secuencias estrictamente pequeñas se equidistribuyen hacia la medida de probabilidad canónica. Esto se logra combinando la propiedad de Bogomolov con el resultado de equidistribución genérica, evitando la circularidad mediante el uso del "modelo cuasi-canónico restringido" sobre envolventes especiales mínimas.

Significancia y Reivindicaciones

El artículo afirma extender el alcance de los teoremas de equidistribución y de Bogomolov más allá del rango cuasi-canónico de Yuan–Zhang y del rango canónico de Kühne. La contribución no es una nueva prueba del teorema canónico ni un resultado para todas las métricas tóricas semipositivas. En su lugar, apunta a la clase específica de métricas tóricas monocríticas y aritméticamente T-efectivas.

La significancia reside en el "mecanismo de comparación" establecido entre las métricas canónicas, cuasi-canónicas y las métricas tóricas generales. Al aislar las estimaciones asintóticas y reinterpretarlas mediante caminos de compresión, el autor proporciona un puente que permite aplicar la poderosa maquinaria de los argumentos de trivialización local de Kühne a métricas que no son estrictamente cuasi-canónicas. El artículo señala explícitamente que la "métrica general" referida en el contexto de la aplicación de Bogomolov está restringida a esta clase controlada, y que extender el argumento a métricas semipositivas arbitrarias requeriría nuevos teoremas de reemplazo o deformación más allá del alcance actual.

El trabajo depende fuertemente de la interacción entre la geometría tropical (vectores críticos, funciones de techo), la teoría de intersección aritmética (fibrados de líneas adélicos, volúmenes aritméticos) y la uniformización analítica (extensiones de Raynaud, funciones theta). Integra con éxito los criterios monocríticos de BGPS con la descomposición de la altura semiabeliana para resolver el problema de la equidistribución para esta clase específica y no trivial de métricas.