Théorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

Resumo Técnico de "Iwasawa Theory of Artin Motifs and Weight 1 Modular Forms" por Alexandre Makoud

Enunciado do Problema
O artigo aborda a teoria de Iwasawa de motivos de Artin sobre $\mathbb{Q}$, focando especificamente na estrutura dos grupos de Selmer de Greenberg associados a representações de Artin irredutíveis $\rho$ com coeficientes em um corpo numérico $E$. Um desafio central neste domínio é a formulação de uma Conjectura Principal da teoria de Iwasawa para tais motivos. Embora o caso de motivos associados a representações de corpos totalmente reais seja bem compreendido (via os resultados de Wiles), o caso geral apresenta dificuldades: os motivos de Artin não possuem necessariamente valores críticos, e a construção clássica de funções $L$ $p$-ádicas de Deligne-Ribet não é diretamente aplicável.

O autor investiga a estrutura do grupo de Selmer de Greenberg ciclotômico $X_\infty(\rho, \rho^+)$ associado a um motivo de Artin $p$-estabilizado. Os principais objetivos são:

1. Estabelecer que este grupo de Selmer é um módulo de torção sobre a álgebra de Iwasawa $\Lambda = \mathcal{O}[[\Gamma]]$, um pré-requisito para definir uma função $L$ $p$-ádica algébrica.
2. Analisar o fenômeno dos "zeros triviais", relacionando a ordem de anulação da função $L$ algébrica em $T=0$ com a dimensão dos invariantes locais.
3. Especializar estes resultados para motivos de Artin provenientes de formas modulares clássicas de peso 1, onde as representações automórficas associadas não são cohomológicas, complicando a construção de funções $L$ $p$-ádicas analíticas.

Metodologia
O artigo emprega uma combinação de cohomologia de Galois, teoria de classes e a teoria de famílias de Hida.

• Estrutura Algébrica: O autor define o grupo de Selmer $X_\infty(\rho, \rho^+)$ como o dual de Pontryagin do núcleo do mapa de restrição global-para-local em cohomologia de Galois. A prova da torção baseia-se na análise da finitude dos grupos de Selmer em níveis finitos $X_n$ via a sequência de inflação-restrição. Isso reduz o problema ao estudo do grupo de Galois da extensão abeliana pro-$p$ máxima de $H_n$ (onde $H$ é o corpo cortado por $\rho$) não ramificada fora de $p$.
• Reguladores e Transcendência: A finitude dos grupos de Selmer e o não-anulamento da função $L$ algébrica estão ligados ao não-anulamento de um regulador $p$-ádico $R_p(\rho, \rho^+)$. Este regulador é definido via o logaritmo $p$-ádico de unidades globais. O autor invoca a conjectura fraca de Schanuel $p$-ádica (ou o caso onde a dimensão do subespaço ordinário $d^+=1$) para garantir a independência linear dos logaritmos $p$-ádicos, provando assim que o regulador é não-nulo.
• Especialização de Peso 1: Para formas modulares de peso 1, o autor utiliza famílias de Hida. Como as construções analíticas diretas de funções $L$ $p$-ádicas para formas de peso 1 não são padrão (devido à natureza não-cohomológica), o artigo constrói uma função $L$ $p$-ádica analítica $L_p^{an}(f_\alpha; T)$ especializando uma função $L$ $p$-ádica de duas variáveis definida em uma família de Hida $f$ que se especializa na forma de peso 1 $f_\alpha$. Isso depende da suavidade da curva de eigencurve nos pontos de peso 1 (Bellaïche-Dimitrov).
• Divisibilidade via Limites: Para relacionar as funções $L$ analíticas e algébricas, o autor emprega um argumento de limite. Eles consideram uma sequência de formas clássicas de peso $k \ge 2$, $g_n$, em uma família de Hida convergindo $p$-adicamente para $f_\alpha$. Usando o teorema de Kato sobre a divisibilidade de funções $L$ para peso $k \ge 2$, eles estabelecem uma relação de divisibilidade no limite, provando que a função $L$ algébrica divide a analítica.

Principais Contribuições e Resultados

1. Torção de Grupos de Selmer (Teorema A):
   Sob a suposição de que $d^+=1$ ou que a conjectura fraca de Schanuel se mantém, o autor prova que $X_\infty(\rho, \rho^+)$ é um $\Lambda$-módulo de torção. Além disso, se a interseção do corpo $H$ e a torre ciclotômica for trivial, a função $L$ algébrica $L_p^{alg}(\rho, \rho^+; T)$ não se anula em raízes da unidade $\zeta-1$ (para $\zeta \neq 1$).

2. Zeros Triviais e Reguladores (Teorema B):
   O artigo identifica um fenômeno de "zero trivial". A ordem de anulação de $L_p^{alg}$ em $T=0$ é mostrada como sendo pelo menos $e(\rho, \rho^+) = \dim_L H^0(\mathbb{Q}_p, V_p^-)$. Sob hipóteses específicas (não ramificado em $p$, $p$ não divide a ordem da imagem ou a dimensão), se $e(\rho, \rho^+) = 0$, o termo constante da função $L$ algébrica é dado explicitamente por:
   $$L_p^{alg}(\rho, \rho^+; 0) \doteq R_p(\rho, \rho^+) \cdot \frac{p}{\#(Cl_p(H)^\rho)}$$
   onde $R_p$ é o regulador $p$-ádico e $Cl_p(H)^\rho$ é o componente isotípico $\rho$ do grupo de classes $p$.

3. Conjectura Principal para Formas de Peso 1 (Teorema C):
   Para uma forma modular clássica $f$ de peso 1, o autor formula uma Conjectura Principal afirmando que a função $L$ algébrica $L_p^{alg}(f_\alpha; T)$ e a função $L_p^{an}(f_\alpha; T)$ (construída via famílias de Hida) diferem apenas por uma unidade em $\Lambda$.

• Resultado: O artigo prova uma divisibilidade: $L_p^{alg}(f_\alpha; T)$ divide $L_p^{an}(f_\alpha; T)$ em $\Lambda \otimes \mathbb{Q}_p$.
• Equivalência Condicional: O artigo mostra que, se a Conjectura Principal vale para formas de peso $k \ge 2$ na família de Hida, então ela vale para a especialização de peso 1.

Significância
O artigo fornece um arcabouço algébrico rigoroso para a teoria de Iwasawa de motivos de Artin gerais, preenchendo uma lacuna onde valores críticos estão ausentes. Ele consegue estender a teoria de zeros triviais e fórmulas de reguladores para este cenário, condicionado a conjecturas padrão em teoria da transcendência.

Crucialmente, o trabalho une a teoria de Iwasawa algébrica e analítica para formas modulares de peso 1. Ao alavancar a geometria das famílias de Hida e a suavidade da curva de eigencurve nos pontos de peso 1, o autor constró o uma função $L$ $p$-ádica bem definida e estabelece a divisibilidade fundamental prevista pela Conjectura Principal. Este resultado é significativo porque trata de formas de peso 1, que estão fora do escopo das construções cohomológicas clássicas, utilizando métodos puramente algébicos e de deformação. O artigo não pretende provar a Conjectura Principal incondicionalmente, mas estabelece as propriedades estruturais necessárias e a direção de divisibilidade chave, reduzindo a conjectura completa aos casos conhecidos de pesos superiores.