\(K\)-theory, Hermitian \(K\)-theory and the Karoubi tower (Q1300047): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1023/a:1007799508729 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1983739299 / rank | |||
Normal rank |
Latest revision as of 08:58, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(K\)-theory, Hermitian \(K\)-theory and the Karoubi tower |
scientific article |
Statements
\(K\)-theory, Hermitian \(K\)-theory and the Karoubi tower (English)
0 references
22 February 2000
0 references
Let \((R,\alpha,\varepsilon)\) be a Hermitian ring; thus \(R\) is a ring with unit, \(\alpha\) is an anti-involution, and \(\varepsilon\) is a central unit such that \(\alpha(\varepsilon)=\varepsilon^{-1}\). Beside the usual \(K\)-theory infinite loop space \(KR\) based on finitely generated projective modules, there is a Hermitian \(K\)-theory infinite loop space \(K\text{Herm}(R,\alpha,\varepsilon)\) based on finitely generated projective modules with Hermitian forms. It is homotopy equivalent to the fixed subspace \(KR^{{\mathbb Z}/2}\) under the involution induced by \(\alpha\). The Karoubi tower is a doubly infinite sequence \[ \ldots \to \Omega^2 KH^{(2)} \to \Omega KH^{(1)} \to K\text{Herm}(R,\alpha,\varepsilon) \to KH^{(-1)} \to KH^{(-2)} \to \ldots, \] where each space \(KH^{(n)}\) is the Hermitian \(K\)-theory of a Hermitian ring constructed from \((R,\alpha,\varepsilon)\). The homotopy fibre of each map is an iterated looping or delooping of \(KR\). If \(2\) is invertible in \(R\), then the sequence is \(4\)-periodic. There are two main results in this paper. The first produces homotopy fibration sequences \[ \Omega^{n+1}KH^{(n+1)} \to K\text{Herm}(R,\alpha,\varepsilon) \to A_n \] for \(n\geq 0\), where the \(A_n\) form a natural tower with homotopy limit equal to the homotopy fixed point set \(KR^{h{\mathbb Z}/2}\). As a corollary, the homotopy limit of the Karoubi tower is the homotopy fibre of \[ K\text{Herm}(R,\alpha,\varepsilon)=KR^{{\mathbb Z}/2} \to KR^{h{\mathbb Z}/2}. \] Dually, the second result produces homotopy cofibration sequences \[ B_n \to K\text{Herm}(R,\alpha,\varepsilon) \to KH^{(-n-1)} \] for \(n\geq 0\), where the \(B_n\) form a sequence with homotopy colimit equal to the homotopy orbit space \(KR_{h{\mathbb Z}/2}\). As a corollary, the homotopy colimit of the Karoubi tower is the homotopy cofibre of \[ KR_{h{\mathbb Z}/2} \to KR^{{\mathbb Z}/2}=K\text{Herm}(R,\alpha,\varepsilon). \] There are calculations for the real numbers, complex numbers and quaternions, which include Bott periodicity; there are also calculations for finite fields. See also the review below (Zbl 0931.19004).
0 references
Hermitian \(K\)-theory
0 references
Karoubi tower
0 references
Bott periodicity
0 references