任意のリーマン面は適当なリー群Gによって
クリフォード-クライン形の多様体になるから
高次元の一意化問題も、なんとかこの方向に
もっていけたらいいのだけど難しいのだろうか