[论文解读] Frobenius actions on local cohomology modules and deformation

Linquan Ma, Phạm Hùng Quý|arXiv (Cornell University)|Jun 7, 2016

Commutative Algebra and Its Applications参考文献 19被引用 3

一句话总结

本文引入并研究了正特征下两类新的奇点：$F$-全和$F$-反幂零，其定义基于局部上同调模上的弗罗贝尼乌斯作用。证明了这两种性质在由正则元约化下具有可变形性，为$F$-正则性在正特征下的变形问题提供了新证据，并推广了该领域内早期的结果。

ABSTRACT

Let $(R,m)$ be a Noetherian local ring of characteristic $p>0$. We introduce and study $F$-full and $F$-anti-nilpotent singularities, both are defined in terms of the Frobenius actions on the local cohomology modules of $R$ supported at the maximal ideal. We prove that if $R/(x)$ is $F$-full or $F$-anti-nilpotent for a nonzerodivisor $x\in R$, then so is $R$. We use these results to obtain new cases on the deformation of $F$-injectivity.

研究动机与目标

• 在特征$p > 0$的诺特局部环中，通过局部上同调模上的弗罗贝尼乌斯作用，定义并研究两类新的奇点——$F$-全与$F$-反幂零。
• 研究当从$R$到$R/(x)$（$x$为正则元）时，这些新奇点是否具有可变形性。
• 为长期悬而未决的公开问题——即$F$-正则性在特征$p > 0$下是否可变形——提供新的证据。
• 通过引入更强的条件（这些条件蕴含$F$-正则性），推广先前关于$F$-正则性变形结果，特别是文献[12]中的成果。
• 建立$F$-全性、$F$-反幂零性与其他$F$-奇点（尤其是杜博瓦奇点和稳定弗罗贝尼乌斯有限性）之间的联系。

提出的方法

• 通过局部上同调模$H^i_{rak m}(R)$上弗罗贝尼乌斯映射的行为，定义$F$-全与$F$-反幂零奇点。
• 利用短正合列$0 \to R \xrightarrow{x} R \to R/(x) \to 0$诱导的长正合列，建立$R$与$R/(x)$的上同调模之间的关系。
• 分析$H^i_{rak m}(R)$上乘以$x$的映射的余核，证明在特定条件下，有限长性蕴含$x^{p-1}F$的单射性。
• 应用包含弗罗贝尼乌斯与乘法映射的交换图表，将$R/(x)$上的单射性性质转移至$R$。
• 利用对偶性及剩余域为完美域的事实，证明$x$-乘法映射的核与余核具有有限长。
• 利用$F$-反幂零性与稳定弗罗贝尼乌斯有限性的等价性，证明变形结果。

实验结果

研究问题

• RQ1 若$R/(x)$是$F$-反幂零的，那么$R$是否也是$F$-反幂零的？即$F$-反幂零性是否可变形？
• RQ2 若$R/(x)$是$F$-全的，那么$R$是否也是$F$-全的？即$F$-全性是否可变形？
• RQ3 在何种条件下，$H^i_{rak m}(R)$上弗罗贝尼乌斯映射的单射性可由$H^i_{rak m}(R/(x))$上的单射性推出？
• RQ4 是否可在弱于已知条件的假设下，建立$F$-正则性的变形？
• RQ5 是否存在$F$-全性与$F$-正则性不可变形性之间的有意义联系？

主要发现

• 若$R/(x)$是$F$-反幂零的，则$R$也是$F$-反幂零的，证明了该性质的可变形性。
• 若$R/(x)$是$F$-全的，则$R$也是$F$-全的，确立了$F$-全性的可变形性。
• 若$R/(x)$既是$F$-全又是$F$-正则的，则$R$是$F$-正则的，提供了$F$-正则性的新充分条件。
• 当剩余域为完美域，且对所有$i$，有$\operatorname{Coker}(H^i_{\frak m}(R) \xrightarrow{x} H^i_{\frak m}(R))$具有有限长时，则对所有$i$，映射$x^{p-1}F: H^i_{\frak m}(R) \to H^i_{\frak m}(R)$是单射的，从而推出$R$是$F$-正则的。
• 当$R/(x)$是$F$-正则且剩余域为完美域时，对所有$i \leq f_{\frak m}(R/(x)) + 1$，映射$x^{p-1}F$在$H^i_{\frak m}(R)$上是单射的，推广了文献[12]中的结果。
• 强$F$-正则性（即$F$-正则且$F$-全）具有可变形性：若$R/(x)$是强$F$-正则的，则$R$也是强$F$-正则的。