Norm index formula for the Tate kernels and applications (Q2883232)

Let \(p\) be an odd prime and let \(L/F\) be a Galois extension of number fields with Galois group \(G\). Let \(S\) be a finite set of primes containing the primes above \(p\) and the infinite primes. When \(G\) is cyclic of order \(p^n\) and under certain additional conditions on the extension \(L/F\), the authors give lower bounds for the size of the kernels of the functorial maps NEWLINE\[NEWLINEf_i: K_{2i-2}(o^S_F)\otimes \mathbb Z_p\to K_{2i-2}(o^S_L)\otimes \mathbb Z_p,NEWLINE\]NEWLINE extending the results of their previous work [\(K\)-Theory 33, No. 3, 199--213 (2004; Zbl 1163.11347)]. The lower bounds are expressed in terms of the index inside (generalized) Tate kernels of certain groups of local norms. A useful formula is given for these norm indices, and they are then calculated explicitly in some cases in terms of ramification data.