On Macaulayfication of Noetherian schemes (Q4955696)

A Macaulayfication of a Noetherian scheme \(X\) is a pair of a Cohen-Macaulay scheme \(Y\) and a birational proper morphism from \(Y\) to \(X\). The purpose of the paper is to construct a Macaulayfication of a Noetherian scheme which is separated and of finite type over Spec(\(A\)) where \(A\) is a Noetherian ring possessing a dualizing complex. The Macaulayfication consists of successive blowing-ups and the center of each blowing-up is the ideal generated by a subsystem of a \(p\)-standard system of parameters. The theory of \(p\)-standard systems of parameters and that of unconditioned strong \(d\)-sequences (\(d^+\)-sequence for short) play essential roles in constructing the Macaulayfication. The author develops the theory of \(p\)-standard systems of parameters in sections 2 and 3. In appendix A, he states some results on \(d^+\)-sequences with proofs from the paper ``The theory of unconditioned strong \(d\)-sequences and modules of finite local cohomology'' by \textit{S. Goto} and \textit{K. Yamagishi}. (In spite of its importance, this paper is not published.) -- The construction of Macaulayfications is done in sections 4 and 5. In section 6, it is shown that a conjecture of Sharp is true for a large class of Noetherian rings including local rings and integral domains. (Sharp's conjecture: A Noetherian ring possessing a dualizing complex is a homomorphic image of a finite dimensional Gorenstein ring.) -- An example of a Noetherian local ring with large non-Cohen-Macaulay locus is given and a Macaulayfication of its spectrum is constructed in appendix B. [In his recent paper ``On arithmetic Macaulayfication of Noetherian rings'', \textit{T. Kawasaki} shows that a Noetherian local ring has a Cohen-Macaulay Rees algebra if and only if it is unmixed and all of its formal fibers are Cohen-Macaulay, and he gives an affirmative answer to Sharp's conjecture].