A counting argument for the geometric Bombieri-Lang conjecture on ramified covers of abelian varieties

Resumen Técnico: Un argumento de conteo para la conjetura geométrica de Bombieri–Lang en recubrimientos ramificados de variedades abelianas

1. El Problema y el Contexto

El artículo aborda la conjetura geométrica de Bombieri–Lang sobre campos de funciones de característica 0. Esta conjetura es una generalización de la conjetura de Mordell (probada por Faltings) y la conjetura de Bombieri–Lang clásica (sobre campos de números) al contexto de variedades proyectivas sobre campos de funciones.

• Enunciado central: La conjetura predice que el conjunto de puntos racionales de una variedad proyectiva $X$ sobre un campo de funciones $K$ no es denso en la topología de Zariski, a menos que $X$ contenga subvariedades "especiales" (como imágenes de variedades abelianas o curvas racionales).
• Estado anterior: Recientemente, Xie y Yuan probaron casos específicos donde la variedad $X$ tiene un morfismo finito a una variedad abeliana $A$, pero bajo dos restricciones fuertes:
  1. $X$ debe ser hiperbólica (es decir, su conjunto especial algebraico $Sp(X)$ es vacío).
  2. O bien, la traza de Chow de $A$ sobre el campo base $k$ debe ser trivial ($A(K/k) = 0$).
• El desafío: El caso donde la traza es no trivial y $X$ no es hiperbólica presenta dificultades esenciales, ya que la estrategia anterior de Xie-Yuan (basada en la construcción de curvas enteras lineales) falla cuando el conjunto especial proyecta sobre la variedad abeliana de manera que "absorbe" los puntos límite.

2. Metodología y Estrategia Principal

El autor desarrolla una prueba que elimina ambas restricciones (hiperbolicidad y traza nula). La metodología combina herramientas profundas de geometría algebraica y teoría de Nevanlinna (teoría de valores de distribución compleja).

Estrategia general:

1. Reducción a una proposición de acotación: El objetivo central es demostrar que cualquier secuencia genérica de puntos racionales $\{x_n\}$ en $X(K)$ tiene altura acotada, siempre que sus imágenes en una parte "constante" de la variedad estén contenidas en puntos definidos sobre el campo base $k$.
2. Argumento de conteo (Nueva contribución): A diferencia de Xie-Yuan, que se centraban en la posición de las curvas enteras respecto al conjunto especial $Sp(X)$, Gao introduce un argumento de conteo basado en el divisor de ramificación $R$ del morfismo finito $f: X \to A \times_K T_K$.
3. Uso de la teoría de Nevanlinna: Se extiende la teoría clásica (usualmente definida para mapas desde $\mathbb{C}$) a mapas holomorfos desde discos abiertos de radio creciente, analizando el comportamiento asintótico y límite de las funciones de conteo, proximidad y característica.

Puntos clave de la metodología:

• Construcción de curvas enteras lineales: Se utiliza la estrategia de Xie-Yuan para re-parametrizar secciones racionales y obtener curvas enteras lineales en la fibra límite.
• Observación de tangencia: Se demuestra que si la altura tiende a infinito, las secciones deben intersectar el divisor de ramificación $R$ en un número creciente de puntos. Por la fórmula de Hurwitz y la positividad de $R$, esto implica que las curvas límite deben ser tangentes al divisor de ramificación proyectado $D_{red}$ en "un número excesivo" de puntos.
• Contradicción: Se demuestra que una curva entera lineal en una variedad abeliana no puede ser tangente a un divisor reducido (que no la contiene) en un número excesivo de puntos, contradiciendo el Teorema Segundo de Yamanoi.

3. Dificultades Técnicas y Soluciones

El artículo identifica y resuelve tres obstáculos técnicos principales que surgieron al generalizar el problema:

1. No-reducidad de la fibra límite ($D_{red}$ no reducido):

   • Problema: La fibra límite del divisor de ramificación podría no ser reducida, haciendo que la tangencia sea trivial.
   • Solución: El autor prueba un Lema clave (Lema 3.7) que establece que, aunque la fibra límite pueda ser no reducida, el límite de los haces tangentes de las fibras reducidas "casi" coincide con el haz tangente de la fibra reducida límite. Esto permite controlar la tangencia en el límite.

