■多元数(その29)
実数Rと複素数C上の単純リー群は,
[1]An,Bn,Cn,Dn(ユニタリ,直交,シンプレクティック群よりなる無限族)
[2]G2,F4,E6,E7,E8(5個の例外群,8元数上の幾何学に対応)
に分類される.
===================================
【1】フロイデンタールのMagic Square
1950年代に,フロイデンタールは4つの特異な幾何がすべて,R,C,H,O上で定義されることを発見した.
それは,楕円的平面上の幾何,射影的平面上の幾何,シンプレクティック幾何,メタシンプレクティック幾何の4つの幾何である.
4つの環R,C,H,O上の4つの幾何の自己同型写像は,以下のMagic Squareをなす.
R C H O
楕円的平面上の幾何 B1 A2 C3 F4
射影的平面上の幾何 A2 A2 +A2 A5 E6
シンプレクティック幾何 C3 A5 D6 E7
メタシンプレクティック幾何 F4 E6 E7 E8
===================================