André's theorem and weakly bounded height

Resumen Técnico: El Teorema de André y la Altura Débilmente Acotada

Planteamiento del Problema
El artículo aborda la versión efectiva del teorema de André, un caso específico de la conjetura de André–Oort para el plano afín $\mathbb{A}^2(\mathbb{C})$. La conjetura postula que una curva algebraica no especial $V$ contiene solo finitos "puntos especiales", definidos como pares $(x, y)$ donde tanto $x$ como $y$ son módulos singulares (invariantes-$j$ de curvas elípticas con multiplicación compleja). Si bien la finitud de tales puntos fue establecida por André (incondicionalmente) y por Pila (para dimensiones superiores), estas demostraciones fueron inefectivas, ya que no proporcionaban cotas computables sobre la altura o el número de tales puntos.

Resultados efectivos previos de Kühne y de Bilu, Masser y Zannier establecieron cotas para la altura de los puntos especiales, pero estas cotas exhibían una dependencia deficiente respecto a la altura de la curva $V$ (específicamente, un exponente de 8 o superior, o sin dependencia explícita). El problema central que aborda este artículo es establecer una cota efectiva para la altura de los puntos especiales en una clase específica de curvas no especiales que dependa linealmente de la altura de la curva $V$, $h(V)$.

Metodología
El autor emplea una versión refinada de la estrategia de Pila–Zannier, que combina el conteo de puntos o-minimal con cotas aritméticas inferiores para órbitas de Galois. La demostración se estructura en torno al control de los puntos especiales basándose en el tamaño de sus discriminantes relativos a un campo excepcional "malo" $K^*$ surgido de la versión efectiva de Tatuzawa de la cota de Siegel–Landau sobre números de clase.

1. Clasificación de Puntos Especiales: Los puntos especiales $(x, y)$ se dividen en dos categorías:

   • Puntos no excepcionales: Aquellos donde los discriminantes $\Delta_x, \Delta_y$ no están asociados con el único campo excepcional posible en el teorema de Tatuzawa. Para estos, el tamaño de la órbita de Galois es grande, lo que permite el uso de conteo de puntos efectivo (vía los resultados de Binyamini) para acotar los discriminantes uniformemente.
   • Puntos $\epsilon$-excepcionales: Aquellos donde los discriminantes corresponden al campo excepcional. Estos puntos tienen órbitas de Galois anormalmente pequeñas y números de clase pequeños.

2. Manejo de Puntos $\epsilon$-Excepcionales:

   • El artículo utiliza un resultado de Habegger que proporciona una cota de altura para la intersección de una curva $V$ y una curva modular $V(\Phi_N)$, siempre que los grados de las funciones de coordenadas en $V$ sean distintos ($d_1 \neq d_2$).
   • El autor calcula explícitamente las constantes en el resultado de Habegger para mostrar una dependencia lineal de $h(V)$.
   • Se utiliza un argumento de contradicción: si un punto $\epsilon$-excepcional tiene una altura muy grande, debe encontrarse en una curva modular con un nivel $N$ grande. Sin embargo, las estimaciones de isogenia y las cotas inferiores de la órbita de Galois (derivadas del pequeño número de clase de los puntos excepcionales) crean un conflicto entre la cota superior de la altura (de Habegger) y la cota inferior del grado de la extensión de campo. Esto fuerza a que los discriminantes (y, por ende, las alturas) estén acotados.

3. Uniformidad Condicional:

   • El artículo introduce la propiedad WBH($\eta, \kappa$) (Altura Débilmente Acotada), que postula una cota de altura específica para los puntos en la intersección de $V$ y curvas modulares.
   • El autor demuestra que si WBH($\eta, \kappa$) se cumple, se pueden derivar cotas efectivas para todas las curvas no especiales, lo que potencialmente conduce a una versión efectiva uniforme del teorema de André (Teorema 1.4).

Contribuciones Clave y Resultados

• Teorema 1.1 (Resultado Incondicional Principal): Para una curva $V$ geométricamente irreducible y no especial definida sobre un cuerpo numérico $L$, donde los grados de las funciones de coordenadas $X$ e $Y$ restringidas a $V$ son distintos ($d_1 \neq d_2$), el artículo demuestra la existencia de una constante $c$ efectivamente computable tal que para cada punto especial $(x, y) \in V$:
  $$\max\{h(x), h(y)\} \leq c_1([L:\mathbb{Q}], \max\{d_1, d_2\}) + 26 \max\{d_1, d_2\}^3 h(V)$$
  Además, los discriminantes satisfacen una cota con un exponente de $2+\delta$ sobre $h(V)$, una mejora significativa respecto al exponente 8 encontrado en trabajos previos.

• Teorema 1.3 (Resultado Condicional): Asumiendo que la propiedad WBH($\eta, \kappa$) se cumple, el artículo establece cotas de altura efectivas para puntos especiales en cualquier curva no especial (eliminando la restricción $d_1 \neq d_2$). Si $\kappa < 2\eta$, esto implica una cota uniforme sobre los discriminantes independiente de $h(V)$, probando efectivamente el Teorema 1.4 de forma condicional.

• Constantes Explícitas: El artículo proporciona fórmulas explícitas para las constantes involucradas en las cotas, particularmente en la demostración del Teorema 6.3, que maneja el caso $\epsilon$-excepcional. Se muestra que estas constantes son independientes del cuerpo de definición $L$ en ciertos regímenes.

Significancia
El artículo afirma establecer la primera versión efectiva del teorema de André con una dependencia lineal respecto a la altura de la curva $V$ para una clase no trivial de curvas. Esto representa una mejora sustancial sobre los resultados efectivos previos (Kühne, Wüstholz) que tenían una dependencia polinómica con exponentes altos (por ejemplo, 8).

El autor señala que la condición $d_1 \neq d_2$ es estrictamente más fuerte que la condición de que $V$ sea no especial (esta excluye las curvas modulares), pero es necesaria para la técnica de demostración actual que depende de la cota de altura específica de Habegger. El artículo enmarca su resultado condicional (Teorema 1.3) como una estrategia para extender estas cotas lineales a todas las curvas no especiales, supeditada a la demostración de la propiedad WBH. El trabajo también ofrece un nuevo método para deducir resultados de finitud directamente de cotas de altura sin depender de las estimaciones de endomorfismo de Masser–Wüstholz, ofreciendo un camino potencialmente más directo hacia resultados efectivos uniformes.