English

On the K-theory of algebraic tori

K-Theory and Homology 2025-07-18 v1 Algebraic Geometry Algebraic Topology

Abstract

Given an algebraic torus TT over a field FF, its lattice of characters Λ\Lambda gives rise to a topological torus T(T)=ΛR/Λ\mathfrak{T}(T)=\Lambda_{\mathbb R}/\Lambda with a continuous action of the absolute Galois group GG. We construct a natural equivalence between the algebraic KK-theory K(T)K_{\ast}(T) and the equivariant homology HG(T(T);KG(F))H^{G}_{\ast}(\mathfrak{T}(T);K_G(F)) of the topological torus T(T)\mathfrak{T}(T) with coefficients in the GG-equivariant KK-theory of FF. This generalizes a computation of K0(T)K_0(T) due to Merkurjev and Panin. We obtain this equivalence by analyzing the motive KFT\mathbb{K}_{F}^{T} in the stable motivic category SH(F)\mathrm{SH}(F) of Voevodsky and Morel, where KF\mathbb{K}_{F} is the motivic spectrum representing homotopy KK-theory. We construct a natural comparison map F ⁣:KF[BΛ]KFT\mathfrak{F}\colon \mathbb{K}_{F}[B\Lambda] \to \mathbb{K}_{F}^{T} from the KF\mathbb{K}_{F}-homology of the \'etale delooping of Λ\Lambda to KFT\mathbb{K}_{F}^{T} as a special case of a motivic Fourier transform and prove that it is an equivalence by using a motivic Eilenberg--Moore formula for classifying spaces of tori.

Keywords

Cite

@article{arxiv.2507.12954,
  title  = {On the K-theory of algebraic tori},
  author = {Qingyuan Bai and Shachar Carmeli and Branko Juran and Florian Riedel},
  journal= {arXiv preprint arXiv:2507.12954},
  year   = {2025}
}

Comments

45 pages, comments are welcome