類数問題

数学における、（虚二次体の）ガウスの類数問題 (英: Gauss class number problem)とは、普通は、各 n ≥ 1 に対し類数が n である虚二次体 $\mathbb {Q} ({\sqrt {d}})$ （ただし d は負の整数）の完全なリストを求める問題である。この名前はカール・フリードリヒ・ガウス(Carl Friedrich Gauss)にちなむ。また、代数体の判別式（英語版）の観点から記述することもできる。これと関連する問題として、実二次体の場合や、 $d\to -\infty$ のときどのような振る舞いを示すか、というものがある。

この問題の困難な点は、範囲の有効(effective)な計算である。与えられた判別式に対して類数を計算することは易しく、類数の無効(ineffective)な下限がいくつか存在するが（つまり、それらは計算されない定数を含む）、しかし有効な範囲を求めること（そしてリストの完全性の証明）は難しい。

元々のガウスの予想[編集]

この問題は1801年にガウスが Disquisitiones Arithmeticae (Section V, Articles 303-304) の中で示した。^[1]

ガウスは Article 303 で虚二次体について議論し、最初に 2つの予想を提示した。Article 304 では3つめの実二次体についての予想を提示した。

ガウスの予想(Gauss Conjecture) (類数の無限大傾向): $d\to -\infty$ のとき $h(d)\to \infty$

ただし、h(d)は二次体 $\mathbb {Q} ({\sqrt {d}})$ の類数を表す。

ガウスの類数問題(Gauss Class Number Problem) (小さな類数のリストアップ): 与えられた小さな類数（例えば、1 とか 2 とか 3 ）に対して、ガウスはその類数を持つ虚二次体のリストを与え、また、それが完全なものであると信じた。
類数が 1 である実二次体の無限存在性: ガウスは類数が 1 である実二次体は無限に存在すると予想した。

元々のガウスの虚二次体の類数問題は、現代の命題とは重要な違いがあり、容易な形となっている。ガウスは、（代数体の）判別式が偶数の値をもつものに限定し、非基本判別式(non-fundamental discriminant)を許容した。

本問題の状況[編集]

ガウスの予想: ハイルブロン(Heilbronn)により、1934年に解決（虚二次体）
小さな類数に対するリスト: 類数 1: ベイカー(Baker) (1966), スターク(Stark) (1967), ヘーグナー(Heegner) (1952)により解決; 類数 2: ベイカー(Baker) (1971), スターク(Stark) (1971)^[2]により解決; 類数 3: オステルレ(Oesterlé)により1985年に解決^[2]; 類数 h が 100 まで: ワトキンス(Watkins)により2004年に解決^[3]
類数が 1 である実二次体の無限存在性: 未解決

類数 1 の判別式のリスト[編集]

詳細は「ヘーグナー数」を参照

虚二次体に対しては、類数が 1 である体の基本判別式（英語版）(fundamental discriminant)は、

d=-3,-4,-7,-8,-11,-19,-43,-67,-163.

である。

類数が 1 である体の非基本判別式(non-fundamental discriminant)は、

d=-12,-16,-27,-28.

である。

したがって、非基本判別式を含む、類数が 1 の体の判別式が偶数のものは（元々のガウスの問題）、

d=-4,-8,-12,-16,-28.

となる。

現代の発展[編集]

1934年、ハンス・ハイルブロン（英語版）(Hans Heilbronn)はガウスの予想を証明した。同じことであるが、与えられた任意の類数に対し、その類数を持つ虚二次体は有限個しかない。

同じく1934年には、ハイルブロンとエドワード・リンフォート（英語版）(Edward Linfoot)は、類数が 1 の虚二次体が多くとも 10個しかないことを示した（9個は既知で、多くともあと1つだけ）。結果は非有効的であり（計算可能ではないという意味、有効な結果を参照）、残っている体の大きさの範囲を示すことができなかった。

その後の発展として、n = 1 の場合が最初にクルト・ヘーグナー（英語版）(Kurt Heegner)により議論され、モジュラ形式やモジュラ方程式（英語版）(modular equation)を使い、そのような体が9個以外には存在しないことを示した。この成果は最初は受け入れられなかったが、後にハロルド・スターク（英語版）(Harold Stark)やブライアン・バーチ(Bryan Birch)の成果により主張が明確化され、ヘーグナーの成果が理解されるようになった。スターク・ヘーグナーの定理（英語版）(Stark–Heegner theorem)やヘーグナー数(Heegner number)を参照。実質的に同時期にアラン・ベイカー(Alan Baker)は、現在数体の対数の線型形式上のベイカーの定理として知られているものを証明したが、これは（スタークらと）完全に異なる方法で解かれている。n = 2 の場合はその少し後に、少なくとも原理的にはベイカーの成果の応用として研究が進められた^[4]。

