Computing the cohomology of constructible étale sheaves on curves

Resumen Técnico: Cálculo de la Cohomología de Hazos Étales Constructibles en Curvas

1. Planteamiento del Problema

El artículo aborda el problema computacional de calcular el complejo de cohomología $R\Gamma(X, \mathcal{F})$ de un haz constructible de grupos abelianos $\mathcal{F}$ (específicamente módulos sobre $\mathbb{Z}/n\mathbb{Z}$) definido en el sitio étale de una curva irreducible $X_0$ sobre un campo $k_0$.

• Contexto: Se asume que $n$ es invertible en $k_0$ y que $k$ es una clausura separable de $k_0$. El objetivo es obtener una representación explícita y finita de este complejo que incluya la acción del grupo de Galois $\text{Gal}(k/k_0)$.
• Limitaciones de trabajos previos: Aunque la computabilidad de estos grupos fue demostrada teóricamente por Poonen, Testa, van Luijk, Madore y Orgogozo, los algoritmos existentes son ineficientes (algunos son recursivos primitivos pero no prácticos) o tienen complejidad exponencial en ciertos parámetros (como el algoritmo de Jin para haces localmente constantes).
• Objetivo específico: Proporcionar una expresión explícita que involucre únicamente grupos finitos, sea functorial y permita calcular la acción de Galois, con una complejidad mejorada, especialmente para curvas suaves sobre campos finitos.

2. Metodología y Enfoque Teórico

El autor desarrolla un marco teórico que descompone el cálculo de la cohomología en componentes manejables mediante el uso de recubrimientos étales y teoría de grupos.

A. El Recubrimiento Trivializante ($X\langle n \rangle$)

• Se define un recubrimiento galoisiano canónico $X\langle n \rangle \to X$ que trivializa los haces de torsión $\mathbb{Z}/n\mathbb{Z}$.
• Este recubrimiento corresponde al subgrupo característico $S$ del grupo fundamental $\pi_1(X)$, donde $G/S \cong H^1(X, \mathbb{Z}/n\mathbb{Z})^\vee$.
• Para curvas, este recubrimiento se construye explícitamente adjuntando raíces $n$-ésimas de funciones racionales asociadas a una base de $H^1(U, \mu_n)$ (donde $U$ es una parte abierta suave de la curva).

B. Cohomología de Dimension 1 y Ramificación

• Se explota el hecho de que las curvas tienen dimensión cohomológica 1.
• Se analiza detalladamente la ramificación en el infinito (puntos de la compactificación suave que no están en la parte abierta $U$).
• Se utilizan grupos de inercia $I_z$ y sus subgrupos de inercia salvaje $P_z$ para describir la contribución de los puntos singulares o de la frontera al complejo de cohomología.
• Se demuestra que el complejo de cohomología puede representarse mediante un cono de un morfismo entre complejos de grupos de cohomología de grupos finitos (el grupo de Galois del recubrimiento y los grupos de inercia).

C. Expresión Explícita del Complejo (Teorema 4.5)
El resultado central es una fórmula para $R\Gamma(X, \mathcal{F})[1]$ como el cono de un morfismo entre dos complejos:

1. Complejo Superior: Involucra la cohomología del grupo de Galois $G = \text{Aut}(V|U)$ y los grupos de inercia $I_{\tilde{z}}$ en la normalización de la curva. Los términos incluyen:
   • Módulos de cohomología de grupos ($H^0, H^1$).
   • Homomorfismos cruzados ($\text{Hom}_{cr}$).
   • Fibra genérica del haz y fibras en los puntos de ramificación.
2. Complejo Inferior: Representa la contribución de los puntos de la frontera y la interacción entre la cohomología del grupo y la de los grupos de inercia.

Esta construcción permite calcular la acción de Galois sobre el complejo completo de manera functorial.

3. Contribuciones Clave y Algoritmos

