Computing the cohomology of constructible étale sheaves on curves

Titel: Het berekenen van de cohomologie van construeerbare étale schoven op krommen

Auteur: Christophe Levrat
Datum: 16 februari 2026 (gepubliceerd op arXiv:2306.03283v2)

---

1. Het Probleem

Het artikel adresseert het fundamentele probleem van het expliciet berekenen van de étale cohomologiecomplexen $R\Gamma(X, \mathcal{F})$ voor een construeerbare schijf van abelse groepen $\mathcal{F}$ op de kleine étale site van een irreducibele kromme $X$ over een algebraïsch gesloten lichaam $k$.

• Context: De cohomologiegroepen van torsie-schoven (met torsie $n$ waarbij $n$ inverteerbaar is in $k$) zijn theoretisch berekenbaar (bewezen door Poonen, Testa, van Luijk, Madore en Orgogozo), maar de bestaande algoritmen zijn niet efficiënt genoeg voor praktische toepassing en hebben vaak een primitief recursieve complexiteit.
• Specifiek doel: Het auteurs wil een expliciete uitdrukking vinden voor het cohomologiecomplex dat alleen eindige groepen bevat, funtioneel is in zowel de kromme als de schijf, en de Galois-actie van een basislichaam $k_0$ (waar $k$ een separabele afsluiting van is) expliciet beschrijft.
• Toepassing: Een cruciale drijfveer is de ontwikkeling van een polynomiale tijd-algoritme voor het tellen van punten op oppervlakken over eindige velden, wat vereist dat men de cohomologie van schoven op krommen (die optreden in Lefschetz-penselen) efficiënt kan berekenen.

2. Methodologie

De methode combineert algebraïsche meetkunde, Galois-theorie en algoritmische getaltheorie. De aanpak is als volgt opgebouwd:

A. Trivialisatie van Torsors en Galois-Overdekkingen

• Minimale Galois-overdekking: Voor een gegeven schijf $\mathcal{F}$ (vaak een $\mathbb{Z}/n\mathbb{Z}$-module) wordt een specifieke Galois-overdekking $V \to U$ geconstrueerd die de schijf trivialisert (d.w.z. $\mathcal{F}|_V$ is constant) en waarvoor de afbeelding $H^1(U, \mathcal{F}) \to H^1(V, \mathcal{F}|_V)$ triviaal is.
• Constructie van $V\langle n \rangle$: De auteur introduceert een canonieke overdekking $V\langle n \rangle \to V$ die correspondeert met de $n$-torsie van de cohomologiegroep $H^1(V, \mu_n)$. Deze overdekking wordt expliciet geconstrueerd door $n$-de wortels te nemen van rationale functies die corresponderen met een basis van $H^1(V, \mu_n)$.
• Ramificatie: De paper analyseert zorgvuldig de ramificatie van deze overdekkingen bij de punten op oneindig (de "rand" van de affine kromme). De inertia-groepen bij deze punten worden geïdentificeerd als cyclische groepen, wat essentieel is voor het berekenen van de lokale cohomologie.

B. Expliciete Berekening van $R\Gamma$

Voor een kromme $X$ met multicross-singulariteiten (of een reguliere kromme) en een complex van construeerbare schoven $\mathcal{F}^\bullet$:

1. Splitsing: De kromme wordt opgesplitst in een reguliere open deel $U$ en een gesloten 0-dimensionaal complement $Z$.
2. Cone-construction: De cohomologie $R\Gamma(X, \mathcal{F})$ wordt uitgedrukt als het "cone" (kegel) van een morfisme tussen complexe van groep-cohomologie.
   • Het ene deel betreft de cohomologie van de trivialisatie-overdekking $V$ (uitgedrukt via de groep $G = \text{Aut}(V|U)$ en kruisende homomorfismen).
   • Het andere deel betreft de lokale cohomologie bij de singulariteiten en de punten op oneindig, uitgedrukt via de cohomologie van de inertia-groepen $I_z$.
3. Formule: Het resultaat is een expliciet complex van eindige groepen dat de cohomologie representeren. De overgangsmatrices worden berekend via restricties van kruisende homomorfismen en adjunctie-mappingen.

C. Galois-Actie

Voor een kromme gedefinieerd over een niet-afgesloten lichaam $k_0$, wordt de actie van de Galois-groep $\text{Gal}(k|k_0)$ op het berekende complex beschreven. Dit gebeurt door de actie op de overdekkingen en de cohomologiegroepen te volgen, gebruikmakend van de eigenschappen van karakteristieke overdekkingen.

