Theorem
Volume formula for a Bianchi orbifold
The curvature-minus-one volume is the discriminant factor times a Dedekind zeta value.
Statement
Let be an imaginary quadratic field with discriminant . For the Bianchi orbifold with curvature ,
where is the Dedekind zeta function.
Normalization checks
The formula uses the full ring of integers, the projective SL group, and the curvature- metric. For , , so the coefficient becomes .
Passing to a subgroup of index multiplies the quotient volume by . 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
- F. Paulin, Regards croisés sur les séries de Poincaré et leurs applications, Theorem 6, p. 12. Author’s text