【４】ルート格子からの補足

　ルート格子Ｄnとは，ベクトル（ｘ1，ｘ2，・・・，ｘn）において，

　　1)ｘiがすべて整数をとり

　　2)それらの総和が偶数値をとる

格子です．ｎ次元ダイアモンド格子Ｄn+はさらに

　　3)半整数値をとるもの

という条件を加えます．

　Ｄn+はｎが偶数のときに限り格子になり，とくにｎが８の倍数のとき偶ユニモジュラ格子（ベクトルの長さの２乗がすべて偶数であり，単位体積に含まれる点が１個に限られる格子）です．リー環との関係からＤ8+＝Ｅ8と呼びます．偶ユニモジュラ格子はｎが８の倍数のときにしか存在しません．

　８次元の偶ユニモジュラ格子はＥ8だけしかないのに対して，１６次元の偶ユニモジュラ格子は２つあるというわけです（ヴィット，１９４１年）．なお，２４次元偶ユニモジュラ格子は２４種類あり，その中には有名なリーチ格子Λ24も含まれます（ニーマイヤー）．

　１６次元格子Ｄ16と８次元格子Ｅ8（＝Ｄ8+）のテータ関数を決定してみましょう．前節よりヤコビのテータ定数を

　　θ3＝Σｑ^(n^2)

　　θ4＝Σ(-1)^nｑ^(n^2)

　　θ2＝Σｑ^((n+1/2)^2)　　　q=exp(2πiz)

とします．θ3は立方体格子（整数値をとる格子），θ4は立方体格子に含まれるベクトルでノルムが奇数値をとるものの符号を変えてできる格子，θ2は半整数値をとる格子に対応していると考えることができます．

　このことから，Ｄnのテータ関数は

　　１／２（θ3^n＋θ4^n）

Ｄn+のテータ関数は

　　１／２（θ2^n＋θ3^n＋θ4^n）

であることがわかります．

　なお，格子Ｌの双対格子Ｌ+のテータ関数の間には，ヤコビの変換公式

　　θ+＝（ｄｅｔＬ）^(1/2)（ｉ／ｚ）^(n/2)θ(-1/z)

が成り立ちます．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