Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

Resumo Técnico: Sistemas de Kolyvagin Ultra e Ideais de Fitting Superiores de Grupos de Selmer de Iwasawa

Enunciado do Problema
O método dos sistemas de Euler e a subsequente axiomatização por sistemas de Kolyvagin têm sido instrumentais na prova da conjectura de Birch e Swinnerton-Dyer para curvas elípticas de posto analítico no máximo um e no estabelecimento de uma divisibilidade da conjectura principal de Iwasawa. No entanto, a teoria clássica de sistemas de Kolyvagin enfrenta limitações estruturais quando aplicada a anéis de coeficientes infinitos, especificamente o álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[X]]$. Abordagens tradicionais frequentemente exigem passar pela cohomologia de quocientes finitos, o que obscurece a estrutura completa dos grupos de Selmer sobre a extensão infinita. Além disso, generalizações existentes para postos centrais superiores e anéis de coeficientes não principais (e.g., [MR16], [BSS25]) têm sido limitadas principalmente ao estabelecimento de limites sobre ideais de Fitting, em vez de calcular a estrutura completa do grupo de Selmer até pseudo-isomorfismo, ou exigiam suposições fortes, como o desaparecimento do invariante $\mu$.

Metodologia
O artigo desenvolve uma teoria de sistemas de Kolyvagin ultra equivariantes, construindo grupos de Selmer no âmbito da cohomologia emendada (patched cohomology), originalmente introduzida em [Swe22]. As inovações metodológicas centrais incluem:

1. Ultraprodutos e Ultraprimes: O autor utiliza um ultrafiltro não principal $\mathcal{U}$ para construir ultraprodutos de grupos de cohomologia de Galois clássicos. Isso permite a definição de ultraprimes (elementos de $\mathcal{U}(\mathcal{M}_K)$), que generalizam os números primos clássicos. Este cenário relaxa as restrições da distribuição clássica de primos, permitindo a existência de "ultraprimes de Kolyvagin" com propriedades de Frobenius específicas que podem não existir entre os primos clássicos.
2. Grupos de Selmer emendados: Os grupos de Selmer são definidos como subgrupos da cohomologia global emendada, construídos como ultraprodutos de grupos de Selmer clássicos. Isso permite que a teoria seja desenvolvida diretamente sobre grupos de Selmer profinitos sobre o álgebra de Iwasawa, contornando a necessidade de analisar quocientes finitos sequencialmente.
3. Potências Externas e Redução de Posto: Diferentemente de trabalhos anteriores que utilizavam biduals externos para módulos não livres, o autor aproveita o fato de que, sob suposições específicas de "imagem grande", os grupos de Selmer profinitos são módulos livres sobre $\Lambda$. Isso permite a construção de sistemas de Kolyvagin como coleções de classes nas potências externas de grupos de Selmer emendados. A teoria emprega mapas de redução de posto entre essas potências externas para relacionar classes em diferentes níveis da torre.
4. Sistemas de Stark: O artigo introduz sistemas de Stark ultra como elementos de um limite inverso de potências externas de grupos de Selmer. Demonstra-se que esses sistemas são controlados por "vértices centrais fracos" (produtos de ultraprimes que anulam o grupo de Selmer dual).
5. Mapa Regulador: Um mapa regulador é construído do módulo de sistemas de Stark para o módulo de sistemas de Kolyvagin. O artigo prova que este mapa é um isomorfismo sob a suposição de que o posto central é positivo e o primo $p \geq 5$.

Contribuições e Resultados Principais

• Estrutura dos Grupos de Selmer de Iwasawa: O resultado primário (Teorema 1.1, Teorema 8.25) estabelece que os ideais de Fitting superiores do grupo de Selmer de Iwasawa dual $H^1_{\mathcal{F}^*}(K, T^*)^\vee$ coincidem, até índice finito, com uma sequência de ideais $\Theta_i(\kappa)$ derivados de um sistema de Kolyvagin primitivo $\kappa$. Esta sequência é definida pela divisibilidade de classes no sistema de Kolyvagin.
• Ausência de Submódulos Finitos: Sob uma suposição refinada (Suposição (Prop)), o artigo prova (Teorema 1.2, Teorema 9.15) que a igualdade $\Theta_i(\kappa) = \text{Fitt}^i_\Lambda(H^1_{\mathcal{F}^*}(K, T^*)^\vee)$ vale exatamente, não apenas até índice finito. Uma consequência significativa (Corolário 1.3, Teorema 9.16) é que, se o grupo de Selmer dual é um módulo de Iwasawa de torção, ele não contém submódulos finitos. Isso generaliza resultados anteriores de Greenberg e Kurihara, removendo a exigência de trivialidade do invariante $\mu$.
• Teoremas de Controle: O módulo de sistemas de Kolyvagin ultra é mostrado como um módulo livre sobre $\Lambda$ de posto um, controlado por vértices centrais (Teorema 8.7). Isso espelha os teoremas de controle para sistemas de Stark, mas aplica-se à estrutura completa do módulo de Iwasawa.
• Comparação com a Teoria Clássica: O artigo fornece uma comparação rigorosa (Seção 9) entre os sistemas de Kolyvagin ultra recém-construídos e os sistemas de Kolyvagin clássicos com coeficientes finitos (como em [BSS25]). Demonstra-se que os sistemas ultra podem ser vistos como o limite inverso dos sistemas clássicos, validando o novo quadro como uma generalização natural.

Aplicações
O quadro teórico é aplicado a dois casos específicos onde sistemas de Euler são conhecidos:

1. Curvas Elípticas: A teoria é aplicada ao grupo de Selmer fino de uma curva elíptica $E/\mathbb{Q}$ sobre a extensão $\mathbb{Z}_p$-ciclotômica, utilizando o sistema de Euler de Kato. O resultado calcula os ideais de Fitting superiores do grupo de Selmer fino dual (Teorema 10.1).
2. Convoluções de Rankin-Selberg: O método é aplicado ao grupo de Selmer de Bloch-Kato associado à convolução de Rankin-Selberg de duas formas modulares ordinárias, usando o sistema de Euler de Lei-Loeffler-Zerbes. Isso produz a estrutura do grupo de Selmer para representações com posto central 2 (Teorema 10.9).

Significado
O artigo afirma fornecer uma descrição completa da estrutura dos grupos de Selmer de Iwasawa até pseudo-isomorfismo, indo além da determinação de ideais característicos. Ao desenvolver a teoria diretamente sobre o álgebra de Iwasawa usando cohomologia emendada, o autor supera as limitações estruturais da maquinaria anterior de sistemas de Euler sobre anéis infinitos. A capacidade de provar a ausência de submódulos finitos em grupos de Selmer de Iwasawa sem assumir o desaparecimento do invariante $\mu$ representa um refinamento significativo das consequências estruturais da conjectura principal de Iwasawa. O trabalho generaliza os resultados de [Kur14] e [Ohs21] para uma classe mais ampla de representações de Galois, incluindo aquelas que não são dualmente auto-residuais, e oferece uma abordagem unificada para calcular ideais de Fitting superiores no cenário equivariante.