A canonical generator for congruence ideals of Hida families

Enunciado do Problema
O artigo aborda a construção e o estudo aritmético de funções $L$ $p$-ádicas adjuntas canônicas associadas a famílias de Hida de formas modulares. Embora as funções $L$ $p$-ádicas para o levantamento adjunto de uma forma modular tenham sido previamente construídas por Schmidt e Hida, essas construções não se alinhavam totalmente com o arcabouço de Coates-Perrin-Riou para motivos. A discrepância na normalização dos períodos nas construções existentes baseava-se na norma de Petersson $\langle f, f \rangle$, ao passo que considerações motivadas sugerem que o período correto deve envolver o produto de períodos de Shimura $p$-normalizados, $\Omega^+_f \Omega^-_f$. A discrepância implica que as funções $L$ $p$-ádicas existentes são razões de funções $L$ $p$-ádicas motivadas "genuínas". O problema central é construir um gerador canônico para o ideal de congruência de uma família de Hida, denotado por $L_p(\text{ad } F)$, que interpole a razão entre o valor $L$ adjunto e o produto de períodos de Shimura, e relacionar este gerador ao ideal característico do grupo de Selmer adjunto.

Metodologia
O autor emprega uma abordagem cohomológica enraizada na teoria de famílias de Hida e no emparelhamento de Ohta. A metodologia procede através de várias etapas fundamentais:

1. Configuração Cohomológica e Emparelhamento de Ohta: A construção utiliza a cohomologia anti-ordinária da torre de curvas modulares, $e^*H^1(Np^\infty)$. O autor utiliza um emparelhamento $\Lambda$-ádico perfeito construído por Ohta sobre este espaço, que interpola normas de Petersson de formas próprias anti-ordinárias. Uma vez que as famílias de Hida contribuem para a cohomologia ordinária, a involução de Atkin-Lehner é usada para transportar estruturas integrais entre a cohomologia ordinária e a anti-ordinária, permitindo a aplicação do emparelhamento de Ohta ao cenário ordinário.
2. Períodos Canônicos e Definição da Função $L$: Ao fixar uma base para os módulos cohomológicos relevantes (que são livres de posto 1 sobre a álgebra de Hecke local sob condições específicas de irreduzibilidade), o autor define a função $L$ $p$-ádica adjunta $L_p(\text{ad } F)$ como o valor do emparelhamento de Ohta sobre estes elementos da base. Esta definição garante que a função $L$ seja um gerador canônico do ideal de congruência.
3. Interpolação e Fatores de Euler: O artigo analisa a especialização desta função $L$ em pontos aritméticos (formas modulares clássicas). Demonstra que estas especializações interpolam a razão entre o valor $L$ adjunto e o produto de períodos de Shimura, até um fator de Euler explícito e potências de $p$. O autor também constrói um elemento universal $L_\Sigma(\text{ad } \rho)$ em uma grande álgebra de Hecke que se especializa nas funções $L$ de várias famílias de Hida que compartilham a mesma representação de Galois residual, contabilizando as mudanças no nível tame via fatores de Euler.
4. Relação com Grupos de Selmer: O artigo relaciona o objeto analítico ($L_p(\text{ad } F)$) ao objeto algébrico (o grupo de Selmer adjunto $\text{Sel}(\text{ad } F)$). Utiliza a teoria de deformações de Galois (especificamente o isomorfismo entre o anel de deformação universal e o anel de Hecke estabelecido por Wiles, Taylor-Wiles e Diamond) e o módulo de diferenciais de Kähler contínuos. Ao analisar as condições locais em um conjunto finito de primos $\Sigma$, o autor estabelece uma conexão entre o ideal característico do grupo de Selmer e a função $L$ $p$-ádica, ajustando para primos excepcionais onde a representação automórfica local é supercuspidal.

Contribuições Principais e Resultados

• Teorema A (Construção de $L_p(\text{ad } F)$): Assumindo que a representação de Galois residual $\rho_F$ é absolutamente irredutível e $p$-distinta, o autor constrói um gerador $L_p(\text{ad } F)$ do ideal de congruência da família de Hida $F$. A especialização deste elemento em uma nova forma clássica $f$ é dada explicitamente por:
  $$L_p(\text{ad } f) = p^{r-1}\alpha^r w(f^\circ) E_p(\text{ad } f^\circ) \cdot \frac{(-2i)^k \langle f^\circ, f^\circ \rangle}{\Omega^+_{f^\circ} \Omega^-_{f^\circ}}$$
  Isto confirma que a função $L$ construída gera o ideal de congruência e interpola a razão correta de períodos motivados.

• Teorema B (Elemento Universal na Grande Álgebra de Hecke): O artigo constrói um elemento regular $L_\Sigma(\text{ad } \rho)$ no produto tensorial da álgebra de Hecke ordinária universal e o anel de coeficientes. Este elemento se especializa na função $L$ $p$-ádica adjunta de qualquer família de Hida primitiva com representação residual $\rho$, até fatores de Euler associados a um conjunto finito de primos $\Sigma$. Este resultado interpreta a existência de congruências entre normas de Petersson de diferentes formas próprias $p$-ordinárias que compartilham a mesma representação residual.

• Teorema C (Conjectura Principal para Grupos de Selmer Adjuntos): Sob a suposição mais forte de que a representação residual é absolutamente irredutível sobre $\mathbb{Q}(\mu_p)$, o artigo prova que o dual de Pontryagin do grupo de Selmer adjunto primitivo é um módulo de torção. Para uma família de Hida de nível de torção mínimo (twist-minimal), o ideal característico deste grupo de Selmer é igual ao ideal gerado pela função $L$ $p$-ádica, ajustado por um produto de fatores locais nos primos excepcionais $\Sigma_e$:
  $$\text{char}_I \text{Sel}(\text{ad } F)^\vee = \left( \prod_{\ell \in \Sigma_e} (1 + \ell^{-1})^{-1} \right) L_p(\text{ad } F) \cdot I$$

Significância
O artigo afirma fornecer uma construção rigorosa de funções $L$ $p$-ádicas adjuntas motivadas "genuínas" que se encaixam naturalmente no arcabouço de ideais de congruência e grupos de Selmer. Ao utilizar o emparelhamento de Ohta e a involução de Atkin-Lehner, o autor resolve problemas de normalização presentes em construções anteriores (Schmidt-Hida), garantindo que as funções $L$ capturem invariantes algébricos profundos, como o tamanho dos grupos de Selmer de Bloch-Kato. Os resultados estabelecem uma igualdade precisa entre a função $L$ $p$-ádica analítica e o ideal característico algébrico do grupo de Selmer adjunto, generalizando resultados anteriores de Hida que eram restritos a casos de ramificação mínima. O trabalho também esclarece o comportamento destas funções $L$ sob torções (twisting) e mudanças no nível tame, fornecendo um arcabouço unificado para o estudo de congruências entre normas de Petersson.