■3次曲面上の27本の直線(その31)

立方体の面上に中心で交わる2本の線分がある

各々の線分は2辺と交差し、そこでほかの線分と交わる

さらに辺の延長と交差し、、そこでほかの線分と交わる

これが、シュレーフリの2重6角形とよばれるもの(の一部)である

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

3次元空間の任意の9点を通る2次曲面が存在する

3次元空間の任意の19点を通る3次曲面が存在する

ある2次曲面(双曲面)をその上に含むような3次曲面はその2次曲面と1つの平面から成り立っている

2重6角形はつねにある3次曲面上にある

以上により3次曲面の上に2・6+15本の直線を見出すことができる

27個の直線は

ai-6

bi-6

cij(i<j)-6・5/2=15

27個の直線、216対=16/2・27の交わらない直線、135対=10/2・27の交わる直線

221配置の上には135個の点が属する、x・2=27・10

p個の点とg個の直線からなり、各点にはγ個の直線が通り、各直線上にはπ個の点がある配置を(pγ、gπ)と表示するとpγ=gπ

(1352、2710)

また、この双対(453、275)も作り上げることができる

なお、2重6角形は(302、125)である。

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

4直線と交わる直線は2つだけ存在する

27本の直線と135個の点が属する(1352275)

a1b2で張られる平面

a2b1で張られる平面の交線がc12で、15組の対がある

この直線も3次曲面上に載っている

こうして3次曲面上に載っている27の直線を見出すことができる

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

[a1,a2,a3,a4,a5,a6]

[b1,b2,b3,b4,b5,b6]

同じ行・同じ列にないとき交わる

a1b2は交わる

a1a2は交わらない

a1b1は交わらない

cij,cklは同じ添え字を持たないとき交わる

cij,cklは同じ添え字を持つとき交わらない

c12c34は交わる

c12c13は交わらない

ai(bi),cjkは同じ添え字を持つとき交わる

ai(bi),cjkは同じ添え字を持たないとき交わらない

a1c12,b1c12は交わる

a1,c23,b1c23は交わらない

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

27本の直線中b6は16本と交わらない

a6

b1, b2, b3, b4, b5

c12,c23,c34,c45

c13,c24,c35

c14,c25

c15

これらは4次元曲面上の16本の直線と考えることができる

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

4次元曲面上のa6は10本の直線

c12,c23,c34,c45

c13,c24,c35

c14,c25

c15

と交わらない。これらは5次元曲面上の10本の直線と考えることができる

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

5次元曲面上のc45は6本の直線(double three)

c14,c24,c34

c15,c25,c35

と交わらない。これらはskew hexagon(c14c35c24c15c4c25)とみなすことができ、6次元曲面上の6本の直線と考えることができる

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

6次元曲面上のc25は3本の直線

c24

c15, ,c35

と交わらない。これらは7次元曲面上の3本の直線と考えることができる

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

7次元曲面上のc24は

c15, ,c35

の両方と交わるが、 c15, ,c35は互いに交わらない。

これらは8次元曲面には1本の直線c15を含むもの、1本の直線c35を含むもの、一本も含まないものがある。

9次元曲面は一本の直線も含まない。

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

P21の頂点図形は(P-1)21であり、

240→56→27→16→10→6→3

P=4→3→2→1→0→-1→-2

に対応する

27個の直線、216対=16/2・27の交わらない直線、135対=10/2・27の交わる直線は

27個の頂点、216個の辺、135個の対角線に対応する

頂点図形はhγ5,t1α4,三角柱,二等辺三角形

逆向きにたどれば56個の直線、240個の直線

27個の直線、28個のbitangent,120個のtritangent

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