On de Rham--Witt Cohomology of Classifying Stacks

1. Problema e Contexto

O artigo aborda uma questão fundamental na geometria algébrica em característica positiva ($p > 0$): a validade da simetria de Hodge para os números de Hodge-Witt.

• Contexto: Para variedades próprias e suaves $X$ sobre um corpo perfeito $k$ de característica $p$, os números de Hodge-Witt $h^{i,j}_W(X)$ são invariantes numéricos derivados da cohomologia do complexo de de Rham-Witt. Eles são análogos aos números de Hodge clássicos $h^{i,j}(X)$ (que definem a cohomologia de de Rham em característica 0).
• A Questão: Em característica 0, os números de Hodge satisfazem a simetria $h^{i,j} = h^{j,i}$. Em característica $p$, sabe-se que os números de Hodge clássicos podem não ser simétricos. No entanto, a simetria para os números de Hodge-Witt ($h^{i,j}_W = h^{j,i}_W$) permanecia uma questão em aberto.
• Estado da Arte: Ekedahl havia provado que essa simetria vale para dimensões $\le 3$ e para graus totais $i+j \le 2$. Ele conjecturou que não havia razão para a simetria valer em geral, mas nenhum contraexemplo havia sido encontrado na literatura.

O objetivo do artigo é construir um contraexemplo explícito que quebre a simetria de Hodge-Witt, determinando os limites exatos de dimensão e grau onde essa falha ocorre.

2. Metodologia

A abordagem dos autores combina a teoria clássica de Illusie, Raynaud e Ekedahl com ferramentas modernas de teoria de categorias $\infty$ e a teoria de pilhas (stacks).

1. Reformulação em Categorias $\infty$: Os autores revisitam a teoria dos módulos graduados à esquerda sobre o anel de Cartier-Dieudonné-Raynaud ($R$), reescrevendo a estrutura da categoria derivada $DGr(R)$ e suas subcategorias de módulos coerentes no linguagem de categorias $\infty$. Isso permite lidar com limites e produtos tensoriais de forma mais robusta do que na teoria clássica de homotopia.
2. Cohomologia de Pilhas (Stacks): Eles definem e estudam a cohomologia de de Rham-Witt para pilhas de Artin geométricas suaves. Um resultado chave é que, para pilhas "Hodge-proper", a cohomologia de de Rham-Witt é coerente no sentido de Illusie-Raynaud.
3. O Exemplo Chave ($B\alpha_p$): O núcleo da construção é o cálculo explícito da cohomologia de de Rham-Witt da pilha classificador $B\alpha_p$ (onde $\alpha_p$ é o grupo algébrico finito de ponto de ordem $p$).
   • Eles utilizam uma resolução simplicial de $B\alpha_p$ via uma torção de uma variedade abeliana supersingular.
   • Aplicam uma estrutura t-diagonal (introduzida por Ekedahl) para filtrar a cohomologia e analisar os termos de baixo grau.
   • Utilizam o produto estrela (star product) de Ekedahl para calcular a cohomologia de produtos de pilhas.
4. Aproximação por Variedades (Teorema de Antieau-Bhatt-Mathew): Como $B\alpha_p$ não é uma variedade, eles utilizam um resultado de Antieau, Bhatt e Mathew ([ABM21]) que garante a existência de variedades projetivas suaves que aproximam pilhas de grupos finitos até uma certa equivalência de Hodge/de Rham-Witt. Especificamente, eles constroem uma variedade própria suave de dimensão 4 que é uma "4-equivalência" de de Rham-Witt para $B\alpha_p \times B\mathbb{G}_m$.

3. Contribuições Principais

• Generalização da Teoria: Estender a teoria da cohomologia de de Rham-Witt para pilhas de Artin suaves e estabelecer propriedades fundamentais como o teorema de Künneth e a completude.
• Cálculo Explícito: Realizar o cálculo detalhado dos grupos de cohomologia de Hodge-Witt de baixo grau para a pilha $B\alpha_p$, identificando estruturas não triviais (dominós) que não aparecem em variedades de dimensão menor.
• Construção do Contraexemplo: Demonstrar a existência de uma variedade de dimensão 4 onde a simetria de Hodge-Witt falha.

4. Resultados Principais

O resultado central é o Teorema 1.1 (Corolário 5.12):

Existe uma variedade própria suave de dimensão 4 sobre um corpo perfeito de característica $p > 0$ cujos números de Hodge-Witt em grau total 3 são:
$$h^{0,3}_W = 1, \quad h^{1,2}_W = -2, \quad h^{2,1}_W = 1, \quad h^{3,0}_W = 0.$$

Análise dos Resultados:

• Quebra de Simetria: Observe que $h^{1,2}_W = -2$ enquanto $h^{2,1}_W = 1$. A desigualdade $h^{1,2}_W \neq h^{2,1}_W$ prova a falha da simetria de Hodge-Witt.
• Sharpness (Afiamento): O resultado é "sharp" (afiado) tanto em dimensão quanto em grau total.
  • Para dimensões $\le 3$, a simetria é garantida por resultados anteriores de Ekedahl.
  • Para graus totais $i+j \le 2$, a simetria também é garantida.
  • Portanto, a dimensão 4 e o grau total 3 são os menores possíveis onde a assimetria pode ocorrer.
• Natureza dos Invariantes: O cálculo revela que a cohomologia de $B\alpha_p$ contém um "dominó" não trivial ($U_0$) que contribui para a assimetria. Os números negativos (como $-2$) são permitidos na definição de Hodge-Witt devido à presença de termos de "dominó" na decomposição homológica, o que contrasta com os números de Hodge clássicos que são sempre não negativos.

5. Significado e Impacto

• Resolução de uma Conjectura Aberta: O artigo responde definitivamente à pergunta de Ekedahl sobre a validade geral da simetria de Hodge-Witt, mostrando que ela falha em dimensões superiores.
• Limites da Teoria: Estabelece limites precisos para a validade de propriedades de simetria em característica positiva, indicando que a geometria em dimensões $\ge 4$ é significativamente mais complexa do que em dimensões baixas.
• Ferramentas Novas: A aplicação bem-sucedida da teoria de pilhas e da linguagem de categorias $\infty$ para problemas clássicos de cohomologia de de Rham-Witt abre novas vias para o estudo de invariantes aritméticos em geometria algébrica.
• Conexão com a Teoria de Antieau-Bhatt-Mathew: O trabalho valida e expande a utilidade da aproximação de pilhas por variedades, mostrando que propriedades de cohomologia de pilhas "patológicas" podem ser realizadas por variedades projetivas suaves.

Em suma, Li e Yang provam que a simetria de Hodge-Witt não é uma propriedade universal em característica positiva, fornecendo o primeiro contraexemplo explícito e determinando que a dimensão 4 é o limiar crítico para esse fenômeno.