■基本単体の二面角(その21)

 α8+2β8の基本単体では

 arccos(3/4)+2arccos(1/√8)

=arccos(3/4)+arccos(−3/4)

=0→直角

 しかし,どのように接合させればよいのかはわからない.

α8:a1=1,a2=1/√3,a3=1/√6,a4=1/√10,a5=1/√15,a6=1/√21,a7=1/√28,a8=1/6

β8:a1=1,a2=1/√3,a3=1/√6,a4=1/√10,a5=1/√15,a6=1/√21,a7=1/√28,a8=1/2

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

 E8の最長辺の平方和は

  1+1/3+1/6+1/10+1/15+1/12+1/4=2

となるという.この√2は8次元単体のファセットの7次元基本単体の最長辺であるという.

 しかし,

αn:aj=√2/j(j+1)

βn:aj=√2/j(j+1),an=√2/n

より,

α7:a1=1,a2=1/√3,a3=1/√6,a4=1/√10,a5=1/√15,a6=1/√21,a7=1/√28

  1=1/3+1/6+1/10+1/15+1/21+1/28≠2

一体どうなっているのだろうか.

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