an:02207650
Zbl 1088.57015
Francaviglia, Stefano
Hyperbolic volume of representations of fundamental groups of cusped \(3\)-manifolds
EN
Int. Math. Res. Not. 2004, No. 9, 425-459 (2004).
00104096
2004
j
57M50 53C24 53A35 57N10
hyperbolic volume; cusped 3-manifold; \(\text{PSL}(2,\mathbb{C})\)
A complete hyperbolic metric on a compact or cusped 3-manifold \(M\) induces a discrete faithful representation \(\rho: \pi_1(M)\to\text{PSL}(2,\mathbb{C})= \text{Isom}(\mathbb{H}^3)\): namely, one identifies the universal cover \(\widetilde M\) of \(M\) with \(\mathbb{H}^3\) and \(\pi_1(M)\) with the covering translations of the cover \(\mathbb{H}^3=\widetilde M\to M\). Mostow rigidity then implies that \(\rho\) is well-defined up to conjugation within \(\text{PSL}(2,\mathbb{C})\), hence that the (finite) volume \(\text{vol}(\rho) = \text{vol}(M)\) of \(M\) is a topological invariant.
The author notes that Dunfield has explained how to calculate a volume \(\text{vol}(\rho)\) for all representations \(\rho: \pi_1(M)\to\text{PSL}(2, \mathbb{C})\), discrete and faithful or not, provided that the cusp structure is respected.
This paper is devoted to showing that the Dunfield volume \(\text{vol}(\rho)\) is well-defined -- that is, \(\text{vol}(\rho)\) is independent of the choices made in Dunfield's construction. The volume can be computed by ``straightening'' any ideal triangulation of \(M\).
The author also proves that, if \(M\) is cusped-hyperbolic and \(\text{vol}(\rho)\geq\text{vol}(M)\), then, in fact, \(\text{vol}(\rho)= \text{vol}(M)\) and \(\rho\) is discrete and faithful.
James W. Cannon (Provo)