■基本単体の二面角(その115)
G=|1,1/2|
|1/2,1|
対応する2次形式はx^2+xy+y^2である.
[x,y][1,1/2][x]
[1/2,1][y]
===================================
【1】同値な2次形式
2x^2−4xy+3y^2=2(x−y)^2+y^2
ここで,z=x−y,w=−yとおけば
2x^2−4xy+3y^2=2(x−y)^2+y^2=2z^2+w^2
[z]=[1,−1][x] [x,y]=[0,1][z,w]
[w] [0,−1][y] [−1,−1]
2z^2+w^2
=[z,w][2,0][x]=[x,y][2,−2][x]
[0,1][y] [−2,3][y]
=2x^2−4xy+3y^2
===================================
【2】テータ関数
2次形式x^2−xy+y^2に対応するテータ関数は,
[1]yが偶数の場合
x^2−xy+y^2=(x−y/2)^2+3/4・y^2
r=x−y/2,s=y/2とおけば
Θ(z)=Σq^(x^2-xy+y^2)=Σq^(r^2+3s^2)=θ3(z)θ3(3z)
[2]yが奇数の場合
x^2−xy+y^2=(x−y/2+1/2)^2+3/4・(y−1/2)^2
r=x−(y−1)/2,s=(y−1)/2とおけば
Θ(z)=Σq^(x^2-xy+y^2)=Σq^(r^2+3s^2)=θ2(z)θ2(3z)
したがって,
Θ(z)=θ3(z)θ3(3z)+θ2(z)θ2(3z)
=1+6q+6q^3+6q^4+12q^7+・・・
より,隣接数が計算できることになる.
===================================