Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

Resumen Técnico: Sistemas de Kolyvagin Ultra y Ideales de Fitting Superiores de Grupos de Selmer de Iwasawa

Enunciado del Problema
El método de sistemas de Euler y la posterior axiomatización mediante sistemas de Kolyvagin han sido fundamentales para demostrar la conjetura de Birch y Swinnerton-Dyer para curvas elípticas de rango analítico a lo sumo uno y establecer una divisibilidad de la conjetura principal de Iwasawa. Sin embargo, la teoría clásica de sistemas de Kolyvagin enfrenta limitaciones estructurales al aplicarse a anillos de coeficientes infinitos, específicamente al álgebra de Iwasawa $\Lambda = \mathbb{Z}_p[[X]]$. Los enfoques tradicionales a menudo requieren pasar por la cohomología de cocientes finitos, lo que oscurece la estructura completa de los grupos de Selmer sobre la extensión infinita. Además, las generalizaciones existentes a rangos centrales superiores y anillos de coeficientes no principales (por ejemplo, [MR16], [BSS25]) se han limitado en gran medida a establecer cotas para los ideales de Fitting en lugar de calcular la estructura completa del grupo de Selmer hasta pseudo-isomorfismo, o bien han requerido suposiciones fuertes como la anulación del invariante $\mu$.

Metodología
El artículo desarrolla una teoría de sistemas de Kolyvagin ultra equivariantes construyendo grupos de Selmer dentro del marco de la cohomología parcheada, introducida originalmente en [Swe22]. Las innovaciones metodológicas centrales incluyen:

1. Productos ultraproductos y ultraprímeros: El autor utiliza un ultrafiltro no principal $\mathcal{U}$ para construir ultraproductos de grupos de cohomología de Galois clásicos. Esto permite la definición de ultraprímeros (elementos de $\mathcal{U}(\mathcal{M}_K)$), que generalizan los números primos clásicos. Este marco relaja las restricciones de la distribución de primos clásica, permitiendo la existencia de "ultraprímeros de Kolyvagin" con propiedades de Frobenius específicas que pueden no existir entre los primos clásicos.
2. Grupos de Selmer parcheados: Los grupos de Selmer se definen como subgrupos de la cohomología global parcheada, construida como ultraproductos de grupos de Selmer clásicos. Esto permite desarrollar la teoría directamente sobre grupos de Selmer profinitos sobre el álgebra de Iwasawa, evitando la necesidad de analizar cocientes finitos secuencialmente.
3. Potencias exteriores y reducción de rango: A diferencia de trabajos anteriores que utilizaron biduals exteriores para módulos no libres, el autor aprovecha el hecho de que, bajo suposiciones específicas de "imagen grande", los grupos de Selmer profinitos son módulos libres sobre $\Lambda$. Esto permite la construcción de sistemas de Kolyvagin como colecciones de clases en las potencias exteriores de grupos de Selmer parcheados. La teoría emplea mapas de reducción de rango entre estas potencias exteriores para relacionar clases en diferentes niveles de la torre.
4. Sistemas de Stark: El artículo introduce sistemas ultra Stark como elementos de un límite inverso de potencias exteriores de grupos de Selmer. Se demuestra que estos sistemas están controlados por "vértices centrales débiles" (productos de ultraprímeros que anulan el grupo de Selmer dual).
5. Mapa regulador: Se construye un mapa regulador desde el módulo de sistemas de Stark hacia el módulo de sistemas de Kolyvagin. El artículo demuestra que este mapa es un isomorfismo bajo la suposición de que el rango central es positivo y el primo $p \geq 5$.

Contribuciones y Resultados Clave

• Estructura de los Grupos de Selmer de Iwasawa: El resultado principal (Teorema 1.1, Teorema 8.25) establece que los ideales de Fitting superiores del grupo de Selmer de Iwasawa dual $H^1_{\mathcal{F}^*}(K, T^*)^\vee$ coinciden, salvo un índice finito, con una secuencia de ideales $\Theta_i(\kappa)$ derivados de un sistema de Kolyvagin primitivo $\kappa$. Esta secuencia se define mediante la divisibilidad de las clases en el sistema de Kolyvagin.
• Ausencia de Submódulos Finitos: Bajo una suposición refinada (Suposición (Prop)), el artículo demuestra (Teorema 1.2, Teorema 9.15) que la igualdad $\Theta_i(\kappa) = \text{Fitt}^i_\Lambda(H^1_{\mathcal{F}^*}(K, T^*)^\vee)$ se cumple exactamente, no solo salvo un índice finito. Una consecuencia significativa (Corolario 1.3, Teorema 9.16) es que si el grupo de Selmer dual es un módulo de Iwasawa de torsión, no contiene submódulos finitos. Esto generaliza resultados anteriores de Greenberg y Kurihara, eliminando el requisito de la trivialidad del invariante $\mu$.
• Teoremas de Control: Se demuestra que el módulo de sistemas ultra Kolyvagin es un módulo libre sobre $\Lambda$ de rango uno, controlado por vértices centrales (Teorema 8.7). Esto refleja los teoremas de control para sistemas de Stark, pero se aplica a la estructura completa del módulo de Iwasawa.
• Comparación con la Teoría Clásica: El artículo proporciona una comparación rigurosa (Sección 9) entre los sistemas ultra Kolyvagin recién construidos y los sistemas de Kolyvagin clásicos con coeficientes finitos (como en [BSS25]). Demuestra que los sistemas ultra pueden verse como el límite inverso de sistemas clásicos, validando el nuevo marco como una generalización natural.

Aplicaciones
El marco teórico se aplica a dos casos específicos donde se conocen sistemas de Euler:

1. Curvas Elípticas: La teoría se aplica al grupo de Selmer fino de una curva elíptica $E/\mathbb{Q}$ sobre la extensión $\mathbb{Z}_p$-ciclotómica, utilizando el sistema de Euler de Kato. El resultado calcula los ideales de Fitting superiores del grupo de Selmer fino dual (Teorema 10.1).
2. Convoluciones de Rankin-Selberg: El método se aplica al grupo de Selmer de Bloch-Kato asociado a la convolución de Rankin-Selberg de dos formas modulares ordinarias, utilizando el sistema de Euler de Lei-Loeffler-Zerbes. Esto produce la estructura del grupo de Selmer para representaciones con rango central 2 (Teorema 10.9).

Significado
El artículo afirma proporcionar una descripción completa de la estructura de los grupos de Selmer de Iwasawa hasta pseudo-isomorfismo, yendo más allá de la determinación de ideales característicos. Al desarrollar la teoría directamente sobre el álgebra de Iwasawa utilizando cohomología parcheada, el autor supera las limitaciones estructurales de la maquinaria previa de sistemas de Euler sobre anillos infinitos. La capacidad de demostrar la ausencia de submódulos finitos en grupos de Selmer de Iwasawa sin asumir la anulación del invariante $\mu$ representa un refinamiento significativo de las consecuencias estructurales de la conjetura principal de Iwasawa. El trabajo generaliza los resultados de [Kur14] y [Ohs21] a una clase más amplia de representaciones de Galois, incluyendo aquellas que no son autoduales residuales, y ofrece un enfoque unificado para calcular ideales de Fitting superiores en el contexto equivariante.