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

Technische Samenvatting van "Iwasawa Theory of Artin Motifs and Weight 1 Modular Forms" door Alexandre Makoud

Probleemstelling
Het artikel behandelt de Iwasawa-theorie van Artin-motieven over $\mathbb{Q}$, met een specifieke focus op de structuur van Greenberg-Selmer-groepen verbonden aan irreducibele Artin-representaties $\rho$ met coëfficiënten in een getallenlichaam $E$. Een centrale uitdaging in dit domein is de formulering van een Hoofdbetovering (Main Conjecture) van de Iwasawa-theorie voor dergelijke motieven. Terwijl het geval van motieven verbonden aan representaties van totaal reële velden goed begrepen is (via de resultaten van Wiles), presenteert het algemene geval moeilijkheden: Artin-motieven bezitten niet noodzakelijkerwijs kritische waarden, en de klassieke Deligne-Ribet constructie van $p$-adische $L$-functies is niet direct toepasbaar.

De auteur onderzoekt de structuur van de cyclotomische Greenberg-Selmer-groep $X_\infty(\rho, \rho^+)$ geassocieerd met een $p$-gestabiliseerd Artin-motief. De primaire doelen zijn:

1. Vast te stellen dat deze Selmer-groep een torsiemodule is over de Iwasawa-algebra $\Lambda = \mathcal{O}[[\Gamma]]$, een vereiste voor het definiëren van een algebraïsche $p$-adische $L$-functie.
2. De "trivial zeros" (triviale nulpunten) fenomenologie te analyseren, waarbij de orde van verdwijning van de algebraïsche $L$-functie bij $T=0$ wordt gerelateerd aan de dimensie van lokale invarianten.
3. Deze resultaten te specialiseren naar Artin-motieven voortvloeiend uit klassieke modulaire vormen van gewicht 1, waarbij de geassocieerde automorfe representaties niet cohomologisch zijn, wat de constructie van analytische $p$-adische $L$-functies bemoeilijkt.

Methodologie
Het artikel maakt gebruik van een combinatie van Galois-coherentie, klassieke veldentheorie en de theorie van Hida-families.

• Algebraïsche Structuur: De auteur definieert de Selmer-groep $X_\infty(\rho, \rho^+)$ als de Pontryagin-dual van de kernel van een globaal-naar-lokaal restrictie-afbeelding in de Galois-coherentie. Het bewijs van torsie berust op het analyseren van de eindigheid van Selmer-groepen op eindelijke niveaus $X_n$ via de inflatie-restrictie-sequentie. Dit reduceert het probleem tot het bestuderen van de Galois-groep van de maximale pro-$p$ abelse uitbreiding van $H_n$ (waarbij $H$ het veld is dat door $\rho$ wordt uitgesneden) onramified buiten $p$.
• Regulatoren en Transcendentie: De eindigheid van Selmer-groepen en de niet-verdwijning van de algebraïsche $L$-functie zijn gelinkt aan de niet-verdwijning van een $p$-adische regulator $R_p(\rho, \rho^+)$. Deze regulator wordt gedefinieerd via de $p$-adische logaritme van globale eenheden. De auteur roept de zwakke $p$-adische Schanuel-conjectuur aan (of het geval waar de dimensie van de ordinaire subspace $d^+=1$ is) om de lineaire onafhankelijkheid van $p$-adische logaritmen te waarborgen, waarmee wordt bewezen dat de regulator niet nul is.
• Specialisatie naar Gewicht 1: Voor modulaire vormen van gewicht 1 gebruikt de auteur Hida-families. Omdat directe analytische constructies van $p$-adische $L$-functies voor gewicht 1 vormen niet standaard zijn (vanwege hun niet-cohomologische natuur), construeert het artikel een analytische $p$-adische $L$-functie $L_p^{an}(f_\alpha; T)$ door een tweevoudige $p$-adische $L$-functie te specialiseren die gedefinieerd is op een Hida-familie $f$ die specialiseert naar de gewicht 1 vorm $f_\alpha$. Dit steunt op de gladheid van de eigencurve bij gewicht 1-punten (Bellaïche-Dimitrov).
• Deelbaarheid via Limieten: Om de algebraïsche en analytische $L$-functies te relateren, hanteert de auteur een limietargument. Zij beschouwen een sequentie van klassieke gewicht $k \ge 2$ vormen $g_n$ in de Hida-familie die $p$-adisch convergeren naar $f_\alpha$. Door gebruik te maken van Kato's stelling over de deelbaarheid van $L$-functies voor gewicht $k \ge 2$, vestigt de auteur een deelbaarheidsrelatie in de limiet, waarmee wordt bewezen dat de algebraïsche $L$-functie de analytische deelt.

