■DE群多面体の面数公式(その636)

 (その634)hγ4(8,24,32,16)の大域公式について確かめておきたい.

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

[1]h2γ4=t0,1β4,二重節点ではない方から始める

48=12・8−2・24

120=18・8−1・24

96=8・8−0・24+1・32

24=1・8−0・24+0・32+1・16

1=0・8−0・24+0・32+0・16+1・1

[2]h2γ4=t0,1β4,2重節点から始めると

48=6・8

120=12・8+1・24

96=8・8+0・24+1・32

24=1・8+0・24+0・32+1・16

1=0・8+0・24+0・32+0・16+1・1  (一致)

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

[2]h3γ4=t2β4,2重節点ではないほうから始めると

32=12・8−4・24+1・32

96=24・8−4・24+0・32

88=14・8−1・24+0・32

24=1・8−0・24+0・32+1・16

1=0・8−0・24+0・32+0・16+1・1

[2]h3γ4=t2β4,2重節点から始めると

32=4・8

96=6・8+2・24

88=4・8+1・24+1・32

24=1・8+0・24+0・32+1・16

1=0・8+0・24+0・32+0・16+1・1  (一致)

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

[3]h2,3γ4=t1,2β4,2重節点でないほうから始めると

96=24・8−4・24

192=36・8−4・24

120=14・8−1・24+1・32

24=1・8−0・24+0・32+1・16

1=0・8−0・24+0・32+0・16+1・1

[3]h2,3γ4=t1,2β4,2重節点から始めると

96=12・8

192=18・8+2・24

120=8・8+1・24+1・32

24=1・8+0・24+0・32+1・16

1=0・8+0・24+0・32+0・16+1・1  (一致)

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

[まとめ]局所幾何だけがおかしい

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