■単純リー環を使った面数数え上げ(その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】正単体系:以下同様
===================================