Resumo Técnico: Distribuições dos invariantes $\lambda$ de Iwasawa de torres $\mathbf{Z}_p$ sobre grafos de isogenia supersingulares

Enunciado do Problema

Este artigo investiga a distribuição dos invariantes $\lambda$ de Iwasawa associados a torres $\mathbf{Z}_p$ constantes sobre grafos de isogenia $\ell$ supersingulares duplos (DSIGs). O estudo situa-se na interseção da teoria dos grafos, da teoria de Iwasawa e da aritmética das curvas elípticas.

O objeto central de estudo é o grafo de isogenia $\ell$ supersingular, denotado por $SI(r, \ell)$, definido sobre o fecho algébrico de um corpo finito $\mathbf{F}_r$ (onde $r$ e $\ell$ são primos distintos). Os vértices representam classes de isomorfismo de curvas elípticas supersingulares, e as arestas representam isogenias $\ell$. Os autores consideram a versão "dupla", $X(r, \ell)$, que é um grafo não direcionado construído tratando as arestas direcionadas de $SI(r, \ell)$ e seus inversos como arestas distintas.

O problema foca no comportamento do invariante $\lambda$ de Iwasawa, $\lambda_\ell$, associado a uma torre $\mathbf{Z}_p$ específica (um sistema compatível de coberturas $\mathbf{Z}/p^n\mathbf{Z}$) sobre $X(r, \ell)$. Especificamente, os autores fixam o primo $r$ (o nível da curva modular) e o primo $p$ (a característica da torre), e deixam o primo $\ell$ variar sobre infinitos primos. O objetivo é determinar a distribuição estatística dos valores assumidos por $\lambda_\ell$ à medida que $\ell$ varia.

Metodologia

1. Teoria de Iwasawa em Teoria dos Grafos

Os autores utilizam o análogo em teoria dos grafos da teoria de Iwasawa desenvolvido por Gonet e Vallières. Para uma torre $\mathbf{Z}_p$ sobre um grafo $X$, a complexidade $\kappa(X_n)$ (o número de árvores geradoras da $n$-ésima camada) satisfaz uma fórmula assintótica:
$$\text{ord}_p(\kappa(X_n)) = \mu p^n + \lambda n + \nu$$
para $n$ suficientemente grande. Os inteiros $\mu$ e $\lambda$ são os invariantes de Iwasawa. O invariante $\lambda$ é determinado pelo elemento característico $\Delta(T)$ da torre, que é derivado da matriz de adjacência do grafo base e da atribuição de tensão que define a torre.

2. Propriedades Espectrais dos Grafos de Isogenia

Uma ligação crucial é estabelecida entre a matriz de adjacência do grafo de isogenia supersingular e formas modulares. Seguindo Eichler, os autovalores da matriz de adjacência $A(SI(r, \ell))$ correspondem aos coeficientes de Fourier $\ell$-ésimos de formas modulares de peso 2 e nível $r$. Especificamente, o espectro consiste em:

• O autovalor $\ell+1$, correspondente à série de Eisenstein $\mathcal{E}_2$.
• Os autovalores $a_\ell(f)$, onde $f$ percorre as novas formas no espaço $S_2(\Gamma_0(r))$.

Os autores definem uma "torre $\mathbf{Z}_p$ constante" sobre $X(r, \ell)$ usando uma atribuição de tensão específica (mapeando arestas forward para $1$ e arestas backward para $-1$ em $\mathbf{Z}_p$). Eles derivam uma fórmula para o elemento característico $\Delta_\ell(T)$ desta torre, mostrando que ele fatora em termos relacionados aos autovalores da matriz de adjacência.

3. Representações de Galois e Teoremas de Imagem Grande

Para analisar a distribuição de $\lambda_\ell$ à medida que $\ell$ varia, os autores devem controlar as valuações $p$-ádicas dos termos $\ell+1 - a_\ell(f)$. Isso requer entender a distribuição dos coeficientes de Fourier $a_\ell(f)$ módulo $p$.

O artigo emprega o "Teorema de Imagem Grande" para representações de Galois associadas a novas formas, conforme estabelecido por Lei, Loeffler e Zerbes. Para um conjunto de novas formas $f_1, \dots, f_s$ (representantes de órbitas de Galois) sem multiplicação complexa, a imagem do produto de suas representações de Galois associadas (juntamente com o caractere ciclotômico) é "grande" (essencialmente o produto completo de grupos lineares gerais sobre os anéis relevantes) para todos, exceto finitamente muitos primos $p$.

4. Teorema da Densidade de Chebotarev

