■単純リー環を使った面数数え上げ(その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β

とするのがよいのだろうか?

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