[论文解读] 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

一句话总结

本文证明了当原始扩张具有有限链性质（FCP）时，环扩张 $ R \to S $ 的长度在 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.

研究动机与目标

• 研究当 $ R \to S $ 具有 FCP 时，环扩张 $ R \to S $ 的长度是否在 Nagata 扩张 $ R(X) \to S(X) $ 下保持不变。
• 将先前关于 Nagata 扩张下 FIP（中间子扩张有限）传递性的结果推广至子积分扩张的情形。
• 刻画在病态情形下（即 $ R \to S $ 为子积分扩张时），中间子扩张集合 $[R,S]$ 的基数在 Nagata 扩张下何时被保持。
• 澄清在 FCP 与 FIP 背景下，算术扩张、Prüfer 扩张与 $ \triangle $-扩张之间的关系。

提出的方法

• 使用标准分解 $ R \to {}^+S R \to {}^t_S R \to \overline{R} \to S $，其中 $ {}^t_S R $ 为 t-闭包。
• 利用极小扩张与链分解分析 $[R,S]$ 与 $[R(X),S(X)]$ 的长度。
• 应用 t-闭包与超积分扩张的概念，将问题约化为具有受控剩余行为的积分扩张。
• 通过局部化与支撑理论分析 $ S/R $ 作为 $ R $-模的结构，特别是在单序列或局部单序列模的情形下。
• 使用 Dobbs-Mullins 不变量 $ \Lambda(S/R) $（定义为剩余扩张长度的上确界），并证明其在 Nagata 扩张下的不变性。
• 利用关于 Prüfer 扩张与 $ \triangle $-扩张的已知结果，将算术性与 $[R,S]$ 中的分配格结构联系起来。

实验结果

研究问题

• RQ1 当 $ R \to S $ 具有 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 $ 的长度在 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 扩张。