[论文解读] 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（有限链性质），特别关注环的乘积、理想化以及étale态射。研究证明：当且仅当环 $ R $ 具有有限多个理想且 $ n \neq 1 $ 时，$ R \to R^n $ 满足FIP，前提是存在一个极大理想 $ M $，使得 $ R_M $ 不是域且 $ R/M $ 为无限域；同时通过阿廷环与局部条件刻画了具有有限多个子模的模。

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 $ 的矩阵相关扩张。
• 利用半正规性与阿廷环余因子条件，建立étale态射的FIP条件。

提出的方法

• 以最小环扩张与半正规化为核心工具，分解FCP链。
• 应用余因子理想 $ C = (R:\bar{R}) $ 及其阿廷环条件作为必要准则。
• 借助局部化与支集条件，分析具有有限多个子模的 $ R $-模的结构。
• 运用基变换技巧与忠实平坦扩张，将问题约化至域的情形。
• 在 $[R,S]$ 上应用诺特格理论，分析不可约元与子代数的分解。
• 应用凯勒微分与可分性结果，刻画具有FIP的étale扩张。

实验结果

研究问题

• RQ1 何时对角扩张 $ R \to R^n $ 满足FIP性质？
• RQ2 在何种 $ R $ 与 $ M $ 条件下，理想化 $ R(+)M $ 具有FCP或FIP？
• RQ3 当每个 $ R \to R_i $ 均为FCP/FIP扩张时，乘积扩张 $ R \to \textstyle\bigprod_{i=1}^n R_i $ 的FCP与FIP性质如何表现？
• RQ4 在何种条件下，有限étale扩张 $ R \to S $ 具有FIP，且半正规性如何与之关联？
• RQ5 何种条件刻画了具有有限多个子模的 $ R $-模，其与环 $ R $ 的结构有何关联？

主要发现

• 当且仅当 $ R $ 具有有限多个理想且 $ n \neq 1 $ 时，扩张 $ R \to R^n $ 满足FIP，前提是存在一个极大理想 $ M $，使得 $ R_M $ 不是域且 $ R/M $ 为无限域。
• 扩张 $ R \to R(+)M $ 满足FCP当且仅当 $ R $-模 $ M $ 具有有限长度。
• 扩张 $ R \to R(+)M $ 满足FIP当且仅当 $ M $ 具有有限多个 $ R $-子模。
• 若 $ R $-模 $ M $ 满足 $ C = (0:M) $，则 $ M $ 具有有限多个子模当且仅当 $ M $ 是有限生成的，$ R/C $ 具有有限多个理想，且对每个满足 $ R/P $ 无限的素理想 $ P \ni C $，均有 $ M_P $ 为循环模。
• 有限étale扩张 $ R \to S $ 具有FIP且为半正规当且仅当 $ R/C $ 为阿廷环且无平方因子，其中 $ C $ 为余因子。
• 对于满足 $ R $ 为阿廷环且无平方因子的可分扩张 $ R \to S $，有 $ R \to S $ 为有限、étale、具有FIP且为半正规，且 $ |[R,S]| \neq \text{斯特林数的乘积} $。