For P ⊂ 3 a finite volume geodesic polyhedron, with the property that all interior angles between incident faces are of the form π/mij (mij ≥ 2 an integer), there is a naturally associated Coxeter group ΓP. Furthermore, this Coxeter group is a lattice inside the semi-simple Lie group O+(3, 1) = Isom(3), with fundamental domain the original polyhedron P. In this paper, we provide a procedure for computing the lower algebraic K-theory of the integral group ring of such groups ΓP in terms of the geometry of the polyhedron P. As an ingredient in the computation, we explicitly calculate the K−1 and Wh of the groups Dn and Dn × 3, and we also summarize what is known about the 0.
[BFJP]Berkove, E., Farrell, F. T., Juan-Pineda, D. and Pearson, K.The Farrell-Jones isomorphism conjecture for finite covolume hyperbolic actions and the algebraic K-theory of Bianchi groups. Trans. Amer. Math. Soc.352 (2000), 5689–5702.CrossRefGoogle Scholar
[BB]Bley, W. and Boltje, R. Computation of locally free class groups, in Algorithmic number theory (Lect. Notes in Comput. Sci., 4076), 72–86 (Springer, 2006).CrossRefGoogle Scholar
[R]Ratcliffe, J. G.Foundations of hyperbolic manifolds. Graduate Texts in Mathematics 149 (Springer-Verlag, 1994).CrossRefGoogle Scholar
[Re]Reiner, I.Maximal orders. Corrected reprint of the 1975 original. With a foreword by Taylor, M. J.London Math. Soc. Monogra. N. S.28 (The Clarendon Press, Oxford University Press, 2003), xiv+395 pp.Google Scholar
[RU1]Reiner, I. and Ullom, S. Remarks on class groups of integral group rings, in “Symposia Mathematica. Vol. XIII (Convegno di Gruppi e loro Rappresentazioni, INDAM, Rome, 1972),” 501–516. (Academic Press, 1974).Google Scholar
[RU2]Reiner, I. and Ullom, S.A Mayer-Vietoris sequence for class groups. J. Algebra31 (1974), 305–342.CrossRefGoogle Scholar
[RHD]Roeder, R. K. W., Hubbard, J. H. and Dunbar, W. D.Andreev's Theorem on hyperbolic polyhedra. Ann. l'Inst. Fourier57 (2007), 825–882.CrossRefGoogle Scholar