[論文レビュー] The Ambiguous Class Number Formula Revisited

Franz Lemmermeyer|arXiv (Cornell University)|Sep 4, 2013

Mathematics, Computing, and Information Processing参考文献 2被引用数 28

ひとこと要約

この論文は、コホロロジー的道具を用いずに、素数次の数体の巡回拡大に対する曇りクラス数の公式の現代的で初等的な証明を提供する。基本体のクラス数、分岐指数、単数群の指数を用いて、曇りクラスと強く曇りクラスの数の明示的公式を導出し、局所的ノームとグローバルクラス群構造の間の重要な関係を明らかにする。

ABSTRACT

We will give a simple proof of the ambiguous class number formula.

研究の動機と目的

• 素数次巡回拡大における曇りクラス数の公式を、自己完結的かつコホロロジーを用いない方法で導出すること。
• 正確な列とノーム写像を用いて、曇りクラスと強く曇りクラスの理想類の関係を明確にすること。
• クラス数、分岐、単数群の指数といったグローバル不変量を用いて、曇りクラス群の大きさを表現すること。
• 現代の数論の学生がアクセス可能な初等的な群論的および理想論的技法を用いて、古典的公式を再導出すること。

提案手法

• ガロア作用による $ \operatorname{Cl}(L) $ の固定点として曇り理想類群 $ \operatorname{Am}(L/K) $ を構成し、条件 $ \mathfrak{a}^{\sigma-1} = (1) $ を用いて強く曇りクラスを定義する。
• 理想に対するヒルベルトの定理90を用い、元のノーム条件と理想類の不変性を関係づけ、写像 $ \nu: \operatorname{Am}(L/K) \to (E_K \cap N_L^\times)/N E_L $ の構成を可能にする。
• exact sequence を確立し、$ \operatorname{Am}_{\text{st}}(L/K) $、$ \operatorname{Am}(L/K) $、および商 $ (E_K \cap N_L^\times)/N E_L $ を結びつけることで、2つの群の差が局所的ノーム単数によって測られることが示される。
• ガロア固定理想群の構造を用い、有限素点上の分岐指数 $ e(\mathfrak{p}) $ の積として $ (D_L^G : \widetilde{D}_K) $ を計算する。
• 理想群と単数群の指数を関連付けるために群 $ \Delta = \{ \alpha \in L^\times : \alpha^{1-\sigma} \in E_L \} $ を導入し、補題1を用いて理想群と単数群の間で指数を移行する。
• 単数主類群定理（定理2）を用い、$ (E_L[N] : E_L^{1-\sigma}) $ を次数と無限分岐と関連づけ、最終的に公式 $ \#\operatorname{Am}_{\text{st}}(L/K) = h(K) \cdot \ell^{t-1} / (E_K : N E_L) $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 コホロロジー的道具を用いずに、初等的な代数的整数論のみを用いて曇りクラス数の公式をどのように導出できるか？
• RQ2 素数次巡回拡大において、曇りクラスと強く曇りクラスの理想類の正確な関係は何か？
• RQ3 分岐指数と単数ノームは、曇りクラス群の大きさをどのように決定するか？
• RQ4 指数 $ (E_K : E_K \cap N_L^\times) $ は純粋に局所的に計算可能か？ そしてこれはグローバルクラス数とどのように関係するか？
• RQ5 ヒルベルトの定理90は、分数イデアルに対するノーム条件の理想論的再解釈において、どのように機能するか？

主な発見

• 強く曇りクラスの数は $ \#\operatorname{Am}_{\text{st}}(L/K) = h(K) \cdot \ell^{t-1} / (E_K : N E_L) $ で与えられ、ここで $ h(K) $ は $ K $ のクラス数、$ \ell $ は次数、$ t $ は無限素点を含む分岐素点の数、$ (E_K : N E_L) $ は $ E_L $ のノームが $ E_K $ に含まれる指数である。
• 曇りクラス群は exact sequence $ 1 \to \operatorname{Am}_{\text{st}}(L/K) \to \operatorname{Am}(L/K) \to (E_K \cap N_L^\times)/N E_L \to 1 $ に含まれており、商が強いついだりの失敗を測る。
• $ (D_L^G : \widetilde{D}_K) $、すなわち $ K $ からの理想の類を除いたガロア固定理想の数は、有限素点上の分岐指数の積 $ \prod_{\mathfrak{p} \text{ finite}} e(\mathfrak{p}) $ に等しく、導出の重要なステップである。
• $ (H_L^G : \widetilde{H}_K) $ が $ (E_L[N] : E_L^{1-\sigma}) $ に等しいことが示され、ノームと $ 1-\sigma $-作用を介して理想群の指数と単数群の構造が結びつけられる。
• 単数主類群定理（定理2）により、$ (E_K : N E_L) / (E_L[N] : E_L^{1-\sigma}) = \frac{1}{[L:K]} \prod_{\mathfrak{p} \mid \infty} e(\mathfrak{p}) $ が成り立つことが示され、公式の完成に不可欠である。
• 最終的な公式により、強く曇りクラス群の大きさが $ h(K) $、分岐データ、および単数群の指数 $ (E_K : N E_L) $ のみに依存することが確認され、コホロロジー的入力は一切不要である。