Articulo de referencia

invariante de Arason

En matemáticas , el invariante de Arason es un invariante cohomológico asociado a una forma cuadrática de rango par y discriminante trivial , e invariante de Clifford sobre un c...

En matemáticas , el invariante de Arason es un invariante cohomológico asociado a una forma cuadrática de rango par y discriminante trivial , e invariante de Clifford sobre un cuerpo k de característica distinta de 2, que toma valores en H 3 ( k , Z /2 Z ). Fue introducido por Jón Arason en 1975. [ 1 ]

El invariante de Rost es una generalización del invariante de Arason a otros grupos algebraicos.

Definición

Supongamos que W ( k ) es el anillo de Witt de formas cuadráticas sobre un cuerpo k e I es el ideal de formas de dimensión par. El invariante de Arason es un homomorfismo de grupo de I 3 al grupo de cohomología de Galois H 3 ( k , Z /2 Z ). Está determinado por la propiedad de que en la forma diagonal de 8 dimensiones con entradas 1, – a , – b , ab , - c , ac , bc , - abc (la forma de Pfister 3 veces « a , b , c ») está dado por el producto de copa de las clases de a , b , c en H 1 ( k , Z /2 Z ) = k */ k * 2 . El invariante de Arason se anula en I 4 , y se deduce de la conjetura de Milnor demostrada por Voevodsky que es un isomorfismo de I 3 / I 4 a H 3 ( k , Z /2 Z ).

Referencias

  1. Arason, Jón Kr (septiembre de 1975). "Cohomologische invarianten quadratischer Formen" . Revista de Álgebra (en alemán). 36 (3): 448– 491. doi : 10.1016/0021-8693(75)90145-3 .

Lecturas adicionales