A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety

Aquí presento un resumen técnico detallado del artículo "A Refined Non-VANISHING OF THE p-ADIC LOGARITHM OF A RATIONAL POINT ON AN ABELIAN VARIETY" (Un refinamiento del no-desvanecimiento del logaritmo p-ádico de un punto racional en una variedad abeliana), escrito por Ashay Burungale, Christopher Skinner y Xin Wan.

1. El Problema y el Contexto

El artículo aborda una cuestión fundamental en la teoría de números aritmética y la geometría algebraica, motivada por la fórmula de Bertolini-Darmon-Prasanna (BDP).

• Contexto: La fórmula BDP relaciona un valor especial de una función $L$-p-ádica de una forma modular nueva con el cuadrado de la imagen de un ciclo de Heegner generalizado bajo un mapa de Abel-Jacobi p-ádico. En el caso de curvas elípticas, esto implica que si un punto de Heegner $P_f$ es de torsión no trivial, su logaritmo p-ádico $\log_{\omega}(P_f)$ es no nulo.
• La Pregunta Central: ¿Se mantiene esta propiedad de no-desvanecimiento para variedades abelianas de dimensión superior (específicamente aquellas de tipo $GL_2$ asociadas a formas modulares de peso 2)?
  • Sea $A$ una variedad abeliana sobre $\mathbb{Q}$ asociada a una forma nueva $f$.
  • Sea $x \in A(\mathbb{Q})$ un punto de torsión no trivial.
  • Sea $\omega$ una forma diferencial p-ádica asociada a la acción del campo de coeficientes de $f$.
  • Pregunta: ¿Es $\log_{\omega}(x) \neq 0$ para todas las formas diferenciales no nulas en el espacio relevante?
• La Dificultad: Para curvas elípticas, la respuesta es afirmativa porque el núcleo del logaritmo p-ádico son exactamente los puntos de torsión. Sin embargo, para variedades abelianas de dimensión $d > 1$, el núcleo del logaritmo puede ser más complejo, y no es inmediato que un punto de torsión no trivial tenga un logaritmo no nulo en todas las direcciones diferenciales.

2. Metodología

La herramienta principal empleada en el artículo es el Teorema del Subgrupo Analítico p-ádico (p-adic analytic subgroup theorem), un resultado profundo de la teoría de trascendencia p-ádica (relacionado con los trabajos de Bertrand, Masser, Waldschmidt y otros).

• El Teorema Clave (Teorema 3.1 y 3.2): Establece una conexión entre la geometría algebraica y el análisis p-ádico. Si un punto racional $x \in A(\mathbb{Q})$ tiene su logaritmo p-ádico $\log_A(x)$ contenido en un subespacio vectorial $W_p$ del espacio tangente $V_p = t_A \otimes \mathbb{Q}_p$, entonces existe un subgrupo algebraico conmutativo $B \subset A$ definido sobre $\mathbb{Q}$ tal que:
  1. El espacio tangente $t_B$ está contenido en $W$.
  2. Una múltiple entera de $x$ ($mx$) pertenece a $B(\mathbb{Q})$.
• Estrategia de Prueba: Los autores utilizan una argumentación por contradicción.
  1. Asumen que existe un punto de torsión no trivial $x$ y una forma diferencial $\omega$ tal que $\log_{\omega}(x) = 0$.
  2. Esto implica que $\log_A(x)$ cae en el núcleo de la aplicación lineal asociada a $\omega$.
  3. Aplicando el Teorema del Subgrupo Analítico, deducen la existencia de una subvariedad abeliana $B \subset A$ definida sobre $\mathbb{Q}$ que contiene a $x$ (o un múltiplo suyo) y cuyo espacio tangente está contenido en el núcleo de $\omega$.
  4. Analizan las propiedades de esta subvariedad $B$ bajo la acción del campo de coeficientes $F$ (o $E$ en la notación general).
  5. Demuestran que la existencia de tal $B$ conduce a una contradicción con las hipótesis estructurales de la variedad $A$ (por ejemplo, la inexistencia de extensiones de la acción de $F$ a $F \times F$, o propiedades de los campos de traza).

3. Contribuciones y Resultados Clave

Los autores generalizan el resultado conocido para curvas elípticas a variedades abelianas de tipo $GL_2$ y más allá.

