Nilpotence of Frobenius actions on local cohomology and Frobenius closure of ideals (Q2415310): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(6 intermediate revisions by 5 users not shown)
Property / author
 
Property / author: Pham Hung Quy / rank
Normal rank
 
Property / author
 
Property / author: Pham Hung Quy / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962759830 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1803.04081 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Localization of tight closure and modules of finite phantom projective dimension. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The direct factor conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local cohomology multiplicities in terms of étale cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4274969 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the direct summand conjecture and its derived variant / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the dimension and multiplicity of local cohomology modules / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verallgemeinerte COHEN-MACAULAY-Moduln / rank
 
Normal rank
Property / cites work
 
Property / cites work: F-Purity and Rational Singularity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tight Closure, Invariant Theory, and the Briancon-Skoda Theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: F-Regularity, Test Elements, and Smooth Base Change / rank
 
Normal rank
Property / cites work
 
Property / cites work: Frobenius test exponents for parameter ideals in generalized Cohen-Macaulay local rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deformation of F-injectivity and local cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4055756 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on the Frobenius test exponents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local cohomological dimension in characteristic p / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4871734 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The saturation of frobenius powers of ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5431016 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of Frobenius powers of ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: On arithmetic Macaulayfication of Noetherian rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform behaviour of the Frobenius closures of ideals generated by regular sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Noetherian Rings of Characteristic p / rank
 
Normal rank
Property / cites work
 
Property / cites work: F-modules: applications to local cohomology and D-modules in characteristic p>0. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the vanishing of local cohomology in characteristic p > 0 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3215335 / rank
 
Normal rank
Property / cites work
 
Property / cites work: FROBENIUS ACTIONS ON LOCAL COHOMOLOGY MODULES AND DEFORMATION / rank
 
Normal rank
Property / cites work
 
