[论文解读] $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-正则但非科恩-麦克aul伊、非 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-正则性是否等价于每个参数理想均为弗罗贝尼乌斯闭，这是正特征交换代数中长期悬而未决的开放问题。
• 将关于广义科恩-麦克aul伊环与布赫斯鲍姆环中弗罗贝尼乌斯闭包的已知结果推广至更广泛的环类。
• 构造一个反例，表明 F-正则性并不蕴含所有参数理想的弗罗贝尼乌斯闭性，从而深化对 F-奇点的理解。
• 通过弗罗贝尼乌斯闭包与极限闭包，提供一种理想的代数刻画，实现对 F-正则性的新代数准则。

提出的方法

• 证明：若每个参数理想均为弗罗贝尼乌斯闭，则所有局部上同调模 $ H^i_m(R) $ 上的弗罗贝尼乌斯作用是单射，从而推出 F-正则性。
• 利用有限性维数 $ f_m(R) $ 来刻画 $ H^i_m(R) $ 上弗罗贝尼乌斯作用在 $ i \leq f_m(R) $ 时的单射性，从而建立上同调性质与理想理论性质之间的联系。
• 通过在诺特 $ \mathbb{F}_p $-概形中拼接两个 F-正则闭子概形，构造一个 F-正则局部环，确保所得环非等维且非 F-纯。
• 应用滤正则序列与极限闭包理论，将理想弗罗贝尼乌斯闭包与 F-正则性联系起来，尤其在上局部上同调模的背景下。
• 利用 unmixed 分量 $ U_R(0) $ 与参数理想交集之间的关系，分析所构造反例的结构。
• 借助广义科恩-麦克aul伊环与布赫斯鲍姆环的结果，拓展马的工作，证明：若 F-正则且弗罗贝尼乌斯作用在 $ H^i_m(R) $ 上对所有 $ i < \dim R $ 均为单射，则环是布赫斯鲍姆环。

实验结果

研究问题

• RQ1 局部环是 F-正则的当且仅当每个参数理想均为弗罗贝尼乌斯闭吗？
• RQ2 在什么条件下，弗罗贝尼乌斯作用在局部上同调模 $ H^i_m(R) $ 上对所有 $ i \leq f_m(R) $ 均为单射？
• RQ3 F-正则环是否可能拥有一个非弗罗贝尼乌斯闭的参数理想？
• RQ4 F-正则性的理想理论刻画是什么？其与弗罗贝尼乌斯闭包和极限闭包的关系如何？
• RQ5 若弗罗贝尼乌斯作用在 $ H^i_m(R) $ 上对所有 $ i < \dim R $ 均为单射，是否意味着环是布赫斯鲍姆环？

主要发现

• 本文证明：若诺特局部环（正特征 $ p > 0 $）中每个参数理想均为弗罗贝尼乌斯闭，则该环是 F-正则的，从而确认了猜想等价关系的一个方向。
• 作者构造了一个显式例子：一个 F-有限、非科恩-麦克aul伊、F-正则的正特征 $ p > 0 $ 局部环，其非 F-纯且存在一个非弗罗贝尼乌斯闭的参数理想，从而表明主定理的逆命题不成立。
• 证明：若 $ R $ 是 F-正则且弗罗贝尼乌斯作用在 $ H^i_m(R) $ 上对所有 $ i < \dim R $ 均为单射，则 $ R $ 是布赫斯鲍姆环，为高木提出的问题提供了肯定回答。
• 本文首次给出了 F-正则性的理想理论刻画：环是 F-正则的当且仅当其由长度等于有限性维数的滤正则序列生成的每个理想，其弗罗贝尼乌斯闭包等于其自身。
• 上局部上同调模 $ H^d_m(R) $ 上的弗罗贝尼乌斯作用是单射，当且仅当 $ H^d_m(R) $ 中零理想之极限闭包为零，从而提供了一个上同调准则。
• 定理 6.5 中构造的例子表明，参数 F-闭环类（即所有参数理想均为弗罗贝尼乌斯闭的环）严格包含于 F-正则环类中，从而确立了一类新的 F-奇点。