クロネッカーの極限公式

数学において、古典的な(クロネッカーのきょくげんこうしき、: Kronecker limit formula)は、デデキントのエータ函数によって実解析的アイゼンシュタイン級数(もしくは、エプシュタインのゼータ函数)の s = 1 での定数項を記述する。命名はレオポルト・クロネッカーにちなんでいる。クロネッカーの極限公式には、より込み入ったアイゼンシュタイン級数へ多くの一般化がある。またGoldsteinによって任意の代数体に一般化されている[1]

クロネッカーの第一極限公式

編集

クロネッカーの第一極限公式は、

 

である。ここに、

  • E(τ, s) は、Re(s) > 1 に対して
      
    で与えられ、解析接続によって他の複素数 s に対しても与えられる。
  • γオイラー・マスケローニ定数である。
  • τ = x + iyy > 0 とする。
  •   として  デデキントのエータ函数である。

従って、アイゼンシュタイン級数は s = 1留数 πを持ち、クロネッカーの第一極限公式は、この極でのローラン級数の定数項を与える。

クロネッカーの第二極限公式

編集

クロネッカーの第二極限公式は、

 

である。ここに、

  • uv は実数で、ともに整数であることはない。
  • q = e2πiτ かつ qa = e2πiaτ
  • p = e2πiz かつ pa = e2πiaz
  • Re(s) > 1 に対し
      
    で、他の複素数 s に対しては解析接続によって定義される。
  •  

応用

編集
Kronecker の二つの極限公式は...楕円函数虚二次体のかかわり合い ― いわゆる虚数乗法論 ― の核心を含むものといわねばならない.
本田 (1965, p. 133)

クロネッカーの極限公式を使って虚二次体 kヘッケ L 函数s = 1 での値を計算することができる[2]

簡単のため、χkイデアル類群の自明でない指標として、これに対するヘッケ L 函数 L(s, χ) の場合を考える。この L 函数は、定義より次のように部分 ζ 函数の和に分解できる。

 

ここで Ak のイデアル類(イデアル類群の元)をすべて渡り、ζζ(s, A) = ∑𝔞 ∈ A N𝔞s で定義される部分 ζ 函数である。今イデアル類 A−1 に含まれるイデアル 𝔟 を一つ固定する。A に含まれる任意のイデアル 𝔞𝔟 をかけると単項イデアルになるので、𝔞𝔟 = (γ) となる 𝔟 の元 γ単数倍を除き一意に定まる。逆に 𝔟 の元 γ があると 𝔞𝔟 = (γ) となる A に属するイデアル 𝔞 が定まるので、wk に含まれる単数(有限個)の個数とすると、A のイデアルと 𝔟 のゼロではない元の間に1対 w の対応が定まる。𝔟 の元 γ は、𝔟 の一つの底を [α, β] とすると整数 m, n を用いて γ = + と表せる。底は、必要であれば順序を変えて、τβ/α = x + iy と置いたとき y > 0 となるように取っておく。また dk判別式とする。以上のことを使って部分 ζ 函数を変形すると

 

と表せることがわかる[注釈 1]。こうして出てきた E(τ, s) に第一極限公式を適用し L(s, χ) を計算する。1/(s − 1) の項は χ が非自明であることにより χ(A) = 0 だから消える。定数項のうち、オイラー・マスケローニ定数の項や log(2) の項も同様の理由で消える。よって定数項には log(y|η(τ)|2) の項だけが残るので、F(A) = Im(τ) |η(τ)|2 と置くと(これは類 A のみから定まる)、L(s, χ)s = 1 での値は

 

と表せることがわかる[注釈 2]

これと類数公式をあわせることで虚二次体のヒルベルト類体の類数を計算することができる[5]。また第二極限公式を使うことで射類体英語版の場合にも同様の計算を行うことができる[6]。虚二次体のアーベル拡大に対する類数公式を得るためにクロネッカーの極限公式を使うことは1910年にFueterによってなされていた[7]

脚注

編集

注釈

編集
  1. ^ 𝔞𝔟 = (γ) であるとき N𝔞N𝔟 = N(γ) であること[3]N(γ) = |γ|2 であること[4]、行列   の行列式の絶対値が N(𝔟)d に等しいこと[3]、この行列式を計算すると −2|α|2y になることも使う。
  2. ^ 本田 (1965, p. 132) の(12)式では の前の係数が −2π/|d| になっているが、これは暗黙のうちに w = 2 を仮定しているからだと思われる。

出典

編集
  1. ^ Elementary and Analytic Theory of Algebraic Numbers. p. 398. https://books.google.co.jp/books?id=Pw4F-EVIK-oC&pg=PA398&dq=%22Goldstein%22 
  2. ^ 本田 1965, pp. 131–132; Siegel 1961, Chapter 2, §1.
  3. ^ a b 高木貞治『代数的整数論 : 一般論及類体論 第2版』岩波書店、1971年、29頁。ISBN 9784000056304 
  4. ^ 高木貞治『代数的整数論 : 一般論及類体論 第2版』岩波書店、1971年、30頁。ISBN 9784000056304 
  5. ^ Siegel 1961, Chapter 2, §2.
  6. ^ Siegel 1961, Chapter 2, §4.
  7. ^ The Story of Algebraic Numbers in the First Half of the 20th Century: From Hilbert to Tate. p. 114. https://books.google.co.jp/books?id=AVmEDwAAQBAJ&pg=PA114&dq=%22Fueter%22 

参考文献

編集

関連項目

編集