Non-Noetherian Cohen-Macaulay rings (Q863367): Difference between revisions

Let \(R\) be a commutative ring and \(\underline{x} = x_1,\ldots,x_\ell\) a sequence of elements of \(R\). We denote the \(i\)-th Čech cohomology with respect to \(\underline{x}\) by \(H_{\underline{x}}^i(R)\) and the \(i\)-th Koszul homology by \(H_i({\underline{x}})\). It is said that \(\underline{x}\) is a weakly proregular sequence on \(R\) if for each \(n\) there exists an \(m \geq n\) such that the natural map from \(H_i(\underline{x}^m)\) to \(H_i(\underline{x}^n)\) is zero for every \(i \geq 1\). We say that \(\underline{x}\) is a parameter sequence on \(R\) if \(\underline{x}\) is a weakly proregular sequence on \(R\), \((\underline{x})R \neq R\) and \(H_{\underline{x}}^\ell(R)_p \neq 0\) for every prime ideal \(p\) containing \((\underline{x})R\). If \(x_1,\ldots,x_i\) is a parameter sequence on \(R\) for every \(i=1,\ldots,\ell\), \(\underline{x}\) is called a strong parameter sequence on \(R\). Then the authors define that \(R\) is a Cohen-Macaulay ring if every strong parameter sequence on \(R\) is a regular sequence. This answers the question of Glaz: Does there exist a definition of Cohen-Macaulay rings which agrees with the usual notion in the noetherian case and having the property every coherent regular ring is Cohen-Macaulay? Among others they prove: (1) Two-dimensional case of a conjecture of Glaz on the Cohen-Macaulayness of the invariant subring of a coherent regular ring. (2) The abstract integral closure of an excellent noetherian domain of characteristic \(p>0\) is Cohen-Macaulay. On the other hand, it does not necessarily hold that if \(R\) is Cohen-Macaulay and \(a\) is a non-zero-divisor then \(R/aR\) is Cohen-Macaulay. It is shown that \(R\) is Cohen-Macaulay if \(R[X]\) is, but it is not known whether \(R[X]\) is Cohen-Macaulay whenever \(R\) is. It is not known whether the Cohen-Macaulay property localizes, too.