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

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

基本信息

  • 论文ID: 2510.10295
  • 标题: Octic Hilbert 2-class fields of real quadratic fields with discriminant 8p
  • 作者: Franz Lemmermeyer
  • 分类: math.NT (Number Theory)
  • 发表时间: 2025年10月11日 (arXiv提交)
  • 论文链接: https://arxiv.org/abs/2510.10295

摘要

本文解释了如何构造实二次数域 k=Q(2p)k = \mathbb{Q}(\sqrt{2p}) 的循环八次无分歧扩张，其中 p≡1(mod8)p \equiv 1 \pmod{8} 是素数且满足 h2(k)≡0(mod8)h_2(k) \equiv 0 \pmod{8}。该构造通过适当修改文献2中关于 Q(−p)\mathbb{Q}(\sqrt{-p}) 的构造方法实现，仅需求解整数上的丢番图方程 eu2=t2+2ps2eu^2 = t^2 + 2ps^2。

研究背景与动机

问题背景

  1. Hilbert类域理论: 本研究属于代数数论中的类域理论范畴，特别关注实二次数域的Hilbert类域构造问题
  2. 二次数域的类群结构: 对于形如 Q(2p)\mathbb{Q}(\sqrt{2p}) 的实二次数域，其2-类群的结构与素数 pp 的性质密切相关
  3. 无分歧扩张的存在性: 循环八次无分歧扩张的存在性与类数的2-幂整除性有关

研究动机

  1. 理论完善性: 补充和完善实二次数域Hilbert类域的构造理论
  2. 计算方法: 提供一种基于丢番图方程求解的显式构造方法
  3. 推广已有结果: 将作者在虚二次数域上的工作推广到实二次情形

核心问题

构造满足特定条件的实二次数域 k=Q(2p)k = \mathbb{Q}(\sqrt{2p}) 的循环八次无分歧扩张，其中关键条件是 p≡1(mod8)p \equiv 1 \pmod{8} 且严格意义下的类数 h+h^+ 被8整除。

核心贡献

  1. 显式构造方法: 提供了构造 Q(2p)\mathbb{Q}(\sqrt{2p}) 的循环八次无分歧扩张的显式方法
  2. 丢番图方程求解: 将构造问题归结为求解丢番图方程 eu2=t2+2ps2eu^2 = t^2 + 2ps^2
  3. 判别条件: 给出了八次扩张存在性的精确判别条件
  4. 计算实例: 提供了大量具体的数值计算实例和验证
  5. 理论推广: 成功将虚二次数域的相关理论推广到实二次情形

方法详解

任务定义

给定素数 p≡1(mod8)p \equiv 1 \pmod{8}，构造实二次数域 k=Q(2p)k = \mathbb{Q}(\sqrt{2p}) 的循环八次Galois扩张 L/kL/k，使得该扩张在所有有限素点处无分歧。

理论基础

二次数域的类群结构

对于 k=Q(2p)k = \mathbb{Q}(\sqrt{2p})，根据属理论：

  • 当 p≡1(mod4)p \equiv 1 \pmod{4} 时，属类域为 kgen=Q(2,p)k_{gen} = \mathbb{Q}(\sqrt{2}, \sqrt{p})
  • 2-类群是循环的
  • 类数总是偶数

四次扩张的存在性

命题1: 设 p≡1(mod8)p \equiv 1 \pmod{8} 为素数，则存在整数 e,f>0e, f > 0 使得：

  • p=e2−2f2p = e^2 - 2f^2
  • e≡3(mod4)e \equiv 3 \pmod{4}, f≡2(mod4)f \equiv 2 \pmod{4}

对于 α=e+f2\alpha = e + f\sqrt{2}，扩张 K=k(α)K = k(\sqrt{\alpha}) 是 kk 的循环四次无分歧扩张。

类数的整除性判别

根据文中的分析，类数的2-幂整除性可通过以下条件判别：

