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

Aquí presento un resumen técnico detallado del artículo "A Cohomological Invariant for Algebras of Degree 8 and Exponent 2 in Characteristic 2" (Un invariante cohomológico para álgebras de grado 8 y exponente 2 en característica 2), escrito por Ahmed Laghribi y Nico Lorenz.

1. Problema y Contexto

El trabajo aborda dos problemas fundamentales en la teoría de álgebras de división y formas cuadráticas sobre campos de característica 2:

1. Descomponibilidad de Álgebras: Determinar si un álgebra central simple (ACS) de grado 8 y exponente 2 es descomponible (es decir, isomorfa a un producto tensorial de tres álgebras de cuaterniones) o indecomponible. Mientras que en característica distinta de 2 existen resultados clásicos, el caso de característica 2 presenta dificultades técnicas adicionales debido a la naturaleza de las extensiones cuadráticas (separables vs. inseparables) y la estructura de las formas cuadráticas.
2. Problema de Descenso: Dado un álgebra central simple $A$ sobre una extensión $K/F$, determinar si existe un álgebra $A'$ definida sobre el campo base $F$ tal que $A \cong A' \otimes_F K$.

El artículo extiende el trabajo previo de Sivatski (2022), quien construyó un invariante cohomológico para campos de característica distinta de 2, al contexto de característica 2.

2. Metodología y Herramientas

Los autores utilizan una combinación de teoría de formas cuadráticas, teoría de álgebras centrales simples y cohomología de Kato-Milne.

• Cohomología de Kato-Milne ($H^n_2(F)$): Utilizan el isomorfismo entre los grupos de cohomología $H^n_2(F)$ y los cocientes de los ideales fundamentales de las formas cuadráticas ($I^n_q(F)/I^{n+1}_q(F)$). Específicamente, se centran en $H^3_2(F)$, que clasifica ciertas formas cuadráticas de dimensión 8 y álgebras de grado 8.
• Formas Cuadráticas en Característica 2: Manejan la descomposición de formas cuadráticas en partes no singulares y totalmente singulares, utilizando invariantes como el invariante de Arf ($\Delta$) y la descomposición de Witt.
• Extensiones de Campos: Consideran extensiones tricuadráticas de la forma $L = K(\wp^{-1}(a), \wp^{-1}(b))$, donde $K/F$ es una extensión cuadrática arbitraria (separable o inseparable). Aquí, $\wp(x) = x^2+x$ es el operador de Artin-Schreier.
• Transferencia de Scharlau: Emplean la aplicación de transferencia $s^*$ inducida por una aplicación lineal $s: K \to F$ (que coincide con la traza en el caso separable y una aplicación específica en el inseparable) para "bajar" invariantes desde extensiones al campo base.

3. Construcción del Invariante ($inv(A)$)

El núcleo de la contribución es la construcción de un invariante cohomológico $inv(A)$ para un álgebra central simple $A$ de exponente 2 que se descompone (split) sobre una extensión tricuadrática $L/F$ de grado de separabilidad $\ge 4$.

• Definición: Dado que $A$ se descompone sobre $L$, su restricción a una subextensión cuadrática $K$ es Brauer-equivalente a un producto de dos álgebras de cuaterniones $[a, x) \otimes [b, y)$. A partir de esto, se construye una forma de Albert $\phi$ asociada.
• El Invariante: Se define como:
  $$inv(A) := e_3(s^*(\phi)) \in H^3_2(F) / G$$
  Donde:
  • $s^*$ es la transferencia de Scharlau.
  • $e_3$ es el isomorfismo de Kato que mapea formas cuadráticas a cohomología.
  • $G$ es un subgrupo de $H^3_2(F)$ generado por elementos de la forma $d\log(\text{im}(N)) \wedge [A]$, donde $N$ es la norma de una extensión intermedia específica $E = K(\wp^{-1}(a+b))$.
• Independencia: Se demuestra que este invariante está bien definido, es decir, no depende de la elección de los elementos $x, y$ en la descomposición del álgebra sobre $K$.

4. Resultados Principales

A. Criterio de Descomponibilidad

El invariante $inv(A)$ es trivial si y solo si el álgebra $A$ es descomponible en un sentido específico relacionado con la extensión tricuadrática.

