Galois cohomology of a number field is Koszul (Q741675)

Let \(K\) be a field, \(l\neq\) char\(K\) be a prime number, and \(K^M(K)\) be the Milnor \(K\)-theory ring of \(K\). A positively graded associative algebra \(A =k\oplus A_1\oplus A_2\oplus\cdots\) over a field \(k\) is called Koszul if the groups \(H_{ij}(A) =\)Tor\(_{ij}^A(k, k)\) vanish for all \(i\neq j\), where the first grading \(i\) is the homological grading and the second grading \(j\) is the internal grading, which is induced from the grading of \(A\). In the present paper are proved several Koszulity conjectures, one of which assets that for any field \(K\) containing a primitive root of unity of a prime degree \(l\), the algebra \(K^M(K)/l\) is Koszul. Under mild assumptions that are only needed in the case \(l=2\), the authors also prove various module Koszulity properties of this algebra. The proofs are based on the class field theory and computations with quadratic commutative Gröbner bases (commutative PBW-bases).