Generalised Kato classes on CM elliptic curves of rank 2

A continuación presento un resumen técnico detallado del artículo "Generalised Kato Classes on CM Elliptic Curves of Rank 2" (Clases de Kato generalizadas en curvas elípticas CM de rango 2) de Francesc Castella.

1. Planteamiento del Problema

El artículo aborda un problema central en la teoría de números moderna: la construcción sistemática de puntos racionales o clases de Selmer no triviales en curvas elípticas $E/\mathbb{Q}$ cuando el orden de anulación de la función $L$ en $s=1$ es mayor que 1.

• Contexto: Para curvas con rango algebraico 1, el teorema de Gross-Zagier y el método de Kolyvagin permiten construir puntos racionales a partir de puntos de Heegner. Sin embargo, para rangos superiores (específicamente rango 2), no existe una construcción análoga generalizada que funcione en todos los casos.
• Objetivo Específico: El autor se centra en curvas elípticas $E$ con Multiplicación Compleja (CM) por un cuerpo cuadrático imaginario $K$, donde la función $L$ tiene signo $+1$ en su ecuación funcional y se anula en $s=1$ (implicando $\text{ord}_{s=1} L(E,s) \ge 2$).
• La Conjetura: Bajo la conjetura de Bloch-Kato, se espera que el grupo de Selmer $p$-ádico $\text{Sel}(\mathbb{Q}, V_p E)$ tenga dimensión al menos 2. El desafío es construir una clase explícita en este grupo que genere un subespacio no trivial y entender su relación con la estructura del grupo de Selmer.

2. Metodología

El autor emplea una combinación sofisticada de teoría de Iwasawa, formas modulares de Hida y cohomología de Galois, modificando y adaptando construcciones previas de Darmon-Rotger.

• Familias de Hida y Ciclos Diagonales: Se construye una "clase diagonal grande" $\kappa(\phi, g, h)$ asociada a una tripleta de familias de Hida $(\phi, g, h)$. En este trabajo, $\phi$ es una familia de Hida CM y $g, h$ son también familias CM asociadas al mismo cuerpo $K$.
• Descomposición de Representaciones de Galois: Se analiza la representación de Galois $V^\dagger$ (un giro auto-dual del producto tensorial de las representaciones asociadas a las familias). El autor demuestra que, bajo especializaciones adecuadas, esta representación se descompone en una suma directa de inducciones de caracteres de Hecke sobre $K$.
• Conjetura Principal de Ciclos Diagonales: Se prueba una versión de la conjetura principal para ciclos diagonales (Conjetura A) en el caso CM. Esto relaciona la no torsión de la clase diagonal con la estructura de los módulos de Selmer balanceados y no balanceados.
• Factorización de Funciones $L$ $p$-ádicas: Se utiliza una factorización clave de la función $L$ $p$-ádica de producto triple $L_p^\phi(\phi, g, h)$ en un producto de cuatro funciones $L$ $p$-ádicas de Katz anticyclotómicas. Esta factorización permite reducir el problema de tres variables a problemas de una variable (caracteres de Hecke) donde la conjetura de Iwasawa principal ya está resuelta (gracias a trabajos de Rubin, Agboola-Howard y Arnold).
• Clases de Kato Generalizadas ($\kappa_p$): Se define una clase específica $\kappa_p \in \text{Sel}(\mathbb{Q}, V_p E)$ como la proyección de la clase diagonal grande bajo una especialización adecuada que conecta con la curva elíptica $E$. Esta construcción es una "variante torcida" de la construcción original de Darmon-Rotger.

3. Contribuciones Clave

1. Prueba de la Conjetura Principal en el Caso CM: El autor prueba que la conjetura principal de ciclos diagonales (relacionando la clase diagonal con el ideal característico del módulo de Selmer dual) se cumple para triples de familias de Hida CM, superando las limitaciones de trabajos anteriores que excluían el caso CM o requerían reducción multiplicativa en otros primos.
2. Análogo de Rango 2 del Teorema de Kolyvagin: Se establece un resultado fundamental que vincula la no anulación de la clase $\kappa_p$ con la dimensión del grupo de Selmer.
3. Conexión con la Conjetura de Iwasawa Anticyclotómica: Se demuestra que la no anulación de $\kappa_p$ depende crucialmente de la no anulación de una aplicación de restricción local, vinculando la geometría aritmética global con propiedades locales en $p$.
4. Construcción de una Base para el Grupo de Selmer: Bajo hipótesis adicionales sobre las funciones $L$ $p$-ádicas, se proporciona una base explícita para el grupo de Selmer de dimensión 2, compuesta por la clase de Kato generalizada y una "unidad elíptica derivada".

