Une conjecture $C_{\rm st}$ pour la cohomologie à support compact

Dit artikel toont aan dat het toevoegen van $p$-adische analoga van $\log p$ en $\log 2\pi i$ de Galois-cohomologie van de ring van analytische functies op de Fargues-Fontaine-curve in graden $\geq 1$ vernietigt, wat het mogelijk maakt om conjecturen van het type $C_{\rm dR}$ en $C_{\rm st}$ te formuleren voor de cohomologie met compacte drager van $p$-adische analytische variëteiten.

De kern

Stel je voor dat wiskundigen proberen een heel complexe puzzel op te lossen: hoe vertalen we informatie uit de "p-adische wereld" (een vreemde, digitale versie van de getallenwereld) naar iets dat we kunnen begrijpen, zoals de klassieke meetkunde?

De auteurs van dit artikel (Colmez, Gilles en Nizioł) hebben een nieuw stukje voor die puzzel gevonden, specifiek voor een heel lastig type meetkundige figuren die ze "variëteiten met compacte steun" noemen. Laten we dit uitleggen met een paar alledaagse metaforen.

1. Het Probleem: Een Leeg Koffiekopje met een Lek

Stel je voor dat je een koffiekopje hebt (dat staat voor de wiskundige structuur die we bestuderen). Je wilt weten wat erin zit, maar je kunt het niet direct zien. Je gebruikt een speciale "detector" (de Galois-cohomologie) om te kijken of er koffie in zit.

• Voor gewone figuren: De detector werkt perfect. Hij zegt: "Ja, hier zit koffie" of "Nee, hier is het leeg".
• Voor de lastige figuren (compacte steun): De detector werkt niet goed. Hij begint te piepen en te brommen door ruis. Deze ruis komt van de detector zelf, niet van het kopje. Zelfs als het kopje leeg is, zegt de detector: "Er zit iets in!" omdat er een klein lekje in de detector zit (wiskundig gezien: de cohomologie is niet nul in bepaalde graden).

In de wiskunde noemen ze deze ruis "parasitaire termen". Als je die niet weghaalt, krijg je een verkeerd antwoord.

2. De Oplossing: Een Speciale "Reparatiesticker"

De auteurs zeggen: "We moeten die ruis weghalen voordat we gaan meten."

Hoe doen ze dat? Ze voegen een heel speciaal ingrediënt toe aan hun detector. In de wiskunde noemen ze dit een logaritme (een soort wiskundige "rekenmachine" voor exponentiële groei).

• De analogie: Stel je voor dat je een radio hebt die constant een zoemend geluid maakt (de ruis). Je kunt de radio niet repareren door hem te slaan. Maar als je een speciaal filter (de "logaritme") toevoegt, verdwijnt dat zoemende geluid plotseling.
• Wat ze precies doen: Ze voegen een "p-adische logaritme" toe (een soort wiskundige variabele die ze log t noemen). Dit is als het toevoegen van een extra laagje isolatie aan de detector. Zodra ze dit doen, stopt de ruis volledig. De detector geeft nu alleen nog maar het echte signaal weer.

3. Waarom is dit belangrijk?

Vroeger konden wiskundigen alleen deze "reparatie" doen voor simpele, gesloten figuren (zoals een bol). Maar voor de lastige, open figuren (de "variëteiten met compacte steun") wisten ze niet hoe ze de ruis moesten weghalen.

Met hun nieuwe methode (het toevoegen van die speciale logaritme) kunnen ze nu:

1. De ruis volledig elimineren.
2. Een nieuwe, perfecte formule opstellen (de "Cst-conjectuur") die vertelt hoe je van de digitale p-adische wereld terugkomt naar de klassieke meetkunde, zelfs voor die lastige figuren.

4. De "Folklore" en de Verrassing

Het artikel noemt ook iets interessants:

• Voor de ene detector (BdR) wisten wiskundigen al lang dat je een sticker nodig had. Dat was "folklore" (algemene kennis).
• Maar voor de andere detector (BFF, gebaseerd op de beroemde "Fargues-Fontaine-kromme") dachten ze dat het onmogelijk was om de ruis weg te krijgen met slechts één sticker. Ze dachten dat je er duizenden nodig zou hebben.
• De verrassing: Ze ontdekten dat je ook hier maar één speciale sticker (de logaritme van 2iπ) nodig hebt om alles perfect te laten werken. Dat was een grote verrassing voor de wiskundige wereld.

Samenvatting in één zin

