The geometry of the unipotent component of the moduli space of Weil-Deligne representations

Technische Samenvatting: De Geometrie van de Unipotente Component van de Moduli-ruimte van Weil-Deligne Representaties

Probleemstelling
Het artikel onderzoekt de geometrie van de moduli-ruimte van unipotente Weil-Deligne representaties met waarden in een gesplitste reductieve groep $G$ over een lokaal veld. Specifiek richt het zich op het schema $S_{G,O}$, dat paren $(\Phi, N)$ parametrizeert waarbij $\Phi$ een semisimpel element is en $N$ een nilpotent element dat voldoet aan de relatie $\text{Ad}(\Phi)N = qN$. Dit schema dient als een ingekaderde moduli-ruimte voor unipotente Weil-Deligne representaties en staat in nauwe relatie tot lokale Galois-deformatieringen, die centraal staan in de Taylor-Wiles-Kisin-patchingsmethode die wordt gebruikt bij het bewijs van modulariteitslifttheorema's.

Het primaire geometrische probleem dat wordt aangepakt, is de karakterisering van de gladheid van de irreducibele componenten van $S_{G,O}$. Hoewel bekend is dat het schema een vereniging is van irreducibele componenten geïndexeerd door nilpotente banen, waren de voorwaarden waaronder deze componenten glad (regulier) versus singulier zijn, niet volledig vastgesteld voor algemene reductieve groepen, met name in de context van de "voorzichtige" (considerate) voorwaarde die vereist is voor deformatietheorie.

Methodologie
De auteur maakt gebruik van een combinatie van algebraïsche meetkunde, representatietheorie en commutatieve algebra om de lokale structuur van $S_{G,O}$ te analyseren.

1. Voorzichtigheid en Banaliteit: Het artikel introduceert en gebruikt het begrip "$q$-voorzichtigheid", een voorwaarde aan de priemmacht $q$ ten opzichte van het Coxeter-getal $h_G$ van de groep $G$. Dit zorgt ervoor dat $q$ zich goed gedraagt ten opzichte van de structuur van de groep (specifiek, dat $1, q, \dots, q^{h_G}$ onderscheiden zijn in het residuveld). Dit is gekoppeld aan het concept van "$G$-banaliteit" en "geometrisch-$G$-banaliteit" uit het werk van Dat, Helm, Kurinczuk en Moss.
2. Bala-Carter-theorie en Cocharacteren: De analyse steunt zwaar op Bala-Carter-theorie om nilpotente banen te classificeren. Voor een nilpotent element $e$ associeert de auteur een cocharacter $\lambda: \mathbb{G}_m \to G$ en ontbindt de Lie-algebra $\mathfrak{g}$ in eigenruimten van $\text{Ad}(\lambda(t))$. Het onderscheid tussen "onderscheiden" (distinguished) nilpotente banen (waar de centralisator een specifieke structuur heeft) en niet-onderscheiden banen is cruciaal.
3. Gladheidsbewijzen:
   • Gladheid: Voor componenten die corresponderen met onderscheiden nilpotente banen (of de nul-baan), construeert de auteur een gladde surjectieve morfisme vanuit een product van de groep $G$ en een specifieke gladde deelvariëteit $Y$ (gedefinieerd via de Levi-decompositie van de centralisator van het nilpotente element). Door aan te tonen dat deze afbeelding een terugtrekking is van een gladde morfisme, wordt de gladheid van de component vastgesteld.
   • Singulariteiten: Voor niet-onderscheiden banen construeert de auteur een specifiek punt in de component en demonstreert dat de dimensie van de raakruimte in dit punt strikt groter is dan de dimensie van de component. Dit wordt bereikt door de interactie te analyseren tussen de raakruimten van de baan, de torus, de nilpotente kegel en unipotente ondergroepen, gebruikmakend van de eigenschappen van "blootgestelde" (exposed) wortels in het Dynkin-diagram.
4. Patching en Automorfe Vormen: De geometrische resultaten worden toegepast op de arithmetische setting met behulp van de Taylor-Wiles-Kisin-patchingsmethode. De auteur beschouwt Hida-families van gewone automorfe vormen op unitaire groepen en construeert een globale deformatiering $R^{\text{univ}}_S$.

Belangrijkste Bijdragen en Resultaten

1. Karakterisering van Gladde Componenten (Stelling 1.2):
   Het artikel bewijst dat onder de aanname dat $q$ voorzichtig is ten opzichte van $G$:

   • De irreducibele component $X_C$ van $S_{G,O}$ die correspondeert met een onderscheiden nilpotente baan $C$ (of de nul-baan) glad is over de basisring.
   • Omgekeerd, als $C$ een niet-triviale, niet-onderscheiden nilpotente baan is, is de component $X_C$ singulier.
     Dit resultaat generaliseert eerdere werken van Bellovin en Helm en biedt een volledige geometrische classificatie van de gladheid van deze moduli-ruimten.

2. Regulariteit van Deformatieringen:
   Door de gladheid van de lokale deformatieringen die geassocieerd zijn met onderscheiden banen (specifiek Steinberg- en discrete reeks-representaties) vast te stellen, bevestigt het artikel dat de generieke vezels van deze lokale deformatieringen reguliere lokale ringen zijn. Dit is een vereiste opdat het patching-argument succesvol kan zijn.

3. Vrijheid van Gewone Automorfe Vormen (Stelling 1.3):
   Door de geometrische resultaten toe te passen op de globale setting, bewijst de auteur dat de module van gewone automorfe vormen $S^{\text{ord}}(U(p^\infty), L/\mathcal{O})^\vee$ een eindig lokaal vrije module is over de globale deformatiering $R^{\text{univ}}_S[1/l]$.

   • Dit impliceert dat de Hecke-algebra die op deze vormen werkt, isomorf is met de globale deformatiering (na inverteren van $l$).
   • Cruciaal is dat dit vaststelt dat de multipliciteit van automorfe vormen met een gegeven Galois-representatie in karakteristiek nul constant is langs de samenhangende componenten van de deformatiering.

Betekenis en Aanspraken
Het artikel claimt een rigoureuze geometrische basis te bieden voor de gladheid van lokale deformatieringen die worden gebruikt in moderne modulariteitslifttheorema's. Door expliciet te identificeren welke componenten van de Weil-Deligne moduli-ruimte glad zijn, rechtvaardigt het werk de regulariteitsaannames die vaak worden gemaakt in patching-argumenten.

De toepassing op Hida-families is significant omdat het multipliciteitsresultaten uitbreidt van klassieke automorfe vormen naar niet-klassieke Hida-families. De auteur merkt op dat als de multipliciteit 1 is voor klassieke vormen op een specifieke samenhangende component, het geometrische vrijheidsresultaat impliceert dat de multipliciteit 1 is voor alle vormen (klassiek en niet-klassiek) in die component. Dit overbrugt de kloof tussen klassieke getaltheorie en de geometrie van $p$-adische families, en zorgt ervoor dat de "multipliciteit één"-eigenschap behouden blijft over de hele familie.

Het werk stelt geen nieuwe experimentele toepassingen of toekomstige conjecturen voor buiten de directe reikwijdte van het vaststellen van de vrijheid van de module en de isomorfie tussen de Hecke- en deformatieringen in de gewone setting voor unitaire groepen. Het leunt op en synthetiseert bestaande machinery (Taylor-Wiles-Kisin, Hida-theorie) met nieuwe geometrische inzichten met betrekking tot de singulariteiten van de sluiting van nilpotente banen in de context van Weil-Deligne-parameters.