Hasse's norm theorem for \(K_ 2\) (Q5971120)

The author seeks to extend partly the formalism of the classical class field theory to the higher dimensional one, using complexes and modified hyper-cohomology. More precisely, let \(A\) be a two-dimensional complete normal local ring with finite residue field, \(K\) the quotient field of \(A\). Starting from Lichtenbaum's complex \(\mathbb{Z}(2)\), the author defines an ``idele class complex'' \(\mathbb{C}_ k\) and studies its modified hypercohomology (which coincides in degree \(\geq 1\) with the usual hypercohomology). Using a description ``à la Hasse'' of \(H^ 4(K,\mathbb{Z}(2))\) due to Saito, he proves his main theorem: Let \(L/K\) be a finite Galois extension such that the integral closure of \(A\) in \(L\) is regular. Then the finite group \(\text{Gal}(L/K)\) and the complex of \(\text{Gal}(L/K)\)-modules \(\tau_{\leq 0}\mathbb{R}\Gamma(\text{Gal}(K_{\text{sep}}/L), \mathbb{C}_ K[2])\) satisfy the assumptions of some ``generalized Tate-Nakayama theorem'' (in which Tate's cohomology is replaced by modified hypercohomology). Two interesting corollaries are: (1) In the above setting, \(\text{Gal}(L/K)^{ab} \simeq C_ K/N_{L/K} C_ L\), where \(C_ K\) is the \(K_ 2\)-idele class group of \(K\). (2) Suppose furthermore that \(L/K\) is cyclic. Let \(x\in K_ 2 K\). If for each prime ideal \({\mathcal P}\) of \(A\) of height one, the diagonal image of \(x\) is contained in \(N_{L_{\mathcal P}/K_{\mathcal P}} K_ 2 L_{\mathcal P}\), then \(x\in N_{L/K} K_ 2 L\).