3. Belangrijkste Bijdragen

1. Expliciete Formule: De paper levert een expliciete, constructieve formule voor het cohomologiecomplex $R\Gamma(X, \mathcal{F})$ die uitsluitend werkt met eindige groepen en lineaire algebra, zonder beroep te doen op abstracte limieten.
2. Algoritme: Er wordt een volledig algoritme gepresenteerd (Algoritme 4) dat de cohomologie berekent, gebaseerd op bestaande algoritmen voor het berekenen van $H^1(X, \mu_n)$ (zoals die van Couveignes of Huang en Ierardi).
3. Complexiteitsanalyse:
   • De complexiteit wordt kwantitatief vastgesteld. Voor een gladde projectieve kromme over een eindig lichaam is de complexiteit polynomiaal in de graad van de kromme, het genus, de grootte van de torsie $n$, en $\log q$.
   • Dit is een verbetering ten opzichte van Jin's algoritme voor lokaal constante schoven, dat exponentieel is in de grootte van de schijf.
4. Optimalisatie voor Eindige Velden: Voor het geval $k_0 = \mathbb{F}_q$, wordt een strategie voorgesteld om de complexiteit te verlagen door te werken met een sub-overdekking gedefinieerd over een eindige uitbreiding $\mathbb{F}_Q$, waarbij $Q$ afhangt van de dimensie van de cohomologie. Dit maakt het mogelijk om de cohomologie te berekenen zonder de volledige (grote) overdekking te hoeven construeren.
5. Toepassing op Oppervlakken: De paper schetst hoe deze methode kan worden gebruikt als een bouwsteen voor het tellen van punten op oppervlakken over eindige velden (via Lefschetz-penselen), wat een stap is richting een polynomiale tijd-algoritme voor dit probleem.

4. Resultaten en Voorbeelden

De auteur illustreert de methode met twee concrete voorbeelden:

• Voorbeeld 1: Schoven op deelverzamelingen van $\mathbb{P}^1$.

  • Hier wordt een ramificerende overdekking van graad 2 bestudeerd.
  • De auteur berekent expliciet de Galois-groep van de trivialisatie-overdekking, de inertia-groepen bij de punten $0, 1, \infty$, en de volledige cohomologiecomplexen inclusief de Galois-actie.
  • De resultaten komen overeen met de verwachte cohomologie van de constante schijf op $\mathbb{P}^1$.

• Voorbeeld 2: Schoven op deelverzamelingen van een elliptische kromme.

  • Gebruikmakend van een eindig lichaam $\mathbb{F}_{11}$ en een overdekking geassocieerd met een hyperelliptische kromme van genus 2.
  • De paper toont aan hoe men $H^1(C, \mu_2)$ kan berekenen (via Jacobianen) en hoe men de Galois-actie op de cohomologie van een lokaal constante schijf kan bepalen.
  • Er wordt aangetoond dat men soms een kleinere sub-overdekking kan kiezen zonder de cohomologie te verliezen, wat de efficiëntie vergroot.

5. Significantie en Conclusie

De paper is een belangrijke bijdrage aan het gebied van het algoritmische algebraïsche meetkunde.

• Praktische Bruikbaarheid: Het biedt het eerste efficiënte algoritme voor het berekenen van cohomologie van construeerbare schoven op krommen met singulariteiten en over willekeurige lichamen, niet beperkt tot gladde projectieve krommen over eindige velden.
• Brug naar Oppervlakken: De methode vormt een essentieel blok voor het oplossen van het probleem van het tellen van punten op oppervlakken, een open probleem dat een polynomiale tijd-oplossing zou vereisen. Hoewel de paper erkent dat het berekenen van $H^1$ voor hyperelliptische krommen nog steeds uitdagingen kent (afhankelijk van het genus), biedt het een duidelijk pad en een verbeterde complexiteit voor specifieke gevallen.
• Fundering: De resultaten zijn strikt wiskundig onderbouwd met bewijzen voor de quasi-isomorfismen die de complexen definiëren, en bieden een volledig werkbaar raamwerk voor implementatie in computersystemen voor algebraïsche meetkunde.

Kortom, Levrat transformeert een abstract cohomologisch probleem in een berekenbaar probleem met expliciete complexiteitsgrenzen, waardoor het mogelijk wordt om diepgaande structuren van étale cohomologie in praktijk te brengen.