\(K_ 2\)-analogs of Hasse's norm theorems (Q793782)

The classical norm theorems of Hasse for fields and of Hasse-Schilling for simple algebras can be stated in the framework of algebraic K-theory in terms of the functor \(K_ 1\). The authors prove analogs of these results for the functor \(K_ 2\). These analogs are deduced from the following theorem: Let K be a global field and L a finite extension of K. An element of \(K_ 2(K)\) lies in the image of the transfer homomorphism from \(K_ 2(L)\) to \(K_ 2(K)\) if and only if the norm residue symbols vanish at those real primes of K which have only complex extensions to L. In particular it turns out that the \(K_ 2\)-analog of Hasse's norm theorem is valid for all finite extensions of K. The proofs use deep number theoretic properties of the functor \(K_ 2\) and the existence of a reduced norm homomorphism for \(K_ 2\), established by \textit{A. S. Merkur'ev} and \textit{A. A. Suslin} [Izv. Akad. Nauk SSSR, Ser. Mat. 46, No.5, 1011-1046 (1982; Zbl 0525.18008)].