Ultra Kolyvagin systems and higher Fitting ideals of Iwasawa Selmer groups

Technische Samenvatting: Ultra Kolyvagin-systemen en Hogere Fitting-idealen van Iwasawa-Selmergroepen

Probleemstelling
De methode van Euler-systemen en de daaropvolgende axiomatisering door Kolyvagin-systemen zijn van cruciaal belang geweest voor het bewijzen van de conjectuur van Birch en Swinnerton-Dyer voor elliptische krommen met een analytisch rang van ten hoogste één, en voor het vestigen van één delbaarheid van de hoofdcijferconjectuur van Iwasawa. Echter, de klassieke theorie van Kolyvagin-systemen staat voor structurele beperkingen wanneer deze wordt toegepast op oneindige coëfficiëntenringen, specifiek de Iwasawa-algebra $\Lambda = \mathbb{Z}_p[[X]]$. Traditionele benaderingen vereisen vaak het passeren door de cohomologie van eindige quotiënten, wat de volledige structuur van de Selmer-groepen over de oneindige uitbreiding verduistert. Bovendien zijn bestaande generalisaties naar hogere kern-rangen en niet-principale coëfficiëntenringen (bijv. [MR16], [BSS25]) grotendeels beperkt gebleven tot het vaststellen van grenzen voor Fitting-idealen in plaats van het berekenen van de volledige structuur van de Selmer-groep tot op pseudo-isomorfie, of vereisten ze sterke aannames zoals het verdwijnen van de $\mu$-invariant.

Methodologie
Het artikel ontwikkelt een theorie van equivariante, ultra Kolyvagin-systemen door Selmer-groepen te construeren binnen het kader van gepatchte cohomologie, oorspronkelijk geïntroduceerd in [Swe22]. De kernmethodologische innovaties omvatten:

1. Ultraproducten en Ultraprime: De auteur maakt gebruik van een niet-primaal ultrafilter $\mathcal{U}$ om ultraproducten van klassieke Galois-cohomologiegroepen te construeren. Dit maakt de definitie mogelijk van ultraprime (elementen van $\mathcal{U}(\mathcal{M}_K)$), die klassieke priemgetallen generaliseren. Deze setting versoepelt de beperkingen van de klassieke verdeling van priemgetallen, waardoor het bestaan van "Kolyvagin-ultraprime" met specifieke Frobenius-eigenschappen mogelijk wordt die mogelijk niet bestaan onder klassieke priemgetallen.
2. Gepatchte Selmer-groepen: Selmer-groepen worden gedefinieerd als ondergroepen van globale gepatchte cohomologie, geconstrueerd als ultraproducten van klassieke Selmer-groepen. Dit stelt de theorie in staat om direct te worden ontwikkeld op profijne Selmer-groepen over de Iwasawa-algebra, waarbij de noodzaak om eindige quotiënten sequentieel te analyseren wordt omzeild.
3. Externe machten en Rangreductie: In tegenstelling tot eerdere werken die externe dubbel-dualen gebruikten voor niet-vrije modules, maakt de auteur gebruik van het feit dat onder specifieke "grote beeld"-aannames de profijne Selmer-groepen vrije $\Lambda$-modules zijn. Dit maakt de constructie van Kolyvagin-systemen mogelijk als verzamelingen van klassen in de externe machten van gepatchte Selmer-groepen. De theorie maakt gebruik van rangreductie-afbeeldingen tussen deze externe machten om klassen op verschillende niveaus van de toren met elkaar in verband te brengen.
4. Stark-systemen: Het artikel introduceert ultra Stark-systemen als elementen van een inverse limiet van externe machten van Selmer-groepen. Deze systemen blijken te worden gecontroleerd door "zwakke kern-vertices" (producten van ultrapriemen die de duale Selmer-groep annuleren).
5. Regulator-afbeelding: Een regulator-afbeelding wordt geconstrueerd van de module van Stark-systemen naar de module van Kolyvagin-systemen. Het artikel bewijst dat deze afbeelding een isomorfisme is onder de aanname dat de kern-rang positief is en dat de priem $p \geq 5$.

