On the locally analytic completed cohomology of modular curves

Titel: Over de lokaal analytische voltooide cohomologie van modulaire krommen

Auteur: Lue Pan
Context: Het artikel is een overzicht van recente werken (voornamelijk [Pan22, Pan26]) die de structuur van de voltooide cohomologie van modulaire krommen onderzoeken, met een focus op de lokaal analytische vectoren.

---

1. Het Probleem en de Achtergrond

De centrale vraag in dit onderzoek is hoe de actie van de groep $GL_2(\mathbb{Q}_p)$ op de $p$-adisch voltooide cohomologie van modulaire krommen interacteert met andere symmetrieën, specifiek de Galois-actie van $G_{\mathbb{Q}} = \text{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ en de Hecke-actie.

• Voltooide Cohomologie: Geïntroduceerd door Emerton, wordt deze gedefinieerd als de inverse limiet van de directe limiet van de cohomologie van modulaire krommen met toenemende niveau's bij $p$:
  $$\tilde{H}^i(K_p) := \varprojlim_n \varinjlim_{K_p \subset GL_2(\mathbb{Q}_p)} H^i(Y_{K_p K^p}(\mathbb{C}), \mathbb{Z}/p^n)$$
  Dit vormt een ruimte die fungeert als een "surrogaat" voor $p$-adische automorfe vormen.
• De Uitdaging: Emerton's aanpak gebruikte de $p$-adische lokale Langlands-correspondentie om de interactie tussen $GL_2(\mathbb{Q}_p)$ en $G_{\mathbb{Q}_p}$ te begrijpen. Pan's werk biedt echter een nieuwe, meer geometrische benadering die de structuur van de lokaal analytische vectoren ($\tilde{H}^i(K_p)^{la}$) ontleedt zonder direct afhankelijk te zijn van de volledige lokale Langlands-theorie.

---

2. Methodologie: Geometrische Sen-theorie en Localisatie

De kern van Pan's methode is het toepassen van de $p$-adische meetkunde van modulaire krommen met oneindig niveau bij $p$ (geïntroduceerd door Scholze als perfectoid ruimten) en het aanpassen van Sen's theorie.

A. Relatieve/Geometrische Sen-theorie

Pan past de constructie van de Sen-operator voor $p$-adische Galois-representaties toe op de pro-étale site van gladde rigide analytische variëteiten.

• Higgs-veld: Voor een pro-étale $\mathbb{Z}_p$-lokaal stelsel $V$ op een variëteit $X$, definieert hij een canoniek Higgs-veld $\theta_V$. Dit veld voldoet aan een differentiaalvergelijking (de $p$-adische Cauchy-Riemann-vergelijking) die de lokaal analytische functies karakteriseert.
• Toepassing op Modulaire Krommen: Op de modulaire kromme met oneindig niveau ($X_{K_p}$) is het Higgs-veld gerelateerd aan de Kodaira-Spencer-afbeelding en de Hodge-Tate-filtratie.

B. Localisatie naar D-modules

Een cruciale doorbraak is de "localisatie" van de cohomologie.

• Hodge-Tate Period Morphism: Scholze definieerde een equivariante afbeelding $\pi_{HT}: X_{K_p} \to \mathcal{F}\ell \cong \mathbb{P}^1$, waarbij $\mathbb{P}^1$ de vlagvariëteit van $GL_2$ is.
• De Sheaf $\mathcal{O}^{la}$: Pan definieert een sheaf $\mathcal{O}^{la}$ op $\mathbb{P}^1$ bestaande uit lokaal analytische secties.
• Isomorfisme: De lokaal analytische voltooide cohomologie wordt geïdentificeerd met de cohomologie van deze sheaf op de vlagvariëteit:
  $$\tilde{H}^i(K_p)^{la} \widehat{\otimes}_{\mathbb{Q}_p} \mathbb{C} \cong H^i(\mathbb{P}^1, \mathcal{O}^{la})$$
  Dit toont aan dat $\mathcal{O}^{la}$ fungeert als een $\mathcal{D}$-module op $\mathbb{P}^1$ in de zin van Beilinson-Bernstein. De actie van de Lie-algebra $\mathfrak{gl}_2$ op de cohomologie wordt bepaald door de werking van de Sen-operator op deze sheaf.

---

3. Belangrijkste Resultaten en Bijdragen

A. Hodge-Tate Structuur (Pan22)

Pan analyseert de decompositie van de cohomologie op basis van de Hodge-Tate-gewichten.

• Reguliere Gewichten ($k \neq 1$): Voor gewicht $k \notin \{0, 1, 2\}$ wordt een Hodge-Tate-decompositie bewezen:
  $$\tilde{H}^1(K_p)^{la}_{\mu_k} \cong N_{k,1} \oplus M^\dagger_{2-k}(k-1)$$
  Hierbij is $M^\dagger$ de ruimte van overconvergente modulaire vormen. Dit resultaat koppelt de voltooide cohomologie direct aan overconvergente vormen zonder beperkingen tot eindige helling of ordinair gedrag.
• Galois-Representaties: Er wordt een verband gelegd tussen Hecke-eigenwaarden en Hodge-Tate-Sen-gewichten. Een irreducibele Galois-representatie met gewichten $0, k-1$ komt overeen met een eigenvorm in de ruimte van overconvergente vormen. Dit bevestigt een conjectuur van Gouvêa.
• Gewicht 1 (Irregulair): Voor $k=1$ is er geen directe decompositie vanwege niet-Hodge-Tate representaties. Er wordt een exacte rij afgeleid die de "Cousin-complex" uit de hogere Coleman-theorie interpreteert via $p$-adische Hodge-theorie.
  • Classicaliteit: Een belangrijk gevolg is dat elke overconvergente vorm van gewicht 1 die een Hodge-Tate Galois-representatie definieert, daadwerkelijk een klassieke modulaire vorm is (een Artin-representatie).

B. De Rham Structuur en de Fontaine-operator (Pan26)

In dit deel wordt de de Rham-structuur bestudeerd, gedomineerd door de Fontaine-operator $N$.

• Geometrische Beschrijving: De Fontaine-operator $N$, die onderscheid maakt tussen Hodge-Tate en de Rham representaties, wordt geometrisch geïnterpreteerd als een samenstelling van differentiaties langs de modulaire kromme en de vlagvariëteit:
  $$N \sim H^1(\bar{d}_1 \circ d_1)$$
  Waarbij $d_1$ en $\bar{d}_1$ afgeleiden zijn langs respectievelijk de modulaire kromme en $\mathbb{P}^1$.
• Classicaliteit zonder Local Langlands: Pan bewijst opnieuw dat irreducibele 2-dimensionale Galois-representaties die de Rham zijn met gewichten $0, k$, afkomstig zijn van klassieke cusp-vormen.
  • Unieke Bijdrage: In tegenstelling tot Emerton's aanpak, gebruikt Pan geen $p$-adische lokale Langlands-correspondentie voor $GL_2(\mathbb{Q}_p)$. Hij omzeilt de $GL_2(\mathbb{Q}_p)$-symmetrie en gebruikt direct de Jacquet-Langlands-overdracht en de geometrische structuur van de Fontaine-operator.
• Constructie van Representaties: Voor een gegeven Galois-representatie $\rho$ wordt de bijbehorende lokaal analytische representatie van $GL_2(\mathbb{Q}_p)$ geconstrueerd als de cokern van een injectieve afbeelding $i_\pi$. Deze constructie is uniform voor zowel supercuspidale als hoofdreeksgevallen, maar wordt gedefinieerd over verschillende strata van de vlagvariëteit $\mathbb{P}^1$.

---

4. Betekenis en Impact

1. Nieuwe Benadering: Het werk introduceert een krachtige nieuwe methode om de $p$-adische Langlands-correspondentie te bestuderen door gebruik te maken van de $p$-adische meetkunde van oneindige niveau's en localisatie op de vlagvariëteit.
2. Onafhankelijkheid van Langlands: De resultaten over classicaliteit (vooral voor gewicht 1 en in het de Rham-geval) worden bewezen zonder de zware machinery van de volledige $p$-adische lokale Langlands-correspondentie te hoeven gebruiken. Dit opent de deur voor toepassingen op andere Shimura-variëteiten waar de lokale Langlands-theorie minder ontwikkeld is.
3. Verband tussen Geometrie en Representatietheorie: Het artikel verduidelijkt hoe de Sen-operator en de Fontaine-operator (uit de $p$-adische Hodge-theorie) direct corresponderen met differentiaaloperatoren op de vlagvariëteit, wat een diep inzicht geeft in de structuur van automorfe vormen.
4. Generalisatie: De methoden zijn reeds getoetst en gegeneraliseerd naar hogere dimensies (bijv. Siegel driedimensionale variëteiten) en Hilbert-modulaire vormen, wat aangeeft dat dit een fundamenteel raamwerk is voor de moderne getaltheorie.

Samenvattend biedt dit artikel een brug tussen de abstracte theorie van voltooide cohomologie en concrete meetkundige objecten (D-modules op $\mathbb{P}^1$), waardoor nieuwe bewijzen voor klassieke conjectures mogelijk worden en de structuur van $p$-adische automorfe vormen beter begrepen kan worden.