[論文レビュー] FIP AND FCP products of ring morphisms

Gabriel Pıcavet, Martine Picavet-L’Hermitte|arXiv (Cornell University)|Dec 4, 2013

Rings, Modules, and Algebras参考文献 16被引用数 8

ひとこと要約

この論文は、特に環の積、イデアル化、エタール準同型を対象として、環の拡大におけるFIP（有限個の中間代数）およびFCP（有限鎖性質）を調査する。$ R \to R^n $ がFIPを満たすのは、$ R $ が有限個のイデアルを持ち、かつ $ R $ が極大イデアルにおいて非体であり、その残渣体が無限大であるような局域化を持つとき、$ n \neq 1 $ である場合に限る。また、アーティン的および局所的条件を用いて、有限個の部分モジュールを持つモジュールを特徴付ける。

ABSTRACT

We characterize some types of FIP and FCP ring extensions $R \subset S$, where $S$ is not an integral domain and $R$ may not be an integral domain. In this paper S is mostly a product of rings related to R and also the idealization of an R-module.

研究の動機と目的

• FIPおよびFCP理論を積分域に限らない一般の可換環へ拡張すること。
• 特に $ R \to \textstyle\bigprod_{i=1}^n R_i $ の形の拡大におけるFIPおよびFCPを特徴付けること、特に $ R_i $ が $ R $ と関係を持つ場合を対象とする。
• イデアル化 $ R(+)M $ を研究し、それがいつFCPまたはFIPの拡大をもたらすかを特定すること。
• $ R \to R^n $ および $ R^p \to R^n $ の行列関連拡大を分析すること。
• 半正規性およびアーティン的導出条件を用いて、エタール準同型におけるFIP条件を確立すること。

提案手法

• FCP鎖を分解するための核心的手法として、最小環拡大および半正規化を用いる。
• 導出イデアル $ C = (R:\bar{R}) $ 及びそのアーティン的条件を、必要条件として応用する。
• 局所化および補助条件を用いて、有限個の部分モジュールを持つ $ R $-モジュールの構造を活用する。
• 基底変換技術および忠実平坦拡大を用いて、体の場合に還元する。
• $[R,S]$ におけるネーター的ラティス理論を用いて、既約元の分析および部分代数の分解を分析する。
• ケーラー微分および分離性に関する結果を応用し、エタール拡大におけるFIPを特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 対角拡大 $ R \to R^n $ がFIP性質を満たすのはいつか？
• RQ2 $ R $ および $ M $ にどのような条件を課すと、イデアル化 $ R(+)M $ がFCPまたはFIPを満たすか？
• RQ3 FCP/FIP拡大 $ R \to R_i $ に対して、積拡大 $ R \to \textstyle\bigprod_{i=1}^n R_i $ におけるFIPおよびFCP性質はどのように振る舞うか？
• RQ4 有限エタール拡大 $ R \to S $ がFIPを満たす条件は何か？また、半正規性はこれとどのように関係するか？
• RQ5 有限個の部分モジュールを持つ $ R $-モジュールはどのように特徴付けられるか？また、これは $ R $ の構造とどのように関係するか？

主な発見

• 拡大 $ R \to R^n $ がFIPを満たすのは、$ R $ が有限個のイデアルを持ち、かつ $ R $ が極大イデアル $ M $ において非体であり、$ R/M $ が無限大であるようなものが存在するとき、$ n \neq 1 $ である場合に限る。
• 拡大 $ R \to R(+)M $ がFCPを満たすのは、$ R $-モジュール $ M $ が有限長であるときである。
• 拡大 $ R \to R(+)M $ がFIPを満たすのは、$ M $ が有限個の $ R $-部分モジュールを持つときである。
• $ R $-モジュール $ M $ が $ C = (0:M) $ を持つとき、$ M $ が有限個の部分モジュールを持つのは、$ M $ が有限生成であり、$ R/C $ が有限個のイデアルを持ち、かつすべての素イデアル $ P \ni C $ に対して $ R/P $ が無限大であるとき、$ M_P $ が単生成であるときである。
• 有限エタール拡大 $ R \to S $ がFIPを満たし、半正規であるのは、$ R/C $ がアーティン的かつ可約であるとき、かつ $ C $ が導出であるときである。
• アーティン的かつ可約な $ R $ を持つ分離拡大 $ R \to S $ に対して、$ R \to S $ は有限、エタール、FIPを満たし、半正規であり、$ |[R,S]| \neq \text{スターリング数の積} $ である。