Cohen-Macaulay seminormalizations of unions of linear subspaces (Q917615)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cohen-Macaulay seminormalizations of unions of linear subspaces |
scientific article |
Statements
Cohen-Macaulay seminormalizations of unions of linear subspaces (English)
0 references
1990
0 references
Let \(R\) be the coordinate ring of a finite union of subspaces of an affine space and \(S\) be its seminormalization. If \(X\) is the corresponding intersection poset and \(\mathcal A\) the sheaf of coordinate rings on \(X\), then the author shows that \(S\) is Cohen-Macaulay if and only if \(\mathcal A\) is ``gradual'' and for every \(x\in X\), \(\tilde H^i(X^x,\mathcal A)=0\) for \(i< \mathrm{rk}(x)-2\), where \(X^x:=\{y\in X\mid y<x\}\). The main idea is to use a result of Orecchia that expresses \(S\) as \(\Gamma(\mathcal A)\), then to estimate the depth of \(S\) by constructing a resolution by modules of known depth. The result generalizes an equivalent version of Reisner's theorem on the Cohen-Macaulay property of face rings of simplicial posets.
0 references
unions of linear subspaces
0 references
coordinate ring
0 references
seminormalization
0 references
intersection poset
0 references
Cohen-Macaulay
0 references
face rings
0 references