On the K-theory of algebraic tori

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Bai, Qingyuan, Carmeli, Shachar, Juran, Branko, Riedel, Florian
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866909692667625472
author Bai, Qingyuan
Carmeli, Shachar
Juran, Branko
Riedel, Florian
author_facet Bai, Qingyuan
Carmeli, Shachar
Juran, Branko
Riedel, Florian
contents Given an algebraic torus $T$ over a field $F$, its lattice of characters $Λ$ gives rise to a topological torus $\mathfrak{T}(T)=Λ_{\mathbb R}/Λ$ with a continuous action of the absolute Galois group $G$. We construct a natural equivalence between the algebraic $K$-theory $K_{\ast}(T)$ and the equivariant homology $H^{G}_{\ast}(\mathfrak{T}(T);K_G(F))$ of the topological torus $\mathfrak{T}(T)$ with coefficients in the $G$-equivariant $K$-theory of $F$. This generalizes a computation of $K_0(T)$ due to Merkurjev and Panin. We obtain this equivalence by analyzing the motive $\mathbb{K}_{F}^{T}$ in the stable motivic category $\mathrm{SH}(F)$ of Voevodsky and Morel, where $\mathbb{K}_{F}$ is the motivic spectrum representing homotopy $K$-theory. We construct a natural comparison map $\mathfrak{F}\colon \mathbb{K}_{F}[BΛ] \to \mathbb{K}_{F}^{T}$ from the $\mathbb{K}_{F}$-homology of the étale delooping of $Λ$ to $\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.
format Preprint
id arxiv_https___arxiv_org_abs_2507_12954
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On the K-theory of algebraic tori
Bai, Qingyuan
Carmeli, Shachar
Juran, Branko
Riedel, Florian
K-Theory and Homology
Algebraic Geometry
Algebraic Topology
19E08, 14F42
Given an algebraic torus $T$ over a field $F$, its lattice of characters $Λ$ gives rise to a topological torus $\mathfrak{T}(T)=Λ_{\mathbb R}/Λ$ with a continuous action of the absolute Galois group $G$. We construct a natural equivalence between the algebraic $K$-theory $K_{\ast}(T)$ and the equivariant homology $H^{G}_{\ast}(\mathfrak{T}(T);K_G(F))$ of the topological torus $\mathfrak{T}(T)$ with coefficients in the $G$-equivariant $K$-theory of $F$. This generalizes a computation of $K_0(T)$ due to Merkurjev and Panin. We obtain this equivalence by analyzing the motive $\mathbb{K}_{F}^{T}$ in the stable motivic category $\mathrm{SH}(F)$ of Voevodsky and Morel, where $\mathbb{K}_{F}$ is the motivic spectrum representing homotopy $K$-theory. We construct a natural comparison map $\mathfrak{F}\colon \mathbb{K}_{F}[BΛ] \to \mathbb{K}_{F}^{T}$ from the $\mathbb{K}_{F}$-homology of the étale delooping of $Λ$ to $\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.
title On the K-theory of algebraic tori
topic K-Theory and Homology
Algebraic Geometry
Algebraic Topology
19E08, 14F42
url https://arxiv.org/abs/2507.12954