Statement

Let KK be an imaginary quadratic field with DKD_K. For the with curvature 1-1,

vol(PSL2(OK)\H3)=DK3/24π2ζK(2),\operatorname{vol}\bigl(\operatorname{PSL}_2(\mathcal O_K)\backslash\mathbb H^3\bigr) =\frac{|D_K|^{3/2}}{4\pi^2}\,\zeta_K(2),

where ζK\zeta_K is the .

Normalization checks

The formula uses the full ring of integers, the projective SL group, and the curvature-1-1 metric. For K=Q(i)K=\mathbb Q(i), DK=4|D_K|=4, so the coefficient becomes 2/π22/\pi^2.

Passing to a subgroup of index mm multiplies the quotient volume by mm. Replacing PSL by a larger projective group therefore requires a separate index calculation; the formula cannot be transferred unchanged.

Interpretation

The finite positive zeta value yields finite positive hyperbolic volume even though the quotient has cusp ends and is noncompact.

References
  1. F. Paulin, Regards croisés sur les séries de Poincaré et leurs applications, Theorem 6, p. 12. Author’s text