Iwasawa theory for abelian towers of digraphs

Resumo Técnico: Teoria de Iwasawa para Torres Abelianas de Digrafos

Enunciado do Problema
Este artigo formula e prova conjecturas principais de Iwasawa para os grupos de Picard e grupos de Bowen–Franks no contexto de torres de grafos direcionados (digrafos) $\mathbb{Z}_p^d$. Enquanto a teoria de Iwasawa clássica estuda o crescimento de grupos de classes de ideais em torres de corpos numéricos, e trabalhos recentes estenderam isso para grafos não direcionados, este trabalho aborda o cenário mais geral de digrafos. Os autores visam conectar a estrutura algébrica desses grupos (especificamente suas partes $\ell$-primárias) a objetos analíticos definidos via atribuições de voltagem, especificamente funções $L$ $p$-ádicas. Um objetivo secundário é generalizar resultados clássicos de Sinnott e Washington sobre o crescimento de grupos de classes para este contexto de teoria dos grafos e investigar o comportamento assintótico de um "defeito" que mede a discrepância entre os postos algébricos e analíticos.

Metodologia
Os autores empregam uma síntese de teoria algébrica de grafos, teoria de Iwasawa e dinâmica simbólica.

1. Estrutura Algébrica: O estudo centra-se em uma torre de digrafos $X = X_0 \leftarrow X_1 \leftarrow \dots$ onde o grupo de Galois da cobertura $X_n \to X$ é isomorfo a $(\mathbb{Z}/p^n\mathbb{Z})^d$. Essas torres são realizadas via atribuições de voltagem com valores em $\mathbb{Z}_p^d$ no grafo base $X$.
2. Objetos Algébricos: Os autores definem os limites inversos das partes $\ell$-primárias dos grupos de Picard ($Pic_\ell(X_\infty)$) e dos grupos de Bowen–Franks ($BF_\ell(X_\infty)$). Estes são tratados como módulos sobre a álgebra de Iwasawa $\Lambda_\ell(\Gamma) = \mathbb{Z}_\ell[[\mathbb{Z}_p^d]]$.
3. Objetos Analíticos: Duas funções $p$-ádicas são introduzidas: a função zeta $p$-ádica $L_p(X, \alpha)$ e a função Bowen–Franks $p$-ádica $\mathcal{L}_p(X, \alpha)$. Elas são definidas como determinantes envolvendo a matriz de grau e uma matriz de adjacência torcida $A_\alpha$ dentro do anel de polinômios com expoentes em $\mathbb{Z}_p$.
4. Ideais Característicos:
   • Para o caso $\ell = p$, os ideais característicos são definidos via o teorema da estrutura para módulos finitamente gerados e torcionários sobre $\Lambda_p(\Gamma)$.
   • Para o caso $\ell \neq p$, os autores utilizam o arcabouço desenvolvido por Bandini e Longhi [BL23] para definir ideais característicos para módulos sobre $\Lambda_\ell(\Gamma)$, que se decompõe com base em caracteres de ordem finita de $\Gamma$.
5. Análise de Crescimento: Para analisar o crescimento das ordens desses grupos, os autores generalizam o método de Sinnott [Sin87] para o cenário multivariável. Isso envolve estimar a valoração $\ell$-ádica de polinômios avaliados em raízes da unidade de potência $p$.

Contribuições Principais e Resultados

• Conjecturas Principais de Iwasawa (Teorema A): O resultado primário estabelece uma igualdade entre o ideal característico dos módulos algébricos e o ideal gerado pelas funções $p$-ádicas analíticas. Especificamente, para todas as primitivas $\ell$:
  $$\text{Char}_{\Lambda_\ell(\Gamma)}(Pic_\ell(X_\infty)) = (L_p(X, \alpha))$$
  $$\text{Char}_{\Lambda_\ell(\Gamma)}(BF_\ell(X_\infty)) = (\mathcal{L}_p(X, \alpha))$$
  Os autores provam que $Pic_\ell(X_\infty)$ é um módulo torcionário, enquanto $BF_\ell(X_\infty)$ é torcionário se, e somente se, a função analítica for não nula. Isso generaliza resultados anteriores para grafos não direcionados e para o caso $\ell=p$.

• Teorema de Crescimento Generalizado (Teorema B): O artigo prova um teorema do tipo Sinnott–Washington para $\ell \neq p$. Ele estabelece que a ordem da parte torcionária dos grupos de Picard e Bowen–Franks cresce assintoticamente como:
  $$\text{ord}_\ell(|Pic_\ell(X_n)_{tor}|) = p^{nd} \mu_\ell(L_p(X, \alpha)) + O(p^{(d-1)n})$$
  onde $\mu_\ell$ denota a valoração $\ell$-ádica do coeficiente líder da função $p$-ádica. Isso generaliza resultados clássicos sobre grupos de classes de ideais para digrafos para qualquer $d \geq 1$.

• Análise de Defeito (Teorema C): Os autores definem o "defeito" $\delta(X) = a(X) - b(X)$, onde $a(X)$ é o posto de Bowen–Franks analítico (ordem do polo da função zeta em 1) e $b(X)$ é o posto algébrico (posto do grupo de Bowen–Franks). Eles provam que em uma torre $\mathbb{Z}_p^d$, o defeito é não decrescente: $\delta(X_n) \geq \delta(X_{n-1})$.

  • No caso $d=1$, se $L_p(X, \alpha) \neq 0$, o defeito é mostrado como sendo limitado e eventualmente constante.
  • Para torres originadas de atribuições de voltagem constantes, o defeito torna-se constante para $n$ suficientemente grande.
  • Para grafos de isogenia de curvas elípticas supersingulares, o defeito é constante para todo $n$.

Significância e Alegações
O artigo afirma fornecer a primeira formulação das conjecturas principais de Iwasawa para as partes $\ell$-primárias dos grupos de Picard e Bowen–Franks no cenário de grafos direcionados, estabelecendo uma ponte entre a teoria das funções zeta de Ihara e a estrutura de módulos desses grupos.

Os autores destacam que sua generalização do método de Sinnott para polinômios multivariáveis (Corolário 6.6) pode ser de interesse independente para outras aplicações envolvendo valorações $\ell$-ádicas em teoria de Iwasawa multivariável. Além disso, a introdução do conceito de "defeito" traça um paralelo com o defeito de Leopoldt em teoria dos números. Embora os autores notem que a relação conceitual entre o defeito de grafos e o defeito de Leopoldt é atualmente desconhecida, eles observam que o comportamento do defeito nessas torres (crescente e uniformemente limitado) espelha o comportamento do defeito de Leopoldt em torres de corpos numéricos.

O trabalho baseia-se em desenvolvimentos recentes na teoria de módulos sobre álgebras de Iwasawa (especificamente Bandini–Longhi) e conecta essas estruturas algébricas à dinâmica simbólica, onde os grupos de Bowen–Franks servem como invariantes para espaços de deslocamento (shift spaces). O artigo não propõe novas aplicações experimentais, mas estabelece um arcabouço teórico rigoroso para compreender a aritmética de torres de grafos.