類数が 1 である虚二次体 $\mathbb {Q} ({\sqrt {k}})$ の完全なリストは、k が以下のものである。

-1,-2,-3,-7,-11,-19,-43,-67,-163.

一般の場合は、1976年のドリアン・ゴールドフェルド（英語版）(Dorian Goldfeld)の発見を待つことになる。これは類数問題が楕円曲線のL-函数に関連するというものである^[5]。これによって、有効な判別式の問題が、L-函数の多重零点の存在を確立する問題に還元される^[5]。1986年、グロス・ザギヤの定理の証明によって、与えられた類数を持つ虚二次体の完全なリストは有限回の計算により確定できることがわかった。2004年にワトキンス(Watkins)は　n = 100 以下のすべての場合についてリストを求めた^[3]。

実二次体[編集]

一方で実二次体の場合は全く異なり、ほとんど知られていない。この理由は、類数の解析的公式に入るものが自身の類数 h ではなく、 $h\log \epsilon$ となるからである。ここで $\epsilon$ は基本単数を意味する。この余剰な因子の制御が難しい。類数 1 の実二次体も無限個存在するのではないかと考えられている。

コーヘン・レンストラ(Cohen-Lenstra)のヒューリスティクス^[6]は、二次体の類数の構造についてのより詳細な一連の予想である。このヒューリスティクスは実数体について、素数の平方根を添加することで得られる体のうち約 75.446%が類数 1 となるという予想だが、結果は計算と一致する^[7]。

参照項目[編集]

類数 1 の数体のリスト（英語版）

脚注[編集]

^ Stark, H. M. (2007). “The Gauss Class-Number Problems”. In Duke, William; Tschinkel, Yuri (英語) (pdf). Analytic Number Theory: A Tribute to Gauss and Dirichlet. AMS and Clay Mathematics Institute. pp. 247–256. ISBN 978-0-8218-4307-9 2023年12月19日閲覧。
^ ^a ^b Ireland, K.; Rosen, M. (1993), A Classical Introduction to Modern Number Theory, New York, New York: Springer-Verlag, pp. 358–361, ISBN 978-0-387-97329-6
^ ^a ^b Watkins, M. (2004), Class numbers of imaginary quadratic fields, Mathematics of Computation, 73, pp. 907–938, doi:10.1090/S0025-5718-03-01517-5
^ Baker (1990)
^ ^a ^b Goldfeld (1976)
^ Cohen, ch. 5.10
^ te Riele & Williams

参考文献[編集]

Goldfeld, Dorian (July 1985), “Gauss' Class Number Problem For Imaginary Quadratic Fields” (PDF), Bulletin of the American Mathematical Society 13 (1): 23–37, doi:10.1090/S0273-0979-1985-15352-2
Heegner, Kurt (1952), “Diophantische Analysis und Modulfunktionen”, Mathematische Zeitschrift 56 (3): 227–253, doi:10.1007/BF01174749, MR0053135
te Riele, Herman; Williams, Hugh (2003), “New Computations Concerning the Cohen-Lenstra Heuristics” (PDF), Experimental Mathematics 12 (1): 99–113, doi:10.1080/10586458.2003.10504715
Cohen, Henri (1993), A Course in Computational Algebraic Number Theory, Berlin: Springer, ISBN 978-3-540-55640-4
Baker, Alan (1990), Transcendental number theory, Cambridge Mathematical Library (2nd ed.), Cambridge University Press, ISBN 978-0-521-39791-9, MR0422171

外部リンク[編集]

Weisstein, Eric W. "Gauss's Class Number Problem". mathworld.wolfram.com (英語).

[1] Stark, H. M. (2007). “The Gauss Class-Number Problems”. In Duke, William; Tschinkel, Yuri (英語) (pdf). Analytic Number Theory: A Tribute to Gauss and Dirichlet. AMS and Clay Mathematics Institute. pp. 247–256. ISBN 978-0-8218-4307-9 2023年12月19日閲覧。

[irelandrosen-2] Ireland, K.; Rosen, M. (1993), A Classical Introduction to Modern Number Theory, New York, New York: Springer-Verlag, pp. 358–361, ISBN 978-0-387-97329-6

[watkins-3] Watkins, M. (2004), Class numbers of imaginary quadratic fields, Mathematics of Computation, 73, pp. 907–938, doi:10.1090/S0025-5718-03-01517-5

[Baker-4] Baker (1990)

[Goldfeld-5] Goldfeld (1976)

[6] Cohen, ch. 5.10

[7] te Riele & Williams

[1]

[2]

[3]

[4]

[5]

[6]

[7]