On the \(K\)-theory of division algebras over local fields (Q2288426)

Let \(K\) be a complete discrete valuation field with finite residue field of characteristic \(p\) and let \(D\) be central division algebra over \(K\) of index \(d<\infty\). \textit{A. A. Suslin} and \textit{A. V. Yufryakov} [Sov. Math., Dokl. 33, 794--798 (1986; Zbl 0609.18004); translation from Dokl. Akad. Nauk SSSR 288, 832--836 (1986)] proved the existence of isomorphisms of \(\ell\)-adic \(K\)-groups \(\mathrm{Nrd}_{D/K}:K_j(D,\mathbb{Z}_{\ell})\to K_j(K,\mathbb{Z}_\ell)\) for \(j\geq 1\) and \(\ell\not=p\). Furthermore, they show \(d\cdot\mathrm{Nrd}_{D/K}=N_{D/K}\), the \(K\)-theory norm map associated to \(D/K\). In the current article, the authors prove the \(p\)-adic version of this result when \(p\) is odd (although they expect the result to hold for the case \(p=2\) also). Their main theorem (Theorem A) is: Let \(D\) be a central division algebra of finite index \(d\) over a complete discrete valuation field \(K\) with finite residue field of odd characteristic \(p\), For all \(j\geq 1\) there exists a canonical isomorphism of \(p\)-adic \(K\)-groups \(\mathrm{Nrd}_{D/K}:K_j(D,\mathbb{Z}_p)\to K_j(K,\mathbb{Z}_p)\) such that \(d\cdot \mathrm{Nrd}_{D/K}=N_{D/K}\). Their argument uses topological cyclic homology \(\mathrm{TC}\), in the recent infinity-categorical formulation of \textit{T. Nikolaus} and \textit{P. Scholze} [Acta Math. 221, No. 2, 203--409 (2018; Zbl 1457.19007)].