El artículo presenta una serie de algoritmos concretos para implementar la teoría:

• Algoritmo 1 (CoordinatesInBasis): Calcula las coordenadas de un elemento en $H^1(U, \mu_n)$ respecto a una base dada, utilizando el emparejamiento de Weil.
• Algoritmo 2 (nTorsCover): Construye el recubrimiento $V\langle n \rangle$ y su grupo de automorfismos a partir de un recubrimiento galoisiano $V \to U$.
• Algoritmo 3 (InertiaGroup): Calcula los preimágenes de puntos en la compactificación suave y sus grupos de inercia dentro del recubrimiento trivializante.
• Algoritmo 4 (RGamma): El algoritmo principal que, dados los datos del haz constructible y la curva, calcula el complejo de cohomología $R\Gamma(X, \mathcal{F})$ como un complejo de módulos sobre $\mathbb{Z}/n\mathbb{Z}$.

Mejora de Complejidad en Campos Finitos (Sección 5.6):

• Para $k_0 = \mathbb{F}_q$, el autor propone una optimización crucial. En lugar de construir el recubrimiento completo (que puede ser muy grande), se construye un subrecubrimiento $V\langle n \rangle_D$ definido sobre una extensión finita $F_Q$ que contiene suficiente información de Galois.
• Esto reduce drásticamente el tamaño de los grupos involucrados, haciendo que el algoritmo sea polinomial en parámetros como el género, el grado del modelo y $\log q$, superando a los algoritmos anteriores (como el de Jin) que son exponenciales.

4. Resultados y Ejemplos

El autor valida la metodología con dos ejemplos detallados:

1. Ejemplo 1: Subesquemas de $\mathbb{P}^1$

   • Se considera un haz constructible en $\mathbb{P}^1$ trivializado por un recubrimiento de grado 2.
   • Se calcula explícitamente el grupo de automorfismos del recubrimiento trivializante (orden 16), los grupos de inercia en los puntos ramificados y la acción de Galois sobre el complejo resultante.
   • Se verifica que la cohomología obtenida coincide con la esperada para haces constantes en $\mathbb{P}^1$.

2. Ejemplo 2: Subesquemas de una Curva Elíptica

   • Se trabaja sobre $\mathbb{F}_{11}$ con una curva elíptica y un recubrimiento de grado 2 definido por una curva hiperelíptica de género 2.
   • Se demuestra cómo calcular la base de $H^1$ y el grupo de Galois (orden 64) utilizando herramientas de sistemas de álgebra computacional (Magma).
   • Se muestra cómo la acción de Galois actúa sobre los cociclos y cómo se puede simplificar el recubrimiento utilizando subrecubrimientos definidos sobre el campo base, validando la estrategia de complejidad reducida.

5. Significado e Impacto

• Eficiencia Práctica: El trabajo transforma un problema teóricamente resoluble pero computacionalmente intratable en uno factible para curvas suaves y haces constructibles, especialmente sobre campos finitos.
• Fundamento para Puntos en Superficies: El autor destaca que este algoritmo es un paso crucial hacia el desarrollo de un algoritmo de conteo de puntos en superficies sobre campos finitos en tiempo polinomial.
  • El teorema de Lefschetz reduce el conteo de puntos en una superficie a la traza de Frobenius en la cohomología de haces en curvas (obtenidas mediante pinceles de Lefschetz).
  • La capacidad de calcular $H^1$ de haces constructibles en curvas de manera eficiente es el cuello de botella que este artículo busca resolver.
• Generalidad: El método es aplicable a curvas singulares (con singularidades multicruz) y haces constructibles generales, no solo a haces localmente constantes.

En conclusión, Levrat proporciona una "caja de herramientas" explícita y algorítmica para la cohomología étale en curvas, cerrando la brecha entre la teoría de Grothendieck y la implementación computacional eficiente, con implicaciones directas para la criptografía y la geometría aritmética (conteo de puntos).