[論文レビュー] Sur la torsion de la distribution ordinaire universelle attachée à un corps de nombres

Jean-Robert Belliard, Hassan Oukhaba|ArXiv.org|Dec 13, 2009

Algebraic Geometry and Number Theory参考文献 8被引用数 4

ひとこと要約

本稿は、一般の数体に付随する普遍通常分布のねじれ部分群を、特に虚二次体に焦点を当てて調査する。ガロア群の構造と類体論を用いて、ねじれ部分群が自明または非自明となる条件を構築し、非分岐で類数が自明な虚二次体に対して、ねじれ部分群が理論的上限に達することを証明する。

ABSTRACT

We study the torsion subgroup of the universal ordinary distribution related to a general number field. We describe a way to control this subgroup. We apply this method to the special case of an imaginary quadratic field, and we give examples of such fields where these torsion subgroups are non-trivial.

研究の動機と目的

• 一般の数体に付随する普遍通常分布のねじれ部分群の構造を理解すること。
• 素数 ℓ がガロア群の位数を割る場合に、このねじれ部分群が非自明となる条件を特定すること。
• 算術的応用が顕著な虚二次体に結果を適用すること。
• 分布のレベル部分群におけるねじれ部分群のサイズに対する鋭い上界を確立すること。
• 非分岐で類数が自明な虚二次体に対して、ねじれ部分群が非自明であり、理論的上限に達することを証明すること。

提案手法

• 数体上の普遍通常分布の形式的枠組みを用い、射影極限としてのレイトクラス群構造を定義する。
• 類体論を適用し、ガロア群 $ G_{\frak{n}} = \mathrm{Gal}(K_{\frak{n}}/K) $ をレイトクラス群 $ I_{\frak{n}} / \mathcal{R}_{\frak{n}} $ に結びつける。ここで $ \mathcal{R}_{\frak{n}} $ は、1 と合同な完全正則な主イデアルの族である。
• イデアル上に同値関係 $ \sim_{\frak{n}} $ を導入し、有限モノイド $ \Psi_{\frak{n}} $ を定義する。このモノイドの単元群は $ G_{\frak{n}} $ に同型である。
• 普遍通常分布 $ \mu $ を、各レベル間の整合性条件を満たす、プロ有限空間 $ \Psi = \varprojlim \Psi_{\frak{n}} $ 上の測度として分析する。
• 特に、部分群 $ H \leq G_{\frak{n}} $ に対して $ s(H) = \sum_{\sigma \in H} \sigma $ と定義される和作用素を用いた $ \mathbb{Z}[G_{\frak{n}}] $ 上の群代数技法を用いて、ねじれ元を制御する。
• ホモモーフィズム $ \nu: \Delta \to \mathbb{Z} $ を用いた偶奇性の議論により、写像 $ \mathcal{F} $ の核から、関係によって生成される部分群 $ U $ に属さない要素を区別し、ねじれの非自明性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ℓ が $ |G_{\frak{n}}| $ を割るとき、普遍通常分布 $ \mathcal{A}_{\frak{n}} $ の ℓ-ねじれ部分群が自明となる条件は何か？
• RQ2 ガロア群構造、特に ℓ-シロー部分群に基づいて、$ \mathcal{A}_{\frak{n}} $ のねじれ部分群を上から抑えられるか？
• RQ3 どの虚二次体に対して、普遍通常分布が非自明なねじれを含むか？
• RQ4 理論的上限に達するかどうか、およびその条件は何か？
• RQ5 類群と 2 での分岐が、ねじれの存在を決定づける正確な役割は何か？

主な発見

• ℓ がガロア群 $ G_{\frak{n}} $ の位数を割らない場合、$ \mathcal{A}_{\frak{n}} $ のねじれ部分群は自明であり、これは Yin の結果と整合する。
• ℓ が $ |G_{\frak{n}}| $ を割る場合、関連する $ G_{\frak{n}} $ の部分群の ℓ-シロー部分群の構造に基づく十分条件を提示し、$ \mathcal{A}_{\frak{n}} $ が ℓ-ねじれ自由であることを保証する。
• 2 で分岐しない虚二次体 $ K $ に対して、$ \mathcal{A}_{\frak{n}} $ のねじれ部分群のサイズに鋭い上界を与える。
• $ K $ が 2 で分岐せず、類数が自明な虚二次体であれば、$ \mathcal{A}_{\frak{n}} $ のねじれ部分群はこの上界に達する。
• 具体的な例（例えば $ K = \mathbb{Q}(\sqrt{-1}) $、$ \mathbb{Q}(\sqrt{-2}) $）を構成し、ねじれ部分群が非自明であることを示す。
• 主な技術的結果として、$ s(G')\alpha(\frak{m},\frak{m}) $ が、$ \frak{n} \mid \frak{m} $、$ \frak{n} \neq \frak{m} $ を満たす $ \alpha(\frak{n},\frak{m}) $ の $ \mathbb{Z} $-線形結合として表現可能であり、かつ $ s(G') + x_1 + x_2 + x_3 \notin U $ であることを示し、これによりねじれの非自明性が導かれる。