Ekedahl-Oort types of $\mathbb{Z}/2\mathbb{Z}$-covers in characteristic $2$

Resumo Técnico: Tipos de Ekedahl-Oort de Coberturas Z/2Z em Característica 2

1. Problema e Motivação

O artigo investiga como as propriedades aritméticas e geométricas de curvas algébricas se comportam sob coberturas Galois. Especificamente, o foco está em coberturas ramificadas $\pi: Y \to X$ com grupo de Galois $\mathbb{Z}/2\mathbb{Z}$ sobre um corpo perfeito $k$ de característica 2.

O objetivo central é determinar o tipo de Ekedahl-Oort (EO) da curva $Y$ em termos do tipo de EO da curva base $X$ e dos invariantes de ramificação da cobertura.

• Contexto: O tipo de EO classifica a estrutura de grupo plano finito do $p$-torsion da Jacobiana, $Jac(Y)[p]$, ou equivalentemente, a estrutura do módulo de Dieudonné $H^1_{dR}(Y)$ equipado com os operadores de Frobenius ($F$) e Verschiebung ($V$).
• Desafio: Enquanto fórmulas clássicas como a de Riemann-Hurwitz (gênero) e Deuring-Shafarevich ($p$-rank) determinam completamente os invariantes de $Y$ a partir de $X$ e da ramificação, invariantes mais finos (como o número $a$ ou o tipo EO) geralmente não são determinados unicamente. Em características ímpares, o tipo EO de uma cobertura Artin-Schreier não é determinado apenas pelos "breaks" de ramificação. O artigo busca entender se, em característica 2, e especificamente quando $X$ é ordinária, existe uma determinação completa.

2. Metodologia

Os autores desenvolvem uma nova ferramenta técnica para estudar a cohomologia de de Rham algébrica em característica positiva, evitando a resolução padrão de Čech.

• Diferenciais de Segunda Espécie Aprimoradas (Enhanced Differentials of the Second Kind):

  • Em característica zero, diferenciais de segunda espécie (meromorfos com resíduos nulos) são suficientes para descrever a cohomologia de de Rham. Em característica $p$, isso falha devido à existência de derivadas nulas de potências $p$-ésimas ($d(x^p)=0$).
  • Os autores definem um diferencial de segunda espécie aprimorado como um par $(\omega, (f_Q)_{Q \in X})$, onde $\omega$ é um diferencial de segunda espécie e $f_Q$ é uma escolha de antiderivada local para a parte meromorfa de $\omega$ em cada polo $Q$.
  • Essa construção permite representar classes de cohomologia diretamente via diferenciais, capturando a estrutura do módulo de Dieudonné de forma explícita.

• Decomposição do Módulo de Dieudonné:

  • Eles decompõem $H^1_{dR}(Y)$ em subespaços $U \oplus Z \oplus L$, onde $V$ é bijetivo em $U$, $F$ é bijetivo em $Z$, e ambos são nilpotentes em $L$.
  • O tipo de EO é determinado principalmente pela ação de $F$ e $V$ no subespaço "local" $L$.
  • Para coberturas ramificadas, eles constroem uma base explícita de diferenciais aprimorados ($\tilde{\omega}_{i,j}$) que quase cobrem $L$, permitindo calcular a ação de $V$ e o parâmetro de dualidade simpática.

3. Contribuições Principais e Resultados

A. Caso Base Ordinária (Teorema 1.2 e 4.6)
Quando a curva base $X$ é ordinária (o que em característica 2 implica que o $p$-rank é igual ao gênero, $f_X = g_X$), os autores provam um resultado de determinação completa:

