"y" ＝0の正値実行列全体の成す空間h2は単位行列の "sl"(2,r)-軌道と同一視することができる。