Property / cites work: Attached primes of local cohomology modules under localization and completion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4295728 / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(F\)-injectivity and Frobenius closure of ideals in Noetherian rings of characteristic \(p>0\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Remark on the Finiteness Dimension / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the uniform bound of Frobenius test exponents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tight closure of parameter ideals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nilpotence of Frobenius action and the Hodge filtration on local cohomology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local cohomology of Frobenius images over graded affine algebras / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 07:27, 19 July 2024

scientific article
Language Label Description Also known as
English
Nilpotence of Frobenius actions on local cohomology and Frobenius closure of ideals
scientific article

    Statements

    Nilpotence of Frobenius actions on local cohomology and Frobenius closure of ideals (English)
    0 references
    0 references
    0 references
    21 May 2019
    0 references
    In this review all rings are commutative Noetherian local rings of prime characteristic and of Krull dimension \(d\). The main result (in the reviewer's point of view) of the present paper is to give a, charming nice, necessary and sufficient condition for an equidimensional excellent ring, to be \(F\)-nilpotent. This necessary and sufficient condition is in terms of the equality of the Frobenius closure and tight closure of ideals generated by an arbitrary part of a system of parameters (or equivalently, in terms of the equality of the Frobenius closure and tight closure of any ideal generated by a full system of parameters). This is also proved to be equivalent to say that there exists a filter regular sequence \(x_1,\ldots,x_d\) so that \((x_1^{p^e},\ldots,x_t^{p^e})^F=(x_1^{p^e},\ldots,x_t^{p^e})^*\) for all \(t\le d\) and for all \(e\ge 0\). One other interesting result of the paper, achieved by applying the previously mentioned result, is that the property of being \(F\)-nilpotent localizes for (equi-dimensional) excellent local rings, which this result relaxes the superfluous \(F\)-finite condition of Proposition 2.4 of [\textit{V. Srinivas} and \textit{S. Takagi}, Adv. Math. 305, 456--478 (2017; Zbl Zbl 1352.13004)]. We remind that a \(d\)-dimensional commutative local ring \((R,\mathfrak{m})\) is said to be an \(F\)-nilpotent ring provided the iteration of the Frobenius action on non-top-local cohomologies is eventually zero and if the \(F\)-nilpotent submodule of \(H^d_{\mathfrak{m}}(R)\) is the largest possible submodule, i.e.\(0^*_{H^d_{\mathfrak{m}}(R)}\). For related geometric concepts (to the \(F\)-nilpotent property), see, [\textit{V. Srinivas} and \textit{S. Takagi}, Adv. Math. 305, 456--478 (2017; Zbl 1352.13004)] and [\textit{M. Blickle} and \textit{R. Bondu}, Ann. Inst. Fourier 55, No. 7, 2239--2256 (2005; Zbl Zbl 1092.14005)]. In [\textit{K. Shimomoto}, J. Algebra 338, No. 1, 24--34 (2011; Zbl 1241.13006)] the author introduces and investigates \(F\)-coherent rings and by one the his results in conjunction with the main result of the paper under review one can see that reduced \(F\)-coherent rings (e.g. \(R=k[x^4,x^3y,xy^3,y^4]\)) are \(F\)-nilpotent. A related numerical invariant to the \(F\)-nilpotence is the \(F\)-depth introduced and studied in [\textit{G. Lyubeznik}, Compos. Math. 142, No. 1, 207--221, (2006; Zbl 1100.13022)]. To prove the aforementioned characterization of \(F\)-nilpotent rings, the authors of the paper introduce the concept of Frobenius action relative to \(R\), and Frobenius nilpotence with respect to \(R\). The Frobenius action with respect to \(R\) is the map \(H^i_{K}(R/I)\rightarrow H^i_{K}(R/I^{[p^e]}) \) induced by the Frobenius-like map \(R/I\rightarrow R/I^{[p^e]}\) (\(r+I \mapsto r^{p^e}+I^{[p^e]}\)) (here \(I\) is an ideal of \(R\) contained in \(K\)). Having this relative Frobenius action in hand, one can define the notion of, being \(F\)-nilpotent with respect to \(R\), for the quotient ring \(R/I\). Then to achieve the aforementioned characterization of \(F\)-nilpotent rings, the authors of the paper prove the following nice two deformation/specialization type theorems which are of intrinsic interest. Theorem 5.10. Let \((R,\mathfrak{m})\) be an excellent equidimensional local ring of dimension \(d\) and prime characteristic \(p>0\). The followings are equivalent: (1) The ring \(R\) is \(F\)-nilpotent. (2) For each \(\mathfrak{m}\)-filter regular element \(x\) of \(R\), the ring \(R/(x)\) is \(F\)-nilpotent with respect to \(R\). (3) There exists an \(\mathfrak{m}\)-filter regular element \(x\) such that for each \(e\in \mathbb{N}\) the ring \(R/(x^{p^e})\) is \(F\)-nilpotent with respect to \(R\). Theorem 5.9. Let \((R,\mathfrak{m})\) be an excellent equidimensional local ring of dimension \(d\) and prime characteristic \(p>0\). Let \(x_1,\ldots,x_i\), \(i\le d\), be an \(\mathfrak{m}\)-filter regular sequence of \(R\) and let \(I=(x_1,\ldots,x_{i-1})\). The followings are equivalent. (1) \(R/I^{[p^e]}\) is \(F\)-nilpotent with respect to \(R\) for all \(e\ge 0\). (2) \(R/(I^{[p^e]},x_i^{p^{e'}})\) is \(F\)-nilpotent with respect to \(R\) for all \(e,e'\ge 0\). In view of the above two Theorems the property of the (equidimensional) excellent ring \(R\) to be \(F\)-nilpotent reduces equivalently to the Artinian quotient ring \(R/\mathfrak{q}\), to be \(F\)-nilpotent with respect to \(R\), wherein \(\mathfrak{q}\) is an ideal generated by a system of parameters (which can be chosen to be an \(\mathfrak{m}\)-filter regular sequence as well), that is to say the tight closure of the zero submodule of \(H^0_\mathfrak{m}(R/\mathfrak{q})=R/\mathfrak{q}\) being \(F\)-nilpotent with respect to \(R\), in other words \(\mathfrak{q}^*/\mathfrak{q}\) being \(F\)-nilpotent with respect to \(R\), i.e. \(\mathfrak{q}^F=\mathfrak{q}^*\). One of the ingredients of the proof of the above two Theorems, 5.9 and 5.10, is the following Theorem, proved by the authors of the present paper, which is also of intrinsic interest. Theorem 3.4. For a ring \(R\) let \(x_1,\ldots,x_t\) be an \(\mathfrak{m}\)-filter regular sequence of \(R\) and \(I=(x_1,\ldots,x_d)\). Then there exists a positive integer \(C\) such that, \(\mathfrak{m}^{Cp^{e}} H^0_\mathfrak{m}(R/I^{[p^e]})=0\), for all \(e\ge 0\). Theorem 3.4., besides its application in proving Theorems 5.9 and 5.10, shows that the (LC) Conjecture holds true for ideals generated by \(\mathfrak{m}\)-filter regular sequences. The (LC)-Conjecture is a conjecture whose affirmative answer implies another favorite conjecture on the equivalence of weakly \(F\)-regularity and \(F\)-regularity. The authors also show that \(F\)-nilpotent rings are always equidimensional, \(R\) is \(F\)-nilpotent if and only if \(R/\sqrt{0}\) is \(F\)-nilpotent, and if \(R\) is excellent then \(R\) is \(F\)-nilpotent if and only if \(\widehat{R}\) is so. We end this review by pointing out that by exploiting the notion of Frobenius nilpotence with respect to \(R\) introduced in this paper, the second named author of this paper in [\textit{P. H. Quy}, J. Algebra 518, 119--128 (2019; Zbl 1427.13005)] proves that the (uniform bound for) Frobenius test exponent for parameter ideals exists for \(F\)-nilpotent rings, and this last-mentioned intriguing result itself, is generalized in [\textit{K. Maddox}, Proc. Am. Math. Soc. 147, No. 12, 5083--5092 (2019; Zbl 1423.13050)].
    0 references
    \(F\)-nilpotent ring
    0 references
    \(F\)-injective ring
    0 references
    Frobenius closure
    0 references
    filter regular sequence
    0 references
    local cohomology
    0 references
    tight closure
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers