On the automorphic side of the \(K\)-theoretic Artin symbol (Q2417964)

In [``A \(K\)-theoretic approach to Artin maps'', Preprint, \url{arXiv:1703.07842}], \textit{D. Clausen} constructed a homotopical enrichment in class field theory. In order to recover classical class field theory from the enriched theory, Clausen defined maps \begin{align*} \psi : \mathbb{Z} & \to \pi_{1}K(LCA_{F}) \text{ if } F \text{ is a finite field}, \\ \psi : F^{\times} & \to \pi_{1}K(LCA_{F}) \text{ if } F \text{ is a local field}, \\ \psi : \mathbb{A}^{\times}/F^{\times} & \to \pi_{1}K(LCA_{F}) \text{ if } F \text{ is a number field} \end{align*} and predicted that the \(\psi\) should be isomorphisms, where, \(K(LCA_{F})\) is a \(K\)-theory of the category of locally compact \(F\)-vector spaces. In the paper under review, the authors prove that the maps \(\psi\) are isomorphisms. Moreover, the authors give a complete description of the \(K\)-theory spectra. The claim of \(\psi\) is obtained as a corollary of the description.