Finiteness for Étale Fundamental Groups of Néron Models

Resumen Técnico: Finitud de los Grupos Fundamentales Étale de los Modelos de Néron

Planteamiento del Problema
El artículo investiga la estructura y las propiedades de finitud del grupo fundamental étale de el modelo de Néron de una variedad abeliana sobre un cuerpo numérico $K$. Específicamente, se centra en la parte "geométrica" de este grupo, denotada como $\pi_{1}^{\text{et,geom}}(\mathcal{A})$, definida como el núcleo del mapa $\pi_{1}^{\text{et}}(\mathcal{A}) \to \pi_{1}^{\text{et}}(\text{Spec } \mathcal{O}_K)$. Mientras que resultados previos de Katz y Lang establecieron la finitud del grupo fundamental completo para variedades abelianas sobre $\mathbb{Q}$, y Bost y Charles demostraron la finitud para modelos regulares integrales de curvas elípticas, la finitud del subgrupo geomético para variedades abelianas generales sobre cuerpos numéricos arbitrarios seguía siendo una pregunta abierta. El objetivo del artículo es demostrar que este subgrupo es finito y determinar si su tamaño puede estar acotado uniformemente dependiendo únicamente de la dimensión y del cuerpo base.

Metodología
La estrategia principal consiste en analizar el comportamiento de la altura de Faltings bajo cubrimientos étale finitos de los modelos de Néron. El autor aprovecha la fórmula de isogenia de Faltings, que relaciona las alturas de variedades abelianas isógenas con el grado de la isogenia. El argumento central procede por contradicción: si el grupo fundamental geométrico fuera infinito, se podría construir una secuencia de cubrimientos étale finitos (y, por tanto, isogenias) de grado arbitrariamente grande. Por la fórmula de Faltings, tales isogenias producirían variedades abelianas con alturas de Faltings arbitrariamente pequeñas. Esto contradice la propiedad de Northcott para variedades abelianas sobre cuerpos numéricos, la cual afirma que existen solo finamente muchas clases de isomorfismo de variedades abelianas con una altura acotada superiormente por una constante.

Para el caso específico de las curvas elípticas, la metodología se refina para establecer la uniformidad. El autor utiliza el teorema de torsión uniforme de Merel, que acota el tamaño del subgrupo de torsión de las curvas elípticas sobre un cuerpo numérico fijo. Al demostrar que el núcleo de un cubrimiento étale finito de un modelo de Néron debe estar definido sobre el cuerpo de clase de Hilbert de $K$, el problema se reduce a acotar los puntos de torsión sobre esta extensión específica.

En el caso de las curvas elípticas sobre $\mathbb{Q}$, el artículo emplea una combinación de geometría aritmética y computación explícita. El autor analiza el discriminante de la curva elíptica bajo isogenia, mostrando que para un cubrimiento étale finito de grado $n$, el discriminante mínimo del cubrimiento debe ser la $n$-ésima potencia del discriminante original. Esta condición, combinada con la fórmula de Silverman para la altura de Faltings y el teorema de torsión de Mazur, restringe los posibles grados de tales cubrimientos a un pequeño conjunto de enteros. La inexistencia de cubrimientos de grado 7 se demuestra interpretando la existencia de tal curva como un punto racional en la curva modular $X(1)$ que debe satisfacer simultáneamente condiciones derivadas de la ecuación $A^2 + B^3 = 1728C^7$ y la geometría de la curva modular $X_1(7)$. Esto implica la construcción de torsiones específicas de $X(7)$ y la realización de pruebas locales $p$-ádicas (usando Sage) para mostrar la incompatibilidad.

Contribuciones Clave y Resultados

1. Finitud General (Teorema 1.1): El artículo demuestra que para cualquier variedad abeliana $A$ de dimensión $g$ sobre un cuerpo numérico $K$, el grupo fundamental étale geométrico $\pi_{1}^{\text{et,geom}}(\mathcal{A})$ de su modelo de Néron es un grupo finito. Esto se logra demostrando que los grados de los cubrimientos étale finitos del modelo de Néron están acotados, impidiendo la existencia de alturas de Faltings arbitrariamente pequeñas.

2. Uniformidad para Curvas Elípticas (Teorema 1.3): Para las curvas elípticas, el resultado de finitud se fortalece hacia una cota uniforme. El artículo demuestra que existe una constante $C$, que depende únicamente del cuerpo numérico $K$, tal que $|\pi_{1}^{\text{et,geom}}(\mathcal{E})| \le C$ para cualquier curva elíptica $E/K$. Esto se basa en el hecho de que el núcleo de la isogenia se extiende a un cubrimiento étale finito de $\text{Spec } \mathcal{O}_K$, lo que implica que los puntos del núcleo están definidos sobre el cuerpo de clase de Hilbert, donde se aplica el teorema de Merel.

3. Clasificación Explícita sobre $\mathbb{Q}$ (Teorema 1.4): Para las curvas elípticas sobre $\mathbb{Q}$, el artículo proporciona una lista completa de los posibles grupos fundamentales étale para sus modelos de Néron. El grupo es isomorfo a $\mathbb{Z}/N\mathbb{Z}$ donde $N \in \{1, 2, 3, 5\}$.

   • El caso $N=7$ queda descartado. La demostración muestra que un cubrimiento étale finito de grado 7 requeriría que el discriminante mínimo fuera una séptima potencia y la existencia de un punto de torsión 7 racional. Al analizar la curva modular $X(1)$ y la ecuación $A^2 + B^3 = 1728C^7$, el autor demuestra mediante pruebas locales que no existen tales puntos racionales que correspondan a curvas elípticas válidas con las propiedades de reducción requeridas.
   • El caso $N=4$ queda descartado para curvas con reducción aditiva mediante el análisis de los grupos de componentes de las fibras especiales y el uso de la fórmula de altura de Silverman para mostrar que tal isogenia no puede existir.
   • Se proporcionan ejemplos para $N=1, 2, 3, 5$ utilizando datos de la LMFDB (L-functions and Modular Forms Database), confirmando que todos los casos listados se realizan.

Significado
El artículo establece una propiedad de finitud fundamental para los grupos fundamentales étale geométricos de los modelos de Néron, extendiendo los resultados previos de $\mathbb{Q}$ a cuerpos numéricos arbitrarios y de los modelos regulares integrales al modelo de Néron completo. Al demostrar que estos grupos son finitos y están acotados uniformemente para las curvas elípticas, el trabajo conecta la aritmética de las isogenias, la geometría de los modelos de Néron y la distribución de los puntos de torsión. La clasificación explícita sobre $\mathbb{Q}$ ofrece una comprensión concreta de las simetrías posibles de estos modelos, descartando estructuras de grupo específicas (como $\mathbb{Z}/7\mathbb{Z}$) mediante una síntesis de la teoría de curvas modulares y el análisis diofántico. Los resultados se apoyan en herramientas estándar de la geometría aritmética (altura de Faltings, propiedad de Northcott, teorema de Merel), pero las aplican en un contexto novedoso para resolver cuestiones sobre la estructura global de los modelos de Néron.