In the paper "The combinatorial structure of cocompact discrete hyperbolic groups(here)", Cannon gave a proof of conjugacy problem for surface groups using hyperbolic geometry (Theorem 6). It's the the same proof mentioned by Stillwell in the second paragraph of his answer.
Cusp
- 1.7k
- 1
- 12
- 20