Higher K-Groups and Their Properties

The higher algebraic K-groups $K_n(R)$ for $n \geq 2$ encode deep arithmetic and geometric information. We survey the fundamental structural properties of these groups, including products, stability, and the relationship to group homology.

Basic properties

Definition2.5K-theory spectrum

For a ring $R$ , the algebraic K-theory groups can be organized into a connective spectrum $\mathbf{K}(R)$ with

$\pi_n(\mathbf{K}(R)) = K_n(R) \quad \text{for } n \geq 0.$

This spectrum-level structure provides:

Products: For commutative $R$ , a ring spectrum structure on $\mathbf{K}(R)$ inducing pairings $K_i(R) \otimes K_j(R) \to K_{i+j}(R)$ .
Long exact sequences: Exact sequences of rings (or schemes) give long exact sequences of K-groups.
Adams operations: $\psi^k: K_n(R) \to K_n(R)$ for $k \geq 1$ , satisfying $\psi^k \psi^l = \psi^{kl}$ .

RemarkProduct structure

For a commutative ring $R$ , the tensor product of projective modules induces a graded-commutative ring structure on $K_*(R) = \bigoplus_{n \geq 0} K_n(R)$ . The product

$K_i(R) \times K_j(R) \to K_{i+j}(R)$

satisfies $\alpha \cdot \beta = (-1)^{ij} \beta \cdot \alpha$ . At the level of $K_0$ and $K_1$ , this recovers:

$K_0 \times K_0 \to K_0$ : $[P] \cdot [Q] = [P \otimes Q]$
$K_0 \times K_1 \to K_1$ : $[P] \cdot [A] = [A \otimes \operatorname{id}_P]$ (automorphism of $P^n$ )
$K_1 \times K_1 \to K_2$ : Connects to the Steinberg symbol via $\{a, b\} = [a] \cdot [b]$

K-groups of important rings

ExampleK-groups of the integers

The K-groups of $\mathbb{Z}$ are known in low degrees and predicted by the Lichtenbaum conjectures (now theorems) in all degrees:

| $n$ | $K_n(\mathbb{Z})$ | |-----|-------------------| | 0 | $\mathbb{Z}$ | | 1 | $\mathbb{Z}/2$ | | 2 | $\mathbb{Z}/2$ | | 3 | $\mathbb{Z}/48$ | | 4 | $0$ | | 5 | $\mathbb{Z}$ | | 6 | $0$ | | 7 | $\mathbb{Z}/240$ |

The pattern for $n \geq 2$ follows from the computation of stable homotopy groups of spheres and the relation to the image of the $J$ -homomorphism. For $n = 4k-1$ ( $k \geq 1$ ), $K_{4k-1}(\mathbb{Z})$ contains a cyclic summand related to $\zeta(1-2k)$ (Bernoulli numbers). Specifically:

$|K_{4k-1}(\mathbb{Z})| \sim \frac{|B_{2k}|}{2k} \cdot (\text{powers of 2})$

where $B_{2k}$ is the $2k$ -th Bernoulli number.

ExampleK-groups of number fields

For a number field $F$ with $r_1$ real places and $r_2$ complex places, Borel computed the ranks:

$\operatorname{rk} K_n(\mathcal{O}_F) = \begin{cases} 1 & n = 0 \\ r_1 + r_2 - 1 & n = 1 \\ 0 & n = 2 \\ r_1 + r_2 & n \equiv 1 \pmod{4}, n \geq 5 \\ r_2 & n \equiv 3 \pmod{4} \\ 0 & n \text{ even}, n \geq 2 \end{cases}$

The rank for $n = 1$ is the Dirichlet unit theorem. The ranks for $n \geq 2$ are Borel's theorem, proved using the cohomology of arithmetic groups and the comparison with Lie algebra cohomology.

The torsion in $K_n(\mathcal{O}_F)$ is related to special values of the Dedekind zeta function $\zeta_F(s)$ at negative integers, as predicted by the Lichtenbaum conjectures.

Stability and finiteness

Definition2.6Homological stability

Homological stability for $GL_n(R)$ states that the map

$H_k(GL_n(R); \mathbb{Z}) \to H_k(GL_{n+1}(R); \mathbb{Z})$

induced by the stabilization $GL_n \hookrightarrow GL_{n+1}$ is an isomorphism for $n \gg k$ . Specifically, for many classes of rings:

$H_k(GL_n(R); \mathbb{Z}) \xrightarrow{\sim} H_k(GL(R); \mathbb{Z}) \quad \text{for } n \geq 2k + 1.$

This implies that $K_n(R)$ can be computed from finite-dimensional linear algebra (i.e., from $GL_m(R)$ for $m$ large but finite).

RemarkFiniteness results

Quillen's finiteness theorem: For a finite field $\mathbb{F}_q$ or the ring of integers $\mathcal{O}_F$ of a number field, $K_n$ is finitely generated for all $n \geq 0$ .

More precisely:

$K_n(\mathbb{F}_q)$ is finite for $n \geq 1$ (Quillen).
$K_n(\mathcal{O}_F)$ is finitely generated for all $n$ (Quillen). The finite generation uses reduction theory for arithmetic groups and the contractibility of the Tits building.
$K_n(R)$ need not be finitely generated for arbitrary Noetherian rings. For example, $K_1(k[x, y]/(xy)) \cong k^{\times} \oplus k^+$ , where $k^+$ is the additive group of $k$ (infinite-dimensional for $k = \mathbb{Q}$ ).

Lambda-ring structure and Adams operations

ExampleAdams operations on K₀

For a commutative ring $R$ , the exterior power operations $\lambda^k: K_0(R) \to K_0(R)$ , $[P] \mapsto [\Lambda^k P]$ , make $K_0(R)$ into a lambda-ring. The associated Adams operations $\psi^k$ are defined by

$\psi^k = (-1)^{k+1} k \lambda^k + \sum_{i=1}^{k-1} (-1)^{i+1} \lambda^i \psi^{k-i}$

or equivalently via the Newton identity relating power sums to elementary symmetric polynomials.

The Adams operations satisfy:

$\psi^1 = \operatorname{id}$
$\psi^k \circ \psi^l = \psi^{kl}$
$\psi^p(x) \equiv x^p \pmod{p}$ for prime $p$

On $K_0(\mathbb{Z})$ , $\psi^k$ is the identity (since there is only rank). On $K_0(X)$ for a variety $X$ , the Adams operations provide the gamma filtration $F^i_\gamma K_0(X)$ whose graded pieces are related to Chow groups: $\operatorname{gr}^i_\gamma K_0(X) \otimes \mathbb{Q} \cong CH^i(X) \otimes \mathbb{Q}$ .