Locally complete intersection Stanley-Reisner ideals

Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10)

Abstract: In this paper, we prove that the Stanley--Reisner ideal of any connected simplicial complex of dimension

g e 2

that is locally complete intersection is a complete intersection ideal. As an application, we show that the Stanley--Reisner ideal whose powers are Buchsbaum is a complete intersection ideal.

Review text

Let \(\Delta\) be a simplicial complex over a vertex set \(V = \{1,\ldots, n\}\). Then, the corresponding Stanley-Reisner ideal \(I = I_{\Delta} \subset K[\Delta]\) is called locally complete intersection if \(I_{\text{link}_{\Delta}(v)} \subset S\), with \(S= K[x_1,\ldots, x_n]\), is a complete intersection ideal for every \(v\in V\) or, equivalently, if \(I_P\) is a complete intersection ideal for any prime \(P\in \text{Proj}(K[\Delta])\). \(\Delta\) is called a locally complete intersection complex if \(I_{\Delta}\) is locally complete intersection. The first main result of this paper is that, for a connected simplicial complex \(\Delta\) with \(\dim\Delta \geq 2\) (resp. \(\dim\Delta =1\)), locally complete intersection implies complete intersection (resp. an \(n\)-gon for \(n\geq 3\) and an \(n\)-pointed path for some \(n\geq 2\)) (Theorem~1.5 and 1.15). This is a refinement of the result obtained by \textit{S.\ Goto} and \textit{Y. Takayama} [Proc. Am. Math. Soc. 135, No. 8, 2355--2364 (2007; Zbl 1118.13023)], who consider the case that \(\Delta\) is pure (but not necessarily connected). The second main result is the answer to a natural question: ``When is \(S/I_{\Delta}^{\ell}\) Buchsbaum for every \(\ell\geq 1\)? Namely, \(S/I_{\Delta}^\ell\) is Buchsbaum for all \(\ell\geq 1\) if and only if one of the following equivalent conditions holds: (1) \(I_{\Delta}\) is a complete intersection, i.e., generated by a regular sequence, (2) \(S/I_{\Delta}^\ell\) is Cohen-Macaulay for all \(\ell\geq 1\), and (3) \(\sharp\{\ell\in{\mathbb N} : S/I_{\Delta}^\ell \text{ is Buchsbaum}\} = \infty\) (Theorem~2.1).

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Locally complete intersection Stanley-Reisner ideals

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