■基本単体の二面角(その92)
【1】F4
α1=e2−e3=(0,1,−1,0)
α2=e3−e4=(0,0,1,−1)
α3=e4=(0,0,0,1)
α4=1/2(1,−1,−1,−1)
さらに,
α0=e1+e2=(1,1,0,0)
として,拡張コクセターグラフを考えてみます.
α1・α2=−1/2→θ=π/3
α2・α3=−1/√2→θ=π/4
α3・α4=−1/2→θ=π/3
−α1・α0=−1/2→θ=π/3
−α4・α0=0→θ=π/2
===================================
【2】G2
α1=e1−e2=(1,−1,0)
α2=−2e1+e2+e3=(−2,1,1)
さらに,
α0=2e3−e2−e1=(−1,−1,2)
として,拡張コクセターグラフを考えてみます.
α1・α2=−3/√2√6=−√3/2→θ=π/6
−α1・α0=0→θ=π/2
−α2・α0=−3/6→θ=π/3
===================================
【3】まとめ
H3,H4は省略するが,
θ=π/2・・・・結ばない
θ=π/3・・・・辺−で結ぶ
θ=π/4・・・・辺=で結ぶ
θ=π/6・・・・辺≡で結ぶ
ことによって,拡張コクセターグラフを構成することができた.
===================================