Interpolation of generalized Heegner classes along quaternionic Coleman families

1. Formulação do Problema e Contexto

O artigo aborda um problema central na geometria aritmética: a construção de sistemas de Euler para estudar a conjectura de Bloch–Kato para representações de Galois associadas a formas modulares.

• Contexto: A conjectura de Bloch–Kato relaciona a ordem de anulação de funções $L$ com o tamanho dos grupos de Selmer. Uma ferramenta primária para limitar esses grupos é a construção de sistemas de Euler (famílias de classes de cohomologia compatíveis por norma).
• Trabalho Existente:
  • Para curvas elípticas ($GL_2$), pontos de Heegner fornecem tais sistemas (Kolyvagin).
  • Para formas modulares de peso superior, foram introduzidos Ciclos de Heegner Generalizados (Bertolini–Darmon–Prasanna, [BDP13]).
  • Interpolação: Howard, Büyükboduk–Lei e Jetchev–Loeffler–Zerbes ([JLZ21]) interpolaram com sucesso essas classes ao longo de famílias de Hida (ordinárias, inclinação 0) e famílias de Coleman (inclinação finita) de formas modulares elípticas, criando "Grandes Classes de Heegner".
• A Lacuna: Embora a teoria dos ciclos de Heegner generalizados exista para formas modulares quaternionicas (associadas a curvas de Shimura e álgebras de quaterniões indefinidas, conforme desenvolvido por Brooks [HB15]), a interpolação p-ádica dessas classes ao longo de famílias de Coleman no contexto quaternionico não havia sido estabelecida.
• Objetivo: Construir Grandes Classes de Heegner Generalizadas interpolando p-àdica as classes de Heegner generalizadas associadas a formas modulares quaternionicas ao longo de uma família de Coleman (inclinação finita), adaptando os métodos de [JLZ21] ao contexto quaternionico indefinido.

2. Metodologia

O autor emprega uma abordagem geométrica e cohomológica, preenchendo a lacuna entre formas modulares clássicas e famílias p-ádicas através da teoria dos motivos e das variedades de Shimura.

A. O Cenário Geométrico

• Contexto Quaternionico Indefinido: O trabalho ocorre sobre uma álgebra de quaterniões indefinida $B$ de discriminante $N^- > 1$. As formas modulares são definidas em curvas de Shimura $\tilde{X}_m$ (que classificam superfícies abelianas QM) em vez de curvas modulares clássicas.
• Variedades Generalizadas de Kuga–Sato: O autor define a variedade generalizada de Kuga–Sato $W_{k,m}$ como um produto fibrado da superfície abeliana universal $\tilde{A}_m$ sobre a curva de Shimura.
• Ciclos de Heegner Generalizados: Utilizando um isogenia $\phi$ entre uma superfície abeliana CM fixa $A$ e uma superfície $A_{cp^n}$, o autor constrói um ciclo $\Delta^{[k]}_{\phi, m}$ no grupo de Chow de $W_{k,m}$.
• Truque de Lieberman: Para simplificar a cohomologia, o autor utiliza o truque de Lieberman para mapear o ciclo da variedade de alta dimensão $W_{k,m}$ para a curva de Shimura $\tilde{X}_m$, ao custo de trabalhar com um feixe de coeficientes mais complexo envolvendo tensores simétricos da realização étale da superfície abeliana.

B. A Estratégia de Interpolação

A metodologia central segue a abordagem de Jetchev–Loeffler–Zerbes:

1. Vetores de Base a partir de Pontos de Heegner: Em vez de interpolar os ciclos diretamente, o autor interpola os vetores de base no espaço de representação associado ao motivo. Esses vetores são construídos a partir de pontos de Heegner nas curvas de Shimura.
2. Projetores Sobreconvergentes: O autor utiliza o projetor sobreconvergente de Loeffler–Zerbes ($\Pi_j$) para interpolar os vetores de base $e^{[k,j]}_{cp^n}$ (que dependem do peso $k$) em um vetor com valores em distribuições $e^{[U,j]}_{cp^n}$ definido sobre o espaço de pesos $U$.
3. Aplicação Gysin "Grande": Uma "Aplicação Gysin Grande" é construída para empurrar esses vetores de base interpolados para a cohomologia da curva de Shimura, produzindo as Grandes Classes de Heegner Generalizadas.
4. Módulos de Distribuições: A interpolação é realizada dentro de módulos de distribuições ($D_U$) que interpolam as potências tensoriais simétricas das representações de Galois.

C. A Correspondência de Jacquet–Langlands p-ádica

