Arithmetic Macaulayfication of projective schemes (Q2570663): Difference between revisions

The present paper studies the arithmetic Macaulayfication of projective schemes and Rees algebras of ideals (for the Macaulayfication of local rings see \textit{T. Kawasaki}'s paper [Trans. Am. Math. Soc. 354, 123--149 (2002; Zbl 1087.13502)]). If \(X\) is a nonsingular projective scheme over a field \(k\) of characteristic zero, then \(X\) has an arithmetic Macaulayfication if and only if \(H^0(X,{\mathcal O}_X)=k\) and \(H^i(X,{\mathcal O}_X)=0\) for \(i=1,\ldots, \dim(X)-1\). If this is the case and \({\mathcal J}\subset {\mathcal O}_X\) is a an ideal sheaf which is locally a complete intersection, then there exists a Cohen-Macaulay standard graded \(k\)-algebra \(R\) such that \(X\cong \text{Proj}(R)\) and if \(I\) is an ideal of \(R\) such that \({\widetilde I}\cong {\mathcal J}\), \(I=\oplus I_j\) then the truncated Rees algebra \(R[(I_j) t]\) is Cohen-Macaulay for large \(j\).