Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications

1. O Problema

O artigo aborda um problema fundamental na teoria dos números e na geometria aritmética: a não-anulação de valores centrais de funções L de Hecke em famílias $p$-ádicas, especificamente para caracteres de Hecke autoduais sobre corpos CM (Complex Multiplication).

• Contexto: Seja $K$ um corpo CM e $F$ seu subcorpo totalmente real maximal. Considera-se um caráter de Hecke autodual $\lambda$ sobre $K$ e uma extensão anticyclotômica $\mathbb{Z}_p$-extensão de $K$ (unramificada fora de um primo $p$ de $F$). O objetivo é estudar o comportamento dos valores $L(1, \lambda\nu)$ quando $\nu$ varia sobre os caracteres de ordem finita do grupo de Galois dessa extensão.
• A Questão Principal (Q1): Os valores $L(1, \lambda\nu)$ são não nulos para "quase todos" (isto é, exceto um número finito) dos caracteres $\nu$ que satisfazem a condição de paridade $\epsilon(\lambda\nu) = +1$?
• A Questão Mod $\ell$ (Q2): Para um primo $\ell \neq p$, qual é a valoração $\ell$-ádica da parte algébrica do valor L, denotada por $L_{alg}(1, \lambda\nu)$? Especificamente, deseja-se provar que $v_\ell(L_{alg}(1, \lambda\nu)) = \mu_\ell(\lambda)$ para quase todos os $\nu$, onde $\mu_\ell(\lambda)$ é um invariante local relacionado à parte $\ell$ do número de Tamagawa.

Motivação e Lacuna Existente:
Trabalhos anteriores de Hida (anos 80-90) e Finis (anos 2000) estabeleceram resultados de não-anulação, mas com limitações. Hida provou a não-anulação apenas para um subconjunto Zariski denso de caracteres, e não para "quase todos". Além disso, uma lacuna foi descoberta na prova de Hida sobre a densidade de pontos CM em produtos de variedades modulares. Isso deixou incompleta a prova de Hsieh (2014) da divisibilidade por congruência de Eisenstein em direção à Conjectura Principal de Iwasawa para corpos CM.

2. Metodologia

A abordagem dos autores é inovadora, combinando teoria de representações automorfas, teoria ergódica e análise de formas modulares em conjuntos de Shimura. Diferente das abordagens anteriores baseadas em séries de Eisenstein de Hilbert e densidade de pontos CM, este trabalho utiliza:

1. Correspondência Theta e Grupos Quaterniônicos:

   • Os autores reparam o problema de não-anulação de caracteres de Hecke (sobre o grupo unitário $U(1)$) para um problema sobre o grupo unitário $U(2)$ (ou álgebra de quaterniões totalmente definida $B$ sobre $F$) via correspondência theta.
   • Eles constroem formas modulares CM (vetores de teste) em um conjunto de Shimura associado a $B$.

2. Fórmula de Waldspurger Explícita:

   • Utilizam uma fórmula explícita de Waldspurger (baseada no trabalho de Cai-Shu-Tian) para relacionar os valores centrais de funções L de Rankin-Selberg $L(1/2, \pi_\lambda \otimes \chi_0\nu)$ com períodos toricos (integrais sobre toros) de formas modulares no conjunto de Shimura.
   • Estabelecem a integralidade $\ell$-ádica desses valores L normalizados.

3. Ergodicidade de Flows Unipotentes (Ratner):

   • A chave para provar a não-anulação é a equidistribuição de pontos especiais (pontos CM) em produtos do conjunto de Shimura.
   • Eles aplicam o teorema de ergodicidade de Ratner para fluxos unipotentes. Isso permite mostrar que, para quase todos os caracteres $\nu$, o período torico não se anula módulo $\ell$.
   • Novidade Técnica: Diferente de trabalhos anteriores (Vatsal, Cornut-Vatsal) que tratavam casos onde o vetor de teste era não-Eisenstein em todas as componentes, no caso CM, o vetor de teste é não-Eisenstein apenas em uma componente específica ($X^+$ ou $X^-$) determinada pelo fator $\epsilon$. Os autores refinam a estratégia para lidar com essa restrição, utilizando órbitas de Galois e modificações de Hecke.

