The commutative algebra of congruence ideals and applications to number theory

Titel: De Commutatieve Algebra van Congruentie-idealen en Toepassingen in de Getaltheorie

1. Het Probleem en Achtergrond

Het artikel bouwt voort op de baanbrekende bewijzen van Andrew Wiles voor de Laatste Stelling van Fermat en de Modulariteitsstelling. Wiles gebruikte een specifieke techniek uit de commutatieve algebra: een numeriek criterium om isomorfismen tussen ringen (specifiek tussen Galois-deformatieringen $R$ en Hecke-algebra's $T$) te detecteren. Dit criterium is gebaseerd op de vergelijking van de lengtes van congruentiemodules en cotangentruimtes.

Echter, de bestaande theorie was grotendeels beperkt tot het geval van codimensie $c=0$ (waarbij de lokale deformatiering regulier is). In meer complexe situaties, zoals bij:

• Modulaire vormen van gewicht 1 (in tegenstelling tot gewicht $\ge 2$),
• Deformaties met hogere codimensie (waar de lokale ringen niet noodzakelijk regulier zijn, maar wel Cohen-Macaulay),
• Het "patching"-proces van Taylor-Wiles (waarbij men werkt met gepatchte ringen van hogere dimensie),

was het oude numerieke criterium niet direct toepasbaar. Er bestond geen adequate algebraïsche structuur om congruenties in hogere codimensie te kwantificeren en te relateren aan de Wiles-defect (het verschil tussen de verwachte en de werkelijke lengte van de module).

2. Methodologie

De auteurs introduceren een nieuwe algebraïsche raamwerk dat de theorie van congruentiemodules uitbreidt naar hogere codimensie ($c \ge 0$).

• Congruentie-idealen ($\eta_\lambda(M)$): In plaats van alleen te werken met congruentiemodules ($\Psi_\lambda(M)$), definiëren de auteurs een congruentie-ideaal. Dit is het beeld van een natuurlijke afbeelding:
  $$\text{Ext}^c_A(O, M) \otimes_O \text{Hom}_A(M, O) \to \text{Ext}^c_A(O, O)^{\text{tf}}$$
  waarbij $A$ een lokaal $O$-algebra is, $\lambda: A \to O$ een augmentatie is, en $c$ de codimensie is. Omdat $\text{Ext}^c_A(O, O)^{\text{tf}}$ isomorf is met $O$ (onder bepaalde voorwaarden), kan het beeld worden geïnterpreteerd als een ideaal in $O$.
• Relatie met Cotangentruimtes: Ze verbinden deze idealen met de Fitting-idealen van de cotangentruimte (de conormale module $p/p^2$). Dit maakt het mogelijk om de structuur van de ring te analyseren via de eigenschappen van de module.
• Patching en Numerieke Criteria: De auteurs combineren de "patching"-techniek (die $R$ en $T$ relateert aan een reguliere ring $R_\infty$) met hun nieuwe algebraïsche criteria. Ze tonen aan dat men het numerieke criterium na het patchen kan toepassen, zelfs als de oorspronkelijke ringen niet regulier zijn.
• Determinantale Ringen: Ze gebruiken specifieke voorbeelden van determinantale ringen (gerelateerd aan Steinberg-deformaties) om de berekeningen van congruentie-idealen expliciet uit te voeren.

3. Belangrijkste Bijdragen en Resultaten

A. Algebraïsche Theorie

1. Definitie van Congruentie-idealen: Een nieuwe invariant $\eta_\lambda(M)$ die de "congruentie-informatie" vastlegt in hogere codimensie.
2. Generalisatie van het Numerieke Criterium: Ze bewijzen een criterium (Stelling 2.32) dat equivalenties aangeeft tussen:
   • Dat $A$ een complete intersectie is en $M$ vrij is.
   • Dat het congruentie-ideaal van $M$ gelijk is aan het Fitting-ideaal van de cotangentruimte van $A$.
   • Dat de Wiles-defect nul is.
3. Factorisatieformules: Ze leiden formules af voor congruentie-idealen van globale ringen in termen van lokale termen. Voor een globale deformatiering $R$ en een Hecke-algebra $T$ geldt (in het geval van nieuwe vormen):
   $$\eta_\lambda(T) = \text{Fitt}_O(H^1_f(Q, \text{Ad } \rho_f \otimes E/O)) \cdot \prod_{q} \eta_\lambda(R_q)$$
   Hierbij is het globale deel gerelateerd aan de Bloch-Kato Selmer-groep en de lokale termen aan de lokale deformatieringen.

B. Toepassingen in de Getaltheorie

1. Modulariteit van Gewichts-1 Vormen (Jacquet-Langlands):

   • Ze bewijzen een Jacquet-Langlands-correspondentie voor Hecke-algebra's die werken op de cohomologie van Shimura-curven voor gewicht 1.
   • Dit is een significant resultaat omdat gewicht 1 vormen vaak torsie bevatten en de klassieke methoden (die werken over $\mathbb{Q}$) hier niet toereikend zijn. Ze tonen aan dat Galois-representaties van mod $p^n$ gewicht 1 vormen afkomstig zijn van modulaire vormen, zelfs als ze niet liften naar karakteristiek 0.
   • Dit wordt bereikt door het numerieke criterium toe te passen op de gepatchte ringen, waarbij de nieuwe algebraïsche theorie de obstakels rondom torsie en het ontbreken van een augmentatie op de niet-gepatchte ringen omzeilt.

2. Factorisatie van Wiles-defecten en Tamagawa-idealen:

   • Ze verfijnen eerdere resultaten over de Wiles-defect van Hecke-algebra's. In plaats van alleen de totale defect te berekenen, geven ze een expliciete factorisatie in lokale termen.
   • Ze ontdekken een verrassende relatie tussen lokale congruentie-idealen van lokale deformatieringen en de lokale Tamagawa-idealen van de Bloch-Kato conjectuur voor het adjointe motief $\text{Ad}_f$.
   • Specifiek tonen ze aan dat het congruentie-ideaal van een lokale Steinberg-deformatiering gelijk is aan het Tamagawa-ideaal vermenigvuldigd met een Euler-factor. Dit biedt een nieuwe algebraïsche interpretatie van de Bloch-Kato conjectuur voor de waarde $s=1$ van de adjointe L-functie.

3. Integrale Modulariteit:

   • Ze bewijzen integrale $R=T$ stellingen voor modulaire vormen van gewicht 1, wat een langdurig open probleem was. Ze tonen aan dat de ring $R$ die Galois-deformaties parameteriseert isomorf is met de Hecke-algebra $T$, zelfs in situaties waar de ringen niet vrij zijn over $O$.

4. Significatie

Dit artikel is van fundamenteel belang voor de moderne getaltheorie en de link tussen Galois-representaties en automorfe vormen:

• Verrijking van Wiles' Methode: Het lost het probleem op dat de oorspronkelijke numerieke criteria van Wiles niet direct toepasbaar waren op de "patched" objecten in hogere dimensie of voor gewicht 1. Het biedt een robuust algebraïsch gereedschap om met torsie en niet-reguliere ringen om te gaan.
• Verbinding van Gebieden: Het legt een diepe, expliciete brug tussen commutatieve algebra (Ext-functors, Fitting-idealen, complete intersecties) en de Bloch-Kato conjectuur (Tamagawa-getallen, Selmer-groepen).
• Nieuwe Inzichten in Gewichts 1: Het opent de deur voor het bestuderen van Galois-representaties die corresponderen met gewicht 1 vormen, een gebied dat historisch lastig was vanwege de aanwezigheid van torsie en het ontbreken van een goede theorie van modulaire vormen in gewicht 1 over $\mathbb{Z}$.
• Lokaal-Globale Factorisatie: Het toont aan dat complexe globale invarianten (zoals de Wiles-defect) kunnen worden ontbonden in een product van lokale invarianten, waarbij de lokale termen direct gerelateerd zijn aan de lokale Tamagawa-idealen.

Kortom, de auteurs hebben een nieuwe "rekenmachine" ontwikkeld (de theorie van congruentie-idealen) die het mogelijk maakt om diepere structuren in de modulariteitstheorie te ontrafelen, met name in situaties waar eerdere methoden faalden.