[論文レビュー] Galois theory and integral models of Lambda-rings

James Borger, Bart de Smit|ArXiv.org|Jan 15, 2008

Rings, Modules, and Algebras参考文献 5被引用数 7

ひとこと要約

この論文は、ℚ 上の有限エタール Λ-環で整数的 Λ モデルをもつものについて、ガロア理論的特徴づけを確立する。そのような Λ-環は、乗法的群としてのプロファinite整数のモノイドを通じて作用するものに限り、正確に限られる。主な結果は、このような Λ-環が円分体の直積に埋め込まれ、プロファinite整数の連続作用によって分類されることを示しており、Λ-環論と類体論の深い関係を明らかにする。

ABSTRACT

We show that any Lambda-ring, in the sense of Riemann-Roch theory, which is finite etale over the rational numbers and has an integral model as a Lambda-ring is contained in a product of cyclotomic fields. In fact, we show that the category of them is described in a Galois-theoretic way in terms of the monoid of pro-finite integers under multiplication and the cyclotomic character. We also study the maximality of these integral models and give a more precise, integral version of the result above. These results reveal an interesting relation between Lambda-rings and class field theory.

研究の動機と目的

• ℚ 上の有限エタール Λ-環で、その有理化が元の環に一致する有限平坦な ℤ-部分環（整数的 Λ モデル）をもつものかどうかを特定すること。
• 特にプロファinite整数のモノイドを通じて、ガロア理論的データを用いてそのような整数的モデルの存在を特徴づけること。
• すべての such Λ-環が円分体の直積に含まれることを示し、Λ-環論と類体論を結ぶこと。
• ℚ[μ_r] 内での整数的モデル ℤ[μ_r] の最大性を示し、円分体における最大の Λ-順序がこれであることを示すこと。
• プロファinite整数の作用を通じて、Λ-代数的基本モノイドの枠組みを構築すること。

提案手法

• 著者たちは、ねじれなしの環上の Λ-環構造と、各素数 p に対して ψ_p(x) ≡ x^p mod pR を満たす可換なフロベニウス上昇写像 ψ_p: R → R の組み合わせの間の同値性を用いる。
• 有限エタール ℚ-Λ-環の圏を、ℚ̄ への埋め込みの集合に G_ℚ × ℕ′ が連続作用する有限離散集合として解釈する。ここで ℕ′ は正の整数の乗法的モノイドである。
• サイクロトミック指標と包含写像を通じて、G_ℚ × ℕ′ から Ź^∘ への連続なモノイド準同型を定義し、その像がプロファinite整数のモノイドにおいて稠密であることを示す。
• 整数的 Λ-モデルの存在は、この Ź^∘ への写像を通じて作用が因数分解することと同値であり、ℚ̄ への埋め込みの集合上の写像のモノイドに関する図式条件を介して示される。
• 必要性の証明には、クンマー＝ヴェーバーの定理とチェボタレフ密度定理を適用する。
• 最大性の証明には、各素数 p における局所的解析を用い、ℤ_p[μ_r] が最大の Λ_p-順序であることを示し、その後、群環内の順序に関する引き戻しの議論を用いて大域化する。

実験結果

リサーチクエスチョン

• RQ1 ℚ 上の有限エタール Λ-環で、その有理化が元の環に一致する有限平坦な ℤ-部分環（整数的 Λ モデル）をもつものはどれか？
• RQ2 このような整数的モデルの存在に必要な正確なガロア理論的条件は何か？
• RQ3 これらの Λ-環は円分体とどのように関係しているか？また、それらは円分体の直積に埋め込めるか？
• RQ4 ℚ[μ_r] 内で ℤ[μ_r] は最大の整数的 Λ-モデルか？
• RQ5 プロファinite整数 Ź^∘ は、Λ-環およびその整数的モデルの分類において果たす役割は何か？

主な発見

• 有限エタール ℚ-Λ-環が整数的 Λ-モデルをもつための必要十分条件は、ℚ̄ への埋め込みの集合への G_ℚ × ℕ′ の作用が、プロファinite整数のモノイド Ź^∘ を通じて因数分解することにある。
• すべての such Λ-環は円分体の直積に含まれる。これは、その構造に強い算術的制約を与える。
• ℚ[μ_r] の最大の整数的 Λ-モデルは正確に ℤ[μ_r] であり、これは各素数 p における最大性から大域的に成立する。
• 埋め込みの集合へのプロファinite整数の作用は、連続作用を通じて、このような Λ-環の完全な分類をもたらす。
• Ź^∘ 内の要素 -1 と 0 は、それぞれ任意の such Λ-環に対応する対合（複素共役）と冪等な自己準同型を誘導する。
• この構成は、代数的基本群に自然な類似性を示しており、Λ-代数的基本モノイドの理論の構築を示唆する。