De auteurs hebben een slimme wiskundige truc bedacht (het toevoegen van een speciale logaritme) om de "ruis" uit een meetkundige detector te halen, waardoor ze nu eindelijk de juiste vertaalsleutel hebben om complexe digitale getallenwerelden om te zetten naar begrijpelijke meetkunde.

Het is alsof ze een bril hebben opgepoetst die tot nu toe altijd wazig was voor een bepaald type object, waardoor ze nu eindelijk scherp kunnen zien.

Technische samenvatting

Hier is een gedetailleerd technisch samenvatting van het paper "Une conjecture Cst pour la cohomologie à support compact" van Pierre Colmez, Sally Gilles en Wiesława Nizioł, geschreven in het Nederlands.

Titel: Een Cst-conjectuur voor de cohomologie met compacte drager

Auteurs: Pierre Colmez, Sally Gilles, Wiesława Nizioł
Context: p-adische meetkunde, p-adische Hodge-theorie, cohomologie van analytische variëteiten.

---

1. Het Probleem

De auteurs adresseren een fundamenteel probleem in de p-adische Hodge-theorie: het formuleren van vergelijkingen (conjecturen) die de pro-étale cohomologie van p-adische analytische variëteiten relateren aan hun de Rham- en Hyodo-Kato cohomologie, specifiek voor het geval van cohomologie met compacte drager ($H^*_{c}$).

• Bestaande situatie: Voor propre (proper) variëteiten zijn de conjecturen $C_{dR}$ en $C_{st}$ (Colmez-Nizioł) al geformuleerd en grotendeels bewezen. Deze stellen dat men de de Rham- of Hyodo-Kato cohomologie kan terugwinnen uit de pro-étale cohomologie via de functor $\text{Hom}_{G_K}(-, B)$, waarbij $B$ een ring van periodes is (zoals $B_{dR}$ of $B_{st}$).
• Het obstakel voor compacte drager: Bij variëteiten die niet propre zijn (bijvoorbeeld affiene variëteiten), faalt de eenvoudige $\text{Hom}$-benadering.
  1. Men moet werken met een afgeleide Hom-functie ($R\text{Hom}$) in plaats van een gewone Hom.
  2. De Galois-cohomologie van de ringen van periodes ($B_{dR}$, $B_{st}$) is niet triviaal in graad $\ge 1$. Specifiek bevat $H^1(G_K, B_{dR})$ een niet-triviale klasse gerelateerd aan $\log \chi_{\text{cycl}}$ (het logaritme van het cyclotomische karakter).
  3. Als men deze "parasitaire" termen niet elimineert, leidt de $R\text{Hom}$-constructie tot dubbelingen of incorrecte resultaten (men krijgt de cohomologiegroepen twee keer of in de verkeerde vorm).

Het doel van het paper is om een methode te vinden om deze Galois-cohomologie in graden $\ge 1$ te "doden" (trivialiseren) door de ringen van periodes te uit te breiden, zodat een correcte conjectuur voor compacte drager mogelijk wordt.

---

2. Methodologie

De auteurs gebruiken een constructieve aanpak gebaseerd op het toevoegen van logaritmische variabelen aan de bestaande ringen van periodes.

A. Elimineren van cohomologie in $B_{dR}$

• Observatie: Volgens een stelling van Tate is $H^1(G_K, C(j))$ triviaal voor $j \neq 0$, maar voor $j=0$ is $H^1(G_K, C) \cong K \cdot \log \chi_{\text{cycl}}$. Omdat $B_{dR}$ een filtratie heeft met quotiënten $C(j)$, erfde $B_{dR}$ deze niet-triviale cohomologie.
• Oplossing: De auteurs introduceren een transcendent element $\log t$ (waarbij $t$ de p-adische $2\pi i$ van Fontaine is).
  • Ze definiëren de ring $B_{pdR} = B_{dR}[\log t]$.
  • De actie van de Galoisgroep $G_K$ op $\log t$ wordt gedefinieerd als $\sigma(\log t) = \log t + \log \chi_{\text{cycl}}(\sigma)$.
• Resultaat: Door deze uitbreiding wordt de cohomologie $H^i(G_K, B_{pdR})$ triviaal voor alle $i \ge 1$. De term $\log t$ compenseert precies de $\log \chi_{\text{cycl}}$-term die de cohomologie veroorzaakte.

B. Het geval van de Fargues-Fontaine curve en ring $B$

