The overconvergence of multivariable $(φ_q,\mathcal{O}_K^{\times})$-modules at the perfectoid level

Titel: De overconvergentie van meervariabele $(\phi_q, \mathcal{O}_K^\times)$-modulen op het perfectoïde niveau

Auteur: Changjiang Du
Datum: 4 maart 2026
Vakgebied: Getaltheorie (p-adische Hodge-theorie, Galois-representaties)

---

1. Het Probleem en de Context

Het artikel bevindt zich binnen het onderzoeksveld van de p-adische Hodge-theorie, specifiek gericht op het bestuderen van continue representaties van de absolute Galois-groep $G_K = \text{Gal}(\bar{K}/K)$, waarbij $K$ een eindige onvertakte uitbreiding is van $\mathbb{Q}_p$.

• Achtergrond: Fontaine introduceerde $(\phi, \Gamma)$-modulen om Galois-representaties te classificeren. Voor de cyclotomische uitbreiding bewezen Cherbonnier en Colmez dat deze modulen altijd overconvergent zijn; ze dalen af naar een module over de Robba-ring (een ring van Laurentreeksen die convergeren op een open annulus).
• Het Huidige Beperking: Voor de Lubin-Tate uitbreidingen (geassocieerd met een uniformisator van $K$) geldt overconvergentie doorgaans niet.
• De Nieuwe Benadering: In eerdere werken ([Du25]) introduceerde de auteur meervariabele $(\phi_q, \mathcal{O}_K^\times)$-modulen. Deze zijn gedefinieerd over een coëfficiëntenring $A_{mv,E}$ met $f = [K:\mathbb{Q}_p]$ variabelen. Deze structuur biedt een p-adisch analogon voor functies die gerelateerd zijn aan representaties van $GL_2(K)$.
• De Centrale Vraag: De kernvraag van dit artikel is of deze meervariabele modulen, die corresponderen met Galois-representaties, overconvergent zijn. Dat wil zeggen: dalen ze af naar een subring van overconvergente elementen, aangeduid als $A^\dagger_{mv,E}$?

2. Methodologie

De auteur hanteert een combinatie van algebraïsche structuren en de geometrie van de relatieve Fargues-Fontaine-curve.

1. Definitie van Overconvergente Ringen:

   • De ring $A_{mv,E}$ wordt gedefinieerd via een limiet van ringen met specifieke convergentie-eigenschappen.
   • De subring $A^\dagger_{mv,E}$ bestaat uit elementen die "overconvergent" zijn (ze hebben een straal van convergentie groter dan 1 in een bepaalde metriek).
   • Er wordt een functor $j^{\dagger,*}$ gedefinieerd die modulen over $A^\dagger_{mv,E}$ uitbreidt naar $A_{mv,E}$. De vraag is of de inverse functor $j^\dagger_*$ (het nemen van de "beste" overconvergente submodulen) een equivalentie oplevert.

2. Perfectoïde Geometrie:

   • In plaats van te proberen direct af te dalen naar de algebraïsche ring $A^\dagger_{mv,E}$ (wat technisch zeer moeilijk is vanwege de complexe actie van $\mathcal{O}_K^\times$), werkt de auteur op het perfectoïde niveau.
   • Hij gebruikt de relatieve Fargues-Fontaine-curve $Y_{X, [0,r]}$, geassocieerd met de perfectoidisatie $A_\infty$ van de ring $A$.
   • De methode maakt gebruik van de theorie van pro-étale torsoren en Galois-daling op deze curven. Specifiek wordt een diagram gebruikt dat de relatie aangeeft tussen de Lubin-Tate ringen, de meervariabele ringen en hun perfectoidisaties via Witt-vectoren $W_{\mathcal{O}_E}(-)$.

3. Technische Lemmata:

   • Er worden technische resultaten bewezen over de flatheid van inclusions, de structuur van etale modulen over de ringen $A^\dagger_{mv,E}$, en de eindigheid van bepaalde submodulen.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert de volgende hoofdbijdragen:

A. Algebraïsche Structuur van Overconvergente Modulen (Sectie 2)

