A cohomological invariant for algebras of degree 8 and exponent 2 in characteristic 2

Resumo Técnico

1. Problema e Contexto

O artigo aborda dois problemas centrais na teoria de álgebras de divisão e formas quadráticas sobre corpos de característica 2:

1. Decomposabilidade de Álgebras de Divisão: Determinar se uma álgebra central simples $A$ de grau 8 e expoente 2 é decomponível (isto é, se é isomorfa a um produto tensorial de três álgebras de quaterniões). Embora existam exemplos de álgebras indecomponíveis, não há critérios gerais simples para detectar essa propriedade em característica 2, especialmente quando a álgebra se divide sobre extensões triquadráticas.
2. Problema de Descida (Descent): Dada uma álgebra central simples $A$ sobre uma extensão $K/F$, determinar se existe uma álgebra $A'$ sobre $F$ tal que $A \cong A' \otimes_F K$. Este problema é particularmente complexo para extensões biquadráticas e mistas em característica 2.

O trabalho visa estender resultados anteriores de Sivatski (2022), que foram desenvolvidos para corpos de característica diferente de 2, para o contexto de característica 2.

2. Metodologia

Os autores desenvolvem uma abordagem baseada na cohomologia de Kato-Milne e na teoria de formas quadráticas em característica 2.

• Construção do Invariante Cohomológico:

  • Seja $F$ um corpo de característica 2 e $K/F$ uma extensão quadrática (separável ou inseparável).
  • Considera-se uma extensão triquadrática $L = K(\wp^{-1}(a), \wp^{-1}(b))$ de grau 8 sobre $F$, onde $\wp(x) = x^2+x$ é o operador de Artin-Schreier.
  • Para uma álgebra central simples $D$ de expoente 2 que se divide sobre $L$ (ou seja, $[D_L] = 0$ no grupo de Brauer), os autores constroem um invariante:
    $$\text{inv}(D) \in H^3_2(F) / G$$
    onde $H^3_2(F)$ é o terceiro grupo de cohomologia de Kato-Milne e $G$ é um subgrupo específico relacionado à classe de Brauer de $D$ e às normas de extensões intermediárias.
  • A construção utiliza a transferência de Scharlau ($s^*$) associada a uma aplicação linear $s: K \to F$ (que coincide com o traço no caso separável e é definida especificamente para o caso inseparável) aplicada a formas de Albert associadas à álgebra.

• Ferramentas Teóricas:

  • Uso intensivo da relação entre formas quadráticas e álgebras de quaterniões em característica 2.
  • Aplicação do Teorema Principal de Arason-Pfister para analisar a isotropia de formas.
  • Uso de mapas de resíduo (residue maps) em anéis de valorização discreta para construir exemplos e provar não-trivialidade.
  • Análise de extensões de Laurent iteradas para gerar contra-exemplos e casos patológicos.

3. Contribuições Principais e Resultados

A. Definição e Propriedades do Invariante $\text{inv}(D)$

• Os autores provam que o invariante $\text{inv}(D)$ está bem definido e é independente da escolha da decomposição da álgebra sobre $K$.
• Teorema de Trivialidade (Seção 4): O invariante $\text{inv}(D)$ é trivial se e somente se a álgebra $D$ satisfaz condições de decomposibilidade específicas relacionadas à extensão triquadrática. Mais precisamente, $\text{inv}(D) = 0$ se e somente se a álgebra de divisão associada a $D$ se define sobre $F$ após extensão a um corpo intermediário $E = K(\wp^{-1}(a+b))$.
• Relação com Decomposabilidade: Para álgebras de grau 8, a anulação do invariante está intimamente ligada à decomposibilidade da álgebra em um produto tensorial de três álgebras de quaterniões.

B. Contra-Exemplo e Relação com Outros Invariantes

• Os autores constroem um exemplo (Exemplo 4.6) de uma álgebra biquaterniônica $B$ sobre um corpo de característica 2 tal que:
  • $\text{inv}(B) \neq 0$ (indicando que não é decomponível da forma esperada).
  • $\delta_{K/F}(B) = 0$ (o invariante de descida definido anteriormente por Barry, Chapman e Laghribi é trivial).
• Este resultado demonstra que a implicação inversa do teorema de descida não é verdadeira em geral, destacando a necessidade do novo invariante $\text{inv}(D)$.

C. Aplicação em Grupos de Chow e Álgebras Indecomponíveis

• Utilizando o invariante e resultados profundos de Peyre e Karpenko, os autores constroem uma álgebra central simples $A$ de índice 8 sobre um corpo $K$ de dimensão cohomológica 3.
• Resultado Chave: Eles provam que o grupo de torção do segundo grupo de Chow da variedade de Severi-Brauer associada a $A$, denotado por $\text{Tors}CH_2(SB(A))$, é não trivial (isomorfo a $\mathbb{Z}/2\mathbb{Z}$).
• O elemento não nulo desse grupo é descrito explicitamente como um símbolo na cohomologia de Kato-Milne. Isso generaliza uma construção de Sivatski para característica 2.

D. Resultados de Descida (Seção 6)

• Descida para Álgebras: O artigo estabelece teoremas de descida para álgebras de quaterniões e biquaterniões ao longo de extensões de grau ímpar.
  • Teorema 6.1: Se uma álgebra $D$ sobre $F$ se torna equivalente a uma álgebra de quaterniões sobre uma extensão mista biquadrática após extensão de grau ímpar, então ela já é equivalente a uma álgebra de quaterniões sobre o corpo base (ou uma extensão quadrática específica).
• Descida para Formas Quadráticas:
  • Teorema 6.6: Estabelecem critérios para que a parte anisotrópica de uma forma quadrática $\phi$ sobre uma extensão biquadrática $E/F$ seja definida sobre $F$, dado que a parte anisotrópica sobre uma extensão composta $LE$ (com $L/F$ de grau ímpar) é definida sobre $L$. Isso resolve casos onde extensões biquadráticas não são "excelentes" (não preservam a definibilidade da parte anisotrópica).

4. Significado e Impacto

• Generalização para Característica 2: O trabalho preenche uma lacuna significativa na teoria de álgebras centrais simples, estendendo a teoria de invariantes cohomológicos (que era bem desenvolvida em característica $\neq 2$) para o caso de característica 2, onde a teoria de formas quadráticas e álgebras apresenta comportamentos distintos (ex: operadores de Artin-Schreier vs. extensões quadráticas separáveis).
• Novas Ferramentas de Classificação: O invariante $\text{inv}(D)$ fornece uma ferramenta poderosa para distinguir entre álgebras decomponíveis e indecomponíveis de grau 8, um problema que é notoriamente difícil.
• Conexão com Geometria Algébrica: A ligação explícita entre a decomposibilidade de álgebras e a torção no grupo de Chow de variedades de Severi-Brauer enriquece a compreensão da geometria de tais variedades em característica 2.
• Resolução de Problemas de Descida: Os resultados sobre descida para extensões de grau ímpar oferecem critérios práticos para determinar quando estruturas algébricas definidas sobre extensões maiores podem ser "descidas" para o corpo base, com aplicações diretas na teoria de formas quadráticas.

Em suma, o artigo é uma contribuição fundamental para a álgebra não-comutativa e a teoria de formas quadráticas em característica 2, estabelecendo novas pontes entre cohomologia, geometria algébrica e teoria de álgebras de divisão.