Norm varieties

For given symbol in the nth Milnor K-group modulo prime l we construct a splitting variety with several properties. This variety is l-generic, meaning that it is generic with respect to splitting fields having no finite extensions of degree prime to l. The degree of its top Milnor class is not divisible by l2, and a certain motivic cohomology group of this variety consists of units. The existence of such varieties is needed in Voevodskyʹs part of the proof of the Bloch–Kato conjecture. In the course of the proof we also establish Markus Rostʹs degree formula.