English

Algebraic K-theory of reductive p-adic groups

K-Theory and Homology 2023-12-22 v2 Representation Theory

Abstract

Motivated by the Farrell-Jones Conjecture for group rings, we formulate the C\mathcal{C}op-Farrell-Jones Conjecture for the K-theory of Hecke algebras of td-groups. We prove this conjecture for (closed subgroups of) reductive p-adic groups G. In particular, the projective class group K0(H(G))K_0(\mathcal{H}(G)) for a (closed subgroup) of a reductive p-adic group G can be computed as a colimit of projective class groups K0(H(U))K_0(\mathcal{H}(U)) where U varies over the compact open subgroups of G. This implies that all finitely generated smooth complex representations of a reductive p-adic G admit finite projective resolutions by compactly induced representations. For SLn(F)_n(F) we translate the colimit formula for K0(H(G))K_0(\mathcal{H}(G)) to a more concrete cokernel description in terms of stabilizers for the action on the Bruhat-Tits building. For negative K-theory we obtain vanishing results, while we identify the higher K-groups Kn(H(G))K_n(\mathcal{H}(G)) with the value of G-homology theory on the extended Bruhat-Tits building. Our considerations apply to general Hecke algebras of the form H(G;R,ρ,ω)\mathcal{H}(G;R,\rho,\omega), where we allow a central character ω\omega and a twist by an action ρ\rho of G on R. For the C\mathcal{C}op-Farrell-Jones Conjecture we need to assume QR\mathbb{Q} \subseteq R and a regularity assumption. As a key intermediate step we introduce the $\mathcal{C}vcy-Farrell-Jones conjecture. For the latter no regularity assumptions on R are needed.

Keywords

Cite

@article{arxiv.2306.03452,
  title  = {Algebraic K-theory of reductive p-adic groups},
  author = {Arthur Bartels and Wolfgang Lueck},
  journal= {arXiv preprint arXiv:2306.03452},
  year   = {2023}
}

Comments

91 pages, Introduction modified

R2 v1 2026-06-28T10:57:30.363Z