Strengthenings of Mazur's Conjecture for Higher Heegner Points

Resumo Técnico: Fortalecimentos da Conjectura de Mazur para Pontos de Heegner Superiores

1. O Problema

O artigo aborda a Conjectura de Mazur, que trata da propriedade de "não-torção" de pontos de Heegner superiores em curvas modulares e curvas de Shimura.

Historicamente, Mazur conjecturou que, para uma extensão anticyclotomic $\mathbb{Z}_p$ de um corpo quadrático imaginário $L$, os pontos de Heegner de condutor $p^n$ (denotados por $y[p^n]$) não são pontos de torção no jacobiano (ou em uma variedade abeliana $A$ derivada dele) para $n$ suficientemente grande. Embora Cornut (2002) tenha provado a existência de tais pontos não-torção, a questão quantitativa — ou seja, para quantos $n$ isso ocorre e qual a distribuição desses pontos — permaneceu em aberto. O problema central é determinar se esses pontos são não-torção para quase todos os $n$ (versão vertical) ou para primos $p$ suficientemente grandes (versão horizontal).

2. Metodologia

A principal inovação de Zhang é o abandono das estratégias anteriores (como as de Cornut e Vatsal), que dependiam dos Teoremas de Ratner sobre fluxos unipotentes e exigiam hipóteses restritivas sobre a estrutura de nível. Em vez disso, o autor utiliza uma abordagem baseada na interação entre órbitas de Galois e órbitas de Hecke.

A metodologia segue estes passos:

1. Quantificação de Órbitas: O autor quantifica o tamanho relativo das órbitas de Galois ($G_n$) em relação às órbitas de Hecke ($T_n$). Ele demonstra que, à medida que o termo de densidade $d(n)$ se aproxima de 1, a órbita de Galois ocupa uma proporção cada vez maior da órbita de Hecke.
2. Redução Ergonômica: O problema é reduzido a um problema de distribuição. O autor utiliza resultados de equidistribuição de operadores de Hecke (Clozel-Oh-Ullmo) e a classificação de medidas de junção (joining measures) de Einsiedler-Lindenstrauss.
3. Redução Supersingular Simultânea: O autor analisa o mapa de redução supersingular simultânea. Ao mostrar que este mapa é sobrejetivo para $n$ suficientemente grande (sob certas condições de comensurabilidade), ele prova que as órbitas de Hecke se distribuem uniformemente no locus supersingular.
4. Abordagem de Variedades de Shimura de Tipo Hodge: A técnica é generalizada para variedades de Shimura de tipo Hodge, utilizando os construtos de Kisin sobre modelos integrais e tensores para identificar subgrupos algébricos de automorfismos.

3. Principais Contribuições

• Superação de Restrições de Nível: Ao contrário de trabalhos anteriores, o método não exige a surjetividade de mapas de redução ou hipóteses específicas sobre a estrutura de nível das curvas de Shimura.
• Unificação de Órbitas: O estabelecimento de uma relação quantitativa direta entre a ação de Hecke (analítica/geométrica) e a ação de Galois (aritmética).
• Generalização: A prova não se limita a curvas modulares, estendendo-se a curvas de Shimura sobre $\mathbb{Q}$ e, potencialmente, para variedades de Shimura de tipo Hodge de maior dimensão.

4. Resultados Principais

O artigo apresenta três teoremas fundamentais:

• Versão Vertical (Teorema 1.2 / Corolário 9.2): Para um primo $p$ coprimo ao nível e ao discriminante, e para $n$ suficientemente grande ($n \gg 1$), a soma dos pontos de Heegner de condutor $p^n$ sob a ação de um conjunto de representantes de Galois não é um ponto de torção.
• Versão Horizontal (Teorema 1.3 / Corolário 8.4): Para qualquer primo $p$ suficientemente grande ($p \gg 1$), a soma dos pontos de Heegner de condutor $p$ sob a ação de representantes de Galois não é um ponto de torção.
• Resultado de Densidade (Teorema 1.4 / Corolário 8.2): Fornece uma condição quantitativa precisa baseada no termo de densidade $d(n)$. Se $1 - d(n)$ for menor que uma constante crítica $c(\pi, \ell, T)$, a propriedade de não-torção é garantida.

5. Significância

Este trabalho tem implicações profundas na Teoria de Iwasawa e na Conjectura de Birch-Swinnerton-Dyer (BSD). Especificamente:

• Sistemas de Kolyvagin: Os resultados podem ser usados para estabelecer a não-trivialidade de sistemas de Kolyvagin para módulos de Galois.
• Valores L de Rankin-Selberg: A técnica abre caminho para resultados de não-anulação de valores $L$ de representações automórficas torcidas por caracteres de condutores grandes.
• Conexão Teoria de Números-Teoria Ergonômica: O artigo consolida a tendência moderna de resolver problemas de aritmética profunda através de métodos de teoria ergódica e equidistribuição em espaços homogêneos.