Belangrijkste Bijdragen en Resultaten

• Structuur van Iwasawa-Selmer-groepen: Het primaire resultaat (Stelling 1.1, Stelling 8.25) stelt vast dat de hogere Fitting-idealen van de duale Iwasawa-Selmer-groep $H^1_{\mathcal{F}^*}(K, T^*)^\vee$, tot op een eindige index, samenvallen met een rij idealen $\Theta_i(\kappa)$ die zijn afgeleid van een primitief Kolyvagin-systeem $\kappa$. Deze rij wordt gedefinieerd door de delbaarheid van klassen in het Kolyvagin-systeem.
• Afwezigheid van Eindige Submodules: Onder een verfijnde aanname (Aanname (Prop)) bewijst het artikel (Stelling 1.2, Stelling 9.15) dat de gelijkheid $\Theta_i(\kappa) = \text{Fitt}^i_\Lambda(H^1_{\mathcal{F}^*}(K, T^*)^\vee)$ exact geldt, niet slechts tot op een eindige index. Een significant gevolg (Corollarium 1.3, Stelling 9.16) is dat, als de duale Selmer-groep een torsie Iwasawa-module is, deze geen eindige submodules bevat. Dit generaliseert eerdere resultaten van Greenberg en Kurihara, waarbij de vereiste voor de trivialiteit van de $\mu$-invariant wordt verwijderd.
• Controle-stellingen: De module van ultra Kolyvagin-systemen blijkt een vrije $\Lambda$-module van rang één te zijn, gecontroleerd door kern-vertices (Stelling 8.7). Dit weerspiegelt de controle-stellingen voor Stark-systemen, maar is van toepassing op de volledige structuur van de Iwasawa-module.
• Vergelijking met Klassieke Theorie: Het artikel biedt een rigoureuze vergelijking (Sectie 9) tussen de nieuw geconstrueerde ultra Kolyvagin-systemen en de klassieke Kolyvagin-systemen met eindige coëfficiënten (zoals in [BSS25]). Het toont aan dat de ultra-systemen kunnen worden beschouwd als de inverse limiet van klassieke systemen, waarmee het nieuwe kader wordt gevalideerd als een natuurlijke generalisatie.

Toepassingen
Het theoretische kader wordt toegepast op twee specifieke gevallen waar Euler-systemen bekend zijn:

1. Elliptische Krommen: De theorie wordt toegepast op de fijne Selmer-groep van een elliptische kromme $E/\mathbb{Q}$ over de cyclotomische $\mathbb{Z}_p$-uitbreiding, met gebruikmaking van Kato's Euler-systeem. Het resultaat berekent de hogere Fitting-idealen van de duale fijne Selmer-groep (Stelling 10.1).
2. Rankin-Selberg Convoluties: De methode wordt toegepast op de Bloch-Kato Selmer-groep geassocieerd met de Rankin-Selberg convolutie van twee gewone modulaire vormen, met gebruikmaking van het Euler-systeem van Lei-Loeffler-Zerbes. Dit levert de structuur van de Selmer-groep voor representaties met kern-rang 2 op (Stelling 10.9).

Betekenis
Het artikel claimt een volledige beschrijving te bieden van de structuur van Iwasawa-Selmer-groepen tot op pseudo-isomorfie, verder gaand dan de bepaling van karakteristieke idealen. Door de theorie direct op de Iwasawa-algebra te ontwikkelen met behulp van gepatchte cohomologie, overwint de auteur de structurele beperkingen van eerdere Euler-systeem-mechanismen over oneindige ringen. Het vermogen om de afwezigheid van eindige submodules in Iwasawa-Selmer-groepen te bewijzen zonder de aanname van het verdwijnen van de $\mu$-invariant, vormt een significante verfijning van de structurele consequenties van de hoofdcijferconjectuur van Iwasawa. Het werk generaliseert de resultaten van [Kur14] en [Ohs21] naar een bredere klasse van Galois-representaties, inclusief die welke niet residueel zelf-dual zijn, en biedt een geünificeerde aanpak voor het berekenen van hogere Fitting-idealen in de equivariante setting.