■単純リー環を使った面数数え上げ(その76)

 引き続き,正軸体系切頂型について調べてみたい.

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

{3,3,3,3,4}(011000)→f=(480,1920,3040,2160,636,76)

(11000)→f=(80,280,400,240,42)

(1000)→f=(8,24,32,16)

(1)

f0=12・80−60・8=480  (OK)

f1=12・280−60・24=1920  (OK)

f2=12・400−60・32+160・1=3040  (OK)

f3=12・240−60・16+240・1=2160  (OK)

f4=12・42−60・1+192・1=636  (OK)

f5=12・1+64・1=76  (OK)

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

{3,3,3,3,4}(001000)→f=(160,1440,2880,2160,636,76)

(01000)→f=(40,240,400,240,42)

(1000)→f=(8,24,32,16)

(1)

f0=12・40−60・8=0  (NG)

f1=12・240−60・24=1440  (OK)

f2=12・400−60・32=2880  (OK)

f3=12・240−60・16+240・1=2160  (OK)

f4=12・42−60・1+192・1=636  (OK)

f5=12・1+64=1=76  (OK)

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