On the behavior of F-rational rings under flat base change (Q1593795): Difference between revisions

Let \(R\) be a Noetherian ring of characteristic \(p>0\). Let \(I\) be an ideal of \(R\). An element \(x\in R\) is said to be in the tight closure of \(I\) if there exists an element \(c\in R^\circ\), the set of all elements \(R\) not in any minimal prime of \(R\), such that for all large \(q=p^e\in I^{[q]}\), where \(I^{[q]}\) is the ideal generated by the \(q\)th powers of all elements of \(I\). The ring \(R\) is called weakly F-regular (respectively F-rational) if every ideal (respectively parameter ideal) is tightly closed. A \(K\)-algebra \(R\) is called geometrically F-rational if \(K'\otimes_KR\) is F-rational for every finite purely inseparable extension \(K'\) of \(K\). The goal of this paper is to prove that if \(R\to S\) is a homomorphism with geometrically F-rational fibers and \(R\) is an F-rational ring, then \(S\) is an F-rational ring. The author proves a stronger version of this under a mild condition.