Interpolation of generalized Heegner classes along quaternionic Coleman families

Aquí presento un resumen técnico detallado del artículo "Interpolación de Clases de Heegner Generalizadas a lo Largo de Familias de Coleman Cuaterniónicas" de E. Rocha Walchek.

1. Planteamiento del Problema y Contexto

El artículo aborda un problema central en la geometría aritmética: la construcción de sistemas de Euler para estudiar la conjetura de Bloch–Kato para representaciones de Galois asociadas a formas modulares.

• Antecedentes: La conjetura de Bloch–Kato relaciona el orden de anulación de las funciones $L$ con el tamaño de los grupos de Selmer. Una herramienta principal para acotar estos grupos es la construcción de sistemas de Euler (familias de clases de cohomología compatibles con la norma).
• Trabajo Existente:
  • Para curvas elípticas ($GL_2$), los puntos de Heegner proporcionan tales sistemas (Kolyvagin).
  • Para formas modulares de peso superior, se introdujeron los Ciclos de Heegner Generalizados (Bertolini–Darmon–Prasanna, [BDP13]).
  • Interpolación: Howard, Büyükboduk–Lei, y Jetchev–Loeffler–Zerbes ([JLZ21]) interpolaron con éxito estas clases a lo largo de familias Hida (ordinarias, pendiente 0) y familias Coleman (pendiente finita) de formas modulares elípticas, creando "Clases Grandes de Heegner".
• La Brecha: Si bien la teoría de ciclos de Heegner generalizados existe para formas modulares cuaterniónicas (asociadas a curvas de Shimura y álgebras de cuaterniones indefinidas, según desarrolló Brooks [HB15]), la interpolación p-ádica de estas clases a lo largo de familias Coleman en el contexto cuaterniónico no había sido establecida.
• Objetivo: Construir Grandes Clases de Heegner Generalizadas interpolando p-ádicamente las clases de Heegner generalizadas asociadas a formas modulares cuaterniónicas a lo largo de una familia Coleman (pendiente finita), adaptando los métodos de [JLZ21] al contexto cuaterniónico indefinido.

2. Metodología

El autor emplea un enfoque geométrico y cohomológico, cerrando la brecha entre las formas modulares clásicas y las familias p-ádicas mediante la teoría de motivos y variedades de Shimura.

A. La Configuración Geométrica

• Contexto Cuaterniónico Indefinido: El trabajo se desarrolla sobre un álgebra de cuaterniones indefinida $B$ de discriminante $N^- > 1$. Las formas modulares se definen sobre curvas de Shimura $\tilde{X}_m$ (que clasifican superficies abelianas con multiplicación cuaterniónica) en lugar de curvas modulares clásicas.
• Variedades Generalizadas de Kuga–Sato: El autor define la variedad generalizada de Kuga–Sato $W_{k,m}$ como un producto fibrado de la superficie abeliana universal $\tilde{A}_m$ sobre la curva de Shimura.
• Ciclos de Heegner Generalizados: Utilizando un isogenia $\phi$ entre una superficie abeliana CM fija $A$ y una superficie $A_{cp^n}$, el autor construye un ciclo $\Delta^{[k]}_{\phi, m}$ en el grupo de Chow de $W_{k,m}$.
• El Truco de Lieberman: Para simplificar la cohomología, el autor utiliza el truco de Lieberman para mapear el ciclo desde la variedad de alta dimensión $W_{k,m}$ hacia la curva de Shimura $\tilde{X}_m$, a costa de trabajar con un haz de coeficientes más complejo que involucra tensores simétricos de la realización étale de la superficie abeliana.

B. La Estrategia de Interpolación

La metodología central sigue el enfoque de Jetchev–Loeffler–Zerbes:

1. Vectores Base a partir de Puntos de Heegner: En lugar de interpolar los ciclos directamente, el autor interpola los vectores base en el espacio de representación asociado al motivo. Estos vectores se construyen a partir de puntos de Heegner en las curvas de Shimura.
2. Proyectores Sobrerconvergentes: El autor utiliza el proyector sobrerconvergente de Loeffler–Zerbes ($\Pi_j$) para interpolar los vectores base $e^{[k,j]}_{cp^n}$ (que dependen del peso $k$) en un vector con valores en distribuciones $e^{[U,j]}_{cp^n}$ definido sobre el espacio de pesos $U$.
3. Mapa Gysin Grande: Se construye un "Mapa Gysin Grande" para empujar estos vectores base interpolados hacia la cohomología de la curva de Shimura, obteniendo las Grandes Clases de Heegner Generalizadas.
4. Módulos de Distribuciones: La interpolación se realiza dentro de módulos de distribuciones ($D_U$) que interpolan las potencias tensoriales simétricas de las representaciones de Galois.

C. La Correspondencia de Jacquet–Langlands p-ádica

