On the relative \(K\)-group in the ETNC. II (Q2228317)

Let \(\mathfrak A\) be an order in a finite-dimensional, semisimple \(\mathbb Q\)-algebra. In [\textit{O. Braunling}, New York J. Math. 25, 1112--1177 (2019; Zbl 1451.19012)], the author identified the homotopy fibre \(K(\mathfrak A, \mathbb R)\) of the canonical map \(K(\mathfrak A) \to K(A \otimes_{\mathbb{Q}} \mathbb R)\) as a shift of the algebraic \(K\)-theory of the exact category \(\mathsf{LCA}_{\mathfrak A}\) of locally compact \(\mathfrak A\)-modules. In a section complementing the introduction, the author explains how this relates to the equivariant Tamagawa number conjecture. The article then proceeds to establish an explicit isomorphism \[ K_0(\mathfrak A, \mathbb R) \cong K_1(\mathsf{LCA}_{\mathfrak A}), \] where the left hand side is modelled following [\textit{R. G. Swan}, Algebraic \(K\)-theory. Berlin-Heidelberg-New York: Springer-Verlag (1968; Zbl 0193.34601)], while the right hand side is described using \textit{A. Nenashev}'s presentation of \(K_1\) of an exact category [J. Pure Appl. Algebra 131, No. 2, 195--212 (1998; Zbl 0923.19001)].