[論文レビュー] 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.

研究の動機と目的

• 混合特徴性の完全局所環における拡張プラス閉包のコロン捕捉性を確立すること。
• 正則局所環におけるすべてのイデアルが拡張プラス閉包に関して閉じていることを示し、直接和分予想を示すこと。
• 混合特徴性における局所コホモロジー加群のほぼ消滅に関する未解決問題を解決すること。
• Briançon-Skodaの定理が混合特徴性の環において閉包に基づいて証明可能であることを示すこと。

提案手法

• アンドレのパーフェクトイド代数的技法、特にパーフェクトイド・アブハイアンカラの補題を、混合特徴性における閉包作用の研究に適応する。
• 価値論的議論を用いて、写像 $ R \to R^+ $ の純粋性の概念を用い、整閉包およびepf閉包を分析する。
• 混合特徴性におけるTor写像の消滅予想を適用し、矛盾を導出し、閉包性質を証明する。
• 絶対整閉包 $ R^+ $ の構造を用いて、消滅因子とほぼゼロ加群を分析する。
• 問題を $ R $ の有限拡大 $ S $ に還元し、$ R^+ $ がこのような拡大の直接極限であるという事実を活用する。
• すべての $ \epsilon > 0 $ に対して $ c^\epsilon \alpha = 0 $ であるという条件を用いて、ほぼゼロ要素を定義し、コホモロジー的消滅と結びつける。

実験結果

リサーチクエスチョン

• RQ1 F-有限な残渣体をもつ完全局所環において、拡張プラス閉包はコロン捕捉性を満たすか？
• RQ2 正則局所環におけるイデアルのepf閉包から直接和分予想を回復できるか？
• RQ3 混合特徴性において、$ i < \dim R $ に対して局所コホモロジー加群 $ H^i_{\mathfrak{m}}(R^+) $ はほぼゼロか？
• RQ4 epf閉包は、混合特徴性の環においてBriançon-Skodaの定理を示す有効な閉包作用であるか？
• RQ5 $ c^\epsilon $ による乗算の下で $ \operatorname{Tor}_i^R(S,M)/p^N $ の消滅が、コホモロジー的消滅を証明するために用いられるか？

主な発見

• 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 $ に対して、すべての $ \epsilon > 0 $ に対して $ c^\epsilon \alpha = 0 $ となる $ c \in R $ が存在する。
• 混合特徴性においてBriançon-Skodaの定理が成り立つ：$ 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加群のほぼ消滅を示している。