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