Explicit isomorphisms for a Herr-type complex over a metabelian extension

1. Probleemstelling en Context

Het artikel adresseert een fundamenteel probleem binnen de $p$-adische Hodge-theorie: het expliciet berekenen van de Galois-cohomologie van families van $p$-adische Galois-voorstellingen.

• Achtergrond: Klassiek wordt de cohomologie van een $p$-adische voorstelling $V$ van de absolute Galois-groep $G_K$ van een $p$-adisch getallichaam $K$ geassocieerd met $(\varphi, \Gamma)$-modules via de theorie van Fontaine. Herr [Her98] introduceerde een complex (de "Herr-complex") gebaseerd op deze modules dat de cohomologie berekent voor cyclotomische uitbreidingen.
• Uitdaging: De auteurs werken in een meer generieke setting:
  1. Families: De voorstellingen zijn gedefinieerd over een Banach-algebra $S$ over $\mathbb{Q}_p$ (in plaats van alleen over een eindige extensie van $\mathbb{Q}_p$).
  2. Metabelische Uitbreiding: Ze beschouwen de uitbreiding $L = K_\infty \cdot K_{cycl}$, waarbij $K_\infty$ de Kummer-toren is (gegenereerd door $p^n$-de wortels van een uniformisator $\pi$) en $K_{cycl}$ de cyclotomische uitbreiding is. De Galois-groep $G_\infty = \text{Gal}(L/K)$ is niet cyclisch, maar wordt topologisch gegenereerd door twee elementen: $\gamma$ (uit de cyclotomische richting) en $\tau$ (uit de Kummer-richting).
  3. $(\varphi, \tau)$-modules: Voor deze setting zijn $(\varphi, \tau)$-modules de juiste algebraïsche objecten (in plaats van $(\varphi, \Gamma)$-modules), zoals ontwikkeld door Tavares Ribeiro en Caruso.
• Specifiek Probleem: Bestaande resultaten (zoals die van Tavares Ribeiro voor eindige extensies en Pottharst voor families van $(\varphi, \Gamma)$-modules) zijn niet direct toepasbaar op deze specifieke combinatie van families en de metabelische structuur van $G_\infty$. Er ontbreekt een expliciet complex van $(\varphi, \tau)$-modules waarvan de cohomologie isomorf is aan $H^i(G_K, V)$, inclusief de expliciete isomorfismen.

2. Methodologie

De auteurs hanteren een constructieve aanpak die voortbouwt op de Hochschild-Serre spectrale sequentie en de theorie van $(\varphi, \tau)$-modules voor families.

• Opbouw van de Complexen:

  • Ze definiëren een complex gebaseerd op de $(\varphi, \tau)$-module $D^\dagger_{\tau, K}(V)$ geassocieerd met de familie $V$.
  • Ze gebruiken de actie van de Galois-groep $G_\infty$, gegenereerd door $\gamma$ en $\tau$, en de Frobenius-operator $\varphi$.
  • Een cruciaal element is de operator $\delta = \tau^{\chi(\gamma)-1}\tau^{-1}$, die voortkomt uit de conjugatie-relatie $g\tau g^{-1} = \tau \chi_{cycl}(g)$ in de Galois-groep.

• Stap-voor-stap Strategie:

  1. Cohomologie van $H_\infty$: Eerst wordt de cohomologie van de ondergroep $H_\infty = \text{Gal}(L/K_{cycl})$ berekend. Dit gebeurt via een tweetermcomplex gebaseerd op $\varphi - 1$.
  2. Cohomologie van $G_\infty$: Vervolgens wordt een complex voor de cohomologie van $G_\infty$-modules geconstrueerd. Omdat $G_\infty$ niet cyclisch is, gebruiken ze een drie-term complex dat de actie van $\gamma$ en $\tau$ combineert.
  3. Totale Complex: Door deze twee lagen te combineren (via een "total complex" constructie), ontwerpen ze een vier-term complex dat de volledige Galois-cohomologie $H^i(G_K, V)$ moet berekenen.
  4. Expliciete Isomorfismen: Het kernpunt van het artikel is het construeren van expliciete kaarten ($h_1$ en $h_2$) tussen de cohomologie van het groepsgewijze complex en de cohomologie van het $(\varphi, \tau)$-complex.
  5. De Vijf-Lemma: Ze tonen aan dat een diagram commutatie tussen de exacte rij van de Hochschild-Serre spectrale sequentie en een analoog exact rij voor de $(\varphi, \tau)$-modules. Omdat de meeste verticale kaarten al bekend isomorfismen zijn, volgt uit het vijf-llemma dat de nieuwe kaarten ($h_1, h_2$) ook isomorfismen zijn.

