[論文レビュー] Some more combinatorics results on Nagata extensions

Gabriel Pıcavet, Martine Picavet-L’Hermitte|arXiv (Cornell University)|Feb 25, 2015

Rings, Modules, and Algebras参考文献 15被引用数 10

ひとこと要約

本稿では、元の拡張 $ R \to S $ が有限鎖性を有する（FCP）場合に限って、Nagata拡張 $ R(X) \to S(X) $ における環拡張の長さが保存されることを確立する。さらに、Dobbs-Mullins不変量の保存も示し、特に拡張が算術的（局所的に鎖であること）または無限大の場合に、部分整的拡張における中間部分拡張の数が保存される条件を同定する。

ABSTRACT

We show that lengths of ring extensions are preserved under the formation of Nagata extensions as well as Dobbs-Mullins invariant. We exhibit a new condition for the FIP property be preserved under the formation of Nagata extensions by using arithmetic extensions of rings.

研究の動機と目的

• FCP（有限個の中間部分拡張）を有する環拡張 $ R \to S $ がNagata拡張 $ R(X) \to S(X) $ においても長さが保存されるかを調査すること。
• 既存のFIP（有限個の中間部分拡張）転送結果を、部分整的拡張のケースにまで拡張すること。
• 特に病理的とされる $ R \to S $ が部分整的である場合に、中間部分拡張集合 $[R,S]$ の濃度がNagata拡張においても保存される条件を同定すること。
• FCPおよびFIPの文脈において、算術的拡張、Prüfer拡張、および $ \triangle $-拡張の間の関係を明確化すること。

提案手法

• $ {}^t_S R $ を t-閉包とする canonical decomposition $ R \to {}^+S R \to {}^t_S R \to \overline{R} \to S $ の使用。
• 最小拡張および鎖分解を用いて、$[R,S]$ と $[R(X),S(X)]$ の長さを分析する。
• t-閉包および非整的拡張の概念を応用し、残留性の制御された整的拡張に問題を還元する。
• 局所化およびサポート理論を用いて、特に単一鎖または局所単一鎖モジュールの場合の $ S/R $ の $ R $-加群構造を分析する。
• 残留拡張長の上限として定義される Dobbs-Mullins 不変量 $ \Lambda(S/R) $ を使用し、Nagata拡張における不変性を証明する。
• 既知のPrüfer拡張および $ \triangle $-拡張に関する結果を応用し、算術性が $[R,S]$ における分配的ラティス構造と関係することを示す。

実験結果

リサーチクエスチョン

• RQ1 FCP を持つ環拡張 $ R \to S $ の長さは、Nagata拡張 $ R(X) \to S(X) $ においても変わらないか？
• RQ2 Dobbs-Mullins 不変量 $ \Lambda(S/R) $ は Nagata 拡張においても保存されるか？
• RQ3 部分整的拡張において、中間部分拡張の数 $ |[R,S]| $ が Nagata 拡張において保存されるのはいつか？
• RQ4 $ R \to S $ が部分整的で $ |[R(X),S(X)]| $ が有限であるとき、$ |[R,S]| $ が保存される条件は何か？
• RQ5 FCP および FIP の文脈において、算術的拡張、Prüfer 拡張、$ \triangle $-拡張の正確な関係は何か？

主な発見

• FCP 拡張 $ R \to S $ の長さ $ \ell[R,S] $ は Nagata 拡張において保存され、$ \ell[R,S] = \ell[R(X),S(X)] $ が成り立つ。
• Dobbs-Mullins 不変量は $ \Lambda(S/R) = \Lambda(S(X)/R(X)) $ を満たし、Nagata 拡張における不変性が示された。
• 部分整的拡張において、$ |[R,S]| $ が Nagata 拡張において保存されるのは、$ |[R,S]| $ が無限大であるか、または $ R \to S $ が算術的（局所的に鎖）である場合に限る。
• 算術的拡張は、$[R,S]$ が鎖をなし、分配的ラティス恒等式 $ B \cap (C.D) = (B\cap C).(B\cap D) $ および $ B.(C\cap D) = (B.C)\cap(B.D) $ を満たすものとして特徴づけられる。
• 整的閉包拡張は、算術的であることと、Prüfer であること、および局所的に Prüfer-Manis であることと同値である。
• $ R \to S $ が $ \triangle $-拡張（部分環の加法および乗法について閉じている）であることは、$[R,S]$ が鎖であることと同値であり、このような拡張は準Prüferである。