■基本単体の二面角(その28)
F4の重みが
F4:a1=1,a2=1/√3,a3=√2/3,a4=√2
でなく,
β4:a1=1,a2=1/√3,a3=1/√6,a4=1/√2
になっているところが気にかかる.
===================================
正24胞体の頂点は
[1] (±1,±1,±1,±1)
[2] (±2,0,0,0)
(0,±2,0,0)
(0,0,±2,0)
(0,0,0,±2)
であるが,[1]からひとつおきの頂点2組と[2]と,3組の8個ずつが合同な正16胞体をなす.
その代表的な軸は
(1,1,1,1),(1,1,1,−1),(2,0,0,0)
であって,これらは互いに60°の角をなす.これらを入れ替えることによって,3個の正16胞体が入れ替えられる.
このように,D4のディンキン図形には独特の「三対性」があり,その自己同型変換は,正24胞体に含まれ3個の正16胞体を互いに変換する操作になるためである.
===================================