类数性质Nε2pN\varepsilon_{2p}条件
h≡2(mod4)h \equiv 2 \pmod{4}+1+1e<0e < 0
h≡4(mod8)h \equiv 4 \pmod{8}−1-1e>0,e≡7(mod8)e > 0, e \equiv 7 \pmod{8}
h≡4(mod8)h \equiv 4 \pmod{8}+1+1e>0,e≡3(mod8)e > 0, e \equiv 3 \pmod{8}
h≡0(mod8)h \equiv 0 \pmod{8}±1\pm 1e>0,e≡3(mod8)e > 0, e \equiv 3 \pmod{8}

八次扩张的构造

核心丢番图方程

构造的关键是求解方程： A2−αB2=α′C2A^2 - \alpha B^2 = \alpha' C^2

通过设置：

  • A=u2A = u\sqrt{2}
  • B=r+s2B = r + s\sqrt{2}
  • C=r−s2C = r - s\sqrt{2}

可将问题转化为求解： eu2=t2+2ps2eu^2 = t^2 + 2ps^2 其中 t=er+2fst = er + 2fs。

可解性条件

引理5: 当 e>0e > 0, e≡3(mod8)e \equiv 3 \pmod{8}, f≡2(mod4)f \equiv 2 \pmod{4} 时，方程 eu2=t2+2ps2eu^2 = t^2 + 2ps^2 在奇整数中有解。

证明通过验证方程在各模下的可解性：

  • 模实数：e>0e > 0 保证可解性
  • 模8：e≡3(mod8)e \equiv 3 \pmod{8} 保证可解性
  • 模 pp：需验证 (ep)=+1(\frac{e}{p}) = +1
  • 模 ee：需验证 (−2pe)=+1(\frac{-2p}{e}) = +1

技术创新点

  1. 统一的构造框架: 将四次和八次扩张的构造统一在同一理论框架下
  2. 显式求解算法: 提供了丢番图方程的具体求解方法
  3. 单位选择机制: 通过选择适当的单位 ε=1±2\varepsilon = 1 \pm \sqrt{2} 确保扩张的无分歧性
  4. 符号条件: 建立了扩张性质与表示参数符号之间的对应关系

实验设置

计算实例

论文提供了两类主要的计算实例：

数据来源

  • 素数 p≡1(mod8)p \equiv 1 \pmod{8} 且满足相应类数条件
  • 通过表示 p=e2−2f2p = e^2 - 2f^2 确定参数
  • 求解丢番图方程获得构造参数

验证方法

  • 计算类群结构验证理论预测
  • 检验扩张的无分歧性
  • 验证Galois群的循环性

计算工具

论文使用了代数数论的标准计算工具来：

  • 计算类数和类群结构
  • 验证素理想的分解行为
  • 检查扩张的分歧性质

实验结果

全实八次扩张

对于严格类数 h≡0(mod8)h \equiv 0 \pmod{8} 的情形，论文给出了6个具体实例：

pphhNε2pN\varepsilon_{2p}eeff(u,t,s,r)(u,t,s,r)
1138-1112(5,7,-1,1)
12018-14318(37,193,-3,7)
121781352(19,101,-1,3)
16018-16738(7,9,1,-1)
17778-1436(47,251,3,5)
21138-19962(7,25,1,-1)

全复八次扩张

对于类数 h≡4(mod8)h \equiv 4 \pmod{8} 且 Nε2p=+1N\varepsilon_{2p} = +1 的情形，论文给出了9个实例：

pp生成元 μ\mu类群结构
257[112+(3−2)35+222](1−2)[11\sqrt{2} + (3-\sqrt{2})\sqrt{35+22\sqrt{2}}](1-\sqrt{2})[6]→[3][6] \to [3]
337[52+(1−2)27+142](1−2)[5\sqrt{2} + (1-\sqrt{2})\sqrt{27+14\sqrt{2}}](1-\sqrt{2})[2]→[17,17][2] \to [17,17]
353[72+(1−2)19+22](1−2)[7\sqrt{2} + (1-\sqrt{2})\sqrt{19+2\sqrt{2}}](1-\sqrt{2})[2]→[17,17][2] \to [17,17]

