■単純リー環を使った面数数え上げ(その55)
切頂型について考えると,
[1](0100)の場合
αnの頂点がαn-1に置き換わると考えると,(n+1)個の頂点と(n+1,2)個の辺が消えて,αn-1個の頂点と辺になる.
[2](0110)の場合
αnの頂点がtαn-1に置き換わると考えると,(n+1)個の頂点と(n+1,2)個の辺が消えて,tαn-1個の頂点と辺になる.これからαn-2個の頂点と辺を差し引く.
[3](0010)の場合
αnの頂点がtαn-1に置き換わると考えると,(n+1)個の頂点と(n+1,2)個の辺と(n+1,3)個の面が消えて,tαn-1個の頂点と辺と面になる.これからαn-2個の頂点と辺と面を差し引く.
ここでは(1010)について考えてみたい.
===================================
【1】正単体系(1010)→(0101)→f=(30,90,80,20)
5個の頂点に正単体系(101)ができる.10個辺に正単体系(01)柱ができると考えると,
(101)→f=(12,24,14)
(01)→f=(3,3)
f0=5・12=60 (NG)
f1=5・24+10・3=150 (NG)
f2=5・14+10・3+10=110 (NG)
f3=5+10+5=10
===================================
【2】正軸体系(1010)→f=(96,288,240,48)
8個の頂点に正軸体系(101)ができる.24個の辺に正軸体系(01)柱ができると考えると,
(101)→f=(24,48,26)
(01)→f=(4,4)
f0=8・24 (NG)
f1=8・48+24・4 (NG)
f2=8・26+24・4+32 (NG)
f3=8+24+16
===================================
【3】まとめ
この路線はNG.[0,1]にしたがって,
α→tα,β→tβ
とするのがよいのだろうか?
===================================