■単純リー環を使った面数数え上げ(その170)

 ここでは,3次元多面体の面数を求めてみることにしたい.

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

【1】正軸体系

{3,4}(100)→f^3=(6,12,8,1,0)

{4}(00)→f^3=(1,0,0,・・・)

g=(6,12,8,1,0),fp=0

f0=6・1=6

f1=6・0+12・1=12

f2=6・0+12・0+8・1=8

{3,4}(010)→f^3=(12,24,14,1,0)

{4}(10)→f^2=(4,4,1,0,・・・)

{}(0)→f^1=(1,0,0,・・・)

g=(6,12,8,1,0),fp=0

f0=6・4−12・1=12

f1=6・4−12・0=24

f2=6・1−12・0+8・1=8

{3,4}(001)→f^3=(8,12,6,1,0)

{4}(01)→f^2=(4,4,1,0,・・・)

{}(1)→f^1=(2,1,0,・・・)

g=(6,12,8,1,0),fp=2→g’=(6,−12,8,1,0)

f0=6・4−12・2=12

f1=6・4−12・1=12

f2=6・1−12・0=6

{3,4}(110)→f^3=(24,36,14,1,0)

{4}(10)→f^2=(4,4,1,0,・・・)

{}(1)→f^1=(1,0,0,・・・)

g=(6,12,8,1,0),fp=0

f0=6・4=24

f1=6・4+12・1=36

f2=6・1+12・0+8・1=14

{3,4}(101)→f^3=(24,48,26,1,0)

{4}(01)→f^2=(4,4,1,0,・・・)

{}(1)→f^1=(2,1,0,・・・)

g=(6,12,8,1,0),fp=0

f0=6・4=24

f1=6・4+12・2=48

f2=6・1+12・1+8・1=26

{3,4}(011)→f^3=(24,36,14,1,0)

{4}(11)→f^2=(8,8,1,0,・・・)

{}(1)→f^1=(2,1,0,・・・)

g=(6,12,8,1,0),fp=1→g’=(6,−12,8,1,0)

f0=6・8−12・2=24

f1=6・8−12・1=36

f2=6・1−12・0+8・1=14

{3,4}(111)→f^3=(48,72,26,1,0)

{4}(11)→f^2=(8,8,1,0,・・・)

{}(1)→f^1=(2,1,0,・・・)

g=(6,12,8,1,0),fp=0

f0=6・8=48

f1=6・8+12・2=72

f2=6・1+12・1+8・1=26

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

【2】正単体系:以下同様

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