Towards the Fontaine--Mazur conjecture for GL(2)

Technische Samenvatting: Naar de Fontaine–Mazur-conjectuur voor $GL_2$

Probleemstelling
Het artikel behandelt de Fontaine–Mazur-conjectuur voor $GL_2$, specifiek Conjectuur A, die stelt dat continue, irreducibele Galois-representaties $\rho: G_F \to GL_2(\mathbb{Q}_p)$ (waarbij $F$ een totaal reëel getalveld is) die aan specifieke lokale condities voldoen (bijna overal ongeramd, de Rham met verschillende Hodge–Tate gewichten bij $p$, en totaal oneven determinant) voortkomen uit geometrie.

Een significante kloof in de bestaande literatuur betreft het geval waarin de residuele representatie $\bar{\rho}: G_F \to GL_2(\mathbb{F}_p)$ reducibel is. Modulairiteitsverhogingstellingen (modularity lifting theorems) hebben de conjectuur succesvol bewezen voor "voldoende niet-degeneratieve" (bijv. irreducibele) residuele representaties, maar deze methoden falen over het algemeen wanneer $\bar{\rho}$ reducibel is. Eerdere resultaten in het reducibele geval, zoals die van Skinner en Wiles [SW99], waren grotendeels beperkt tot het geval $F = \mathbb{Q}$ en hebben weerstand geboden tegen generalisatie naar willekeurige totaal reële velden.

Methodologie
De auteur, Jack A. Thorne, introduceert een nieuwe aanpak die een nieuw modulairiteitsverhogingstheorema combineert met de "meetkunde van getallen" om het reducibele residuele geval over algemene totaal reële velden aan te pakken. De bewijsstrategie steunt op twee primaire technische pijlers:

1. Een Nieuw Modulairiteitsverhogingstheorema (Theorem 4.1):
   Het artikel vestigt een modulairiteitsverhogingsresultaat waarbij de vereiste "nabijheid" tussen een doelrepresentatie $\rho$ en een bekende modulaire representatie $\rho'$ wordt gemeten door een congruentie modulo $\varpi^C$. Cruciaal is dat de exponent $C$ alleen afhangt van lokale data (geramificeerde plaatsen) en de afbeelding van de globale representatie, in plaats van op subtiele globale invarianten zoals de rang of cardinaliteit van Selmer-groepen. Dit maakt het mogelijk dat de constante $C$ stabiel blijft onder basisverandering naar geschikte totaal reële uitbreidingen. Het bewijs maakt gebruik van een Taylor–Wiles patching-argument, waarbij een gepatchte deformatiering-ring $R_\infty$ en een gepatchte Hecke-algebra $T_\infty$ worden geconstrueerd. Een belangrijke innovatie is het gebruik van ultrafilters voor de constructie van deze ringen en de toepassing van resultaten uit de commutatieve algebra (specifiek Theorem 2.12 betreffende de ondersteuning van punten op irreducibele componenten van spectra) om af te leiden dat als een modulaire punt dicht genoeg bij een doelpunt bestaat, het doelpunt ook op dezelfde irreducibele component moet liggen, en derhalve modulair is.

2. Constructie van Modulaire Approximaties via de Meetkunde van Getallen (Sectie 3):
   Om het verhogingstheorema toe te passen, moet men een modulaire representatie $\rho'$ construeren die $\rho$ benadert modulo $\varpi^C$. De auteur construeert deze benaderingen met behulp van Hilbert–Blument Abelian Variëteiten (HBAV's).

   • De auteur construeert een moduli-ruimte van gepolariseerde HBAV's met een niveaustructuur.
   • Met behulp van de "meetkunde van getallen" (specifiek resultaten over de distributie van roosterpunten in convexe lichamen, volgend op [DH98] en [Wid12]), bewijst het artikel het bestaan van totaal reële uitbreidingen $F'/F$ en HBAV's over $F'$ waarvan de Tate-modules de lokale restricties van $\rho$ tot een hoge graad van precisie benaderen.
   • Deze constructie waarborgt de existentie van een modulaire representatie $\rho'$ (voortkomend uit de cohomologie van deze HBAV's) die congruent is aan $\rho$ modulo een voldoende hoge macht van de uniformisator.

Belangrijkste Bijdragen en Resultaten

• Theorem B (Hoofdresultaat): Het artikel bewijst dat voor een totaal reëel veld $F$ en een priemgetal $p$, elke continue, irreducibele representatie $\rho: G_F \to GL_2(\mathbb{Q}_p)$ die aan de Fontaine–Mazur-condities voldoet (ongeramd bijna overal, potentieel kristallien ordinair met gewichten $\{0, 1\}$ bij $p$, en totaal oneven determinant) potentieel modulair is. Dit betekent dat er een eindige totaal reële uitbreiding $F'/F$ bestaat zodat $\rho|_{G_{F'}}$ voortkomt uit een cuspidale, reguliere algebraïsche automorfe representatie van $GL_2(\mathbb{A}_{F'})$.

  • Betekenis: Dit resultaat is van toepassing zelfs wanneer de residuele representatie $\bar{\rho}$ reducibel is, een geval dat voorheen ontoegankelijk was voor algemene totaal reële velden.

• Theorem D (Toepassing op $\mathbb{Q}$): Als een corolarium bewijst het artikel de modulariteit van $\rho: G_\mathbb{Q} \to GL_2(\mathbb{Q}_p)$ onder dezelfde condities, specifiek gericht op het voorheen openstaande geval waarbij $p=2$ en $\bar{\rho}$ reducibel is. Dit wordt afgeleid uit Theorem B in combinatie met de Serre-conjectuur.

• Commutatieve Algebra en Groepdeterminanten: Het artikel biedt verfijnde resultaten over de structuur van deformatiering-ringen en groepdeterminanten (Proposition 2.13, Theorem 2.12), waarbij voorwaarden vaststelt waaronder punten op deformatiering-ringen op dezelfde irreducibele component liggen op basis van $p$-adische nabijheid.

Betekenis en Claims
Het artikel claimt een nieuwe aanpak te bieden voor de Fontaine–Mazur-conjectuur die robuust is in de aanwezigheid van reducibele residuele representaties. Door de vereiste congruentieniveaus te ontkoppelen van de groottes van globale Selmer-groepen en in plaats daarvan te vertrouwen op lokale data en de meetkunde van getallen, overwint de auteur een belangrijke obstructie in de generalisatie van modulariteitsverhogingstellingen naar totaal reële velden.

Het werk claimt niet de volledige Fontaine–Mazur-conjectuur te bewijzen (wat een verwijdering van het "potentieel" in Theorem B of het behandelen van niet-ordinaire gevallen zou vereisen), maar stelt een significante nieuwe klasse van gevallen vast waar potentiele modulariteit gegarandeerd is. De auteur merkt op dat de potentiele modulariteit impliceert dat de representatie deel uitmaakt van een compatibel systeem, en onder aanvullende condities (existentie van een plaats waar de Weil–Deligne-representatie niet potentieel ongeramd is), impliceert dit dat de representatie voortkomt uit geometrie.

Het artikel stelt expliciet dat het overgrote deel van de gevallen voor $F=\mathbb{Q}$ al bekend was via de Serre-conjectuur en verhogingstellingen, maar dat dit werk specifiek gericht is op het "open geval" van $p=2$ met een reducibele residuele afbeelding, waarmee het bereik van modulariteitsresultaten wordt uitgebreid naar een bredere klasse van representaties en velden.