On the localization theorem for \(F\)-pure rings (Q1008762)

Let \(R\) be a ring of positive characteristic \(p\), where \(p\) is prime. Let \(F: R \to R, F(r) =r^p\), for all \(r \in R\). \(R\) is called F-pure if \(F\) is a pure ring homomorphism. An \(K\)-algebra \(R\) is called geometrically F-pure if \(R\otimes_K L\) is F-pure for every finite field extension \(K \subseteq L\). In this paper, the authors study a version of Grothendieck's localization problem for geometrically F-pure rings. One of their main results is the following Theorem. Let \(\phi : (R, m, k)\to (S, n, l)\) be a flat local map of F-finite rings. Assume that the closed fiber of \(\phi\) is Gorenstein and geometrically F-pure over \(k\). Then fiber of \(\phi\) at every \(P\) prime ideal of \(R\) is geometrically F-pure over \(k(P)\). Along the way, they also formulate and prove a version of the Grothendieck's localization problem for maximal Cohen-Macaulay modules. The tools used are the Radu-Andrè rings and homomorphisms introduced to flat base change problems in tight closure theory by the reviewer [J. Algebra 233, No. 2, 543--566 (2000; Zbl 0977.13003)] and independently by \textit{M. Hashimoto} [Lect. Notes Pure Appl. Math. 217, 231--244 (2001; Zbl 1091.13500)]. A number of geometric consequences are listed in the final section of the paper, among which is a theorem where they establish that given a flat map \(\phi:R\to S\) of finite type between F-finite rings such that all the fibers of \(\phi\) are Gorenstein, and \(R\) admits a dualizing complex, then the set of prime ideals \(P\) such that \( S\otimes_R k(P)\) is geometrically F-pure is open in \(\text{Spec}(R)\).