3. Belangrijkste Bijdragen en Resultaten

Het hoofddoel is bereikt in Stelling 1 (Theorem 26) en Corollary 27.

• Het Complex: De auteurs definiëren het volgende complex voor een familie $V$ en een geassocieerde $(\varphi, \tau)$-module $D_L^r$:
  $$0 \to D_L^r \xrightarrow{d_0} (D_L^r)^{\oplus 3} \xrightarrow{d_1} (D_L^r)^{\oplus 3} \xrightarrow{d_2} D_L^r \to 0$$
  Waarbij de differentiaal $d_0$ gegeven wordt door de matrix $(\varphi-1, \gamma-1, \tau-1)^T$, $d_1$ een complexe matrix bevat met termen als $1-\varphi$ en $1-\delta^{-1}\gamma$, en $d_2$ de rij $(\tau-1, 1-\delta^{-1}\gamma, \varphi-1)$ is.

• Hoofdstelling: De cohomologie van dit complex is isomorf met de Galois-cohomologie $H^i(G_K, V)$ voor $i=0, 1, 2$.

  • Voor $i=0$ is de isomorfie triviaal.
  • Voor $i=1$ en $i=2$ worden expliciete formules gegeven voor de kaarten $h_1: H^1(G_K, V) \to H^1(\text{Complex})$ en $h_2: H^2(G_K, V) \to H^2(\text{Complex})$. Deze kaarten maken gebruik van een continue sectie $s(pr)$ voor de operator $\varphi-1$ en cohomologische representanten.

• Generalisatie:

  • Het resultaat generaliseert de theorema's van Tavares Ribeiro (die alleen voor eindige extensies van $\mathbb{Q}_p$ gold) naar het geval van families over $p$-adische affinoid algebra's.
  • Het lost het probleem op voor de metabelische uitbreiding $L$, waarbij $G_\infty$ cohomologie in graad 2 heeft (in tegenstelling tot cyclische groepen), wat de constructie aanzienlijk complexer maakt dan in eerdere werken van Pottharst.

4. Technische Nuances en Uitdagingen

• Niet-triviale $H^2$: In tegenstelling tot de cyclotomische setting (waar $H^2(\Gamma, \cdot) = 0$), heeft de groep $G_\infty$ niet-triviale cohomologie in graad 2. Dit betekent dat de auteurs expliciet moeten werken met $H^2(G_\infty, V^{H_\infty})$ en dat de isomorfie voor $H^2(G_K, V)$ niet "gratis" uit de spectrale sequentie volgt.
• Constructie van $h_2$: Het construeren van de kaart $h_2$ is technisch zeer veeleisend. De auteurs moeten laten zien dat een cohomologieklassie in $H^2(G_K, V)$ kan worden gerepresenteerd door een cocykel die specifieke waarden aanneemt op de generatoren $\gamma$ en $\tau$, en dat deze waarden kunnen worden "gelift" naar de $(\varphi, \tau)$-module om een element in het complex te vormen dat in de kern van $d_2$ ligt.
• Onafhankelijkheid van keuzes: Een groot deel van het bewijs (sectie 5.3) is gewijd aan het aantonen dat de gedefinieerde kaarten onafhankelijk zijn van de keuze van de representanten van de cohomologieklassen en de gekozen liften.

5. Betekenis en Impact

• Fundamentele Stap: Dit werk legt de basis voor de cohomologie-theorie van families van $(\varphi, \tau)$-modules, analoog aan wat Herr en Kedlaya-Pottharst-Xiao deden voor $(\varphi, \Gamma)$-modules.
• Toepassingen in Getaltheorie: Dergelijke expliciete complexen zijn essentieel voor:
  • Het bestuderen van Galois-deformatieringen.
  • Het analyseren van semi-stabiele voorstellingen.
  • Het onderzoeken van integraal modellen van Shimura-variëteiten.
  • Het formuleren van $p$-adische Langlands-correspondenties in families.
• Verbinding: Het artikel verbindt de theorie van Kummer-torens (via $\tau$) met de cyclotomische theorie (via $\gamma$) in een uniforme familie-omgeving, wat een krachtig nieuw gereedschap biedt voor onderzoekers in de $p$-adische Hodge-theorie.

Samenvattend biedt dit artikel een volledig uitgewerkte, expliciete methode om Galois-cohomologie te berekenen voor complexe families van voorstellingen over metabelische uitbreidingen, waarbij de technische obstakels van niet-cyclische groepen en oneindig-dimensionale families succesvol worden overwonnen.