■リー群と表現(その91)

格子Lに対する双対格子L*とはLによって張られる実ベクトル空間に含まれるベクトルで、Lに含まれる任意のベクトルとの内積が整数であるようなものすべてからなる格子のことである。

格子Lと双対L*のテータ関数間には、ヤコビの変換公式

  θL*(z)=(detL)^1/2・(i/z)^(n/2)・θL(-1/z)

が成り立つ。

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

[1]D4=D4*格子のボロノイ細胞は正24胞体。

[2]D4: detL=4,θ=1/2(θ3(z)^4+θ4(z)^4)

[3]D4*: detL*=1/4,θ=θ2(z)^4+θ3(z)^4

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

  θL*(z)=2・(i/z)^(4/2)・θL(-1/z)

θL(-1/z)=1/2(θ3(-1/z)^4+θ4(-1/z)^4)=1/2(z/i)^4/2(θ2(z)^4+θ3(z)^4)

θL*(z)=θ2(z)^4+θ3(z)^4・・・合致

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