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

【1】Anのボロノイ細胞の要素数

  f0=2(2^n−1)

  f1=2(2^n-1−1)(n+1,1)=2(n+1)(2^n-1−1)

  fk=2(2^n-k−1)(n+1,k)

はオイラー・ポアンカレの公式を満たす.

 f1を計算すると

  24(n=3),70(n=4),180(n=5),434(n=6)

 空間充填2(2^n−1)胞体のn−2面数は

  36(n=3),150(n=4),540(n=5),1806(n=6)

で,一致しない.

 したがって,

  24(n=3),70(n=4),180(n=5),434(n=6)

これらは空間充填準正多胞体ではないが,

  fn-1=2(2^n−1),fn-2=2(n+1)(2^n-1−1)

となるような準正多胞体は存在するのだろうか?

  24(n=3)→存在(101)

  70(n=4)→存在(1001)

 180(n=5)→存在(10001)

 434(n=6)→存在(100001)

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

【2】Cnのボロノイ細胞の要素数(n≧3)

  f0=2^n+2n

  fk=2^n-k(n,k)+2^n-k+1k(n,k)  1≦k≦n−3

  fn-2=2^3(n−2)(n,n−2)

  fn-1=2^2(n,n−2)

はオイラー・ポアンカレの公式を満たす.

 f1を計算すると

  24(n=3),96(n=4),240(n=5),576(n=6)

 空間充填2^n+2n胞体のn−2面数は

  36(n=3),96(n=4),280(n=5),636(n=6)

で,一致しない.

 したがって,

  24(n=3),96(n=4),240(n=5),576(n=6)

これらは空間充填準正多胞体ではないが,

  fn-1=2n+2^n,fn-2=24(n=3)

  fn-1=2n+2^n,fn-2=3・2^n-1n(n≧4)

となるような準正多胞体は存在するのだろうか?

  24(n=3)→存在(010)

  96(n=4)→存在(0100),(1100)

 240(n=5)→存在(01000),(11000)

 576(n=6)→存在(010000),(110000)

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

【3】Dnのボロノイ細胞の要素数(n≧4)

  f0=2n+2^n

  f1=3・2^n-1n

  fk=2^n-k+1k(n,k)+2^n-k(n,k)  2≦k≦n−3

  fn-2=2^3(n−2)(n,n−2)

  fn-1=2^2(n,n−2)

はオイラー・ポアンカレの公式を満たす.

 f1を計算すると

  96(n=4),240(n=5),576(n=6)

 空間充填2^n+2n胞体のn−2面数は

  96(n=4),280(n=5),636(n=6)

で,一致しない.

 したがって,

  96(n=4),240(n=5),576(n=6)

これらは空間充填準正多胞体ではないが,

  fn-1=2n+2^n,fn-2=3・2^n-1n

となるような準正多胞体は存在するのだろうか?

  96(n=4)→存在(0100),(1100)

 240(n=5)→存在(01000),(11000)

 576(n=6)→存在(010000),(110000)

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