[論文レビュー] 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}})$ 上の分岐フィルトレーションと、$K^\times/K^{\times p}$ 上のフィルトレーションの間の直交性関係を確立し、セールの質量公式の二次拡大に対する直接的で初等的な証明を提示する。また、局所体の任意の単数が、ある楕円曲線の判別式として現れることを示している。

ABSTRACT

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

研究の動機と目的

• 局所体における判別式と分岐に関する古典的定理を、グローバルな数体の議論を避け、純粋に局所的かつ内因的な証明で与えること。
• $\mathbb{Q}_p$ の有限拡大 $K$ で、$p$ 乗根 $\mu_p$ を含むものに対して、スティッケルベルガーの合同式とヘンゼルの局所的結果を一般化すること。
• 分岐フィルトレーションと $K^\times/K^{\times p}$ 上のフィルトレーションとの間の明確な関係を確立し、直交性関係を導くこと。
• 局所的手法を用いて、二次拡大におけるセールの質量公式の直接的で初等的な証明を与えること。
• 局所体の任意の単数が、ある楕円曲線の判別式として現れることを示し、局所的算術と楕円曲線不変量を結びつけること。

提案手法

• $p$-進局所体 $K$ の主単数群 $U_1$ 上のフィルトレーションを分析し、$p$ 乗写像を重要な自己準同型として焦点を当てる。
• クマーテーリー理論を用いて、$K^\times/K^{\times p}$ の部分群と、次数 $p$ の非分岐および分岐な巡回拡大との関係を関係づける。
• クマーパリングを適用して、乗法群の $p$- torsion 上のガロア作用の明示的公式を導出する。
• ハッセとヘンゼルが開発した $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$-主部拡大における判別式の構造から導かれる結果である。
• 本稿は、$D$ を非分岐な次数 $p$ の拡大に対応する $\mathbb{F}_p$-直線とするとき、Kummerパリング $G \times D \to \mu_p$ の明示的公式を提供している。
• 本稿は、任意の数体の拡大の相対的判別式を計算する理論的手続きを提示し、問題を局所的 $p$-主部拡大に還元している。
• 本稿は、$p$-主部拡大の整数環が分岐フィルトレーションを用いて決定できることを示しており、二次拡大から素数次数のクマーモジュラー拡大への結果の一般化を達成している。