Invariants of hyperbolic 3-manifolds in relative group homology

Abstract

Let $M$ be a complete oriented hyperbolic $3$--manifold of finite volume. Using classifying spaces for families of subgroups we construct a class ${\beta }_P(M)$ in the Adamson relative homology group $H_3([PS{L}_2(\mathbb{C}):\bar{P}];\mathbb{Z})$, where $\bar{P}$ is the subgroup of parabolic transformations which fix $\infty$ in the Riemann sphere. We also prove that the classes $F(M)$ in the Takasu relative homology groups $H_3(PS{L}_2(\mathbb{C}),\bar{P};\mathbb{Z})$ constructed by Zickert, which are not well-defined and depend of a choice of decorations by horospheres, are all mapped to ${\beta }_P(M)$ via a canonical comparison homomorphism $H_3(PS{L}_2(\mathbb{C}),\bar{P};\mathbb{Z})\to H_3([PS{L}_2(\mathbb{C}):\bar{P}];\mathbb{Z})$. To do this, we simplify the construction of the classes $F(M)$ using a simpler complex which computes $H_3(PS{L}_2(\mathbb{C}),\bar{P};\mathbb{Z})$, getting a simple simplicial formula for $F(M)$, which in turn gives a simpler and more efficient formula to compute the volume and Chern--Simons invariant than the one given by Zickert. The constructions can be extended for any boundary-parabolic $PS{L}_2(\mathbb{C})$-representation.

47 pages, 1 figure, PDFLaTeX. The proof of Proposition 3.20 was not correct (and probably also the statement). Results on Sections 2 and 3 were published in a separate article and summarized in Section 2 of version 2. Some parts were rewritten

Cited by in corpus (2)

• Relative group (co)homology theories with coefficients and the comparison homomorphism
• de Rham theory and cocycles of cubical sets from smooth quandles