■単純リー環を使った面数数え上げ(その86)
Pkが消失したときはk次元面で重複を生じる.また,
(0)→f=(1),(1)→f=(2)
とする.(その83)をやり直してみたい.
===================================
[6](1010)→f=(96,288,240,48)
P0まで消失する.頂点に(010)→f=(12,24,14)ができる.頂点に(010),辺に(10)柱ができる.これでおしまい.
(010)→f=(12,24,14),1
(10)→f=(4,4),1
(0)→f=(1),1
()→f=(),1
f0=8・12=96 (OK)
f1=8・24+24・4=288 (OK)
f2=8・14+24・4+32・(1)=240 (OK)
f3=8・1+24・1+32・0+16=48 (OK)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[7](1001)→f=(64,192,208,80)
P0まで消失する.頂点に(001)→f=(8,12,6)ができる.辺上に(01)柱→f=(4,4),面上に(1)面ができる.
(001)→f=(8,12,6),1
(01)→f=(4,4),1
(1)→f=(2),1
()→f=(),1
f0=8・8=64 (OK)
f1=8・12+24・4=192 (OK)
f2=8・6+24・4+32・(2)=208 (OK)
f3=8・1+24・1+32・1+16・1=80 (OK)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[9](0101)→f=(96,288,248,56)
P1まで消失する.頂点に(101)ができているが,辺は消失していて,正方形面を重複して数え上げていることになる.
(101)→f=(24,48,26),1
(01)→f=(4,4),1
(1)→f=(2),1
()→f=(),1
f0=8・24−24・4=96 (OK)
f1=8・48−24・4=288 (OK)
f2=8・26−24・1+32・(2)=248 (OK)
f3=8・1−24・0+32・1+16=56
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[11](1110)→f=(192,384,240,48)
P0まで消失する.頂点に(110),辺に(10)柱ができている.
(110)→f=(24,36,14),1
(10)→f=(4,4),1
(0)→f=(1),1
()→f=(),1
f0=8・24=192 (OK)
f1=8・36+24・4=384 (OK)
f2=8・14+24・4+32・1=240 (OK)
f3=8・1+24・1+32・0+16=48 (OK)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[12]正軸体系(1101)→f=(192,480,368,80)
P0まで消失する.頂点に(101),辺に(01)柱ができている(OK).
(101)→f=(24,48,26),1
(01)→f=(4,4),1
(1)→f=(2),1
()→f=(),1
f0=8・24=192 (OK)
f1=8・48+24・4=480 (OK)
f2=8・26+24・4+32・(2)=368 (OK)
f3=8+24・1+32+1+16=80 (OK)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[13](1011)→f=(192,480,368,80)
P0まで消失する.頂点に(011),辺に(11)柱ができている(OK).
(011)→f=(24,36,14),1
(11)→f=(8,8),1
(1)→f=(2),1
()→f=(),1
f0=8・24=192 (OK)
f1=8・36+24・8=480 (OK)
f2=8・14+24・8+32・(2)=368 (OK)
f3=8・1+24・1+32・1+16=80 (OK)
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[14](0111)→f=(192,384,248,56)
P1まで消失する.頂点に(111)ができているが,辺は消失していて,正八角形面を重複して数え上げていることになる.
(111)→f=(48,72,26),1
(11)→f=(8,8),1
(1)→f=(2),1
()→f=(),1
f0=8・48−24・8=192 (OK)
f1=8・72−24・8=384 (OK)
f2=8・26−24・1+32・(2)=248 (OK)
f3=8−24・0+32・1+16=56
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
[15](1111)→f=(384,768,464,80)
頂点に(111),辺に(11)柱ができていることになる.
(111)→f=(48,72,26),1
(11)→f=(8,8),1
(1)→f=(2),1
()→f=(),1
f0=8・48=384 (OK)
f1=8・72+24・8=768 (OK)
f2=8・26+24・8+32・(2)=464 (OK)
f3=8・1+24・1+32・1+16=80 (OK)
===================================