• Definitie en Eigenschappen: De auteur definieert de categorie van overconvergente meervariabele $(\phi_q, \mathcal{O}_K^\times)$-modulen.
• Volledige Inbedding: Het wordt bewezen dat de functor $j^{\dagger,*}$ (basisverandering van $A^\dagger$ naar $A$) volledig getrouw is. Dit betekent dat de categorie van overconvergente modulen een volledige deelcategorie is van de etale modulen over $A_{mv,E}$.
• Adjoint Functoren: Er wordt een rechter-adjunct $j^\dagger_*$ geconstrueerd (gebaseerd op Cherbonnier's methode), die een etale module over $A_{mv,E}$ afbeeldt op de grootste overconvergente submodule.
• Resultaat: Voor elke etale module $M$ over $A_{mv,E}$ is $j^\dagger_*(M)$ een etale module over $A^\dagger_{mv,E}$, en de natuurlijke transformatie $M \to j^\dagger_*(j^{\dagger,*}(M))$ is een isomorfisme.

B. Overconvergentie op het Perfectoïde Niveau (Sectie 3)

Dit is het centrale resultaat van het artikel.

• Stelling 1.5 (Theorema 3.9 & Propositie 3.10): Laat $\rho$ een continue, vrij $\mathcal{O}_E$-representatie van $G_K$ zijn van rang $d$. Dan is de geassocieerde module $D^{[0,r]}_{A_\infty, i}(\rho)$ (geconstrueerd via de Fargues-Fontaine-curve) een lokaal vrije module van rang $d$ over de ring $B_{A_\infty, [0,r]}$ voor elke $r \in \mathbb{Q}_{>0}$.
• Vrijheid voor kleine $r$: Voor voldoende kleine $r$ is deze module zelfs vrij (niet alleen lokaal vrij).
• Methodologische Vooruitgang: De auteur geeft een geometrisch bewijs dat de overconvergente straal op het perfectoïde niveau willekeurig groot kan zijn. Eerdere methoden (gebaseerd op de Colmez-Sen-Tate methode) garandeerden dit alleen voor zeer kleine stralen.

C. De Relatie tussen Perfectoïde en Algebraïsche Niveau

• De auteur toont een commutatief diagram aan dat de inbedding van $A^\dagger_{mv,E}$ in de perfectoid Robba-ring $\tilde{R}^{int}_{A_\infty}$ beschrijft.
• Open Vraag: Hoewel overconvergentie op het perfectoïde niveau is bewezen, is het nog niet bekend of elke Galois-representatie $\rho$ daadwerkelijk afdaalt naar een module over de algebraïsche ring $A^\dagger_{mv,E}$. Dit is een open probleem, vooral omdat de actie van $\mathcal{O}_K^\times$ (een $p$-dimensionale Lie-groep) complexer is dan in het cyclotomische geval (1-dimensionaal).
• Voorbeelden: De auteur bevestigt overconvergentie voor onvertakte karakters en voor karakters die via de Lubin-Tate-karakter factoriseren.

4. Significatie en Impact

• Verbinding met p-adische Hodge-theorie: Het werk legt een cruciale brug tussen de theorie van meervariabele $(\phi, \Gamma)$-modulen en de moderne geometrie van de Fargues-Fontaine-curve.
• Generalisatie: Het generaliseert de klassieke resultaten van Cherbonnier en Colmez (cyclotomisch geval) naar een veel complexere setting met meerdere variabelen en Lubin-Tate-uitbreidingen.
• Technische Doorbraak: Het gebruik van de relatieve Fargues-Fontaine-curve om overconvergentie te bewijzen zonder afhankelijk te zijn van ingewikkelde trace-berekeningen (zoals Tate's genormaliseerde trace) is een belangrijke methodologische innovatie. Het bewijs is conceptueel eenvoudiger en krachtiger.
• Toekomstige Richtingen: Het resultaat opent de deur voor het bestuderen van de relatie tussen deze modulen en de representaties van $GL_2(K)$ in de p-adische Langlands-correspondentie. Het open probleem van het dalen naar de algebraïsche ring $A^\dagger_{mv,E}$ blijft een uitdaging die waarschijnlijk nieuwe inzichten vereist in de analyse van lokaal analytische vectoren.

Conclusie

Changjiang Du bewijst dat de constructie van meervariabele $(\phi_q, \mathcal{O}_K^\times)$-modulen, die Galois-representaties coderen, overconvergent is op het perfectoïde niveau. Dit betekent dat deze objecten goed gedefinieerd zijn op de relatieve Fargues-Fontaine-curve voor elke straal. Hoewel de volledige algebraïsche overconvergentie (naar de ring $A^\dagger_{mv,E}$) nog een open vraag is, vormt dit werk een fundamentele stap in het begrijpen van de p-adische Hodge-theorie voor niet-cyclotomische uitbreidingen en meervariabele structuren.