Kronecker's first limit formula for Kleinian groups

Abstract

We prove Kronecker's first limit formula for cofinite discrete subgroups of SL$(2,\mathbbC)$, also called Kleinian groups, generalizing a method of Goldstein over SL$(2,\mathbb R)$. The proof uses the Fourier expansion of Eisenstein series, leading to an analogue of the logarithm of the Dedekind eta function, and whose transformation law produces a function analogous to the one related to Dedekind sums. We derive several basic properties of this new function.