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

[1]421

 N0=x/8・9!=240,x=1920・9!

 N1=x/2・72・6!=6720

 N2=x/6・2^4・5!=60480(α2)

 N3=x/24・5!=241920(α3)

 N4=x/5!・6・2=483840(α4)

 N5=x/6!・2=483840(α5)

 N6=x/7!・2+x/7!=69120(α6)+138240(α6)

 N7=x/8!+x/2^6・7!=17280(α7)+2160(β7)

 N0+N2+N4+N6=N1+N3+N5+N7=751920

 421の頂点図形は321=E7

(56,756,4032,10080,12096,2016(α5)+4032(α5),576(α6)+126(β6))

421の各頂点に連結する辺は56本

したがって,421の辺数は240・(56/2)=6720 (OK)

421の各頂点に連結する面は756

したがって,421の面数は240・(756/3)=60480 (OK)

421の各頂点に連結する3次元面は4032

したがって,321の面数は240・(4032/4)=241920 (OK)

421の各頂点に連結する4次元面は10080

したがって,421の面数は240・(10080/5)=483840  (OK)

421の各頂点に連結する5次元面は12096

したがって,421の面数は240・(12096/6)=483840  (OK)

421の各頂点に連結する6次元面は2016+4032

したがって,421の面数は240・(6048/7)=207360  (OK)

421の各頂点に連結する421の7次元面は126個の411=β7と576個の420=α7

240・(126/14+576/8)=2160+17280  (OK)

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

[2]241

241の頂点数は2160,頂点図形はhγ7

(64,672,2240,2800,1344+280,448+84,64+14)

したがって,241の各頂点に連結する辺は64本

辺数は2160・(64/2)=69120

241の各頂点に連結する面は672

面数は2160・(672/3)=483840

241の各頂点に連結する3次元面は2240

面数は2160・(2240/4)=1209600

241の各頂点に連結する241の7次元面は,141のファセットが64+14であることから14個の231=E7,64個の240=α7に属する.

2160・(14/126+64/8)=240+17280

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

14個の231=E7,64個の240=α6から生じる6次元面は

230=α6,221=E6,230=α5である.したがって,

241の各頂点に連結する241の6次元面は,141のファセット(−1)が448+84であることから84個の221,448個の230=α6に属する.

2160・(84/27+448/7)=6720+138240

230=α6,221=E6から生じる5次元面は1344個の220=α5と280個の211=β5.したがって,241の各頂点に連結する5次元面は

2160・(280/10+1344/6)=60480+483840

α5とβ5から生じる4次元面は2800個のα4,241の各頂点に連結する4次元面は

2160・(2800/5)=1209600

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

[3]142

 142の頂点数は17280,頂点図形は042=t2α7

(56,420,840,770,392,112,16)

(56,420,840,280+490,224+168,28+56+28,8+8)

 ファセット132は240個=|E8|/|E7|

 ファセット141=hγ7は2160個=|E8|/|D7|

21・8−6・28+1・56=56

105・8−15・28+0・56=420

175・8−20・28+0・56=840

140・8−15・28+0・56+1・70=770

63・8−6・28+0・56+0・70+1・56=392

14・8−1・28+0・56+0・70+0・56+1・28=112

1・8−0・28+0・56+0・70+0・56+0・28+1・8=16

{3,3,3,3,3,3}(0,0,1,0,0,0,0)

{3,3,3,3,3}(0,1,0,0,0,0)

{3,3,3,3}(1,0,0,0,0)×{}(0)

{3,3,3}(0,0,0,0)×{3}(0,0)

{3,3}(0,0,0)×{3,3}(0,0,1)

{3}(0,0)×{3,3,3}(0,0,1,0)

{}(0)×{3,3,3,3}(0,0,1,0,0)

×{3,3,3,3,3}(0,0,1,0,0,0)

6次元面は

{3,3,3,3,3}(0,1,0,0,0,0):{3,3,3,3,3}(0,0,1,0,0,0)=8:8

5次元面は

{3,3,3,3,3}(0,1,0,0,0,0)から派生するもの

  {3,3,3,3}(1,0,0,0,0)

  {3,3,3,3}(0,1,0,0,0)

{3,3,3,3,3}(0,0,1,0,0,0)から派生するもの

  {3,3,3,3}(0,1,0,0,0)

  {3,3,3,3}(0,0,1,0,0)→1:2:1

5次元面はそれらから派生するので,

  {3,3,3}(1,0,0,0)

  {3,3,3}(1,0,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(1,0,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(0,1,0,0)

  {3,3,3}(0,0,1,0)→4:3

4次元面はそれらから派生するので,

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(1,0,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(1,0,0)

  {3,3}(0,1,0)

  {3,3}(0,1,0)

  {3,3}(0,0,1)→7:4

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

132の各頂点に連結する辺は56本

したがって,132の辺数は17280・(56/2)=483840

132の各頂点に連結する面は420

したがって,132の面数は17280・(420/3)=2419200

132の各頂点に連結する3次元面は840

したがって,321の面数は17280・(840/4)=3628800

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

142の各頂点に連結する142の7次元面は240個の132と2160個の141=hγ7

17280・(x/576+y/64)=240+2160=2400

x+y=16,x=8,y=8

142の各頂点に連結する142の6次元面は

122と131=hγ6,131=hγ6,140=α6

17280・(x/72+y/32+z/7)

x+y+z=112,x=28,y=56,z=28

17280・(x/72+y/32+z/7)=6720+30240+69120

142の各頂点に連結する142の5次元面は

121=hγ5,130=α5 → (訂正)

17280・(x/16+y/6)

x+y=392,x=224,y=168

17280・(x/16+y/6)=241920+483840

142の各頂点に連結する142の4次元面は

111=hγ4と120=α4

17280・(x/8+y/5)=N

x+y=770,x=280,y=490

17280・(x/8+y/5)=604800+1693440

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