■DE群多面体の計量(その72)

O111={343}

したがって、Onpqは交差点が二重接点になっているものと思われる。

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

O221を考えてみたい

E221=(27,216,720,1080,216α4+432α4,72(α5)+27(β5))

hγ5=(16,80,160,120,26)

t1α4=(10,30,30、10)

hγ5の交差点が二重接点になっているものは

10,1→80

30,0→480

30,0,1→640

10,0,0,1→280

1, 0,0,0,1→42

E211の交差点が二重接点になっているものは

80, 10,1→720

480,30,0→6480

640,30,0→10800

280,10,0,1→6480

42, 1,0,0,1→1566

1, 0,0,0,0,1→126

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

O321を考えてみたい

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

E221=(27,216,720,1080,216α4+432α4,72(α5)+27(β5))

hγ5=(16,80,160,120,26)

t1α4=(10,30,30、10)

E321の交差点が二重接点になっているものは

720, 80, 10,1→720・56-80・756+10・4032-1・10080=10800

6480, 480,30, 0→6480・56-480・756+30・4032=120960

10800,640,30, 0→10800・56-640・756+30・4032=241920

6480, 280,10, 0,→6480・56-280・756+10・4032=191520

1566, 42, 1, 0,1→1566・56-42・756+1・4032+12096=72072

126, 1, 0, 0,0,1→126・56-1・756+1・4032+6048=12348

1, 0, 0, 0,0,0,1→1・56+702=758

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

O421を考えてみたい

E321= (240,6720,60480,241920,483840,483840,69120(α6)+138240(α6),17280(α7)+2160(β7))

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

E221=(27,216,720,1080,216α4+432α4,72(α5)+27(β5))

hγ5=(16,80,160,120,26)

t1α4=(10,30,30、10)

E321の交差点が二重接点になっているものは

10800, 720 , 80,10, 1→10800・240-720・6720+80・60480-10・241920+1・483840=483840

120960,6480, 480,30, 0→120960・240-6480・6720+480・60480-30・241920=7257600

241920,10800,640,30, 0→241920・240-10800・6720+640・60480-30・241920=16934400

191520,6480 ,280,10, 0,→191520・240-6480・6720+280・60480-10・241920=16934400

72072 ,1566 , 42, 1, 0→72072・240-1566・6720+42・60480-1・241920=9072000

12348 ,126 , 1, 0, 0,1→12348・240-126・6720+1・60480+1・483840=2661120

758, 1, 0, 0, 0,0,1→758・240-1・6720+1・207360=382560

1, 0, 0, 0, 0,0,0,1→1・240+1・19440=19680

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

大域幾何に問題はないものと思われる

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