[論文レビュー] A Variation on Leopoldt's Conjecture: Some Local Units instead of All Local Units

Dawn Nelson|arXiv (Cornell University)|Aug 21, 2013

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

ひとこと要約

本論文は、Leopoldtの予想の変種を検討し、全局的単数の積を固定された素数 $p$ に上る素数における単数の部分集合に置き換える。$p$-進Schanuel予想を用いて、局所単数の制限された積へのグローバル単数の対角埋め込みの $\mathbb{Z}_p$-ランクが、グローバル単数の $\mathbb{Z}$-ランクから補正項 $t$ を引いて1を足した値に等しくなることを示した。実またはCM体では等号が成り立ち、一般の複素非CM体では不等号が成り立つ。

ABSTRACT

Leopoldt's Conjecture is a statement about the relationship between the global and local units of a number field. Approximately the conjecture states that the Z_p-rank of the diagonal embedding of the global units into the product of all local units equals the Z-rank of the global units. The variation we consider asks: Can we say anything about the Z_p-rank of the diagonal embedding of the global units into the product of some local units? We use the p-adic Schanuel Conjecture to answer the question in the affirmative and moreover we give a value for the Z_p-rank (of the diagonal embedding of the global units into the product of some local units) in terms of the Z-rank of the global units and a property of the the local units included in the product.

研究の動機と目的

• グローバル単数の対角埋め込みが、$p$ に上る素数の部分集合 $\Gamma$ に制限された局所単数の積へ写されるとき、その $\mathbb{Z}_p$-ランクが特定できるかを調査すること。
• グローバル単数の像のランクが、$\Gamma$ 内の局所素数の選択にどのように依存するかを特定すること。
• 超越論を用いて、対角写像による局所単数の部分集合への像の $\mathbb{Z}_p$-ランクの公式を確立すること。
• 全局的単数の積を超えて、選択された局所単数に依存する補正項 $t$ を導入することで、Leopoldtの予想を部分積へ拡張すること。

提案手法

• 単数の乗法的構造を線形化するために $p$-進対数を用い、ランク問題を $\mathbb{Q}_p$ 上の線形代数問題に変換する。
• グローバル単数の $\mathbb{C}_p$ へのさまざまな埋め込みにおける $p$-進対数の行列を構成し、局所単数の制限された積における像のランクを分析する。
• 特に $p$-進Schanuel予想を用いて、$\Gamma$ における積への対角写像の像の $\mathbb{Z}_p$-ランクを評価する。
• 補正項 $t$ は、$\Gamma$ に含まれる局所単数の構造、特に主単数 $\mathcal{O}^*_{\mathfrak{p},1}$ との共通部分に依存して定義される。
• 実またはCM体（等号成立）と複素非CM体（下界のみ得られる）の区別を明確に分析する。
• 位相的閉包と主局所単数の使用により、$p$-進位相に整合するランクの定式化を保証する。

実験結果

リサーチクエスチョン

• RQ1 グローバル単数の対角埋め込みが、$p$ に上る素数の部分集合 $\Gamma$ における局所単数の積へ写されるとき、その $\mathbb{Z}_p$-ランクは特定できるか？
• RQ2 像の $\mathbb{Z}_p$-ランクは、$\Gamma$ 内の局所素数の選択にどのように依存するか？
• RQ3 グローバル単数の $\mathbb{Z}$-ランクと選択された局所単数の構造的不変量を用いた $\mathbb{Z}_p$-ランクの公式は存在するか？
• RQ4 $p$-進Schanuel予想は、局所単数の部分積における像のランクを決定するために果たす役割は何か？

主な発見

• 実またはCM数体 $M$ に対して、$\Gamma$ における積へのグローバル単数の対角埋め込みの $\mathbb{Z}_p$-ランクは、正確に $\operatorname{rank}_{\mathbb{Z}}\mathcal{O}_M^* - t + 1$ に等しい。ここで $t$ は $\Gamma$ に選ばれた素数に依存する定数である。
• 複素非CM拡張の場合、$\mathbb{Z}_p$-ランクは $\operatorname{rank}_{\mathbb{Z}_p}(\Delta_\Gamma \mathcal{O}_M^*) \geq \operatorname{rank}_{\mathbb{Z}}\mathcal{O}_M^* - t + 1$ を満たす。
• 補正項 $t$ は、$\Gamma$ 内の局所単数の構造、特に主単数 $\mathcal{O}^*_{\mathfrak{p},1}$ との共通部分に依存して定まる。
• 結果は $p$-進Schanuel予想に依存しており、これは単数の $p$-進対数の線形独立性を制御するために用いられる。
• 証明は、$p$-進対数の行列を構成し、Schanuelの予想を用いた超越論的評価を適用してそのランクを決定することに依拠する。
• 本研究は、CMおよび実の場合に正確なランクの公式を提供し、Leopoldtの予想を局所単数の部分積へ一般化した。