In mathematics, the norm residue isomorphism theorem is a long-sought result relating Milnor K-theory and Galois cohomology. The result has a relatively elementary formulation and at the same time represents the key juncture in the proofs of many seemingly unrelated theorems from abstract algebra, theory of quadratic forms, algebraic K-theory and the theory of motives. The theorem asserts that a certain statement holds true for any prime
\ell
n
\ell=2
n
For any integer ℓ invertible in a field
k
\partial:k x → H1(k,\mu\ell)
\mu\ell
k x /(k x )\ell\congH1(k,\mu\ell)
k x
\partial
\partialn:k x ⊗ … ⊗ k x →
| n | |
| H | |
| \rm\acuteet |
(k,
| ⊗ n | |
| \mu | |
| \ell |
).
k\setminus\{0,1\}
\partialn(\ldots,a,\ldots,1-a,\ldots)
| M | |
| K | |
| *(k) |
=T(k x )/(\{a ⊗ (1-a)\colona\ink\setminus\{0,1\}\}),
T(k x )
k x
a ⊗ (1-a)
\partialn
\partialn\colon
| M | |
| K | |
| n(k) |
\to
| n | |
| H | |
| \rm\acuteet |
(k,
| ⊗ n | |
| \mu | |
| \ell |
).
| M | |
| K | |
| n(k) |
/\ell
The norm residue isomorphism theorem (or Bloch–Kato conjecture) states that for a field k and an integer ℓ that is invertible in k, the norm residue map
\partialn:
| M(k)/\ell | |
| K | |
| n |
\to
| n | |
| H | |
| \rm\acuteet |
(k,
| ⊗ n | |
| \mu | |
| \ell |
)
The étale cohomology of a field is identical to Galois cohomology, so the conjecture equates the ℓth cotorsion (the quotient by the subgroup of ℓ-divisible elements) of the Milnor K-group of a field k with the Galois cohomology of k with coefficients in the Galois module of ℓth roots of unity. The point of the conjecture is that there are properties that are easily seen for Milnor K-groups but not for Galois cohomology, and vice versa; the norm residue isomorphism theorem makes it possible to apply techniques applicable to the object on one side of the isomorphism to the object on the other side of the isomorphism.
The case when n is 0 is trivial, and the case when follows easily from Hilbert's Theorem 90. The case and was proved by . An important advance was the case and ℓ arbitrary. This case was proved by and is known as the Merkurjev–Suslin theorem. Later, Merkurjev and Suslin, and independently, Rost, proved the case and .
(a1,a2)
The norm residue isomorphism theorem implies the Quillen–Lichtenbaum conjecture. It is equivalent to a theorem whose statement was once referred to as the Beilinson–Lichtenbaum conjecture.
Milnor's conjecture was proved by Vladimir Voevodsky.[8] [9] [10] [11] Later Voevodsky proved the general Bloch–Kato conjecture.[12] [13]
The starting point for the proof is a series of conjectures due to and . They conjectured the existence of motivic complexes, complexes of sheaves whose cohomology was related to motivic cohomology. Among the conjectural properties of these complexes were three properties: one connecting their Zariski cohomology to Milnor's K-theory, one connecting their etale cohomology to cohomology with coefficients in the sheaves of roots of unity and one connecting their Zariski cohomology to their etale cohomology. These three properties implied, as a very special case, that the norm residue map should be an isomorphism. The essential characteristic of the proof is that it uses the induction on the "weight" (which equals the dimension of the cohomology group in the conjecture) where the inductive step requires knowing not only the statement of Bloch-Kato conjecture but the much more general statement that contains a large part of the Beilinson-Lichtenbaum conjectures. It often occurs in proofs by induction that the statement being proved has to be strengthened in order to prove the inductive step. In this case the strengthening that was needed required the development of a very large amount of new mathematics.
The earliest proof of Milnor's conjecture is contained in a 1995 preprint of Voevodsky[8] and is inspired by the idea that there should be algebraic analogs of Morava K-theory (these algebraic Morava K-theories were later constructed by Simone Borghesi[14]). In a 1996 preprint, Voevodsky was able to remove Morava K-theory from the picture by introducing instead algebraic cobordisms and using some of their properties that were not proved at that time (these properties were proved later). The constructions of 1995 and 1996 preprints are now known to be correct but the first completed proof of Milnor's conjecture used a somewhat different scheme.
It is also the scheme that the proof of the full Bloch–Kato conjecture follows. It was devised by Voevodsky a few months after the 1996 preprint appeared. Implementing this scheme required making substantial advances in the field of motivic homotopy theory as well as finding a way to build algebraic varieties with a specified list of properties. From the motivic homotopy theory the proof required the following:
The first two constructions were developed by Voevodsky by 2003. Combined with the results that had been known since late 1980s, they were sufficient to reprove the Milnor conjecture.
Also in 2003, Voevodsky published on the web a preprint that nearly contained a proof of the general theorem. It followed the original scheme but was missing the proofs of three statements. Two of these statements were related to the properties of the motivic Steenrod operations and required the third fact above, while the third one required then-unknown facts about "norm varieties". The properties that these varieties were required to have had been formulated by Voevodsky in 1997, and the varieties themselves had been constructed by Markus Rost in 1998–2003. The proof that they have the required properties was completed by Andrei Suslin and Seva Joukhovitski in 2006.
The third fact above required the development of new techniques in motivic homotopy theory. The goal was to prove that a functor, which was not assumed to commute with limits or colimits, preserved weak equivalences between objects of a certain form. One of the main difficulties there was that the standard approach to the study of weak equivalences is based on Bousfield–Quillen factorization systems and model category structures, and these were inadequate. Other methods had to be developed, and this work was completed by Voevodsky only in 2008.
In the course of developing these techniques, it became clear that the first statement used without proof in Voevodsky's 2003 preprint is false. The proof had to be modified slightly to accommodate the corrected form of that statement. While Voevodsky continued to work out the final details of the proofs of the main theorems about motivic Eilenberg–MacLane spaces, Charles Weibel invented an approach to correct the place in the proof that had to modified. Weibel also published in 2009 a paper that contained a summary of Voevodsky's constructions combined with the correction that he discovered.[15]
See also: Quillen–Lichtenbaum conjecture. Let X be a smooth variety over a field containing
1/\ell
Hp,q(X,Z/\ell)
| p | |
| H | |
| \rm\acuteet |
(X,
| ⊗ q | |
| \mu | |
| \ell) |