On the relative \(K\)-group in the ETNC. III (Q782950)

Let \(\mathfrak A\) be an order in a finite-dimensional semisimple \(\mathbb{Q}\)-algebra \(A\). The equivariant Tamagawa number conjecture as formulated by \textit{D. Burns} and \textit{M. Flach} [Doc. Math. 6, 501--570 (2001; Zbl 1052.11077)] asserts that a certain canonical element in the relative algebraic \(K\)-group \(K_0(\mathfrak A, \mathbb R)\) vanishes. In the case \(\mathfrak A = \mathbb Z\) one has an isomorphism \[ K_0(\mathbb Z, \mathbb R) \simeq \mathbb R_{>0} \] and, as the author points out, Tamagawa numbers originally were defined as volumes in terms of the Haar measure. In a previous paper [New York J. Math. 25, 1112--1177 (2019; Zbl 1451.19012)] the author introduced the category \(\mathrm{LCA}_{\mathfrak A}\) of locally compact right \(\mathfrak A\)-modules and showed that for regular orders and \(n \geq 1\) one has isomorphisms \[ K_n(\mathrm{LCA}_{\mathfrak A}) \simeq K_{n-1}(\mathfrak A, \mathbb R). \] The category \(\mathrm{LCA}_{\mathfrak A}\) is exact and thus equipped with a universal determinant functor. In the case \(\mathfrak A = \mathbb Z\) this is the ordinary Haar measure and in general it can be interpreted as an equivariant Haar measure. However, the most interesting case to consider is that of groups rings \(\mathbb Z[G]\) of a finite group \(G\). Such an order is only regular if \(G = 1\). In the paper under review the author introduces a full subcategory \(\mathrm{LCA}_{\mathfrak A}^{\ast}\) of \(\mathrm{LCA}_{\mathfrak A}\) and shows that the above statements remain true for this subcategory and arbitrary Gorenstein orders \(\mathfrak A\) -- and so in particular for group rings. The group \(K_0 (\mathfrak A, \mathbb R)\) is generated by triples \([P, \phi, Q]\), where \(P\) and \(Q\) are finitely generated projective \(\mathfrak A\)-modules and \(\phi: \mathbb R\otimes P \rightarrow \mathbb R \otimes Q\) is an isomorphism of \(\mathbb R \otimes \mathfrak A\)-modules. In part II of this series [``On the relative K-group in the ETNC. II'', Preprint, \url{arXiv:1811.03047}] the author has introduced an associated double exact sequence \(\langle \langle P, \phi, Q \rangle \rangle\) in terms of the Nenashev presentation of \(K_1(\mathrm{LCA}_{\mathfrak A})\). Now it is shown that there is a well-defined map \[ K_0(\mathfrak{A}, \mathbb{R}) \rightarrow K_1(\mathrm{LCA}_{\mathfrak A}^{\ast}) \] that sends \([P, \phi, Q]\) to \(\langle \langle P, \phi, Q \rangle \rangle\) and is an isomorphism for Gorenstein orders \(\mathfrak A\). Using this new perspective on relative \(K\)-theory, the author has recently given a reformulation of the equivariant Tamagawa number conjecture in [``An alternative construction of equivariant Tamagawa numbers'', Preprint, \url{arXiv:1906.04686}].