双曲群というのは実際の幾何の問題を解くときの役に立ったりするのですか?