■基本単体の二面角(その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胞体を互いに変換する操作になるためである.

===================================