Teorema Principal (Teorema 1.1 y 2.3)

Sean $A/\mathbb{Q}$ una variedad abeliana y $F \subset \text{End}^0_{\mathbb{Q}}(A)$ un campo tal que:

1. $\dim(A) = [F : \mathbb{Q}]$.
2. $F$ tiene al menos una inmersión real (es decir, $F$ no es un campo de números totalmente complejo o CM en este contexto específico, o la acción no se extiende a $F \times F$).

Resultado: Para cualquier punto $x \in A(\mathbb{Q})$ de torsión no trivial y para cualquier forma diferencial no nula $\omega$ en el espacio asociado a una inmersión $\sigma: F \hookrightarrow \mathbb{Q}$, se tiene:
$$\log_{\omega}(x) \neq 0$$

Extensiones a Casos CM (Teoremas 2.5 y 2.6)

El artículo también trata casos donde $A$ tiene multiplicación compleja (CM) o cuando la hipótesis de "no extensión" no se cumple directamente.

• Si $A$ tiene CM por un campo $E'$, se demuestra que el logaritmo no se desvanece para las formas diferenciales relevantes del tipo CM.
• Se proporciona un resultado más general (Teorema 2.6) que identifica la "subvariedad abeliana mínima $E$-estable" que contiene al punto, demostrando que el logaritmo no se desvanece en las direcciones correspondientes a esa subvariedad.

Aplicaciones Específicas

• Formas Modulares y Puntos de Heegner: Se aplica a variedades abelianas asociadas a formas nuevas de Hilbert y puntos de Heegner (o sus giros por caracteres de clase de anillo). Esto confirma que la no-desvanecimiento esperada en la fórmula BDP se cumple rigurosamente en este contexto generalizado.
• Conjetura de Birch y Swinnerton-Dyer (BSD): El resultado es crucial para la parte $p$-ádica de la conjetura BSD para variedades de tipo $GL_2$. La no-desvanecimiento del logaritmo asegura que el regulador p-ádico no sea cero, lo cual es necesario para establecer la igualdad entre el rango algebraico y el orden de anulación de la función $L$ (Teorema 2.11).

Conjetura de Poonen y Rango Estructural

En la sección final, los autores conectan sus resultados con una pregunta de Poonen sobre la dimensión del cierre p-ádico de un subgrupo finitamente generado.

• Demuestran que bajo ciertas condiciones (como la Conjetura de Rango Estructural 5.2), la dimensión del espacio p-ádico generado por los logaritmos de puntos independientes es exactamente $\min\{r \cdot \deg(F), \dim(A)\}$.
• Esto confirma que, en el caso de variedades de tipo $GL_2$ con acción de un campo totalmente real, el cierre p-ádico tiene la dimensión máxima esperada.

4. Significado e Impacto

1. Resolución de una Cuestión Abierta: El artículo proporciona una prueba rigurosa de una afirmación que se había dado por sentada en trabajos previos (como en [24]) pero que carecía de demostración explícita.
2. Puente entre Teoría Transcendente y Geometría Aritmética: El uso del Teorema del Subgrupo Analítico p-ádico demuestra la potencia de las herramientas de trascendencia p-ádica para resolver problemas de no-desvanecimiento en contextos aritméticos modernos.
3. Fundamento para la Conjetura BSD: Al garantizar que los logaritmos p-ádicos de puntos de Heegner no se desvanecen, el trabajo fortalece la base teórica para las demostraciones de casos de la conjetura BSD para variedades abelianas de dimensión superior, especialmente en el contexto de la teoría de Iwasawa y las fórmulas de Gross-Zagier p-ádicas.
4. Generalización de la Fórmula BDP: Permite extender la validez de la fórmula BDP y sus implicaciones a un espectro más amplio de variedades abelianas más allá de las curvas elípticas, incluyendo aquellas asociadas a formas modulares de Hilbert.

En resumen, Burungale, Skinner y Wan establecen que, bajo condiciones estructurales naturales (principalmente relacionadas con la existencia de inmersiones reales en el campo de coeficientes), el logaritmo p-ádico de un punto racional de torsión no trivial en una variedad abeliana nunca se anula en ninguna dirección diferencial relevante, consolidando así un pilar fundamental para el estudio de los puntos racionales y las funciones $L$ p-ádicas.