主要发现

  1. 构造的有效性: 所有理论预测的情况都能通过丢番图方程求解实现
  2. 类群变化: 扩张后的类群结构符合理论预期
  3. 计算复杂性: 对于较大的素数，丢番图方程的求解可能需要处理公约数问题

相关工作

历史背景

  1. 经典类域理论: Hilbert, Weber, Takagi等人建立的类域理论基础
  2. 二次数域研究: Gauss关于二元二次型的理论
  3. 现代发展: Scholz互反律等现代工具

直接相关工作

  1. 作者前期工作:
    • 1 关于类域构造的博士论文
    • 2 虚二次数域的Hilbert 2-类域构造
  2. 相关理论:
    • C4-分解理论
    • 属理论在二次数域中的应用

本文贡献的独特性

  1. 实域推广: 首次系统性地将虚二次数域的构造方法推广到实二次情形
  2. 计算方法: 提供了比一般理论更为具体和可操作的构造算法
  3. 完整性: 给出了存在性条件的完整刻画

结论与讨论

主要结论

  1. 存在性定理: 当 p≡1(mod8)p \equiv 1 \pmod{8} 且严格类数被8整除时，Q(2p)\mathbb{Q}(\sqrt{2p}) 存在循环八次无分歧扩张
  2. 构造算法: 该扩张可通过求解丢番图方程 eu2=t2+2ps2eu^2 = t^2 + 2ps^2 显式构造
  3. 判别条件: 扩张的全实性或全复性可通过参数 ee 的符号判别

理论意义

  1. 类域理论完善: 为实二次数域的Hilbert类域理论提供了重要补充
  2. 计算数论: 为相关的计算问题提供了有效算法
  3. 推广价值: 方法具有向更一般情况推广的潜力

局限性

  1. 条件限制: 方法仅适用于特定同余类的素数
  2. 计算复杂性: 对于大素数，丢番图方程的求解可能面临效率问题
  3. 理论范围: 目前仅处理了2-类群的情况

未来方向

  1. 推广到更高次: 研究十六次或更高次的循环扩张
  2. 其他判别式: 考虑其他形式判别式的二次数域
  3. 计算优化: 改进丢番图方程的求解算法
  4. 应用探索: 探索在密码学等领域的应用

深度评价

优点

  1. 理论严谨性:
    • 数学推理严密，每个步骤都有充分的理论支撑
    • 结合了经典的属理论和现代的类域理论工具
  2. 方法创新性:
    • 成功将虚二次数域的方法推广到实二次情形
    • 提供了基于丢番图方程的显式构造方法
  3. 计算完整性:
    • 提供了大量具体的数值实例
    • 验证了理论预测的正确性
    • 给出了完整的计算过程
  4. 实用价值:
    • 算法具有可操作性
    • 为相关研究提供了有用工具

不足

  1. 适用范围:
    • 仅限于特定同余条件的素数
    • 对类数的要求较为严格
  2. 计算效率:
    • 对于大素数，计算复杂度可能较高
    • 丢番图方程求解的一般性算法未充分讨论
  3. 理论深度:
    • 主要是已有方法的推广应用
    • 缺乏根本性的理论突破

影响力

  1. 学术贡献:
    • 为代数数论研究提供了新的工具和方法
    • 推进了实二次数域Hilbert类域理论的发展
  2. 应用前景:
    • 在计算代数数论中具有实用价值
    • 可能在密码学相关应用中发挥作用
  3. 可复现性:
    • 论文提供了充分的计算细节
    • 方法具有良好的可复现性

适用场景

  1. 理论研究: 代数数论、类域理论研究
  2. 计算数学: 需要构造特定代数扩张的计算问题
  3. 应用数学: 可能在编码理论、密码学中有应用
  4. 教学: 作为类域理论的具体实例用于教学

参考文献

论文引用了作者的主要相关工作：

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

这些文献构成了本研究的理论基础和方法来源，体现了作者在该领域的系统性研究。