\(F\)-injectivity and Frobenius closure of ideals in Noetherian rings of characteristic \(p>0\) (Q529222): Difference between revisions

In the Cohen-Macualay setting, \(F\)-injectivity is equivalent to all parameter ideals being Frobenius closed. In this paper, the authors address \(F\)-injectivity in the non-Cohen-Macaulay setting and show some very interesting results. They show that in a local ring if every parameter ideal is Frobenius closed then the ring is \(F\)-injective. However, they are able to construct an example of a local non-Cohen-Macaulay \(F\)-injective ring which is not \(F\)-pure and has a parameter ideal which is not Frobenius closed. When \(R\) is a local \(F\)-finite ring with finiteness dimension \(t\), the authors show that the Frobenius action is injective on the local cohomology modules \(H^i_{\mathfrak{m}}(R)\) for all \(i \leq s \leq t\) if and only if every filter regular sequence \(x_1, \ldots x_s\) of \(R\) and \(R^{1/p}/R\) generates a Frobenius closed ideal of \(R\). The authors also introduce a new class of \(F\)-singularities: those which are parameter \(F\)-closed. They show this new class of singularities commutes with localization and \(\mathfrak{m}\)-adic completion; however, this class of singularities does not deform. The authors also exhibit a nice way of detecting if a local ring \(R\) is \(F\)-injective: \(R\) is \(F\)-injective if and only if there exists a filter regular sequence \(x_1,\ldots,x_d\) and the Frobenius closure of \((x_1, \ldots, x_t)\) is contained in the limit closure of \((x_1, \ldots, x_t)\) for all \(0 \leq t \leq d\). The authors conclude the paper with a nice list of open problems.