The Frobenius structure of local cohomology (Q1005883): Difference between revisions

Let \((R, \mathfrak m)\) be a Noetherian local ring of dimension \(d\). If the characteristic of \(R\) is a positive prime, then the local cohomology module \(H_{\mathfrak m}^i(M)\) has a natural action of the Frobenius endomorphism \(F\) and hence is a module over the skew polynomial ring \(R\{F\}\). The \(R\{F\}\)-module structure of \(H_{\mathfrak m}^i(M)\) contains many property of \(R\). For example, an excellent Cohen-Macaulay ring \(R\) is \(F\)-rational if and only if \(H_{\mathfrak m}^d(R)\) is a simple \(R\{F\}\)-module [\textit{K. E. Smith}, Am. J. Math. 119, No.1, 159--180 (1997; Zbl 0910.13004)]. In the present paper, the authors introduced a new notion: antinilpotent \(R\{F\}\)-modules and they showed that \(H_{\mathfrak m}^d(R)\) is antinilpotent if \(R\) is \(F\)-pure Gorenstein or if \(R\) is the localization (or completion) of Stanley-Reisner ring with respect to the homogeneous maximal ideal.