類数公式とは? わかりやすく解説

類数公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/10/16 00:00 UTC 版)

数論における、類数公式(るいすうこうしき、英語: class number formula)は、代数体の多くの重要な不変量(特にイデアル類群の位数である類数)をデデキントゼータ函数の特殊値に関係付ける公式である。

一般的な類数公式

以下のように定義する。

  • K を数体とする。
  • [K : Q] = n= r1 + 2r2 であるとする。ここに K実埋め込みの数を表し、K の複素埋め込みの数を表す。
  • K のデデキントのゼータ函数とする。
  • 類数、すなわち K のイデアル類群の元の数
  • K の単数基準(レギュレータ
  • K に含まれる1の冪根の数
  • は代数拡大 K/Q判別式英語版

すると、次の定理が成り立つ。

定理(類数公式) Kデデキントゼータ函数 は、絶対収束し、s = 1 に唯一の一位の極を持つ複素平面全体で定義される有理型函数へ拡張(解析接続)できる。その極における留数

である。

これが最も一般的な「類数公式」である。特別な場合、例えば KQ円分拡大体のときには、より精密な類数公式が存在する。

証明

類数公式の証明のアイデアは、K = Q(i) のときが一番理解しやすい。この場合には、K の整数環はガウス整数環である。

基本的な計算で、デデキントのゼータ函数の s = 1 での留数は、デデキントのゼータ函数のディリクレ級数表現における係数の平均値である。ディリクレ級数の n 番目の係数は、本質的に n を非負な整数の二乗の和として表現する方法(整数の順序対)の数である。したがって、デデキントのゼータ函数の s = 1 での留数は、表現の数の平均値を計算することで求めることができる。これは、ガウスの円の問題英語版(Gauss circle problem)[注釈 1]の記事にあるように、原点を中心とする四分円の中に入る格子点の数を近似することで計算でき、留数は π/4 となる。

K が任意の虚二次体の場合は、これと非常に似た証明となる[1]

一般の場合は、ディリクレ単数定理によって、K の整数環の単数群は無限群である。それにもかかわらず、実埋め込みと複素埋め込み (classical theory of real and complex embeddings) という古典的な理論[2]を使うことで留数の計算を格子点の数え上げ問題に還元することができ、格子点の数を領域の体積で近似できるため、証明が可能である。

ディリクレの類数公式

ディリクレは1839年に二次体の類数公式の証明を出版したが、イデアル類というより、二次形式の言葉で書かれていた。ガウスは既にこの公式を1801年には知っていたと考えられる。[3]

この記述は、ダベンポート (Davenport)[4]のものに従う。

d基本判別式英語版とし、h(d) を判別式 d を持つ二次形式の同値類の数とする。クロネッカーの記号英語版とする。すると ディリクレ指標である。ディリクレのL-級数 と書くことにする。d > 0 に対し t > 0 とし、u > 0 である u をペル方程式 の最小の解として、

と書くことにする。(すると ε実二次体 基本単数、もしくは基本単数の二乗となる)

d < 0 としたとき、判別式が d である二次形式の自己同型の数を w とする。すなわち、

としたときに、ディリクレは、

となることを示した。このことは上記の定理 1 の特別な場合であり、二次体 K に対して、デデキントのゼータ函数は、まさに となり、留数は となる。またディリクレは、L-級数は有限の形に書くことが可能であることをも示し、このことは類数が有限の形となることを意味している。主導手 に対して、 が原始的 (primitive) である(→w:Dirichlet character#Primitive characters and conductor)と仮定すると、

となる。

有理数のガロア拡大

KQガロア拡大とすると、アルティンのL-函数の理論を へ適用する。これはリーマンゼータ函数の一つの因数を持ち、留数が 1 の極を持ち、商が s = 1 で正則になる。すなわち、類数公式の右辺が左辺である

に等しいとみなすことができる。ρ は次元 dim(ρ) の Gal(K/Q) の既約な非自明複素線型表現の類のすべてをわたる。これは、正則表現の標準的な分解に従うものである。

有理数のアーベル拡大

これは上記のケースで Gal(K/Q) がアーベル群である(ガロア群がアーベル群の場合をアーベル拡大と言う)ケースで、このときすべての ρ は(類体論を経由して)、f を法とするディリクレ指標導手と呼ばれる)に置き換えることができる。したがって、すべての L(1) の値はディリクレのL-函数となり、これに対して対数を含む古典的な公式が存在する。

クロネッカー・ウェーバーの定理により、解析的類数公式に必要とされるすべての値は、円分体を考えたときに既に発生している。この場合には、エルンスト・クンマーにより示されたことであるが、さらに定式化が存在する。レギュレータは、円分体の単数の対数によって割ることで得られる「対数空間」の中の体積の計算だが、円分体の単数英語版の対数として認識できる L(1) から逆算することが出来る。類数は、単数の群全体における円分体の単数のインデックスから決定することが可能という結論となる。

岩澤理論では、これらのアイデアは、スティッケルベルガーの定理英語版(Stickelberger's theorem) とさらに深く結びついている。

脚注

[脚注の使い方]

注釈

  1. ^ 平面上で原点を中心とした半径 r の円の中に整数の格子点がいくつあるかという問題。

出典

  1. ^ Tom Weston - Lectures on the Dirichlet Class Number Formulafor Imaginary Quadratic Fields
  2. ^ real and complex embeddings”. 2020年7月閲覧。
  3. ^ nt.number theory - Did Gauss know Dirichlet's class number formula in 1801? - MathOverflow”. 2020年7月閲覧。
  4. ^ Davenport, Harold (2000). Montgomery, Hugh L.. ed. Multiplicative Number Theory. Graduate Texts in Mathematics. 74 (3rd ed.). New York: Springer-Verlag. pp. 43–53. ISBN 978-0-387-95097-6. https://books.google.co.jp/books?id=U91lsCaJJmsC&redir_esc=y&hl=ja 2009年5月26日閲覧。 

参考文献

  • W. Narkiewicz (1990). Elementary and analytic theory of algebraic numbers (2nd ed ed.). Springer-Verlag/Polish Scientific Publishers PWN. pp. 324–355. ISBN 3-540-51250-0 

類数公式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/05/09 03:44 UTC 版)

代数的整数論」の記事における「類数公式」の解説

詳細は「類数公式」を参照 類数公式は数体多く重要な不変量デデキントゼータ関数特殊値関係付ける

※この「類数公式」の解説は、「代数的整数論」の解説の一部です。
「類数公式」を含む「代数的整数論」の記事については、「代数的整数論」の概要を参照ください。

ウィキペディア小見出し辞書の「類数公式」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「類数公式」の関連用語

類数公式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



類数公式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの類数公式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの代数的整数論 (改訂履歴)、代数体 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS