On the relative K-group in the ETNC. III

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

\(K\)-theory determinant functor equivariant Tamagawa number conjecture Haar measure locally compact modules

(L)-functions of varieties over global fields; Birch-Swinnerton-Dyer conjecture (11G40) Iwasawa theory (11R23) Class groups and Picard groups of orders (11R65) Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Group rings (16S34) Abelian categories, Grothendieck categories (18E10) (K_0) of group rings and orders (19A31) (K)-theory in number theory (19F99) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) General properties and structure of LCA groups (22B05) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10)

Abstract: The previous papers in this series were restricted to regular orders. In particular, we could not handle integral group rings, one of the most interesting cases of the ETNC. We resolve this issue. We obtain versions of our main results valid for arbitrary non-commutative Gorenstein orders. This encompasses the case of group rings. The only change we make is using a smaller subcategory inside all locally compact modules.

Review text

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}].

Recommendations

Cites work

Cited in

(2)

This page was built for publication: On the relative \(K\)-group in the ETNC. III

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q782950)