• O tipo de Ekedahl-Oort de $Y$ é completamente determinado pelo tipo de EO de $X$ (que é trivial, pois é ordinário) e pelos "breaks" de ramificação $d_i$ nos pontos de ramificação.
• O módulo de Dieudonné de $Jac(Y)[2]$ é isomorfo a uma soma direta:
  $$D(Jac(Y)[2]) \cong M_{ord}^{\oplus (2g_X - 1 + m)} \oplus \bigoplus_{i=1}^m M_{d_i}$$
  Onde $M_{ord}$ é o módulo de uma curva elíptica ordinária e $M_{d_i}$ são módulos polares associados aos breaks de ramificação $d_i$ (inteiros ímpares).
• Isso generaliza resultados anteriores de Elkin-Pries (para $X = \mathbb{P}^1$) e Voloch (para o número $a$).

B. Famílias de Curvas com Tipo Constante (Corolário 1.5)
Como consequência, os autores constroem famílias de dimensão positiva de curvas de gênero $g$ com tipo de Ekedahl-Oort constante. Isso é significativo porque, em geral, o tipo EO varia em famílias, e encontrar famílias onde ele é constante é um fenômeno de "interseção improvável" (unlikely intersection) no espaço de módulos.

C. Caso Base Não-Ordinária (Teorema 6.19 e 6.22)
Quando $X$ não é ordinária (ex: curva supersingular), o tipo de EO de $Y$ não é determinado unicamente pela ramificação. Existem múltiplos tipos possíveis para a mesma ramificação.

• Os autores estabelecem limites (bounds) rigorosos para o tipo final (final type) de $Y$.
• O erro na estimativa do tipo final é logarítmico em relação aos invariantes de ramificação $d$.
• Especificamente, para uma cobertura ramificada em um único ponto com break $d$, o tipo final $\nu_l$ satisfaz:
  $$|\nu_l - (f_Y + \lfloor \frac{l-f_Y}{2} \rfloor)| \leq C \cdot l_X \cdot \lceil \log_2(d-1) \rceil$$
  Onde $l_X = g_X - f_X$ é o "local rank" de $X$.
• Isso mostra que, embora não haja determinação única, a variação é controlada e pequena em comparação com o crescimento do gênero.

D. Exemplos e Estrutura $k[V]$ (Seção 5)

• Analisam o caso de uma curva elíptica supersingular. Mostram que, para um mesmo break de ramificação, podem ocorrer diferentes tipos de Ekedahl-Oort.
• Demonstram que a estrutura do módulo $k[V]$ sobre os diferenciais regulares $H^0(Y, \Omega^1_Y)$ não determina o tipo de EO completo (diferença entre o tipo de $V$ e o tipo EO completo).
• Provam que, para breaks da forma $d = 2n+1$, o tipo EO torna-se único novamente, recuperando um caso especial do Corolário 1.5.

4. Significado e Impacto

1. Resolução de uma Conjectura: O trabalho confirma a Conjectura 8.1.1 de Groen para o caso de curvas ordinárias em característica 2, estabelecendo um princípio local-global para o tipo de Ekedahl-Oort nesse contexto específico.
2. Novas Ferramentas Computacionais: A teoria de "diferenciais de segunda espécie aprimorados" oferece uma alternativa robusta à resolução de Čech para o estudo da cohomologia de de Rham em característica $p$, facilitando o cálculo explícito das ações de Frobenius e Verschiebung.
3. Compreensão de Interseções Improváveis: A construção de famílias de curvas com tipo EO constante contribui para a compreensão da geometria dos espaços de módulos de curvas e variedades abelianas, mostrando onde estratos de Ekedahl-Oort intersectam o lugar de Torelli.
4. Limites Precisos: Para o caso geral (não ordinário), os limites logarítmicos fornecem uma compreensão quantitativa de quão "instável" o tipo EO pode ser em relação à ramificação, sugerindo que a dependência da estrutura global da curva base é o fator limitante, mas controlável.

Em suma, o artigo fornece uma descrição completa e explícita do comportamento da $p$-torsion em coberturas de grau 2 em característica 2 quando a base é ordinária, e estabelece limites precisos quando a base é não-ordinária, utilizando uma nova abordagem baseada em diferenciais aprimorados.