On Iwasawa theory of abelian varieties over $\mathbb{Z}_p^2$-extension with applications to Diophantine stability and integally Diophantine extensions

Resumen Técnico Detallado: Teoría de Iwasawa de Variedades Abelianas sobre Extensiones $\mathbb{Z}_p^2$ y Aplicaciones a la Estabilidad Diofántica

1. Problema y Contexto
El artículo aborda problemas centrales en la teoría de números algebraica, específicamente en la intersección de la teoría de Iwasawa, la geometría aritmética y la teoría de modelos diofánticos. El foco principal es estudiar el comportamiento de las variedades abelianas (y curvas elípticas) sobre extensiones infinitas de campos numéricos, particularmente extensiones $\mathbb{Z}_p^2$ (extensiones con grupo de Galois isomorfo a $\mathbb{Z}_p \times \mathbb{Z}_p$).

Los problemas específicos tratados son:

• Conjetura de Crecimiento de Mazur: Determinar en cuántas subextensiones $\mathbb{Z}_p$ de una extensión $\mathbb{Z}_p^2$ el rango de Mordell-Weil de una variedad abeliana $A$ crece indefinidamente.
• Estabilidad Diofántica: Identificar extensiones donde el conjunto de puntos racionales de la variedad no crece ($A(L) = A(F)$).
• Extensiones Integralmente Diofánticas: Determinar cuándo el anillo de enteros de una extensión es definible diofánticamente sobre el anillo de enteros del campo base, relacionado con el Décimo Problema de Hilbert.
• Reducción Supersingular: Extender estos resultados al caso de curvas elípticas con reducción supersingular en $p$, un escenario técnicamente más complejo que el de reducción ordinaria.

2. Metodología
El autor, Meng Fai Lim, emplea una combinación de técnicas algebraicas avanzadas y análisis aritmético:

• Teoría de Estructura de Módulos sobre Álgebras de Iwasawa: Se utiliza la teoría de módulos de torsión finitamente generados sobre el álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[\Gamma]]$. Se identifica el álgebra de Iwasawa de la extensión $\mathbb{Z}_p^2$ con el anillo de series de potencias $\mathbb{Z}_p[[U, W]]$.
• Grupos de Selmer y Dualidad de Pontryagin: El análisis se centra en los grupos de Selmer $p$-primarios, $Sel_{p^\infty}(A/L)$, y sus duales de Pontryagin, denotados como $X(A/L)$. La hipótesis central es que $X(A/F_{cyc})$ es un módulo de torsión sobre el álgebra de Iwasawa de la extensión ciclotómica.
• Polinomios Característicos y Órdenes de Divisibilidad: Se define el polinomio característico de los módulos de Selmer. La clave técnica es calcular el orden de divisibilidad por la variable $U$ (denotado como $ord_U$) de estos polinomios, lo cual proporciona cotas superiores para el número de subextensiones con crecimiento de rango.
• Grupos de Selmer Firmados (Signed Selmer Groups): Para el caso de reducción supersingular, se adopta el marco de Kobayashi y B.D. Kim, utilizando grupos de Selmer "firmados" ($+$ y $-$) definidos mediante grupos de normas en formal groups, para manejar la falta de control en la reducción supersingular.
• Teorema de Control de Mazur: Se utiliza para relacionar los grupos de Selmer en extensiones finitas con los de la extensión infinita, asegurando que los núcleos y conúcleos de las mapas de restricción sean finitos.
• Teorema de Shlapentokh: Se aplica un resultado fundamental que conecta la estabilidad del rango de Mordell-Weil con la propiedad de ser una extensión integralmente diofántica.

3. Contribuciones Clave y Resultados Principales