4. Comparação de Períodos:

   • Para obter o resultado mod $\ell$ para os valores L de Hecke (e não apenas os de Rankin-Selberg), eles estabelecem uma relação precisa entre o período automorfo (quaterniônico) e o período motivico (CM).
   • Usam um caráter auxiliar $\chi_0$ e uma estratégia de "ponte" para comparar as valorações $\ell$-ádicas, provando que a desigualdade inferior conhecida se torna uma igualdade para quase todos os caracteres.

3. Principais Contribuições e Resultados

O artigo apresenta os seguintes teoremas centrais:

• Teorema 1.1 (Não-anulação Complexa):
  Para um corpo CM $K$, um caráter autodual $\lambda$ e um primo $p$ de grau 1 em $F$, os valores $L(1, \lambda\nu)$ são não nulos para todos exceto um número finito de caracteres $\nu$ de ordem finita tal que $\epsilon(\lambda\nu) = +1$.

  • Significado: Resolve o problema (Q1) de forma uniforme, superando a limitação de "densidade de Zariski" dos trabalhos anteriores.

• Teorema 1.4 (Não-anulação Mod $\ell$):
  Para um primo $\ell \neq p$ ordinário, a valoração $\ell$-ádica da parte algébrica do valor L satisfaz:
  $$v_\ell(L_{alg}(1, \lambda\nu)) = \mu_\ell(\lambda)$$
  para todos exceto um número finito de $\nu$ com $\epsilon(\lambda\nu) = +1$.

  • Significado: Determina exatamente a divisibilidade $\ell$-ádica, confirmando a conjectura de Bloch-Kato nesse contexto específico.

• Teorema 1.6 e 6.7 (Aplicação à Conjectura de Iwasawa):
  Os resultados acima permitem completar a prova de Hsieh da divisibilidade por congruência de Eisenstein em direção à Conjectura Principal de Iwasawa para corpos CM.

  • Especificamente, provam que o polinômio característico do módulo de Selmer $F_\Sigma(\psi)$ é divisível pela função L $p$-ádica de Katz $L_\Sigma(\psi)$.
  • Isso corrige a lacuna na prova de Hsieh, que dependia de resultados de não-anulação simultânea que antes não eram garantidos para "quase todos" os caracteres.

• Corolário 1.2 (Ranks de Mordell-Weil):
  Como aplicação direta, se $\epsilon(\lambda) = +1$, o grupo de Mordell-Weil $A_\lambda(K_{p^\infty})$ é finitamente gerado.

4. Significado e Impacto

1. Resolução de uma Lacuna Crítica: O trabalho fecha uma lacuna importante na literatura sobre a Conjectura Principal de Iwasawa para corpos CM, validando a prova de Hsieh e fortalecendo a base da teoria de Iwasawa para extensões anticyclotômicas.
2. Avanço Metodológico: A introdução de técnicas de ergodicidade de Ratner no contexto de formas modulares CM sobre corpos de números totais (além de corpos quadráticos imaginários) representa um avanço significativo. Permite tratar casos onde métodos geométricos clássicos (densidade de pontos CM) falharam ou eram insuficientes.
3. Generalização: Os resultados são válidos para corpos CM gerais, não apenas para corpos quadráticos imaginários, e tratam de primos $p$ de grau 1 de forma uniforme.
4. Ferramentas para Futuro: A estratégia de usar caracteres auxiliares e a comparação de períodos quaterniônicos e motivicos abre caminho para estudar a não-anulação em casos onde $p$ tem grau maior que 1 (trabalho futuro dos autores) e para investigar a conjectura de Gan-Gross-Prasad em casos endoscópicos.

Em resumo, o artigo fornece uma prova robusta e completa da não-anulação de valores L de Hecke em famílias $p$-ádicas sobre corpos CM, utilizando uma síntese poderosa de teoria automorfa e dinâmica, com implicações diretas e profundas para a teoria de Iwasawa e a conjectura de Birch e Swinnerton-Dyer.