■基本単体の二面角(その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+・・・

より,隣接数が計算できることになる.

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