Tight closure and strongly F-regular rings (Q2168884)

Let \(R\) be a Noetherian ring of prime characteristic \(p>0\). An element \(f\in R\) belongs to the tight closure of an ideal \(I\subseteq R\), if there exists \(c\) in \(R\) which is not in any minimal prime and \(cf^{p^e}\in I^{[p^e]}\) for large enough positive integers \(e\). The word ``tight'' was chosen because this closure is much smaller than other closures, such as integral closure. \(R\) is weakly \(F\)-regular when every ideal is tightly closed. If the localization of \(R\) at every prime ideal is weakly \(F\)-regular, then \(R\) is called \(F\)-regular. If \(R\) is \(F\)-finite i.e. the Frobenius endomorphism \(F\) of \(R\), where \(F(r)=r^p\) for all \(r\in R\), makes \(R\) into a finite module over itself, then it is called to be strongly \(F\)-regular if for every \(c\) in \(R\) which is not in any minimal prime, there exists \(q = p^e\), \(e\geq 1\) such that the \(R\)-linear map \(\alpha : R \rightarrow R^{1/q}\) with \(1\mapsto c^{1/q}\) splits over \(R\). In the paper under review, after giving some general background and an introduction to the tight closure theory, several aspects of the theory of strongly \(F\)-regular rings, including how it should be defined without the hypothesis of \(F\)-finiteness, and its relationship to tight closure theory, to \(F\)-signature, and to cluster algebras are described. A number of characterizations of strong \(F\)-regularity and large classes of strongly \(F\)-regular rings are given. The author, also discusses some techniques for proving strong \(F\)-regularity, including Glassbrenner's criterion and several methods that have been used in the literature. Many open questions are raised. As it is stated in the introduction, this paper is intended to be accessible to researchers who are, relatively, newcomers to the study of characteristic \(p\) phenomena in commutative algebra. The underlying ideas, important applications and material are very well discussed.