stringtranslate.com

Conjetura de Milnor (teoría K)

En matemáticas , la conjetura de Milnor fue una propuesta de John Milnor  (1970) de una descripción de la K-teoría de Milnor (mod 2) de un cuerpo general F con característica diferente de 2, mediante la cohomología de Galois (o equivalentemente étale ) de F con coeficientes en Z /2 Z . Fue demostrada por Vladimir Voevodsky  (1996, 2003a, 2003b).

Declaración

Sea F un cuerpo de característica distinta de 2. Entonces existe un isomorfismo

para todo n  ≥ 0, donde K M denota el anillo de Milnor .

Sobre la prueba

La prueba de este teorema por Vladimir Voevodsky utiliza varias ideas desarrolladas por Voevodsky, Alexander Merkurjev , Andrei Suslin , Markus Rost , Fabien Morel , Eric Friedlander y otros, incluyendo la recién acuñada teoría de la cohomología motívica (una especie de sustituto de la cohomología singular para variedades algebraicas ) y el álgebra motívica de Steenrod .

Generalizaciones

El análogo de este resultado para los primos distintos de 2 se conocía como conjetura de Bloch-Kato . El trabajo de Voevodsky y Markus Rost arrojó una prueba completa de esta conjetura en 2009; el resultado ahora se llama teorema de isomorfismo de residuos normativos .

Referencias

Lectura adicional