[论文解读] Liftable integral closure

Neil Epstein, Bernd Ulrich|arXiv (Cornell University)|Sep 26, 2013

Commutative Algebra and Its Applications参考文献 9被引用 7

一句话总结

本文引入了一种新的闭包运算——可提升整闭包，该运算由商模 $M/L$ 的模结构定义，与周围嵌入无关。证明了在维数至少为2的优秀等维无混局部环中，每个有限长度模都可以表示为 $T/L$ 的形式，其中 $T$ 整除 $L$，且 $T$ 与 $L$ 均为有限生成且无挠的。

ABSTRACT

We develop the basic properties of an essentially new closure operation on submodules, the \emph{liftable integral closure} of a submodule, including its relationships with the two prevailing notions of integral closure of submodules. We show that for a quite general class of local rings, every finite length module may be represented as a quotient of the form $T/L$, where $T$ is torsionless and integrally dependent on $L$.

研究动机与目标

• 开发一种新的闭包运算——可提升整闭包，其仅依赖于商模结构 $M/L$，而不依赖于周围模 $M$。
• 探讨该新闭包与已有概念（如Rees整闭包和EHU整闭包）之间的关系。
• 建立有限长度模可表示为无挠模的整闭包子模的商模的条件。
• 以环的维数和奇点类型来刻画与可提升整闭包相关的测试理想。

提出的方法

• 将可提升整闭包 ${L}^{ ext{lift}}_M$ 定义为所有满足 $x \in M$ 的元素 $x$ 的集合，使得 $x$ 在包含 $M/L$ 的自由模中可提升为 $L$ 上的整元。
• 利用对称代数构造和分次环中的整性来刻画该闭包运算。
• 应用整闭包的赋值判别法，将可提升闭包与赋值环及到赋值域的同态联系起来。
• 构造内射包并利用从自由模到模的满射，将模提升到自由环境中，从而分析其闭包性质。
• 对有限生成自由子模使用极限论证，局部化整闭包条件并提取有限生成解。
• 证明在维数 ≥2 的优秀等维环中，自由模中核的可提升整闭包即为整个自由模，从而支持主要表示定理。

实验结果

研究问题

• RQ1 在维数至少为2的局部环上，每个有限长度模是否都可以表示为 $T/L$ 的形式，其中 $T$ 为无挠模且整除 $L$？
• RQ2 可提升整闭包与Rees整闭包和EHU整闭包相比，在嵌入依赖性和结构不变性方面有何不同？
• RQ3 与可提升整闭包相关的测试理想 $\tau_{\mathcal{I}}$ 和 $\tau_{\mathcal{M}}$ 是什么？它们如何随环的维数变化？
• RQ4 在自由模中，子模的可提升整闭包在何种条件下等于整个自由模？
• RQ5 可提升整闭包能否用于构造阿廷模的有限表示，作为无挠模的整扩张的商模？

主要发现

• 在维数至少为2的优秀、等维、无混局部环中，自由模 $F$ 中核 $K$ 的可提升整闭包为整个模 $F$，即 ${K}^{ ext{lift}}_F = F$。
• 在0维环中，测试理想 $\tau_{\mathcal{I}}$ 为环的陪面。
• 在1维科恩-麦克aulay环中，测试理想 $\tau_{\mathcal{I}}$ 为导出理想。
• 在维数至少为2的等维优秀无混环中，$\tau_{\mathcal{I}}$ 与 $\tau_{\mathcal{M}}$ 均为零。
• 每个在维数至少为2的优秀等维无混局部环上的有限长度模 $M$ 同构于某个有限生成无挠模 $L \subseteq T$ 的商模 $T/L$，其中 $T$ 整除 $L$。
• 该结果可全局推广：若 $\mathcal{A}$ 是 $M$ 的最小素理想集合，且其高度 ≥2 且局部化为优秀且等维的，则 $M \cong T/L$，且对所有 $\mathfrak{p} \in \mathcal{A}$，有 $T_{\mathfrak{p}}$ 整除 $L_{\mathfrak{p}}$。