[論文レビュー] Lambda actions of rings of integers

James Borger, Bart de Smit|arXiv (Cornell University)|May 24, 2011

Algebraic Geometry and Number Theory参考文献 2被引用数 6

ひとこと要約

本稿は、数体 $K$ の整数環 ${\mathcal{O}}$ に対する、$\Lambda_{\mathcal{O}}$-環構造を、${\mathcal{O}}$-代数に導入し、$\lambda$-環構造の一般化を行う。有限エタール $K$-代数に $\Lambda_{\mathcal{O}}$-構造を持つ場合に、${\mathcal{O}}$ 上に整数的モデルが存在するための基準を、デリーニュ＝リベットのモノイドと類群を用いて確立する。主な結果は、そのようなモデルの存在が、モノイド $I({\mathcal{O}}) \times G_K$ を通じて類群に因数分解することに依存することを示している。この結果は、クラス体論を用いて、$\mathbb{Z}$ 上の $\lambda$-環に関する先行研究を数体へと拡張するものである。

ABSTRACT

Let O be the ring of integers of a number field K. For an O-algebra R which is torsion free as an O-module we define what we mean by a Lambda_O-ring structure on R. We can determine whether a finite etale K-algebra E with Lambda_O-ring structure has an integral model in terms of a Deligne-Ribet monoid of K. This a commutative monoid whose invertible elements form a ray class group.

研究の動機と目的

• 数体 $K$ の整数環 ${\mathcal{O}}$ 上での $\lambda$-環構造を、$\Lambda_{\mathcal{O}}$-環構造を用いて一般化すること。
• 有限エタール $K$-代数に $\Lambda_{\mathcal{O}}$-構造を持つ場合に、${\mathcal{O}}$-加群として有限平坦な ${\mathcal{O}}$ 上の整数的モデルが存在する条件を特定すること。
• $I({\mathcal{O}}) \times G_K$ の作用が、$K$-代数の同型写像の集合への作用を通じて、コhomologicalな基準を確立することにより、そのような整数的モデルの存在を同定すること。
• デリーニュ＝リベットのモノイドを介して、整数的モデルの存在を類群に結びつけることにより、$\mathbb{Z}$-係数の場合に用いられた円分クラス体論の手法を拡張すること。

提案手法

• ${\mathcal{O}}$ の各素イデアル ${\mathfrak{p}}$ に対して、Frobeniusの持ち上げ $\psi_{\mathfrak{p}}$ の可換族として、$\Lambda_{\mathcal{O}}$-構造を、${\mathcal{O}}$-代数 $E$ に定義する。
• $\Lambda_{\mathcal{O}}$-構造を、$S$（$E$ から $K^{\mathrm{sep}}$ への $K$-代数同型写像の集合）への $G_K$-集合としての作用を考慮し、モノイド写像 $I({\mathcal{O}}) \to \mathrm{Map}_{G_K}(S,S)$ に翻訳する。
• グロタンディークのガロア理論を用いて、有限エタール $K$-代数を、有限離散 $G_K$-集合と同一視し、$\Lambda_{\mathcal{O}}$-構造を $I({\mathcal{O}}) \times G_K$ の作用として解釈する。
• サイクル ${\mathfrak{f}}$ に付随するデリーニュ＝リベットのモノイド $\mathrm{DR}({\mathfrak{f}})$ を導入し、その可逆元が類群をなすことを示す。
• $S$ における $G_K$-作用の分岐データから、部分作用の導出の最小公倍数を用いて、サイクル ${\mathfrak{f}}$ を構成する。
• $I({\mathcal{O}}) \times G_K$-作用が $\mathrm{DR}({\mathfrak{f}})$ を通じて因数分解されるための必要十分条件を、局所的・大域的原理とアーティンの再帰法則を用いて証明する。

実験結果

リサーチクエスチョン

• RQ1 有限エタール $K$-代数に $\Lambda_{\mathcal{O}}$-構造を持つ場合、${\mathcal{O}}$ 上で有限平坦な整数的モデルが存在するのはいつか？
• RQ2 そのような整数的モデルの存在が、ガロア理論的および算術的データの観点からどのように特徴づけられるか？
• RQ3 デリーニュ＝リベットのモノイドは、有限エタール $K$-代数上の $\Lambda_{\mathcal{O}}$-構造を分類する上で果たす役割は何か？
• RQ4 $\Lambda_{\mathcal{O}}$-構造は、類体論およびアーティン記号とどのように関係しているか？
• RQ5 $\mathcal{O}$ 上の整数的モデルの基準は、$I({\mathcal{O}}) \times G_K$ の作用が類群に因数分解することの条件に還元可能か？

主な発見

• 有限エタール $K$-代数 $E$ に $\Lambda_{\mathcal{O}}$-構造を持つとき、$E$ が ${\mathcal{O}}$ 上に整数的 $\Lambda_{\mathcal{O}}$-モデルを持つための必要十分条件は、$K$-代数同型写像 $E \to K^{\mathrm{sep}}$ の集合 $S$ への $I({\mathcal{O}}) \times G_K$-作用が、あるサイクル ${\mathfrak{f}}$ に対してデリーニュ＝リベットのモノイド $\mathrm{DR}({\mathfrak{f}})$ を通じて因数分解することにある。
• サイクル ${\mathfrak{f}}$ は、$S$ における $I({\mathcal{O}})$-軌道上の $G_K$-部分作用の導出の最小公倍数として構成され、作用が $\mathrm{Cl}({\mathfrak{f}})$ を通じて因数分解されることを保証する。
• 拡大において分岐していない素イデアル ${\mathfrak{p}}$ に対して、${\mathfrak{p}}$ の作用は、類群 $\mathrm{Cl}({\mathfrak{f}})$ 内のアーティン記号 $[{\ olimits}{\mathfrak{p}}]$ と一致する。これにより、$\Lambda_{\mathcal{O}}$-構造が類体論と結びつく。
• 定理1.1により、各素イデアル ${\mathfrak{p}}$ において、$\Lambda_{{\mathcal{O}}_{\mathfrak{p}}}$-モデルが存在することが保証される。これは、分岐群が非分岐部分に自明に作用する場合、およびフロベニウス元がその部分への作用と一致する場合に成立する。
• すべての ${\mathfrak{p}}$ における局所的整数的モデルの共通部分集合として得られる、$R$（${\mathcal{O}}$ における $E$ の整閉包）の有限指数の ${\mathcal{O}}$-部分代数 $A$ は、すべての $\psi_{\mathfrak{p}}$ に対して安定であり、したがって大域的整数的 $\Lambda_{\mathcal{O}}$-モデルをなす。
• この基準は鋭い：$I({\mathcal{O}}) \times G_K$-作用が $\mathrm{DR}({\mathfrak{f}})$ を通じて因数分解されるならば、そのようなモデルが存在し、逆に、モデルが存在するならば、ある ${\mathfrak{f}}$ に対して作用が $\mathrm{DR}({\mathfrak{f}})$ を通じて因数分解される。