■単純リー環を使った面数数え上げ(その49)
(g,h)=(L,L)
(g,h)=(M,N)
は存在.
(g,h)=(L,M)
(g,h)=(L,N)
(g,h)=(N,M)
(g,h)=(M,M)
(g,h)=(N,N)
は非存在.
これで残りは
(g,h)=(M,L),(N,L)
となった.
===================================
【1】g=M,h=L
fk^(n)=Σ(j=0~k)gj^(n)h(k-j)^(n-1ーj)
=Σ(j=0~k)2^j+1(n,j+1)(n−j,k−j+1)
は簡単な形にはならない.そこで,・・・
[1]k=0のとき
j=0:2n・n→f0=4n^2
[2]k=1のとき
j=0:2n・4n(n−1)/2
j=1:4n(n−1)/2・(n−1)
より,
f1=2n(n−1)(3n−1)
→該当者なし
===================================
【2】g=N,h=L
fk^(n)=Σ(j=0~k)gj^(n)h(k-j)^(n-1ーj)
=Σ(j=0~k)2^n-j(n+1,j+1)(n−j,k−j+1)
は簡単な形にはならない.そこで,・・・
[1]k=0のとき
j=0:2^n(n+1)・n=2^nn(n+1)→f0=2^nn(n+1)
[2]k=1のとき
j=0:2^n(n+1)・n(n−1)/2
j=1:2^n-1n(n+1)/2・(n−1)
より,
f1=3・2^n-2n(n+1)(n−1)
→該当者なし
===================================
【3】まとめ
幾何学的に意味をなさない多面体はやはり存在し得ないものと理解される.これで興味のある対象は
(g,h)=(N,f)
となった.
===================================