2. No-planitud del divisor sobre el parámetro:

   • Problema: El divisor de ramificación podría contener una fibra entera $A \times \{t_\infty\}$, haciendo la tangencia trivial.
   • Solución: Se utiliza un teorema de reducción semiestable débil (basado en [AK00]). Se realiza un cambio de base finito y una modificación biracional para asegurar que las fibras sean reducidas y que el divisor de ramificación sea "horizontal" sobre la nueva base. Esto es posible porque las secciones en el campo de funciones corresponden a puntos constantes en el parámetro complejo.

3. Singularidades de la variedad $X$:

   • Problema: Si $X$ es singular, el divisor de ramificación $R$ podría no ser $\mathbb{Q}$-Cartier, impidiendo definir números de intersección adecuados.
   • Solución: Se utiliza el modelo canónico $X_{can}$ de la variedad (dentro del Programa de Modelos Mínimos). Gracias al teorema de extensión de Hacon-McKernan, se puede trabajar con un modelo biracional donde el divisor canónico es $\mathbb{Q}$-Cartier y amplio, evitando problemas de base y singularidades severas.

4. Resultados Principales

Teorema 1.1 (Resultado Principal):
Sea $K$ un campo de funciones de característica 0 sobre un campo algebraicamente cerrado $k$. Sea $X$ una variedad proyectiva sobre $K$ que admite un morfismo finito $f: X \to A$ a una variedad abeliana $A$. Sea $Z$ el cierre de Zariski de los puntos racionales fuera del conjunto especial $Sp(X)$.
Entonces, $Z$ está cubierto por un número finito de subvariedades cerradas $Z_i$, tales que:

1. La normalización de cada $Z_i$ es constante (isomorfa a $T_i \times_k K$ para alguna variedad $T_i$ sobre $k$).
2. Los puntos racionales de $X$ fuera de $Sp(X)$ provienen esencialmente de los puntos $k$-racionales de estas variedades constantes.

Corolario 1.2:
Recupera y generaliza resultados previos. Si $X$ es de tipo general y la traza de $A$ es no trivial, los puntos racionales no son densos en $X$. Si la traza es trivial, el conjunto de puntos racionales fuera de $Sp(X)$ es finito.

Teorema 1.3 (Dimensión Albanese Máxima):
Se prueba una versión del teorema para variedades de tipo general con dimensión Albanese máxima, estableciendo que si los puntos racionales son densos, la variedad es biracional a una variedad constante definida sobre $k$.

5. Significado e Impacto

• Generalización sin precedentes: Este trabajo elimina las dos hipótesis restrictivas (hiperbolicidad y traza nula) que limitaban los resultados anteriores de Xie y Yuan. Esto cierra una brecha significativa en la comprensión de la distribución de puntos racionales en recubrimientos de variedades abelianas.
• Nueva técnica de demostración: La introducción del argumento de conteo basado en el divisor de ramificación, en lugar de depender exclusivamente de la estructura del conjunto especial, ofrece una nueva vía de ataque para problemas relacionados con la conjetura de Bombieri–Lang.
• Síntesis de áreas: El artículo demuestra una integración magistral entre la teoría de intersección en geometría algebraica (modelos canónicos, reducción semiestable) y la teoría de Nevanlinna compleja (funciones de conteo en discos, curvas enteras), mostrando cómo herramientas analíticas pueden resolver problemas puramente aritméticos-geométricos.
• Aplicabilidad: Los resultados tienen implicaciones profundas para el estudio de la densidad de puntos racionales en variedades que no son hiperbólicas, un área donde la teoría clásica de Faltings no es directamente aplicable.

En resumen, Guoquan Gao ha logrado una prueba robusta de la conjetura geométrica de Bombieri–Lang para una clase amplia de variedades (recubrimientos finitos de variedades abelianas) mediante una innovación técnica que supera las limitaciones de las estrategias anteriores, utilizando un argumento de conteo sofisticado que vincula la geometría del divisor de ramificación con el comportamiento asintótico de las curvas holomorfas.