• Proposición 4.3: $inv(A) = 0$ si y solo si la clase de Brauer de $A$ puede escribirse como $[Q \otimes [a+b, v) \otimes Q']$, donde $Q$ es un álgebra de cuaterniones sobre $F$ y $Q'$ se descompone sobre una extensión intermedia.
• Esto implica que la anulación del invariante es equivalente a que la parte de división del álgebra sea definida sobre el campo base $F$ (después de extender a una subextensión intermedia).

B. Relación con el Descenso y el Invariante $\delta$

• Los autores comparan su nuevo invariante $inv(A)$ con el invariante de descenso $\delta_{K/F}$ introducido previamente por Barry, Chapman y Laghribi para extensiones cuadráticas separables.
• Resultado clave: Si $inv(A) = 0$, entonces el invariante de descenso $\delta_{K/F}(A_K) = 0$. Sin embargo, la implicación recíproca no es cierta en general.
• Ejemplo 4.6: Construyen un álgebra biquaterniónica $B$ sobre un campo de característica 2 tal que $\delta_{K/F}(B) = 0$ (lo que sugiere que podría descender), pero $inv(B) \neq 0$. Esto demuestra que el invariante $inv$ detecta obstrucciones más finas a la descomponibilidad que el invariante de descenso anterior.

C. Aplicación a Grupos de Chow y Álgebras Indecomponibles

Utilizando resultados profundos de Peyre y Karpenko, los autores construyen un ejemplo de un álgebra central simple $A$ de grado 8 y exponente 2 sobre un campo $K$ de dimensión cohomológica 3, tal que:

1. $A$ es indecomponible.
2. El grupo de torsión del segundo grupo de Chow de su variedad de Severi-Brauer, $TorsCH_2(SB(A))$, es no trivial (isomorfo a $\mathbb{Z}/2\mathbb{Z}$).
3. El elemento no nulo de este grupo de torsión se describe explícitamente mediante un símbolo en $H^3_2(K)$ que involucra el invariante construido.

D. Resultados de Descenso (Teoremas 6.1 y 6.6)

El invariante se utiliza para probar teoremas de descenso:

• Álgebras: Si una álgebra $D$ sobre un campo $F$ se vuelve Brauer-equivalente a un álgebra de cuaterniones sobre una extensión mixta bicuadrática $F(\wp^{-1}(b), \sqrt{d})$ tras extender a una extensión de grado impar $M/F$, entonces $D$ es Brauer-equivalente a un álgebra de cuaterniones definida sobre $F$.
• Formas Cuadráticas: Se establecen criterios para que la parte anisotrópica de una forma cuadrática $\phi$ sobre una extensión bicuadrática $E$ esté definida sobre el campo base $F$, bajo la hipótesis de que la parte anisotrópica sobre una extensión de grado impar $L$ sí lo está. Esto aborda la "excelencia" de extensiones bicuadráticas, que generalmente no son excelentes.

5. Significado e Impacto

1. Generalización a Característica 2: El trabajo cierra una brecha significativa al extender la teoría de invariantes cohomológicos de Sivatski al caso de característica 2, un entorno donde las herramientas clásicas (como el discriminante y la traza estándar) fallan o requieren modificaciones sustanciales.
2. Herramienta de Detección Fina: El invariante $inv(A)$ proporciona una herramienta más potente que los invariantes de descenso anteriores para distinguir entre álgebras que son "casi" descomponibles y aquellas que son genuinamente indecomponibles.
3. Conexión Geométrica: Al vincular la descomponibilidad de álgebras con la torsión en los grupos de Chow de variedades de Severi-Brauer, el artículo refuerza la conexión profunda entre la teoría de álgebras, la teoría de formas cuadráticas y la geometría algebraica en característica 2.
4. Nuevos Ejemplos: La construcción de álgebras indecomponibles con torsión no trivial en $CH_2$ en dimensión cohomológica 3 proporciona nuevos contraejemplos y casos de prueba para conjeturas en la teoría de álgebras centrales simples.

En resumen, este artículo establece un marco coherente para estudiar la estructura de álgebras de grado 8 en característica 2, introduciendo un invariante cohomológico robusto que resuelve problemas de descomponibilidad y descenso, y que tiene aplicaciones directas en la geometría de variedades asociadas a estas álgebras.