The p-radical closure of local Noetherian rings

Abstract: Given a local noetherian ring

R

whose formal completion is integral, we introduce and study the

p

-radical closure

R^{e} x t p r c

. Roughly speaking, this is the largest purely inseparable

R

-subalgebra inside the formal completion

h a t R

. It turns out that the finitely generated intermediate rings

R s u b s e t A s u b s e t R^{e} x t p r c

have rather peculiar properties. They can be used in a systematic way to provide examples of integral local rings whose normalization is non-finite, that do not admit a resolution of singularities, and whose formal completion is non-reduced.

Review text

Let \((R, \mathfrak{m})\) be a local Noetherian ring of positive characteristic \(p\) whose formal completion is an integral domain. The author introduces the \(p\)-radical closure of \(R\), \(R^{\mathrm{prc}}\), which is the largest purely inseparable extension of \(R\) inside its formal completion \(\hat{R}\). After introducing the \(p\)-radical closure, for comparison he proves that when the henselization of \(R\), \(R^h\), has geometrically connected generic formal fiber, then \(R^h\) is in the separable closure of \(R\) inside of its formal completion \(\hat{R}\). Strikingly, the finite extensions of \(R\) lying inside of \(R^{\mathrm{prc}}\) yield a large class of Noetherian rings with bad behavior. If \(B\) is such a ring then: (1) The normalization of \(B\) is not finitely generated. (2) The formal completion of \(B\) is not reduced. (3) \(\text{Spec} B\) does not admit a resolution of singularities. The paper concludes with a discussion of \(R^{\mathrm{prc}}\) when \(R\) is a DVR. If \(\mathrm{Frac}(\hat{R})\) can be expressed as a purely inseparable extension of \(\mathrm{Frac}(R)\) followed by a separable extension, then \(R^{\mathrm{prc}}\) is an excellent DVR. If \(R\) was not itself excellent, the \(R^{\mathrm{prc}}\) is an infinite integral extension.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: The \(p\)-radical closure of local Noetherian rings

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