[論文レビュー] Finiteness properties of local cohomology for F-pure local rings

Linquan Ma|arXiv (Cornell University)|Apr 6, 2012

Commutative Algebra and Its Applications参考文献 10被引用数 5

ひとこと要約

この論文は、F純な局所環が安定的FH有限であることを確立しており、すべての局所コホモロジー加群 $ H_{\mathfrak{m}}^i(R) $ が有限個のフロベニウス準同型部分加群を持つことを意味し、EnescuとHochsterの予想を解決する。さらに、特異点付きスペクトラム上でF純な優れた環では、局所コホモロジー加群が $ R\{F\} $-加群のカテゴリにおいて有限長であることが示され、FH有限性の性質が局所化に関して保存されることも証明する。

ABSTRACT

In this paper, we show that for an $F$-pure local ring $(R,\m)$, all local cohomology modules $H_{\m}^i(R)$ have finitely many Frobenius compatible submodules. This answers positively an open question raised by F.Enescu and M.Hochster. We also prove that if $(R,\m)$ is excellent and is $F$-pure on the punctured spectrum, then all local cohomology modules have finite length in the category of $R$-modules with Frobenius action. Finally, we show that the property that all $H_{\m}^(R)$ have finitely many Frobenius compatible submodules passes to localizations.

研究の動機と目的

• F純な局所環がFH有限である、すなわちすべての局所コホモロジー加群に有限個のフロベニウス準同型部分加群を持つという未解決の予想を解決すること。
• 局所コホモロジー加群が $ R\{F\} $-加群のカテゴリにおいて有限長である条件を確立すること。
• FH有限性（または安定的FH有限性）の性質が、環の局所化に関して保存されることを示すこと。
• 局所コホモロジーの有限性結果をべき級数拡張へと拡張し、カルティエ加群理論を用いて主定理を双対化すること。

提案手法

• Hochster-Hunekeの $ \Gamma $-構成を用いて $ R\{F\} $-加群の構造を分析し、F純な局所環が安定的FH有限であることを証明する。
• $ \Gamma $-構成を用いて問題を完全で $ F $-有限な環に還元し、その上で有限性の性質がより容易に扱えるようにする。
• カルティエ加群理論と双対性を用いて、主定理の双対形を確立し、特に反ネーター性（anti-nilpotency）の文脈で議論する。
• 局所コホモロジー加群の反ネーター性条件を活用し、部分加群の有限性とべき級数拡張の性質を結びつける。
• 忠実平坦性と完成化技術を用いて、環からその局所化へ有限性の性質を移す。
• $ \Gamma $-構成を用いて、局所コホモロジー加群のフィルトレーションを構成し、単純な順次加群を持つようにすることで、長さに関する議論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 F純性だけから、すべての局所コホモロジー加群 $ H_{\mathfrak{m}}^i(R) $ が有限個のフロベニウス準同型部分加群を持つと結論づけられるか？
• RQ2 $ H_{\mathfrak{m}}^i(R) $ が $ R\{F\} $-加群のカテゴリにおいて有限長であるための条件は何か？
• RQ3 F純環において、FH有限性の性質は局所化に関して保存されるか？
• RQ4 F純環上のべき級数環へ、フロベニウス準同型部分加群の有限性を拡張できるか？
• RQ5 $ \Gamma $-構成と局所コホモロジーにおける $ R\{F\} $-加群の構造の関係は何か？

主な発見

• F純な局所環 $ R $ のすべての局所コホモロジー加群 $ H_{\mathfrak{m}}^i(R) $ は、有限個のフロベニウス準同型部分加群を持つ。EnescuとHochsterの予想が確認された。
• $ R $ が特異点付きスペクトラム上で優れておりF純であるとき、各 $ H_{\mathfrak{m}}^i(R) $ は $ R\{F\} $-加群として有限長である。
• 安定的FH有限性という性質——つまり $ R $ と $ R $ のすべてのべき級数環がFH有限であること——は、すべてのF純な局所環に成り立つ。
• FH有限性の性質は局所化に関して保存される： $ R $ がFH有限であれば、任意の素イデアル $ P \in \operatorname{Spec} R $ に対して $ R_P $ もFH有限である。
• カルティエ加群と反ネーター性を用いた主定理の双対形が成り立ち、結果をより広いカテゴリカルな枠組みへと拡張できる。
• 例から、FH有限性がFインジェクティビティやF純性を意味しないこと、またF有理的環はF純性がなくても安定的FH有限であることが示された。