■オイラー積の仲間達(その16)

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

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