Computing the cohomology of constructible étale sheaves on curves

Resumo Técnico: Computação da Cohomologia de Feixes Étale Construtíveis em Curvas

1. O Problema

O artigo aborda o problema fundamental da computação explícita e eficiente do complexo de cohomologia étale $R\Gamma(X, \mathcal{F})$ de um feixes construtível de grupos abelianos (ou um complexo de tais feixes) $\mathcal{F}$ sobre uma curva irredutível $X$ definida sobre um corpo $k_0$.

• Contexto: Seja $k$ uma clausura separável de $k_0$ e $X$ a base de mudança de $X_0$ para $k$. O complexo de cohomologia étale possui uma ação natural do grupo de Galois $\text{Gal}(k|k_0)$.
• Objetivo: Encontrar uma expressão explícita para este complexo que envolva apenas grupos finitos e seja functorial tanto na curva quanto no feixe, permitindo calcular a ação de Galois.
• Limitações do Estado da Arte: Algoritmos anteriores (Poonen, Testa, van Luijk; Madore, Orgogozo) provaram a computabilidade, mas são ineficientes para uso prático (complexidade recursiva primitiva). Algoritmos existentes para curvas suaves (Huang-Ierardi, Couveignes, Jin) são limitados a casos específicos (curvas projetivas, corpos finitos) ou têm complexidade exponencial em relação ao tamanho do feixe.

2. Metodologia

A abordagem proposta baseia-se na construção de uma cobertura Galoisiana específica que "trivializa" a cohomologia do feixe, permitindo reduzir o cálculo da cohomologia da curva ao cálculo da cohomologia de grupos finitos (grupos de Galois da cobertura).

Passos Metodológicos Principais:

1. Construção da Cobertura Trivializante ($X\langle n \rangle$):

   • Para um inteiro $n$ invertível no corpo, o autor define uma cobertura Galoisiana $X\langle n \rangle \to X$ tal que o grupo de automorfismos é isomorfo ao dual de Pontryagin de $H^1(X, \mathbb{Z}/n\mathbb{Z})$.
   • Esta cobertura é construída explicitamente tomando raízes $n$-ésimas de funções racionais associadas a uma base de $H^1(U, \mu_n)$, onde $U$ é um aberto suave da curva.
   • A construção lida com singularidades (curvas com singularidades multicruz) e ramificação no infinito, garantindo que a aplicação $H^1(X, \mathcal{F}) \to H^1(X\langle n \rangle, \mathcal{F})$ seja trivial.

2. Redução a Cohomologia de Grupos:

   • Utilizando a sequência espectral de Hochschild-Serre e a propriedade de que a curva tem dimensão cohomológica 1 (ou reduzida a ela via normalização), o complexo $R\Gamma(X, \mathcal{F})$ é representado pelo cone de um morfismo entre complexos de cohomologia de grupos.
   • Especificamente, o cálculo é reduzido a:
     • Cohomologia do grupo de Galois $G = \text{Aut}(V|U)$ com coeficientes no feixe genérico.
     • Cohomologia dos grupos de inércia locais nos pontos de ramificação (infinito e singularidades).

3. Tratamento da Ação de Galois:

   • O artigo detalha como calcular a ação de $\text{Gal}(k|k_0)$ no complexo resultante. Isso envolve analisar a ação do grupo de Galois sobre os geradores da cobertura, os grupos de inércia e os módulos de coeficientes.
   • Para corpos finitos, propõe-se uma otimização usando subcoberturas definidas sobre extensões de corpo menores, baseadas no comportamento do Frobenius.

4. Algoritmos:

   • O autor apresenta algoritmos para:
     • Calcular coordenadas em uma base de $H^1(U, \mu_n)$ usando o emparelhamento de Weil.
     • Construir a cobertura $V\langle n \rangle$ e determinar seus grupos de automorfismo.
     • Calcular os grupos de inércia e seus preimóveis.
     • Montar o complexo final como um cone de morfismos de complexos de grupos.

3. Principais Contribuições

• Expressão Explícita e Functorial: Fornece uma fórmula concreta para $R\Gamma(X, \mathcal{F})$ que depende apenas de grupos finitos e é functorial, permitindo o tratamento de curvas singulares e feixes não constantes.
• Algoritmo Eficiente: Desenvolve um algoritmo que computa o complexo de cohomologia com complexidade polinomial em relação aos parâmetros da curva e do feixe (em contraste com a exponencialidade de algoritmos anteriores para feixes locais constantes).
• Complexidade Melhorada: Para curvas projetivas suaves sobre corpos finitos, a complexidade do algoritmo proposto para calcular $H^1(X, \mathcal{F})$ é inferior à do algoritmo de Jin.
• Tratamento de Singularidades: O método lida nativamente com curvas que possuem singularidades do tipo "multicruz" (multicross singularities), utilizando a seminormalização e a normalização para reduzir o problema a curvas suaves.
• Aplicação Potencial em Contagem de Pontos: Discute a aplicação destes métodos para o problema de contagem de pontos em superfícies sobre corpos finitos, sugerindo que uma melhoria na complexidade de cálculo de $H^1$ poderia levar a um algoritmo de tempo polinomial para superfícies (conjectura de Edixhoven).

4. Resultados e Exemplos

O artigo valida a metodologia através de dois exemplos detalhados:

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

   • Considera um feixe construtível em $\mathbb{P}^1$ com ramificação em pontos específicos.
   • Calcula explicitamente o grupo de Galois da cobertura trivializante, os grupos de inércia e o complexo de cohomologia resultante.
   • Demonstra a computação da ação de Galois sobre o complexo, recuperando a cohomologia esperada do feixe constante em $\mathbb{P}^1$.

2. Subesquemas de uma Curva Elíptica:

   • Trabalha com uma curva elíptica sobre $\mathbb{F}_{11}$ e uma cobertura de grau 2.
   • Ilustra o cálculo de $H^1$ para um feixe localmente constante não trivial.
   • Mostra como utilizar ferramentas de sistemas de álgebra computacional (como Magma) para lidar com a estrutura de grupos de Galois complexos (ordem 64) e calcular cociclos.
   • Demonstra como subcoberturas podem ser usadas para reduzir a complexidade computacional quando o corpo base é finito.

5. Significância

Este trabalho representa um avanço significativo na interseção entre geometria algébrica e computação:

• Praticidade: Transforma resultados teóricos de computabilidade (que eram puramente existenciais ou ineficientes) em algoritmos viáveis para implementação em sistemas de álgebra computacional.
• Generalidade: A capacidade de lidar com curvas singulares e feixes construtíveis gerais (não apenas constantes) amplia o escopo de problemas que podem ser resolvidos computacionalmente.
• Fundamento para Futuras Pesquisas: A estrutura apresentada é um passo crucial para o desenvolvimento de algoritmos de contagem de pontos em variedades de dimensão superior (superfícies), um problema aberto de grande importância na teoria dos números e criptografia. A redução do problema de cohomologia de curvas a problemas de grupos finitos oferece um caminho promissor para superar as barreiras de complexidade atuais.

Em suma, Levrat fornece a "caixa de ferramentas" algorítmica necessária para calcular explicitamente a cohomologia étale em cenários práticos, preenchendo uma lacuna importante entre a teoria abstrata e a implementação computacional.