Fundamental results on \(s\)-closures (Q2207274): Difference between revisions

Let \(R\) be a commutative noetherian ring of prime characteristic \(p >0\). For an ideal \(I\) of \(R\), let \(I^{[p^e]}=(f^{p^e}\mid f \in I)\) be the \({p^e}\)-th Frobenius power of \(I\). Introduced by the author [J. Algebra 509, 212--239 (2018; Zbl 1406.13022)], the weak \(s\)-closure \(I^{\{s \}}\) (\(s \in \mathbb{R}\)) of the ideal \(I\) is the set of all elements \(x \in R\) such that there exists \(c \in R\), not in any minimal prime ideal of \(R\), such that \(cx^{p^e} \in I^{\lceil sp^e \rceil}+I^{[p^e]}\) for all \(e \gg 0\). The \(s\)-closure \(I^{\text{cl}_s}\) of \(I\) is the ideal obtained through the iteration of the weak \(s\)-closure until the chain of ideals stabilizes. It should be noted that for \(s=0\) one recovers the well-known tight closure \(I^{*}\) of the ideal \(I\). This paper further develops the theory of \(s\)-closures. As stated by the author, ``the three main goals of this paper are to understand the structure of the \(s\)-closure in the graded case, identify situations in which \(I^{\{s \}}=I^{\text{cl}_s}\), and to compare the \(s\)-closures for different values of \(s\) using a generalization of the Briançon-Skoda theorem.'' In particular, it is proved that \(I^{\{s \}}=I^{\text{cl}_s}\) for monomial ideals in polynomial rings.