Rees algebras of F-regular type.

Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) (14M05)

Review text

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\).NEWLINENEWLINE 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.NEWLINENEWLINE The main results of the paper are as follows:NEWLINENEWLINE 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.NEWLINENEWLINE 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.

Recommendations

Cites work

Cited in

(20)

This page was built for publication: Rees algebras of F-regular type.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5957511)