Mostow Rigidity Theorem and reconstruction from fundamental group The Mostow Rigidity Theorem is phrased in terms of a relationship between isometries and isomorphisms of fundamental groups, which raises an obvious question. Given the fundamental group of a complete finite-volume hyperbolic manifold of dimension $> 2$, is it possible to reconstruct the hyperbolic manifold?
 A: How is your fundamental group $\Gamma$ given to you? As a presentation in terms of generators and relations? Here is an answer for hyperbolic $3$-space that can probably be generalized to $\mathbb{H}^n$, $n \ge 4$, with some effort.
In short, you compute the $\mathrm{SL}_2(\mathbb{C})$ character variety. The relevant ideas and facts I use below are in Culler and Shalen's famous paper [CS].
Here is an algorithm.


*

*Compute the algebraic set $\mathrm{Hom}(\Gamma, \mathrm{SL}_2(\mathbb{C}))$ from your presentation. This is naturally an affine algebraic set in $\mathbb{C}^{4 d}$, where $\Gamma$ has $d$ generators.

*Then, there is an explicit set of elements $\sigma_1, \dots, \sigma_n \in \Gamma$ for which the trace function
$$
t(\rho) = \left(\mathrm{tr}(\rho(\sigma_1)), \dots, \mathrm{tr}(\rho(\sigma_n))\right) \in \mathbb{C}^n
$$
has image the $\mathrm{SL}_2(\mathbb{C})$ character variety, $X(\Gamma)$. See Proposition 1.4.1 in [CS].

*Compute this algebraic set in $\mathbb{C}^n$ and find its irreducible components (maybe in Macaulay?).

*Mostow rigidity tells you that a discrete and faithful representation $\rho : \Gamma \to \mathrm{SL}_2(\mathbb{C})$ determines an isolated point of $X(\Gamma)$. You might get several isolated points in $X(\Gamma)$ from different lifts from $\mathrm{PSL}_2$ to $\mathrm{SL}_2$ and from different Galois conjugates of the discrete and faithful representation, not to mention possibly other random isolated points. (Small nitpick: In the finite volume, noncompact case you need to also cut out the equations that traces of peripheral elements are all $2$ in order to get isolated points. You need to cut away deformations related to Dehn filling.)

*There is a standard way described in [CS] to algorithmically lift a point on $X(\Gamma)$ back to a representation $\rho$. Basically you choose a lift so that your first generator is upper-triangular with the right trace and $1$ in the upper right entry. You make the second generator lower-triangular of the right trace, where now the lower left entry is going to depend on the trace of the product of the two generators, etc. Compute such a $\rho$ for each isolated point of $X(\Gamma)$.

*Now, compute a Dirichlet or Ford domain in $\mathbb{H}^3$ for each $\rho(\Gamma)$ from your list of isolated points. One of these will terminate to give you a fundamental domain for the complete structure.


Now you have the representation associated with the complete structure and a fundamental domain. So if that is your desired notion of "reconstructing" the manifold, there you go.
A last remark on the finite volume case. Your presentation oracle also needs to enumerate the conjugacy classes of $\mathbb{Z}\oplus \mathbb{Z}$ subgroups - these are precisely the peripheral subgroups. (The manifold is homeomorphic to the interior of a compact manifold with boundary a union of essential tori.) As described in [CS], Thurston proved that the dimension of the character variety at the complete structure equals the number of cusps, and the complete structure is cut out by making each peripheral subgroup unipotent (in fact, setting the traces of these elements all equal to $2$ cuts out the desired point). You can probably make finding these algorithmic in just the presentation. The rank of the abelianization of $\Gamma$ is an upper bound for the number of peripheral subgroups (by Poincaré duality), so one knows when enough subgroups have been found. This point is irrelevant in higher dimensions.
[CS] Culler, Marc; Shalen, Peter B. Varieties of group representations and splittings of 3-manifolds. Ann. of Math. (2) 117 (1983), no. 1, 109–146.
