[论文解读] Local discriminants, kummerian extensions, and elliptic curves

Chandan Singh Dalawat|arXiv (Cornell University)|Nov 25, 2007

Cryptography and Residue Arithmetic参考文献 26被引用 8

一句话总结

本文提供了关于局部域中判别式与分歧的经典结果的纯粹局部证明，将施蒂克尔贝格同余式和亨泽尔的洞见推广至局部域的库默尔扩张。它建立了 $K(\sqrt[p]{K^{\times}})$ 上分歧过滤的正交关系，给出了塞尔质量公式在二次扩张情形下的直接初等证明，并证明了局部域中的每个单位都是某条椭圆曲线的判别式。

ABSTRACT

Some thoughts on the congruence D=0,1(mod 4) for the absolute discriminant D of a number field

研究动机与目标

• 提供关于局部域中判别式与分歧的经典定理的纯粹局部、内在证明，避免使用整体数域的论证。
• 将施蒂克尔贝格同余式与亨泽尔的局部结果推广至包含本原 $p$-单位根的 $\mathbb{Q}_p$ 的有限扩张 $K$。
• 建立分歧过滤与 $K^\times/K^{\times p}$ 上过滤之间的精确关系，从而导出正交关系。
• 使用局部方法，给出塞尔质量公式在二次扩张情形下的直接、初等证明。
• 证明局部域中的每个单位都可作为某条椭圆曲线的判别式，从而将局部算术与椭圆曲线不变量联系起来。

提出的方法

• 分析 $p$-进局部域 $K$ 中主单位群 $U_1$ 上的过滤，重点关注 $p$-次幂映射作为关键自同态。
• 利用库默尔理论，将 $K^\times/K^{\times p}$ 的子群与次数为 $p$ 的非分歧与分歧循环扩张联系起来。
• 应用库默尔配对，推导出乘法群 $p$-挠元上伽罗瓦作用的显式公式。
• 采用哈塞与亨泽尔发展的 $K^\times$ 结构理论，对 $K^\times$ 上的过滤进行内在处理。
• 结合 $p$-主分歧扩张的判别式结果与初等数理论及希尔伯特符号理论。
• 利用分歧过滤与 $K^\times/K^{\times p}$ 上过滤之间的正交关系，统一并强化弗罗利希、赫克与希尔伯特的结果。

实验结果

研究问题

• RQ1 施蒂克尔贝格关于判别式的同余式如何推广至 $\mathbb{Q}_p$ 之外的局部域？
• RQ2 伽罗瓦群上分歧过滤与 $K^\times/K^{\times p}$ 上过滤之间的精确关系为何？
• RQ3 能否使用局部方法，直接且初等地证明塞尔关于二次扩张的质量公式？
• RQ4 局部域中的哪些单位可作为椭圆曲线的判别式？
• RQ5 希尔伯特、赫克与弗罗利希关于初等数与判别式的经典定理，如何在局部框架下统一？

主要发现

• 本文建立了 $\mathrm{Gal}(K(\sqrt[p]{K^{\times}})/K)$ 上分歧过滤与 $K^\times/K^{\times p}$ 上过滤之间的新正交关系，推广了弗罗利希的结果。
• 使用局部判别式理论，给出了塞尔质量公式在二次扩张情形下的直接、初等证明。
• 证明了局部域 $K$ 中的每个单位都是 $K$ 上某条椭圆曲线的判别式，该结果源于 $p$-主扩张中判别式的结构。
• 给出了库默尔配对 $G \times D \to \mu_p$ 的显式公式，其中 $D$ 是对应于非分歧次数 $p$ 扩张的 $\mathbb{F}_p$-直线。
• 提出了一种理论上的计算方法，用于计算任意数域扩张的相对判别式，将问题约化为局部 $p$-主扩张。
• 证明了 $p$-主扩张的整闭包可通过分歧过滤确定，推广了从二次扩张到素数次库默尔扩张的结果。