scientific article; zbMATH DE number 16165

From MaRDI portal
Publication:3972816





[For the entire collection see Zbl 0716.00007.] Let \(S=k[x_ 1,\ldots,x_ n]\) be the polynomial ring in \(n\) variables over a field \(k\). For a homogeneous ideal \(I\) of \(S\) the graded \(k\)- algebra \(R=S/I\) is said to have \(t\)-linear resolution if \(I\) is minimally generated in degree \(t\) and all the syzygy modules of \(I\) are generated by linear syzygies. Let \(\Delta\) denote an abstract finite simplicial complex over the vertex set \(\{x_ 1,\ldots,x_ n\}\). Then the Stanley- Reisner ring of \(\Delta\) is defined by \(k[\Delta]=k[x_ 1,\ldots,x_ n]/I_ \Delta\), where \(I_ \Delta\) denotes the ideal generated by all monomials \(x_{i_ 1}\cdots x_{i_ r}\) such that \(\{x_{i_ 1},\ldots,x_{i_ r}\}\notin\Delta\). In the main results the author characterizes Stanley-Reisner rings with a 2-linear resolution in terms of graph-theoretical constructions of the underlying complex. Furthermore there are several results on numerical invariants of \(\Delta\) related to the Hilbert series of \(k[\Delta]\), provided \(k[\Delta]\) is a non-Cohen- Macaulay ring possessing a 2-linear resolution. As a byproduct of his research the author gives a purely algebraic proof of \textit{D. E. Smith}'s result [see Pac. J. Math. 141, No. 1, 165-196 (1960; Zbl 0686.13008)]: \(\text{depth}(k[\Delta])=1+\max\{i\in\mathbb{Z}:\) the \(i\)-skeleton \(\Delta^ i\) of \(\Delta\) has a Cohen-Macaulay Stanley- Reisner ring\}.




Cited in
(only showing first 100 items - show all)








This page was built for publication:

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