[論文レビュー] $F$-injectivity and Frobenius closure of ideals in Noetherian rings of characteristic $p>0$

Phạm Hùng Quý, Kazuma Shimomoto|arXiv (Cornell University)|Jan 11, 2016

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

ひとこと要約

本稿は、正の特性をもつネーター的環におけるF-インジェクティビティとパラメータイデアルのフロベニウス閉包との間の基礎的関係を確立する。すべてのパラメータイデアルがフロベニウス閉包であるならば、環はF-インジェクティブであることを証明し、F-インジェクティブでないが非コhen-Macaulay的でなく、非F-純な局所環で、パラメータイデアルがフロベニウス閉包でない初の具体的な例を構成する。これは、フェッダの定理の逆が成り立たないという長年の未解決問題を解決し、『パラメータF-閉包』環という新しいクラスを導入する。

ABSTRACT

The main aim of this article is to study the relation between $F$-injective singularity and the Frobenius closure of parameter ideals in Noetherian rings of positive characteristic. The paper consists of the following themes, including many other topics. We prove that if every parameter ideal of a Noetherian local ring of prime characteristic $p>0$ is Frobenius closed, then it is $F$-injective. We prove a necessary and sufficient condition for the injectivity of the Frobenius action on $H^i_{\fm}(R)$ for all $i \le f_{\fm}(R)$, where $f_{\fm}(R)$ is the finiteness dimension of $R$. As applications, we prove the following results. (a) If the ring is $F$-injective, then every ideal generated by a filter regular sequence, whose length is equal to the finiteness dimension of the ring, is Frobenius closed. It is a generalization of a recent result of Ma and which is stated for generalized Cohen-Macaulay local rings. (b) Let $(R,\fm,k)$ be a generalized Cohen-Macaulay ring of characteristic $p>0$. If the Frobenius action is injective on the local cohomology $H_{\fm}^i(R)$ for all $i < \dim R$, then $R$ is Buchsbaum. This gives an answer to a question of Takagi. We consider the problem when the union of two $F$-injective closed subschemes of a Noetherian $\mathbb{F}_p$-scheme is $F$-injective. Using this idea, we construct an $F$-injective local ring $R$ such that $R$ has a parameter ideal that is not Frobenius closed. This result adds a new member to the family of $F$-singularities. We give the first ideal-theoretic characterization of $F$-injectivity in terms the Frobenius closure and the limit closure. We also give an answer to the question about when the Frobenius action on the top local cohomology is injective.

研究の動機と目的

• 正の特性における可換代数において長年の未解決問題であった、F-インジェクティビティがすべてのパラメータイデアルがフロベニウス閉包であることと同値であるかどうかを特定すること。
• 一般化コhen-マカウル境界やバックスバウム環におけるフロベニウス閉包に関する既知の結果を、より広い環のクラスへと拡張すること。
• F-インジェクティビティがすべてのパラメータイデアルのフロベニウス閉包を意味しないことを示す反例を構成することで、F特異点の理解を精緻化すること。
• フロベニウス閉包と極限閉包を用いたイデアル論的特徴付けを提供し、F-インジェクティビティの新しい代数的基準を提示すること。

提案手法

• すべてのパラメータイデアルがフロベニウス閉包であるならば、すべての局所コホロジー加群 $ H^i_m(R) $ におけるフロベニウス作用が単射であることを証明し、これによりF-インジェクティビティが得られることを示す。
• 有限次元 $ f_m(R) $ を用いて、$ i \leq f_m(R) $ に対して $ H^i_m(R) $ におけるフロベニウス作用の単射性を特徴づけ、コホロジー的性質とイデアル論的性質を結びつける。
• ネーター的 $ \mathbb{F}_p $-スキームにおける2つのF-インジェクティブな閉部分スキームを貼り合わせることで、F-インジェクティブな局所環を構成し、その結果得られる環が非等次元的かつ非F-純となるように保証する。
• フィルター正則列と極限閉包の理論を応用し、特に最高次の局所コホロジー加群の文脈において、イデアルのフロベニウス閉包とF-インジェクティビティを関連付ける。
• 未混合成分 $ U_R(0) $ とパラメータイデアルの交わりとの関係を用いて、構成された反例の構造を分析する。
• 一般化コヘン-マカウル環およびバックスバウム環に関する結果を活用し、マの結果を拡張し、$ H^i_m(R) $ におけるフロベニウス作用が $ i < \dim R $ に対して単射であるF-インジェクティブ環はバックスバウム環であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 局所環がF-インジェクティブであることは、すべてのパラメータイデアルがフロベニウス閉包であることと同値であるか？
• RQ2 すべての $ i \leq f_m(R) $ に対して、局所コホロジー加群 $ H^i_m(R) $ におけるフロベニウス作用が単射である条件は何か？
• RQ3 F-インジェクティブ環が、フロベニウス閉包でないパラメータイデアルをもつことはあり得るか？
• RQ4 F-インジェクティビティのイデアル論的特徴付けは、フロベニウス閉包と極限閉包を用いてどのように与えられるか？
• RQ5 すべての $ i < \dim R $ に対して $ H^i_m(R) $ におけるフロベニウス作用が単射であることは、環がバックスバウム環であることを意味するか？

主な発見

• 本稿は、正の特性 $ p > 0 $ をもつネーター的局所環において、すべてのパラメータイデアルがフロベニウス閉包であるならば、その環はF-インジェクティブであることを証明し、予想された同値性の一方の向きが正当化された。
• 著者らは、F-有限でないが非コヘン-マカウル的でなく、F-純でない正の特性 $ p > 0 $ をもつF-インジェクティブな局所環で、パラメータイデアルがフロベニウス閉包でない初の具体的な例を構成した。これにより、主定理の逆が成り立たないことが示された。
• F-インジェクティブで、すべての $ i < \dim R $ に対して $ H^i_m(R) $ におけるフロベニウス作用が単射であるならば、$ R $ はバックスバウム環であることが示された。これはタカギが提起した問いに対する肯定的解答を提供する。
• 本稿は、F-インジェクティビティの初のイデアル論的特徴付けを提供する：環がF-インジェクティブであることと、有限次元に等しい長さのフィルター正則列によって生成されるすべてのイデアルのフロベニウス閉包が、それ自身に等しいことは同値である。
• 最高次の局所コホロジー加群 $ H^d_m(R) $ におけるフロベニウス作用が単射であることと、$ H^d_m(R) $ 内のゼロイデアルの極限閉包がゼロであることとは同値であり、これによりコホロジー的基準が得られた。
• 定理6.5で構成された例は、すべてのパラメータイデアルがフロベニウス閉包であるような環（パラメータF-閉包環）のクラスが、F-インジェクティブ環のクラスに真に含まれることを示しており、F特異点の新しいクラスを確立した。