Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

Resumen Técnico: Límites de Longitud de Kobayashi y Puntos Integrales Generalizados

1. Planteamiento del Problema

El trabajo aborda dos problemas interconectados en geometría aritmética y compleja:

1. Crecimiento de la longitud de Kobayashi: Dada una superficie de Riemann hiperbólica con borde $B_0$ (obtenida eliminando discos cerrados de una superficie compacta $B$) y un lazo no trivial $\alpha \in \pi_1(B_0)$, ¿cómo crece la longitud mínima de Kobayashi de un representante de $\alpha$ cuando se introducen $s$ puntos de corte (puncturas) en $B_0$?
2. Conteo de puntos integrales generalizados: En el contexto de la conjetura de Lang-Vojta geométrica, se busca acotar el número de puntos integrales generalizados en variedades abelianas sobre campos de funciones complejos. Específicamente, se estudia el crecimiento de $|I(s, B_0)|$, el conjunto de secciones que intersectan un divisor $D$ en a lo sumo $s$ discos, módulo la traza constante.

Contexto previo: En un trabajo anterior, Phung [7] demostró que la longitud de Kobayashi $L(\alpha, s)$ crece como máximo linealmente ($O(s)$) y al menos como $\sqrt{s}/\log s$. Utilizando esta cota lineal, Phung obtuvo un límite superior para el número de puntos integrales generalizados de la forma $O(s^{2nk})$, donde $n$ es la dimensión de la variedad abeliana y $k$ es el rango del grupo fundamental. El objetivo de este artículo es refinar estas cotas.

2. Metodología

El autor emplea un enfoque que combina análisis complejo, geometría hiperbólica y teoría de grupos de homotopía.

A. Estimación de Longitudes de Kobayashi (Teorema 1.5)
El núcleo de la mejora reside en una nueva estimación para la longitud de Kobayashi en superficies punteadas:

• Estrategia de Promedio Integral: A diferencia del enfoque puntual de Phung, Dolce utiliza un argumento de promedios integrales sobre una "tira de Fermi" ($T_\delta(\gamma)$), un entorno tubular del lazo $\gamma$.
• Descomposición de Voronoi: La tira se divide en celdas de Voronoi centradas en los $s$ puntos de corte.
• Integrabilidad $L^p$: Se analiza la función de distorsión $\lambda_S$ (la relación entre la métrica de Kobayashi de la superficie punteada y una métrica de fondo). Se demuestra que $\lambda_S$ es integrable en $L^p$ para $1 < p < 2$, pero no para $p=2$, debido a la singularidad tipo $1/d$ cerca de los puntos de corte.
• Optimización del Exponente: Se aplica la desigualdad de Hölder con un exponente $p$ variable que depende de $s$. Al elegir óptimamente $p = 2 - 1/\log(s+2)$, se equilibra la divergencia de la norma $L^p$ con la precisión de la estimación, logrando una cota sublineal.

B. Acotación de Puntos Integrales (Teorema 1.4)
Se adapta el argumento de cociclos de Parshin utilizado por Phung:

• Cociclos de Parshin: Se asocia a cada punto racional una clase de cohomología en $H^1(\pi_1(B_0), \Gamma)$, donde $\Gamma \cong \mathbb{Z}^{2n}$ es el grupo fundamental de la fibra.
• Lifting al Recubridor Universal: Se elevan los lazos al recubridor universal de la variedad abeliana. La longitud de los lazos en la base (obtenida en el paso A) impone una cota de desplazamiento en la fibra.
• Conteo de Retículos: El número de puntos integrales se reduce a contar el número de elementos en un retículo $\mathbb{Z}^{2n}$ contenidos en una bola de radio proporcional a la longitud de los lazos.
• Innovación Clave: A diferencia del argumento original de Phung, que requería que todos los lazos compartieran un punto base común, el nuevo enfoque permite que los lazos tengan puntos base distintos. Dado que la fibra es abeliana, las diferentes secciones de la sucesión exacta de homotopía producen cociclos cohomólogos, permitiendo que el argumento de conteo se mantenga sin cambios estructurales, pero con una entrada de longitud mucho más precisa.

3. Contribuciones Clave y Resultados Principales

Teorema 1.5 (Mejora en Longitud de Kobayashi):
El autor demuestra que para un lazo no trivial $\alpha$, la longitud mínima de Kobayashi $L(\alpha, s)$ satisface:
$$L(\alpha, s) \leq C \sqrt{(s+1) \log(s+2)}$$
Esto refina la cota superior lineal anterior ($O(s)$) a una de orden $O(\sqrt{s} \log s)$.

• Consecuencia Asintótica: Esto determina el crecimiento exacto del logaritmo:
  $$\lim_{s \to \infty} \frac{\log L(\alpha, s)}{\log s} = \frac{1}{2}$$
  Respondiendo afirmativamente a la Pregunta 1.4 planteada en [7].

Teorema 1.4 (Mejora en el Conteo de Puntos Integrales):
Para una variedad abeliana de dimensión $n$ sobre un campo de funciones $C(B)$, el número de puntos $(s, B_0)$-integrales generalizados (módulo la traza constante) satisface:
$$\# \left( I(s, B_0) / \text{Tr}_{K/C}(A)(C) \right) \leq m (s+1)^{nk + \varepsilon}$$
para todo $\varepsilon > 0$.

• Impacto: Se reduce el exponente de $2nk$ (cota de Phung) a $nk + \varepsilon$. Esto divide el exponente por la mitad, acercándose significativamente a la conjetura de Lang-Vojta, que predice un crecimiento lineal en $s$ (exponente 1) para casos específicos, aunque aquí el exponente sigue dependiendo de la dimensión y el rango del grupo fundamental.

4. Significado e Implicaciones

1. Optimalidad Asintótica: El resultado sobre la longitud de Kobayashi establece que el crecimiento es esencialmente cuadrático en la raíz ($\sqrt{s}$), lo que indica que la introducción de puntos de corte estira la métrica de manera mucho más eficiente de lo que se pensaba (sublinealmente).
2. Avance en la Conjetura de Lang-Vojta: La reducción del exponente en el conteo de puntos integrales es un avance cuantitativo significativo. La cota original de Phung ($s^{2nk}$) era muy laxa para variedades abelianas no constantes. La nueva cota ($s^{nk+\varepsilon}$) es mucho más cercana a las expectativas teóricas y demuestra la eficacia de los métodos analíticos refinados en problemas aritméticos.
3. Flexibilidad Topológica: La demostración de que no es necesario un punto base común para los lazos en el argumento de Parshin simplifica la estructura topológica requerida, lo que podría tener aplicaciones en otros contextos de geometría hiperbólica y teoría de números.
4. Herramientas Analíticas: La técnica de usar promedios integrales sobre tiras de Fermi y optimizar el exponente $p$ en desigualdades de Hölder para manejar singularidades de tipo $1/d$ constituye una herramienta técnica potente que puede ser aplicable a otros problemas de estimación de distancias en variedades complejas con singularidades.

En resumen, el artículo cierra una brecha importante entre las cotas inferiores y superiores conocidas para la longitud de Kobayashi en superficies punteadas y traduce esta mejora analítica en un resultado aritmético sustancialmente más fuerte sobre la distribución de puntos integrales en variedades abelianas.