Um passo técnico crucial é o uso da correspondência de Jacquet–Langlands p-ádica (Proposição 4.11). Esta estabelece um isomorfismo entre a curva de eigencurva de Coleman–Mazur para formas modulares elípticas e a curva de eigencurva de Brasca–Buzzard para formas modulares quaternionicas. Isso permite ao autor transferir a existência de famílias de Coleman e suas propriedades do caso elíptico para o caso quaternionico.

3. Contribuições Principais

1. Construção de Grandes Classes: O artigo define com sucesso a Grande Classe de Heegner Generalizada $z^{[F,j]}_{cp}$ associada a uma família de Coleman $F$ de formas modulares quaternionicas. Esta classe vive no grupo de cohomologia de Galois $H^1(F_{cp}, V^*_F \otimes \dots)$, onde $V^*_F$ é a representação de Galois "Grande" que interpola as representações duais das especializações de $F$.
2. Lei de Reciprocidade Explícita (Especialização): O artigo prova que essas grandes classes se especializam corretamente para classes de Heegner generalizadas clássicas. Especificamente, para um peso clássico $k$ na família, a especialização da grande classe é proporcional à classe clássica $z^{[F_k, \chi]}_{cp^n, 1}$, escalada por um fator binomial $\binom{2r}{j}^{-1}$ e pelo autovalor do operador $U_p$.
3. Propriedades de Sistema de Euler: O autor estabelece que as classes construídas satisfazem relações de compatibilidade por norma (Proposição 5.17). Especificamente, a corestrição da classe no nível $n+1$ para o nível $n$ está relacionada à classe no nível $n$ pela ação do operador de Hecke dual $U'_p$ (que atua como o autovalor $a_p$). Isso confirma que as grandes classes formam um sistema de Euler.
4. Campo de Definição: O artigo refina o campo de definição dessas classes, mostrando que elas podem ser definidas sobre o campo base $K$ (ou corpos de classes de anel) em vez de apenas os campos maiores exigidos para as etapas intermediárias, utilizando o caráter universal do espaço de pesos.

4. Resultados Principais

Teorema 5.21 (Especialização de Grandes Classes):
Seja $F$ uma família de Coleman passando por uma forma modular quaternionica p-estabilizada $F_0$. Seja $z^{[F,j]}_{cp}$ a Grande Classe de Heegner Generalizada associada. Para qualquer peso clássico $k = 2r+2$ na família e um caráter de Hecke $\chi$ de tipo no infinito $(2r-j, j)$, a especialização é:
$$\text{Spec}_k(z^{[F,j]}_{cp}) = a_p(F_k)^{-n} \binom{2r}{j}^{-1} z^{[F_k, \chi]}_{cp^n, 1}$$
onde $a_p(F_k)$ é o autovalor $U_p$ da especialização $F_k$.

Proposição 5.17 (Relações de Euler):
As classes satisfazem a compatibilidade por 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

• Extensão do Conjunto de Ferramentas da Conjectura de Bloch–Kato: Este trabalho estende a poderosa maquinaria de sistemas de Euler do cenário elíptico para o cenário quaternionico. Isso é vital para estudar funções $L$ e grupos de Selmer de motivos que não surgem de curvas elípticas, mas de formas modulares quaternionicas (por exemplo, certas superfícies abelianas com Multiplicação Quaternionica).
• Fundamento para Leis de Reciprocidade Explícitas: A construção dessas grandes classes é o primeiro passo necessário para provar uma Lei de Reciprocidade Explícita no cenário quaternionico. Tal lei relacionaria as grandes classes de Heegner a funções L p-ádicas (especificamente, funções L p-ádicas BDP) interpoladas ao longo da família de Coleman. O autor observa que essa lei de reciprocidade é objeto de trabalho futuro.
• Unificação de Cenários: Ao adaptar a abordagem de [JLZ21] ao caso quaternionico indefinido, o artigo demonstra a robustez da metodologia de "Grande Classe", mostrando que ela se aplica mesmo quando a geometria subjacente envolve curvas de Shimura e superfícies abelianas QM em vez de curvas modulares.
• Avanço Técnico: O artigo fornece um tratamento rigoroso da "redução pela metade da dimensão" necessária no cenário quaternionico (via idempotentes $e$ e $\bar{e}$) e do manejo da aritmética específica dos corpos de classes de anel no contexto de famílias p-ádicas.

Em resumo, este artigo preenche com sucesso a lacuna entre os ciclos de Heegner quaternionicos clássicos e as famílias p-ádicas, fornecendo os objetos geométricos essenciais (Grandes Classes de Heegner Generalizadas) necessários para atacar a conjectura de Bloch–Kato para uma classe mais ampla de representações automórficas.