037fb210e9517bb7.tex
1: \begin{abstract}
2: In this paper we investigate the structure of the algebraic $K$-groups
3: $K_{4} (\Z[i])$ and $K_{4} (\Z[\rho])$, where $i := \sqrt{-1}$ and
4: $\rho := (1+\sqrt{-3})/2$.  We exploit the close connection between
5: homology groups of $\GL_n(R)$ for $n\leq 5$ and those of related
6: classifying spaces, then compute the former using Voronoi's reduction
7: theory of positive definite quadratic and Hermitian forms to produce a
8: very large finite cell complex on which $\GL_n(R)$ acts.  Our main
9: results are (i) $K_{4} (\Z[i])$ is a finite abelian $3$-group, and
10: (ii) $K_{4} (\Z[\rho])$ is trivial.
11: \end{abstract}
12: