2025-11-12T18:37:10.266987

Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p

Lemmermeyer

In this article we explain how to construct cyclic octic unramfied extensions of the real quadratic number field $k = {\mathbb Q}(\sqrt{2p}\,)$, where $p \equiv 1 \bmod 8$ is a prime number such that $h_2(k) \equiv 0 \bmod 8$. The construction only requires solving the diophantine equation $eu^2 = t^2 + 2ps^2$ in integers.

academic

実二次体の判別式8pに対する8次Hilbert 2-類体

基本情報

論文ID: 2510.10295
タイトル: Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p
著者: Franz Lemmermeyer
分類: math.NT (数論)
投稿日時: 2025年10月11日 (arXiv提出)
論文リンク: https://arxiv.org/abs/2510.10295

要旨

本論文は、 $p \equiv 1 \pmod{8}$ を素数とし、 $h_2(k) \equiv 0 \pmod{8}$ を満たす実二次体 $k = \mathbb{Q}(\sqrt{2p})$ の循環8次不分岐拡大を構成する方法を説明する。この構成は、文献2における $\mathbb{Q}(\sqrt{-p})$ に関する構成方法を適切に修正することで実現され、整数上のディオファントス方程式 $eu^2 = t^2 + 2ps^2$ を解くだけで十分である。

研究背景と動機

問題背景

Hilbert類体理論: 本研究は代数的数論における類体理論の範疇に属し、特に実二次体のHilbert類体構成問題に焦点を当てている
二次体の類群構造: $\mathbb{Q}(\sqrt{2p})$ 形式の実二次体に対して、その2-類群の構造は素数 $p$ の性質と密接に関連している
不分岐拡大の存在性: 循環8次不分岐拡大の存在性は類数の2-べき整除性と関連している

研究動機

理論の完全性: 実二次体のHilbert類体構成理論の補完と完全化
計算方法: ディオファントス方程式の解法に基づく明示的構成方法の提供
既存結果の推広: 虚二次体における著者の先行研究を実二次の場合に推広

中心的問題

特定の条件を満たす実二次体 $k = \mathbb{Q}(\sqrt{2p})$ の循環8次不分岐拡大を構成すること。ここで重要な条件は、 $p \equiv 1 \pmod{8}$ であり、狭義の類数 $h^+$ が8で割り切れることである。

核心的貢献

明示的構成方法: $\mathbb{Q}(\sqrt{2p})$ の循環8次不分岐拡大を構成する明示的方法の提供
ディオファントス方程式の解法: 構成問題をディオファントス方程式 $eu^2 = t^2 + 2ps^2$ の解法に帰着させる
判別条件: 8次拡大の存在性に関する精密な判別条件の提示
計算例: 豊富な具体的な数値計算例と検証の提供
理論の推広: 虚二次体の関連理論を実二次の場合に成功裏に推広

$p \equiv 1 \pmod{4}$ のとき、属類体は $k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p})$
2-類群は循環的である
類数は常に偶数である

4次拡大の存在性

命題1: $p \equiv 1 \pmod{8}$ を素数とすると、以下を満たす整数 $e, f > 0$ が存在する：

$p = e^2 - 2f^2$
$e \equiv 3 \pmod{4}$ , $f \equiv 2 \pmod{4}$

$\alpha = e + f\sqrt{2}$ に対して、拡大 $K = k(\sqrt{\alpha})$ は $k$ の循環4次不分岐拡大である。

類数の整除性判別

論文の分析に基づき、類数の2-べき整除性は以下の条件で判別できる：

類数の性質	$N\varepsilon_{2p}$	条件
$h \equiv 2 \pmod{4}$	$+1$	$e < 0$
$h \equiv 4 \pmod{8}$	$-1$	$e > 0, e \equiv 7 \pmod{8}$
$h \equiv 4 \pmod{8}$	$+1$	$e > 0, e \equiv 3 \pmod{8}$
$h \equiv 0 \pmod{8}$	$\pm 1$	$e > 0, e \equiv 3 \pmod{8}$

8次拡大の構成

中心的ディオファントス方程式

構成の鍵は以下の方程式を解くことである： $A^2 - \alpha B^2 = \alpha' C^2$

以下のように設定することで：

$A = u\sqrt{2}$
$B = r + s\sqrt{2}$
$C = r - s\sqrt{2}$

問題は以下に変換される： $eu^2 = t^2 + 2ps^2$ ここで $t = er + 2fs$ である。

可解性条件

補題5: $e > 0$ , $e \equiv 3 \pmod{8}$ , $f \equiv 2 \pmod{4}$ のとき、方程式 $eu^2 = t^2 + 2ps^2$ は奇整数で解を持つ。

証明は方程式の各モジュロでの可解性を検証することで行われる：

実数モジュロ： $e > 0$ が可解性を保証
モジュロ8： $e \equiv 3 \pmod{8}$ が可解性を保証
モジュロ $p$ ： $(\frac{e}{p}) = +1$ を検証する必要がある
モジュロ $e$ ： $(\frac{-2p}{e}) = +1$ を検証する必要がある

技術的革新点

統一的構成枠組み: 4次と8次拡大の構成を同一の理論枠組みの下に統一
明示的求解アルゴリズム: ディオファントス方程式の具体的求解方法の提供
単位選択機構: 適切な単位 $\varepsilon = 1 \pm \sqrt{2}$ の選択により不分岐性を確保
符号条件: 拡大の性質と表現パラメータの符号との対応関係の確立

素数 $p \equiv 1 \pmod{8}$ で対応する類数条件を満たすもの
表現 $p = e^2 - 2f^2$ を通じてパラメータを決定
ディオファントス方程式を解いて構成パラメータを取得

検証方法

類群構造の計算により理論予測を検証
拡大の不分岐性を確認
Galois群の循環性を検証

計算ツール

論文は代数的数論の標準的計算ツールを使用して以下を行う：

類数と類群構造の計算
素イデアルの分解挙動の検証
拡大の分岐性質の確認

実験結果

全実8次拡大

狭義類数 $h \equiv 0 \pmod{8}$ の場合、論文は6つの具体的な例を示す：

$p$	$h$	$N\varepsilon_{2p}$	$e$	$f$	$(u,t,s,r)$
113	8	-1	11	2	(5,7,-1,1)
1201	8	-1	43	18	(37,193,-3,7)
1217	8	1	35	2	(19,101,-1,3)
1601	8	-1	67	38	(7,9,1,-1)
1777	8	-1	43	6	(47,251,3,5)
2113	8	-1	99	62	(7,25,1,-1)

全複素8次拡大

類数 $h \equiv 4 \pmod{8}$ かつ $N\varepsilon_{2p} = +1$ の場合、論文は9つの例を示す：

$p$	生成元 $\mu$	類群構造
257	$[11\sqrt{2} + (3-\sqrt{2})\sqrt{35+22\sqrt{2}}](1-\sqrt{2})$	$[6] \to [3]$
337	$[5\sqrt{2} + (1-\sqrt{2})\sqrt{27+14\sqrt{2}}](1-\sqrt{2})$	$[2] \to [17,17]$
353	$[7\sqrt{2} + (1-\sqrt{2})\sqrt{19+2\sqrt{2}}](1-\sqrt{2})$	$[2] \to [17,17]$

主要な発見

構成の有効性: すべての理論的に予測された場合がディオファントス方程式の解法により実現可能
類群の変化: 拡大後の類群構造は理論的予測と一致
計算複雑性: より大きな素数に対しては、ディオファントス方程式の求解が最大公約数問題の処理を必要とする可能性がある

結論と考察

主要な結論

存在性定理: $p \equiv 1 \pmod{8}$ で狭義類数が8で割り切れるとき、 $\mathbb{Q}(\sqrt{2p})$ は循環8次不分岐拡大を持つ
構成アルゴリズム: この拡大はディオファントス方程式 $eu^2 = t^2 + 2ps^2$ を解くことで明示的に構成できる
判別条件: 拡大の全実性または全複素性はパラメータ $e$ の符号により判別できる

理論的意義

類体理論の完全化: 実二次体のHilbert類体理論に重要な補完を提供
計算数論: 関連する計算問題に対して有効なアルゴリズムを提供
推広の価値: 方法はより一般的な場合への推広の可能性を持つ

限界

条件の制限: 方法は特定の合同類の素数にのみ適用可能
計算複雑性: 大きな素数に対して、ディオファントス方程式の求解は効率の問題に直面する可能性がある
理論的範囲: 現在のところ2-類群の場合のみを扱っている

今後の方向

より高次への推広: 16次またはそれ以上の循環拡大の研究
他の判別式: 他の形式の判別式を持つ二次体の考察
計算の最適化: ディオファントス方程式の求解アルゴリズムの改善
応用の探索: 暗号学等の分野における応用の探索

深い評価

長所

理論的厳密性:
- 数学的推論は厳密で、各ステップは十分な理論的支持を持つ
- 古典的属理論と現代的類体理論ツールを組み合わせている
方法の革新性:
- 虚二次体の方法を実二次の場合に成功裏に推広
- ディオファントス方程式に基づく明示的構成方法を提供
計算の完全性:
- 豊富な具体的な数値例を提供
- 理論的予測の正確性を検証
- 完全な計算過程を提示
実用的価値:
- アルゴリズムは操作可能性を持つ
- 関連研究に有用なツールを提供

不足

適用範囲:
- 特定の合同条件を持つ素数に限定
- 類数に対する要件がかなり厳しい
計算効率:
- 大きな素数に対して計算複雑度が高い可能性
- ディオファントス方程式求解の一般的アルゴリズムについて十分な議論がない
理論的深さ:
- 主に既存方法の推広応用
- 根本的な理論的突破に欠ける

影響力

学術的貢献:
- 代数的数論研究に新しいツールと方法を提供
- 実二次体のHilbert類体理論の発展を推進
応用の見通し:
- 計算代数的数論において実用的価値を持つ
- 暗号学関連の応用で役割を果たす可能性
再現性:
- 論文は十分な計算詳細を提供
- 方法は良好な再現性を持つ

適用場面

理論研究: 代数的数論、類体理論の研究
計算数学: 特定の代数拡大の構成が必要な計算問題
応用数学: 符号理論、暗号学における可能な応用
教育: 類体理論の具体的例として教育に使用

参考文献

論文は著者の主要な関連研究を引用している：

F. Lemmermeyer, Die Konstruktion von Klassenkörpern, Ph.D. Diss. Univ. Heidelberg, 1995
F. Lemmermeyer, Hilbert 2-class fields and 2-descent, Publ. Math. Debr. 88 (2016), 319–343
F. Lemmermeyer, Dirichlet's Lemma in number fields, arXiv:2502.00526v2

これらの文献は本研究の理論的基礎と方法の源泉を構成し、この分野における著者の体系的研究を示している。