■単純リー環を使った面数数え上げ(その84)
[Y]=[X,0]または[Y]=[X,1]
[Y]=[0,X]または[Y]=[1,X]
を考える.
そして,[Y]=[0,X]ならばX同士は接することになるし,[Y]=[1,X]ならば離れることになることはワイソフ構成から理解することができる.
遺伝子情報は双方向から読みとり可能なので,正軸体系[A,X,B]では,頂点の位置に正軸体系[X,B]が入り,ファセットの位置に正単体系[X,A]が入る.あとは,重複して数えている辺数をどのように見積もるかという問題である.
(その83)において,切頂切稜型では係数が(1)になるか(2)になるかは,ワイソフ記号の末尾が1かどうかに依存していた.(その82)の切頂型でも係数が(1)になるか(2)になるかは,ワイソフ記号の末尾が1かどうかに依存しているのだろうか?
===================================