\(K\)-theory of locally compact modules over orders (Q2130548)

\textit{J.-P. Schneiders} a introduit dans [Mém. Soc. Math. Fr., Nouv. Sér. 76, 1--140 (1998; Zbl 0926.18004)] la notion de \textit{catégorie quasi-abélienne} (catégorie additive avec noyaux et conoyaux possédant certaines propriétés) et construit une notion de \textit{catégorie dérivée} d'une catégorie quasi-abélienne, ainsi que des notions de foncteurs dérivés dans ce contexte. \textit{N. Hoffmann} and \textit{M. Spitzweck} ont montré [Adv. Math. 212, No. 2, 504--524 (2007; Zbl 1123.22002)] que la catégorie des groupes abéliens topologiques séparés et la catégorie \(\mathrm{LCA}\) des groupes abéliens localement compacts sont quasi-abéliennes et ont étudié l'algèbre homologique dans cette dernière. Dans l'article auquel est consacré la présente recension, les auteurs s'intéressent à la situation suivante : \(A\) est une algèbre semi-simple de dimension finie sur \(\mathbb{Q}\), et \(\mathfrak{A}\) un \textit{réseau} de \(A\), c'est-à-dire un sous-anneau dont le groupe additif sous-jacent est de type fini, et tel que \(A\) est engendré comme \(\mathbb{Q}\)-espace vectoriel par \(\mathfrak{A}\). La catégorie \(\mathrm{LCA}_\mathfrak{A}\) des \(\mathfrak{A}\)-modules à droite localement compacts est, comme \(\mathrm{LCA}\), une catégorie quasi-abélienne. Le résultat principal de l'article relie la \(K\)-théorie de la catégorie \(\mathrm{LCA}_\mathfrak{A}\) à celle des catégories \(\mathrm{mod}(\mathfrak{A})\) et \(\mathrm{mod}(A_\mathbb{R})\), où \(A_\mathbb{R}:=A\otimes_\mathbb{Q}\mathbb{R}(\simeq\mathfrak{A}\otimes_\mathbb{Z}\mathbb{R})\) et \(\mathrm{mod}(B)\) désigne la catégorie des modules à droite de type fini sur \(B\). Plus précisément, il indique que la cofibre du morphisme \(K(\mathrm{mod}(\mathfrak{A}))\to K(\mathrm{mod}(A_\mathbb{R}))\) induit par le foncteur \(-\otimes_\mathbb{Z}\mathbb{R}\) s'identifie à \(K(\mathrm{LCA}_\mathfrak{A})\). Ici, le symbole \(K\) renvoie au spectre de \(K\)-théorie, ou plus généralement à un invariant localisant à valeurs dans une \(\infty\)-catégorie stable présentable (défini sur les petites \(\infty\)-catégories stables) au sens de [\textit{A. Blumberg} et al., Geom. Topol. 17, No. 2, 733--838 (2013; Zbl 1267.19001)]. Cela généralise un résultat de \textit{D. Clausen} [``A \(K\)-theoretic approach to Artin maps'', Preprint, \url{arXiv:1703.07842}], qui traite le cas \(A=\mathbb{Q},\;\mathfrak{A}=\mathbb{Z}\). L'intérêt arithmétique de la \(K\)-théorie de catégories de la forme \(\mathrm{LCA}_F\) est illustré par la prépublication de Clausen susmentionnée ou par [\textit{P. Arndt} and \textit{O. Braunling}, Sel. Math., New Ser. 25, No. 3, Paper No. 38, 47 p. (2019; Zbl 1420.22005)].