[论文解读] Extended plus closure in complete local rings

Raymond C. Heitmann, Linquan Ma|arXiv (Cornell University)|Aug 18, 2017

Rings, Modules, and Algebras参考文献 12被引用 5

一句话总结

本文证明，在具有F-有限剩余域的混合特征完全局部环中，扩展正闭包（epf）满足取列捕获性质，从而证明所有正则局部环中的理想均为epf-闭包。利用安德烈的完美化技术，表明该闭包能捕获平坦性的障碍，进而推出混合特征下的直接直和项猜想与布里昂孔-斯科达定理。

ABSTRACT

The (full) extended plus closure was developed as a replacement for tight closure in mixed characteristic rings. Here it is shown by adapting André's perfectoid algebra techniques that, for complete local rings that have F-finite residue fields, this closure has the colon-capturing property. In fact, more generally, if $R$ is a (possibly ramified) complete regular local ring of mixed characteristic that have F-finite residue fields, $I$ and $J$ are ideals of $R$, and the local domain $S$ is a finite $R$-module, then $(IS:J)\subseteq (I:J)S^{epf}$. A consequence is that all ideals in regular local rings are closed, a fact which implies the validity of the direct summand conjecture and the Briançon-Skoda theorem in mixed characteristic.

研究动机与目标

• 建立具有F-有限剩余域的混合特征完全局部环中扩展正闭包的取列捕获性质。
• 证明所有正则局部环中的理想在扩展正闭包下闭包，从而推出直接直和项猜想。
• 解决混合特征下局部上同调模几乎为零的开放问题。
• 提供基于闭包运算的布里昂孔-斯科达定理在混合特征环中的证明。

提出的方法

• 改编安德烈的完美化代数技术，特别是完美化阿布扬卡兰引理，用于研究混合特征中的闭包运算。
• 通过赋值理论论证，利用映射 $ R \to R^+ $ 的纯性来分析整闭包与epf闭包。
• 应用混合特征中Tor映射的消失猜想，导出矛盾并证明闭包性质。
• 利用 $ R^+ $（绝对整闭包）的结构分析消去子与几乎为零模。
• 将问题约化为 $ R $ 的有限扩张 $ S $，利用 $ R^+ $ 是此类扩张的直接极限的事实。
• 利用条件 $ c^\epsilon \alpha = 0 $ 对所有 $ \epsilon > 0 $ 定义几乎为零元素，将其与上同调消失联系起来。

实验结果

研究问题

• RQ1 在具有F-有限剩余域的完全局部环中，扩展正闭包是否满足取列捕获性质？
• RQ2 能否从正则局部环中理想在epf闭包下的闭包性恢复直接直和项猜想？
• RQ3 在混合特征下，局部上同调模 $ H^i_{\mathfrak{m}}(R^+) $ 是否对 $ i < \dim R $ 几乎为零？
• RQ4 epf闭包是否构成有效的闭包运算，从而蕴含混合特征下的布里昂孔-斯科达定理？
• RQ5 能否利用 $ \operatorname{Tor}_i^R(S,M)/p^N $ 在乘以 $ c^\epsilon $ 下的消失性来证明上同调消失？

主要发现

• 对于具有F-有限剩余域的混合特征完全局部域 $ S $，有 $ ((y_1,\dots,y_{n-1})S : y_n) \subseteq (y_1,\dots,y_{n-1})S^{epf} $，从而确立取列捕获性质。
• 对于具有F-有限剩余域的完全正则局部环 $ R $ 及其有限扩张 $ S $，有 $ (IS:J) \subseteq (I:J)S^{epf} $，确认一般情况下的取列捕获性质。
• 所有混合特征正则局部环中的理想均为epf-闭包：即 $ I^{epf} = I $，这蕴含直接直和项猜想。
• 局部上同调模 $ H^i_{\mathfrak{m}}(R^+) $ 几乎为零：对任意 $ \alpha \in H^i_{\mathfrak{m}}(R^+)/p^N $，存在 $ c \in R $，使得对所有 $ \epsilon > 0 $，有 $ c^\epsilon \alpha = 0 $。
• 布里昂孔-斯科达定理在混合特征下成立：$ I^{d+n} $ 的整闭包包含于 $ I^{d+1} $，其证明基于epf闭包与正则情形。
• 对所有 $ i \geq 1 $，$ N > 0 $，$ \epsilon > 0 $，自然映射 $ c^\epsilon \operatorname{Tor}_i^R(S,M)/p^N \to \operatorname{Tor}_i^R(S^+,M)/p^N $ 为零，表明Tor模几乎为零。