On the relative \(K\)-group in the ETNC. II. (English) Zbl 1466.19005

Braunling, Oliver

J. Homotopy Relat. Struct. 15, No. 3-4, 597-624 (2020).

Let \(\mathfrak A\) be an order in a finite-dimensional, semisimple \(\mathbb Q\)-algebra. In [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 [R. G. Swan, Algebraic \(K\)-theory. Berlin-Heidelberg-New York: Springer-Verlag (1968; Zbl 0193.34601)], while the right hand side is described using A. Nenashev’s presentation of \(K_1\) of an exact category [J. Pure Appl. Algebra 131, No. 2, 195–212 (1998; Zbl 0923.19001)].

Reviewer: Christoph Winges (Regensburg)

MSC:

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

Keywords:

equivariant Tamagawa number conjecture; ETNC; locally compact modules

Citations:

Zbl 1451.19012; Zbl 0193.34601; Zbl 0923.19001

References:

[1]	Burns, D.; Flach, M., Tamagawa numbers for motives with (non-commutative) coefficients, Doc. Math., 6, 501-570 (2001) · Zbl 1052.11077
[2]	Braunling, O., Henrard, R., & van Roosmalen, A.-C.: \(K\)-theory of locally compact modules over orders. arXiv:2006.10878 [math.KT] (2020)
[3]	Bloch, S., Kato, K.: \(L\)-functions and Tamagawa numbers of motives, The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Birkhäuser Boston, Boston, MA, pp. 333-400 (1990) · Zbl 0768.14001
[4]	Bloch, S., A note on height pairings, Tamagawa numbers, and the Birch and Swinnerton-Dyer conjecture, Invent. Math., 58, 1, 65-76 (1980) · Zbl 0444.14015
[5]	Braunling, O., On the relative \(K\)-group in the ETNC, N. Y. J. Math., 25, 1112-1177 (2019) · Zbl 1451.19012
[6]	Braunling, O., On the relative \(K\)-group in the ETNC, Part III, N. Y. J. Math., 26, 656-687 (2020) · Zbl 1448.19004
[7]	Birch , B. J., Swinnerton-Dyer, H. P. F.: Notes on elliptic curves. I, J. Reine Angew. Math. 212, 7-25 (1963) · Zbl 0118.27601
[8]	Birch, B.J., Swinnerton-Dyer, H. P. F.: Notes on elliptic curves. II, J. Reine Angew. Math. 218, 79-108 (1965) · Zbl 0147.02506
[9]	Clausen, D.: A K-theoretic approach to Artin maps. arXiv:1703.07842 [math.KT] (2017)
[10]	Fontaine, J.-M., Perrin-Riou, B.: Autour des conjectures de Bloch et Kato: cohomologie galoisienne et valeurs de fonctions \(L\), Motives (Seattle, WA, : Proc. Sympos. Pure Math., vol. 55, Amer. Math. Soc. Providence, RI 1994, 599-706 (1991) · Zbl 0821.14013
[11]	Gillet, H.; Grayson, D., The loop space of the \(Q\)-construction, Illinois J. Math., 31, 4, 574-597 (1987) · Zbl 0628.55011
[12]	Gillet, H., Grayson, D.: Erratum to: “The loop space of the \(Q\)-construction”. Illinois J. Math. 47(3), 745-748 (2003)
[13]	Grayson, D., Algebraic \(K\)-theory via binary complexes, J. Am. Math. Soc., 25, 4, 1149-1167 (2012) · Zbl 1276.19003
[14]	Grayson, D.:Relative algebraic K-theory by elementary means (2016)
[15]	Kasprowski, D.; Köck, B.; Winges, C., \(K_1\)-groups via binary complexes of fixed length, Homol. Homot. Appl., 22, 1, 203-213 (2020) · Zbl 1455.19003
[16]	Kottwitz, R.: Tamagawa numbers. Ann. Math. 127(2), 629-646. MR 942522 (1988) · Zbl 0678.22012
[17]	Kasprowski, D.; Winges, C., Shortening binary complexes and commutativity of K-theory with infinite products, Trans. Am. Math. Soc. Ser. B, 7, 1-23 (2020) · Zbl 1508.19002
[18]	Moskowitz, M., Homological algebra in locally compact abelian groups, Trans. Am. Math. Soc., 127, 361-404 (1967) · Zbl 0149.26302
[19]	Nenashev, A., Double short exact sequences produce all elements of Quillen’s \(K_1\), Algebraic \(K\)-theory (Poznań, : Contemp. Math., vol. 199, Amer. Math. Soc. Providence, RI 1996, 151-160 (1995) · Zbl 0858.19003
[20]	Nenashev, A.: Double short exact sequences and \(K_1\) of an exact category, \(K\)-Theory 14(1), 23-41 (1998) · Zbl 0901.19002
[21]	Nenashev, A., \(K_1\) by generators and relations, J. Pure Appl. Algebra, 131, 2, 195-212 (1998) · Zbl 0923.19001
[22]	Schlichting, M., Delooping the \(K\)-theory of exact categories, Topology, 43, 5, 1089-1103 (2004) · Zbl 1059.18007
[23]	Sherman, C.: Group representations and algebraic \(K\)-theory, Algebraic \(K\)-theory, Part I (Oberwolfach: Lecture Notes in Math., vol. 966. Springer, Berlin 1982, 208-243 (1980)
[24]	Sherman, C.: Connecting homomorphisms in localization sequences, Algebraic \(K\)-theory (Poznań, : Contemp. Math., vol. 199, Amer. Math. Soc. Providence, RI 1996, 175-183 (1995) · Zbl 0861.19002
[25]	Swan, R.G.: Algebraic \(K\)-theory, Lecture Notes in Mathematics, No. 76, Springer, Berlin-New York (1968) · Zbl 0193.34601
[26]	Weibel, C.: The \(K\)-book , Graduate Studies in Mathematics, vol. 145, American Mathematical Society, Providence, RI, 2013, An introduction to algebraic \(K\)-theory · Zbl 1273.19001