■オイラー積と素数定理(その74)

  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)の絶対保型形式となる.

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