A. Acotación del Crecimiento de Rango (Teorema 1.1 / Teorema 3.3)
El resultado principal establece que si $A$ es una variedad abeliana con reducción ordinaria potencialmente buena y $X(A/F_{cyc})$ es de torsión, entonces el conjunto $\mathcal{M}(A/F_\infty)$ de subextensiones $\mathbb{Z}_p$ dentro de una extensión $\mathbb{Z}_p^2$ donde el rango de Mordell-Weil es ilimitado es finito.
Más importante aún, se proporciona una cota superior explícita:
$$\# \mathcal{M}(A/F_\infty) \leq ord_U \left( \text{char}_{\mathbb{Z}_p[[\Gamma]]} X(A/F_{cyc}) \right)$$

• Mejora sobre trabajos previos: Este resultado generaliza y refina trabajos de Gajek-Leonard, Hatley, Kundu y Lei, eliminando la suposición técnica restrictiva de que el dual de Pontryagin debe ser una suma directa de módulos cíclicos de torsión.

B. Estabilidad Diofántica y Extensiones Integralmente Diofánticas (Teoremas 1.2 y 1.3)
Bajo las mismas hipótesis (y asumiendo que el campo base $F$ tiene al menos una prima compleja y que el rango inicial $rank_{\mathbb{Z}} A(F) > 0$ para el caso diofántico):

• El conjunto de pares de extensiones $(L_1, L_2)$ dentro de una extensión $\mathbb{Z}_p$ donde $A$ es estable diofánticamente es no numerable.
• Consecuentemente, existe una abundancia (conjunto no numerable) de extensiones cíclicas que son integralmente diofánticas.
• Resultados Incondicionales: Para curvas elípticas sobre $\mathbb{Q}$ con reducción ordinaria buena y extensiones imaginarias abelianas, estos resultados se vuelven incondicionales gracias a los teoremas de Kato y Rubin.

C. Caso de Reducción Supersingular (Teoremas 1.6 y 1.7)
El autor extiende el análisis a curvas elípticas con reducción supersingular en $p$ (con $a_p=0$) sobre campos cuadráticos imaginarios.

• Se define un análogo del Teorema 3.3 utilizando grupos de Selmer firmados. La cota para el número de extensiones con crecimiento de rango es la suma de los órdenes de divisibilidad de los polinomios característicos de los cuatro grupos de Selmer firmados posibles.
• Se demuestra que, bajo ciertas condiciones de ramificación o finitud del grupo de Selmer base, el conjunto de extensiones con estabilidad diofántica es no numerable, incluso en este caso más difícil.

D. Conjetura Relativa de Denef-Lipshitz
El trabajo motiva y proporciona evidencia para una versión relativa de la conjetura de Denef-Lipshitz: "Toda extensión finita de campos numéricos $L/K$ es integralmente diofántica". Aunque el artículo no prueba la conjetura general, demuestra su validez para una clase vasta y no numerable de extensiones cíclicas.

4. Significado e Impacto

• Refinamiento Teórico: El trabajo elimina suposiciones técnicas innecesarias en la teoría de Iwasawa de variedades abelianas, fortaleciendo la conexión entre la estructura algebraica de los grupos de Selmer y el comportamiento aritmético (rango de Mordell-Weil).
• Avance en el Problema de Hilbert: Al demostrar la existencia de un número no numerable de extensiones integralmente diofánticas, el artículo aporta evidencia fuerte a favor de la conjetura de Denef-Lipshitz, un problema abierto de larga data en lógica matemática y teoría de números.
• Unificación de Casos: Logra unificar el tratamiento de casos de reducción ordinaria y supersingular bajo un marco coherente de extensiones $\mathbb{Z}_p^2$, utilizando herramientas de grupos de Selmer firmados para el caso supersingular.
• Herramientas para Futuras Investigaciones: Las cotas proporcionadas para el número de extensiones con crecimiento de rango ofrecen un marco cuantitativo para futuros estudios sobre la distribución de rangos en torres de campos.

En resumen, el artículo de Meng Fai Lim representa un avance significativo en la comprensión de cómo las propiedades locales de reducción de variedades abelianas dictan el comportamiento global de sus puntos racionales en extensiones infinitas, con implicaciones profundas tanto para la teoría de Iwasawa como para la teoría de modelos diofánticos.