■基本単体の二面角(その109)
|S|=|1 x1 y1| |V|=|1 x1 y1 z1|
|1 x2 y2| |1 x2 y2 z2|
|1 x3 y3| |1 x3 y3 z3|
|1 x4 y4 z4|
であれば,以下の拡張コクセターグラフは超平面ではなく,座標を表すのだろうか?
===================================
【1】An
α1=e2−e1=(−1,1,0,・・・,0)
α2=e3−e2=(0,−1,1,・・・,0)
αn=en+1−en=(0,・・・,0,−1,1)
さらに,
α0=en+1−e1=(−1,0,・・・,0,1)
として,拡張コクセターグラフを考えてみます.
α1・α2=−1/2→θ=π/3
−α1・α0=−1/2→θ=π/3
−αn・α0=−1/2→θ=π/3
P0(−1,0,0,1)
P1(−1,1,0,0)
P2(0,−1,1,0)
P3(0,0,−1,1)
PiPj^2を計算すると
2,4,2
6,4
6
===================================
【2】Bn
α1=e1=(1,0,0,・・・,0)
α2=e2−e1=(−1,1,0,・・・,0)
αn=en−en-1=(0,・・・,0,−1,1)
さらに,
α0=en-1+en=(0,・・・,1,1)
として,拡張コクセターグラフを考えてみます.
α1・α2=−1/√2→θ=π/4
−αn・α0=0→θ=π/2
−αn-1・α0=−1/2→θ=π/3
P0(0,0,1,1)
P1(1,0,0,0)
P2(−1,1,0,0)
P3(0,−1,1,0)
P4(0,0,−1,1)
PiPj^2を計算すると
3,4,2,4
5,3,3
6,4
6
===================================
【3】Cn
α1=e1+e2=(1,1,0,・・・,0)
α2=e2−e1=(−1,1,0,・・・,0)
αn=en−en-1=(0,・・・,0,−1,1)
さらに,
α0=en-1+en=(0,・・・,0,1,1)
として,拡張コクセターグラフを考えてみます.
α1・α2=0→θ=π/2
−αn・α0=0→θ=π/2
−αn-1・α0=−1/2→θ=π/3
P0(0,0,1,1)
P1(1,1,0,0)
P2(−1,1,0,0)
P3(0,−1,1,0)
P4(0,0,−1,1)
PiPj^2を計算すると
4,4,2,4
4,6,4
6,4
6
===================================
【4】Dn
α1=2e1=(2,0,0,・・・,0)
α2=e2−e1=(−1,1,0,・・・,0)
αn=en−en-1=(0,・・・,0,−1,1)
さらに,
α0=2en=(0,・・・,0,2)
として,拡張コクセターグラフを考えてみます.
α1・α2=−1/√2→θ=π/4
−αn・α0=−1/√2→θ=π/4
−αn-1・α0=−1/2→θ=π/3
P0(0,0,0,2)
P1(2,0,0,0)
P2(−1,1,0,0)
P3(0,−1,1,0)
P4(0,0,−1,1)
PiPj^2を計算すると
8,6,6,2
10,6,6
6,4
6
===================================
[まとめ]これらが何に対応しているのかわからない.
===================================