Ao combinar a decomposição espectral do elemento característico com o Teorema de Imagem Grande, os autores constroem um subconjunto específico do grupo de Galois de uma extensão finita $K/\mathbf{Q}$. Eles aplicam o Teorema da Densidade de Chebotarev para mostrar que os elementos de Frobenius $\text{Frob}_\ell$ caem em classes de conjugação específicas com densidade positiva. Essas classes correspondem a condições de congruência específicas sobre os coeficientes $a_\ell(f)$, que por sua vez ditam o valor do invariante $\lambda$.

Contribuições e Resultados Chave

1. Fórmula Explícita para $\lambda_\ell$

Os autores derivam uma fórmula explícita para o invariante $\lambda$ de Iwasawa da torre $\mathbf{Z}_p$ constante sobre $X(r, \ell)$. Assumindo $r \equiv 1 \pmod{12}$ e $\ell \equiv 1 \pmod{p}$, eles provam:
$$\lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)|$$
onde $W$ é um subconjunto dos índices das órbitas de novas formas, e $|O(k)|$ é o tamanho da $k$-ésima órbita (igual ao grau do corpo de Hecke da nova forma). O termo $1$ surge do componente da série de Eisenstein, e o fator de $2$ surge da estrutura do grafo duplo.

2. O Teorema da Distribuição (Teorema Principal 1.2 / 5.5)

O resultado primário afirma que, para um primo fixo $r \equiv 1 \pmod{12}$ e para todos, exceto finitamente muitos primos ímpares $p$, o conjunto de primos $\ell$ para os quais $\lambda_\ell$ assume um valor específico tem densidade inferior positiva.

Especificamente, para qualquer subconjunto $W \subset \{1, \dots, s\}$ das órbitas de novas formas, o conjunto:
$$\mathcal{L}_W = \left\{ \ell : \ell \neq r, \ell \equiv 1 \pmod{p}, \lambda_\ell = 1 + 2 \sum_{k \in W} |O(k)| \right\}$$
tem uma densidade inferior positiva. Isso implica que todo valor possível da forma $1 + 2 \sum |O(k)|$ é realizado por infinitos primos $\ell$.

3. Conexão com Órbitas de Novas Formas

O artigo demonstra que os valores possíveis do invariante $\lambda$ de Iwasawa são estritamente determinados pela aritmética das novas formas de nível $r$. O tamanho das órbitas de novas formas (graus dos corpos de Hecke) dita diretamente os valores possíveis de $\lambda_\ell$.

4. Conjectura sobre Realizabilidade de Inteiros Ímpares

Com base em dados computacionais do LMFDB (Banco de Dados de Funções L e Formas Modulares), os autores observam que, para vários $r$, o conjunto de valores $\{1 + 2 \sum_{k \in W} |O(k)|\}$ cobre muitos inteiros ímpares. Eles propõem a Conjectura 5.6: Para qualquer inteiro não negativo $n$, existe um primo $r$ e um subconjunto de órbitas de novas formas tal que $n = \sum |O(k)|$. Se verdadeira, isso implicaria que todo inteiro ímpar pode ser realizado como um invariante $\lambda$ de Iwasawa para alguma torre $\mathbf{Z}_p$ constante sobre um DSIG.

Significado e Afirmações

O artigo afirma revelar conexões profundas entre quatro áreas distintas:

1. Teoria dos Grafos: Especificamente, a teoria espectral dos grafos de isogenia.
2. Teoria de Iwasawa: O estudo de invariantes em torres de grafos.
3. Curvas Elípticas: A aritmética das curvas supersingulares e suas isogenias.
4. Representações de Galois: A distribuição dos coeficientes de Fourier de novas formas.

Os autores enfatizam que seu trabalho fornece um mecanismo concreto (via o teorema da densidade de Chebotarev aplicado a representações de Galois de novas formas) para prever a distribuição dos invariantes de Iwasawa em um contexto de teoria dos grafos. Eles notam que, embora trabalhos anteriores (por exemplo, Lei e Müller) tenham estudado torres $\mathbf{Z}_p$ de grafos de isogenia, este artigo aborda especificamente as torres "constantes" e estabelece um teorema de distribuição preciso que liga os invariantes às órbitas de Galois das novas formas.

O artigo é modesto em seu escopo, restringindo o teorema principal ao caso onde $r \equiv 1 \pmod{12}$ para garantir a simetria da matriz de adjacência e a ausência de certos invariantes $j$ supersingulares (0 e 1728). Os autores sugerem que estender a teoria para remover essa suposição é uma direção natural para trabalhos futuros, o que potencialmente permitiria a realização de todo número ímpar como um invariante $\lambda$.

O artigo também reconhece trabalhos relacionados de Munier e Shnidman sobre a distribuição dos subgrupos $p$-Sylow de Jacobianas de grafos de isogenia, notando que esclarecer a relação precisa entre seus resultados e o ponto de vista da teoria de Iwasawa apresentado aqui é um problema aberto interessante.