4. Resultados Principales

El artículo presenta tres teoremas principales:

• Teorema A (Conjetura Principal de Ciclos Diagonales): Bajo ciertas condiciones de no congruencia y signo de los caracteres de Hecke, la clase diagonal grande $\kappa(\phi, g, h)$ no es de torsión sobre el anillo de Iwasawa. Además, los módulos de Selmer balanceados y sus duales tienen rango 1, y se cumple la igualdad de ideales característicos:
  $$\text{char}_{R} (X^{\text{bal}}_{\text{tors}}) = \text{char}_{R} \left( \frac{\text{Sel}^{\text{bal}}}{R \cdot \kappa} \right)^2$$
  Esto confirma la conjetura de Darmon-Rotger en el contexto CM.

• Teorema B (Análogo de Rango 2 de Kolyvagin): Sea $E$ una curva elíptica CM con signo $+1$ y $\text{ord}_{s=1} L(E,s) \ge 2$. Sea $\kappa_p$ la clase de Kato generalizada asociada.

  • Implicación Directa: Si $\kappa_p \neq 0$, entonces $\dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_p E) = 2$.
  • Implicación Recíproca: Si $\dim_{\mathbb{Q}_p} \text{Sel}(\mathbb{Q}, V_p E) = 2$, entonces $\kappa_p \neq 0$ si y solo si la aplicación de restricción local
    $$\text{res}_p: \text{Sel}(\mathbb{Q}, V_p E) \to \widehat{E(\mathbb{Q}_p)} \otimes \mathbb{Q}_p$$
    es no nula.
  • Significado: Esto justifica ver a $\kappa_p$ como un "regulador $p$-ádico de rango 2". La no anulación de la clase global depende de que la restricción local no se anule.

• Teorema C (Base del Grupo de Selmer): Si se asume que el grupo de Tate-Shafarevich es finito y se cumplen condiciones de anulación de las funciones $L$ $p$-ádicas de Katz ($\text{ord}_{s=1} L_p(s) = 2$ y $\text{ord}_{s=1} L^*_p(s) = 1$), entonces:
  $$\text{Sel}(\mathbb{Q}, V_p E) = \mathbb{Q}_p \kappa_p \oplus \mathbb{Q}_p x^{(2)}_p$$
  Donde $\kappa_p$ es la clase de Kato y $x^{(2)}_p$ es una unidad elíptica derivada. Esto proporciona una base explícita para el grupo de Selmer de dimensión 2.

5. Significado e Impacto

• Avance en la Conjetura de Birch y Swinnerton-Dyer (BSD): El trabajo ofrece una herramienta concreta para atacar el caso de rango 2 en la conjetura BSD para curvas con CM. Proporciona una clase explícita que se espera que genere el subespacio de rango 2 del grupo de Selmer.
• Superación de Obstáculos Técnicos: A diferencia de los trabajos previos en el caso no-CM (como los del autor con Hsieh), este artículo maneja el caso CM donde las técnicas estándar fallan (por ejemplo, la ausencia de reducción multiplicativa en primos distintos de $p$). La estrategia de descomposición de la representación de Galois y el uso de la factorización de funciones $L$ $p$-ádicas es innovadora.
• Validación de Conjeturas: El resultado confirma las expectativas de Darmon y Rotger sobre la naturaleza de las clases de Kato generalizadas en situaciones de rango alto, estableciendo una condición necesaria y suficiente para su no anulación.
• Herramientas para Futuras Investigaciones: La conexión establecida entre la no anulación de clases globales y la aplicación de restricción local abre nuevas vías para estudiar la estructura fina de los grupos de Selmer y las alturas $p$-ádicas.

En resumen, el artículo de Castella representa un avance significativo en la comprensión de la aritmética de curvas elípticas de rango 2 con multiplicación compleja, proporcionando la primera construcción explícita y rigurosa de clases de Selmer no triviales en este contexto, análogas a los puntos de Heegner en rango 1.