■基本単体の二面角(その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・・・・辺≡で結ぶ

ことによって,拡張コクセターグラフを構成することができた.

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