Rees algebras of F-regular type. (Q5957511)

A reduced ring \(R\) of characteristic \(p> 0\) is said to be F-regular if the map \(R\to R^{1/p}\) is module-finite and for every \(c\in R\) not in any minimal prime of \(R\), there exists a power \(q= p^e\) such that the \(R\)-linear inclusion \(c^{1/q}R\to R^{1/q}\) splits. On the other hand, if \(R\) is essentially of finite type over a field of characteristic zero then \(R\) is said to be F-regular if, in a suitable sense, the reduction of \(R\) modulo primes \(p\) is F-regular for \(p\gg 0\). For an ideal \(I\) of a Noetherian local ring \((A, m)\) the Rees algebra \(R(I)\) and the extended Rees algebra \(R'(I)\) are defined by \(R(I)= A[It]\) and \(R'(I)= A[t^{-1}, It]\), where \(t\) is an indeterminate. The main results of the paper are as follows: Theorem 1. Assume that \(A\) is essentially of finite type over a field of characteristic zero, \(\dim(A)= 2\), \(A\) has only a rational singularity and \(I\) is integrally closed and \(m\)-primary. Let \(\psi: X = \text{Proj\,} R(I)\to\text{Spec\,} A\) be the blowing-up with respect to \(I\), and let \(g: \widetilde X\to X\) be a minimal resolution. Let \(E_1,\dots, E_s\) be the irreducible components of the exceptional set \(\widetilde E\) of \(\psi g:\widetilde X\to \text{Spec\,}A\). Then \(R(I)\) is F-regular if and only if every connected subgraph of \(\widetilde E= \bigcup^s_{i=1} E_i\) contracts to an F-regular singularity. Theorem 2. Assume that \(A\) is essentially of finite type over a field of characteristic zero. Then \(R(I)\) has only rational singularities if and only if \(R'(I)\) has only rational singularities.