四元数から四元数への写像を考えてるんだが、なんか参考文献無い
だろうか？H^2の多様体も考えてる。