• Context: Voor de conjectuur $C_{st}$ moet men werken met de ring $B$ (functies op de Fargues-Fontaine curve $Y_{FF}$) en haar varianten $B_{st}$.
• Uitdaging: De ring $B$ heeft een complexere structuur dan $B_{dR}$. De auteurs tonen aan dat het niet voldoende is om alleen $B_{st}$ te gebruiken, omdat de cohomologie daarvan niet triviaal is.
• Constructie:
  • Ze introduceren een transcendent element $\log \tilde{p}$ (waarbij $\tilde{p}$ een lift is van $p$ in de perfectoid context).
  • Ze definiëren de ring $B_{FF} = B[\log \tilde{p}]$ en vervolgens $B_{pFF} = B_{FF}[\log t]$.
  • De Galois-actie op $\log \tilde{p}$ wordt gegeven door $\sigma(\log \tilde{p}) = \log \tilde{p} + K_{\text{ump}}(\sigma) \cdot t$, waarbij $K_{\text{ump}}$ de Kummer-cocycli is.
• Technische Bewijsvoering:
  • Ze gebruiken een inductie over de graad van polynomen in $\log \tilde{p}$ en $\log t$.
  • Ze maken gebruik van exacte sequenties en de eigenschappen van de cohomologie van $C$ (Tate) en de structuur van $B/tB$ (een product van kopieën van $C$).
  • Ze bewijzen dat door het toevoegen van zowel $\log \tilde{p}$ als $\log t$, de cohomologie $H^i(G_K, B_{pFF})$ verdwijnt voor alle $i \ge 1$.

---

3. Belangrijkste Bijdragen en Resultaten

1. Trivialisatie van Galois-cohomologie:
   Het paper bewijst dat het toevoegen van de logaritmische termen $\log t$ (voor $B_{dR}$) en $\log \tildep, \log t$ (voor $B_{FF}$) leidt tot ringen ($B_{pdR}$ en $B_{pFF}$) waarvan de Galois-cohomologie in graden $\ge 1$ volledig verdwijnt.

   • Stelling 1.4: $H^i(G_K, B_{pdR}) = 0$ voor $i \ge 1$.
   • Stelling 2.4: $H^i(G_K, B_{pFF}) = 0$ voor $i \ge 1$.

2. Formulering van de Conjectuur $C_{st}$ voor Compacte Drager:
   Met deze gezuiverde ringen kunnen de auteurs een nieuwe conjectuur formuleren (Conjectuur 3.1) voor partiel propre (partially proper) analytische variëteiten $Y$:

   • $C_{dR}$: $R\Gamma_{dR}(Y) \simeq R\text{Hom}_{G_K}(R\Gamma_{\text{proét}, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{pdR})$
   • $C_{st}$: $R\Gamma_{HK}(Y) \simeq \varinjlim_{[L:K]<\infty} R\text{Hom}_{GL}(R\Gamma_{\text{proét}, c}(Y_{\mathbb{C}_p}, \mathbb{Q}_p(d))[2d], B_{pFF})$

3. Verduidelijking van de rol van $R\text{Hom}$:
   Het paper legt uit waarom een eenvoudige $\text{Hom}$ niet werkt en waarom een $R\text{Hom}$ zonder correctie ook faalt (door de $\text{Ext}^1$-termen die ontstaan door de niet-triviale cohomologie van de periodes). De introductie van de logaritmen is essentieel om deze $\text{Ext}^1$-termen te elimineren.

---

4. Significatie

• Voltooiing van het theoretisch kader: Dit werk sluit een gat in de p-adische Hodge-theorie. Waar de theorie voor propre variëteiten goed begrepen was, was de situatie voor niet-propre variëteiten (met compacte drager) onduidelijk en problematisch.
• Nieuwe gereedschappen: De constructie van de ringen $B_{pdR}$ en $B_{pFF}$ biedt nieuwe, krachtige instrumenten voor het bestuderen van de cohomologie van open of niet-propre p-adische ruimten.
• Verwachtingen voor toekomstig onderzoek: De conjecturen die hier worden geformuleerd, vormen de basis voor toekomstige bewijzen en generalisaties. Het paper suggereert dat deze conjecturen waar zijn voor propre variëteiten (waar ze bekend zijn) en nu voor het eerst een consistente formulering bieden voor het algemene geval.
• Technische doorbraak: Het inzicht dat men specifieke logaritmische uitbreidingen moet toevoegen om de cohomologie te "doden", is een elegante oplossing voor een hardnekkig probleem in de Galois-cohomologie van periodenringen.

Kortom, dit paper legt de fundamentele basis voor het begrijpen van de relatie tussen p-adische Galois-representaties en geometrische cohomologie in het geval van compacte drager, door een technische hindernis (niet-triviale cohomologie van periodes) weg te nemen via een slimme algebraïsche uitbreiding.