Un paso técnico crucial es el uso de la correspondencia de Jacquet–Langlands p-ádica (Proposición 4.11). Esta establece un isomorfismo entre la curva de eigen de Coleman–Mazur para formas modulares elípticas y la curva de eigen de Brasca–Buzzard para formas modulares cuaterniónicas. Esto permite al autor transferir la existencia de familias Coleman y sus propiedades del caso elíptico al caso cuaterniónico.

3. Contribuciones Clave

1. Construcción de Clases Grandes: El artículo define con éxito la Gran Clase de Heegner Generalizada $z^{[F,j]}_{cp}$ asociada a una familia Coleman $F$ de formas modulares cuaterniónicas. Esta clase vive en el grupo de cohomología de Galois $H^1(F_{cp}, V^*_F \otimes \dots)$, donde $V^*_F$ es la representación de Galois "Grande" que interpola las representaciones duales de las especializaciones de $F$.
2. Ley de Reciprocidad Explícita (Especialización): El artículo demuestra que estas clases grandes se especializan correctamente a clases de Heegner generalizadas clásicas. Específicamente, para un peso clásico $k$ en la familia, la especialización de la clase grande es proporcional a la clase clásica $z^{[F_k, \chi]}_{cp^n, 1}$, escalada por un factor binomial $\binom{2r}{j}^{-1}$ y el valor propio del operador $U_p$.
3. Propiedades de Sistema de Euler: El autor establece que las clases construidas satisfacen relaciones de compatibilidad con la norma (Proposición 5.17). Específicamente, la corestricción de la clase en el nivel $n+1$ hacia el nivel $n$ está relacionada con la clase en el nivel $n$ mediante la acción del operador de Hecke dual $U'_p$ (que actúa como el valor propio $a_p$). Esto confirma que las clases grandes forman un sistema de Euler.
4. Campo de Definición: El artículo refina el campo de definición de estas clases, mostrando que pueden definirse sobre el campo base $K$ (o campos de clase de anillo) en lugar de solo sobre los campos más grandes requeridos para los pasos intermedios, mediante la utilización del carácter universal del espacio de pesos.

4. Resultados Principales

Teorema 5.21 (Especialización de Clases Grandes):
Sea $F$ una familia Coleman que pasa por una forma modular cuaterniónica p-estabilizada $F_0$. Sea $z^{[F,j]}_{cp}$ la Gran Clase de Heegner Generalizada asociada. Para cualquier peso clásico $k = 2r+2$ en la familia y un carácter de Hecke $\chi$ de tipo infinito $(2r-j, j)$, la especialización es:
$$\text{Spec}_k(z^{[F,j]}_{cp}) = a_p(F_k)^{-n} \binom{2r}{j}^{-1} z^{[F_k, \chi]}_{cp^n, 1}$$
donde $a_p(F_k)$ es el valor propio $U_p$ de la especialización $F_k$.

Proposición 5.17 (Relaciones de Euler):
Las clases satisfacen la compatibilidad con la norma:
$$\text{Norm}_{F_{cp^{n+1}}/F_{cp^n}}(z^{[F,j]}_{cp^{n+1}, 1}) = a_p \cdot z^{[F,j]}_{cp^n, 1}$$

5. Significado

• Extensión del Arsenal de la Conjetura de Bloch–Kato: Este trabajo extiende la poderosa maquinaria de los sistemas de Euler desde el contexto elíptico al contexto cuaterniónico. Esto es vital para estudiar las funciones $L$ y los grupos de Selmer de motivos que no surgen de curvas elípticas sino de formas modulares cuaterniónicas (por ejemplo, ciertas superficies abelianas con Multiplicación Cuaterniónica).
• Fundamento para Leyes de Reciprocidad Explícitas: La construcción de estas clases grandes es el primer paso necesario para probar una Ley de Reciprocidad Explícita en el contexto cuaterniónico. Tal ley relacionaría las grandes clases de Heegner con funciones $L$ p-ádicas (específicamente, funciones $L$ p-ádicas de BDP) interpoladas a lo largo de la familia Coleman. El autor señala que esta ley de reciprocidad es objeto de trabajo futuro.
• Unificación de Contextos: Al adaptar el enfoque de [JLZ21] al caso cuaterniónico indefinido, el artículo demuestra la robustez de la metodología de "Clase Grande", mostrando que se aplica incluso cuando la geometría subyacente involucra curvas de Shimura y superficies abelianas con multiplicación cuaterniónica en lugar de curvas modulares.
• Avance Técnico: El artículo proporciona un tratamiento riguroso de la "reducción a la mitad de la dimensión" requerida en el contexto cuaterniónico (mediante idempotentes $e$ y $\bar{e}$) y el manejo de la aritmética específica de los campos de clase de anillo en el contexto de familias p-ádicas.

En resumen, este artículo cierra con éxito la brecha entre los ciclos de Heegner cuaterniónicos clásicos y las familias p-ádicas, proporcionando los objetos geométricos esenciales (Grandes Clases de Heegner Generalizadas) necesarios para atacar la conjetura de Bloch–Kato para una clase más amplia de representaciones automorfas.