■オイラー積と素数定理(その42)
f(1/x)=Cx^ーDf(x),Cは定数,Dは重みと呼ばれる
===================================
[1]アフィン空間
f(x)=x^n
f(1/x)=x^-2nf(x)
すなわち,重さ2n2の絶対保型形式の絶対保型形式となる.
[2]射影空間
f(x)=x^n+x^n-1+・・・+1=(x^n+1−1)/(x−1)
f(1/x)=x^-nf(x)
すなわち,重さnの絶対保型形式となる.
[3]グラスマン空間
f(x)=(x^n−1)・・・(x^n-m+1−1)/(x^m−1)・・・(x−1)
f(1/x)=x^-m(n-m)f(x)
すなわち,重さm(n−m)の絶対保型形式となる.
[4]位数−rの多重ガンマ関数
f(x)=(x^m(1)−1)・・・(x^m(r)−1)
f(1/x)=(−1)^rx^-m(1)-・・・-m(r)f(x)
すなわち,重さm(1)+・・・+m(r)の絶対保型形式となる.
[5]一般線形群
f(x)=x^ーn(n-1)/2(x−1)(x^2−1)・・・(x^n−1)
f(1/x)=(−1)^nx^-n(3n-1)/2f(x)
すなわち,重さn(3n−1)/2の絶対保型形式となる.
[6]特殊線形群
f(x)=x^n(n-1)/2(x^2−1)(x^3−1)・・・(x^n−1)
f(1/x)=(−1)^nx^-n(3n-1)/2f(x)
すなわち,重さn(3n−1)/2の絶対保型形式となる.
[7]シンプレクテッィク群
f(x)=x^n^2(x^2−1)(x^4−1)・・・(x^2n−1)
f(1/x)=(−1)^nx^-n(3n+1)f(x)
すなわち,重さn(3n+1)の絶対保型形式となる.
[8]多重ガンマ関数
f(x)=1/(1−x^-w(1)−1)・・・(1−x^-wm(r))
f(1/x)=(−1)^rx^-w(1)-・・・-w(r)f(x)
すなわち,重さw(1)+・・・+w(r)の絶対保型形式となる.
===================================