Belangrijkste Bijdragen en Resultaten

1. Torsie van Selmer-groepen (Stelling A):
   Onder de aanname dat $d^+=1$ of de zwakke $p$-adische Schanuel-conjectuur standhoudt, bewijst de auteur dat $X_\infty(\rho, \rho^+)$ een torsie $\Lambda$-module is. Bovendien, indien de intersectie van het veld $H$ en de cyclotomische toren triviaal is, verdwijnt de algebraïsche $L$-functie $L_p^{alg}(\rho, \rho^+; T)$ niet bij wortels van eenheid $\zeta-1$ (voor $\zeta \neq 1$).

2. Triviale Nulpunten en Regulatoren (Stelling B):
   Het artikel identificeert een "trivial zero" fenomeen. De orde van verdwijning van $L_p^{alg}$ bij $T=0$ is getoond te minstens gelijk te zijn aan $e(\rho, \rho^+) = \dim_L H^0(\mathbb{Q}_p, V_p^-)$. Onder specifieke hypothesen (niet-geramd bij $p$, $p$ deelt de orde van de afbeelding of de dimensie niet), indien $e(\rho, \rho^+) = 0$, wordt de constante term van de algebraïsche $L$-functie expliciet gegeven door:
   $$L_p^{alg}(\rho, \rho^+; 0) \doteq R_p(\rho, \rho^+) \cdot \frac{p}{\#(Cl_p(H)^\rho)}$$
   waarbij $R_p$ de $p$-adische regulator is en $Cl_p(H)^\rho$ de $\rho$-isotypische component van de $p$-klassegroep is.

3. Hoofdbetovering voor Gewicht 1 Vormen (Stelling C):
   Voor een klassieke modulaire vorm $f$ van gewicht 1 formuleert de auteur een Hoofdbetovering die stelt dat de algebraïsche $L$-functie $L_p^{alg}(f_\alpha; T)$ en de analytische $L_p^{an}(f_\alpha; T)$ (geconstrueerd via Hida-families) slechts verschillen door een eenheid in $\Lambda$.

   • Resultaat: Het artikel bewijst een deelbaarheid: $L_p^{alg}(f_\alpha; T)$ deelt $L_p^{an}(f_\alpha; T)$ in $\Lambda \otimes \mathbb{Q}_p$.
   • Conditionele Equivalentie: Het artikel toont aan dat indien de Hoofdbetovering geldt voor gewicht $k \ge 2$ vormen in de Hida-familie, zij ook geldt voor de gewicht 1 specialisatie.

Betekenis
Het artikel biedt een rigoureus algebraïsch kader voor de Iwasawa-theorie van algemene Artin-motieven, waarmee een gat wordt opgevuld waar kritische waarden ontbreken. Het slaagt erin de theorie van triviale nulpunten en regulatorformules naar deze setting uit te breiden, afhankelijk van standaardconjecturen in de transcendentietheorie.

Cruciaal is dat het werk de kloof overbrugt tussen de algebraïsche en analytische Iwasawa-theorie voor gewicht 1 modulaire vormen. Door gebruik te maken van de geometrie van Hida-families en de gladheid van de eigencurve bij gewicht 1-punten, construeert de auteur een goed gedefinieerde analytische $L$-functie en vestigt zij de fundamentele deelbaarheid die de Hoofdbetovering voorspelt. Dit resultaat is significant omdat het gewicht 1 vormen behandelt, die buiten het bereik van klassieke cohomologische constructies liggen, door middel van puur algebraïsche en deformatie-theoretische methoden. Het artikel claimt niet de Hoofdbetovering onvoorwaardelijk te bewijzen, maar vestigt de noodzakelijke structurele eigenschappen en de belangrijkste richting van de deelbaarheid, waardoor de volledige conjectuur wordt teruggebracht naar de bekende gevallen van hogere gewichten.