11
$\begingroup$

If $N$ and $N'$ are two closed hyperbolic 3-manifolds, then one would like to have an algorithm which determines whether or not $N$ and $N'$ are homeomorphic.

If $N$ and $N'$ are Haken, then such an algorithm is provided by Haken. The homeomorphism problem is solved in general by Sela's work on hyperbolic groups and Mostow rigidity.

I was wondering though whether in light of Agol's work one can now give a "purely $3$-dimensional" solution to the homeomorphism problem. More precisely, Agol showed that given any hyperbolic 3-manifold there exists a finite cover with $b_1>0$. So given $N$ and $N'$ I can find a finite cover $\tilde{N}$ with $b_1(\tilde{N})>0$. I can take the subgroup $\pi_1(\tilde{N})$ to be of the type "intersection of all kernels of homomorphisms to a fixed finite group". I can then use the `same' finite index subgroup to get a cover $\tilde{N}'$ with $b_1(\tilde{N}')>0$. So now one can apply Haken to check whether $\tilde{N}$ and $\tilde{N}'$ are homeomorphic. To push this result down to $N$ and $N'$ it seems to me that one needs to calculate the mapping class group of $\tilde{N}$. This group is finite by Mostow rigidity, but are there algorithms for determining it? Are there any bounds on the size of the group?

$\endgroup$
10
$\begingroup$

There is a bound on the size of the mapping class group of a hyperbolic manifold, namely the volume divided by the minimal volume of a hyperbolic 3-orbifold (0.03905...).

There is a (non-rigorous) algorithm to compute the isometry group by Hodgson-Weeks, which is used in the program Snappea.

Addendum: Another possible approach to you question would be to compute the Thurston norm of the cover (which in principle is possible using normal surface algorithms developed by Tollefson). Then one has a short exact sequence of the mapping class group action on the Thurston norm unit ball, and the kernel of this action. If there are fibered faces, then in principle one can compute both by solutions to the conjugacy problem in the mapping class group, which would avoid some of the difficulties involved with hierarchies and Waldhausen/Hemion solution to the homeomorphism problem. I should say though that this entire approach is likely to be computationally infeasible, especially compared to a program like snappea which works well in practice, or using Sela's algorithm as referred to in Henry's answer. So although understanding isometry groups of manifolds is an interesting question, I think your whole approach to the homeomorphism problem is quixotic, except possibly as a theoretical exercise.

$\endgroup$
  • $\begingroup$ What is the reference for the first statement? I have to admit that I didn't know that the volume gives rise to an upper bound on the size of the mapping class group. The approach of going to a Haken cover is in practice surely much worse than snappea, but I think it would be kinda nice to have an algorithm which is "geometric group theory free", even though of course the proof that it works is not "geometric group theory free". $\endgroup$ – Stefan Friedl Nov 5 '13 at 15:58
  • $\begingroup$ @StefanFriedl - for a 'geometric-group-theory-free' algorithm, you need look no further than Scott and Short's new algorithm! $\endgroup$ – HJRW Nov 5 '13 at 16:07
  • $\begingroup$ @StefanFriedl: there's a like to Marshall and Martin's paper in the number in parentheses. Of course, the proof of a universal lower bound on volume goes back further, maybe to Siegel (see the reference in their paper)? $\endgroup$ – Ian Agol Nov 5 '13 at 16:34
8
$\begingroup$

The trouble is that computing the outer automorphism group is a very similar to the isomorphism problem, but actually a little harder. The only algorithm that I know of to compute the outer automorphism group of a hyperbolic-manifold group uses Sela's techniques.

The algorithm follows quickly from Theorem G of Dahmani--Groves' paper ('The isomorphism problem for toral relatively hyperbolic groups'. Publ. Math. Inst. Hautes ́Etudes Sci. No. 107 (2008), 211–290) which, combined with the immediately preceding remark, implies the following:

There is an algorithm with the following properties. It takes as input a finite presentation for a toral relatively hyperbolic group G [eg the fundamental groups of a hyperbolic 3-manifold]. It terminates if and only if Out(G) is finite. In case it terminates, it provides a finite list of homomorphisms which contains a representative of every conjugacy class of monomorphism from G to itself.

In particular, the output list contains a representative of each outer automorphism class. (I don't think the list is a priori guaranteed to only contain monomorphisms.) Using the membership problem for G, one can check which maps on the list are surjective, hence automorphisms (since G is Hopfian). Finally, using the simultaneous conjugacy problem in G, one can check which maps on the list are conjugate, and reduce the list to exactly one representative for each conjugacy class.

It's conceivable that a conceptually easier algorithm (avoiding Sela's techniques) can be produced along the lines of Scott--Short's recent alternative solution to the homeomorphism problem (arXiv:1211.0264), but I haven't thought about this.

$\endgroup$
  • $\begingroup$ I have heard many references to Sela's algorithm, but I know nothign about it. I also know nothing about Haken's algorithm, but I always imagined the latter to be hands-on' and the former esoteric'. Or is that a total misapprehension? Is there an account of Sela's algorithm which does not require reading N earlier papers with N large? $\endgroup$ – Stefan Friedl Nov 5 '13 at 16:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.