Stanley depth of weakly polymatroidal ideals and squarefree monomial ideals (Q470866)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stanley depth of weakly polymatroidal ideals and squarefree monomial ideals |
scientific article |
Statements
Stanley depth of weakly polymatroidal ideals and squarefree monomial ideals (English)
0 references
13 November 2014
0 references
Let \(S=\mathbb{K}[x_1, \dots, x_n]\) be the polynomial ring over a field \(\mathbb{K}\). Let \(M\) be a \(\mathbb{Z}^n\)-graded \(S\)-module. Let \({\mathcal D}\) denote a direct sum decomposition \( M=\bigoplus_{i=1}^r u_i\mathbb{K}[Z]\) of \(M\) as \(\mathbb{K}\)-vector space, where \(u_i \in M\), \(Z \subset \{x_1, \dots, x_n\}\) such that \(u_i\mathbb{K}[Z]\) is a free \(\mathbb{K}[Z]\)-module. Setting \(\text{sdepth}({\mathcal D})=\text{min}_{i=1}^r|Z_i|\), the Stanley depth of \(M\) is defined to be the maximum of \(\text{sdepth}({\mathcal D})\) over all \({\mathcal D}\), denoted by \(\text{sdepth}(M)\). A monomial \({\mathbf x}^{\mathbf a}=x_1^{a_1}\cdots x_n^{a_n} \in S\) is squarefree if each \(a_i \in \{0, 1\}\), where \({\mathbf x}=(x_1, \dots, x_n)\) and \({\mathbf a}=(a_1, \dots, a_n)\), and an ideal \(I \subset S\) is squarefree if it can be minimally generated by a set of squrefree monomials. Let \(G(I)=\{{\mathbf x}^{\mathbf a_1}, \dots, {\mathbf x}^{a_n}\}\) be the set of minimal generators of \(I\). Then \(\text{rank}(I)\) is the cardinality of the largest subset of \(\{{\mathbf a_1}, \dots, {\mathbf a_n}\}\). In this paper, the author proves that for every squarefree monomial ideal \(I\) there hold \[ \text{sdepth}(I) \geq n- \text{rank}(I) + 1 \quad\text{and} \quad \text{sdepth}(S/I) \geq n- \text{rank}(I). \] This proves a conjecture of the author in a special case [Collect. Math. 64, No. 3, 351--362 (2013; Zbl 1317.13024)]. Moreover, we have a similar result for a weakly polymatroidal ideal \(I\). In particular, when \(I\) is generated in a single degree, from the results described above we have that there hold \(\text{sdepth}(I) \geq n- \ell(I) + 1\) and \(\text{sdepth}(S/I) \geq n- \ell(I)\), regardless of the types of \(I\), where \(\ell(I)\) denotes the analytic spread of \(I\) (definition omitted).
0 references
monomial ideal
0 references
depth
0 references
Stanley depth
0 references
analytic spread
0 references
weakly polymatroidal ideal
0 references
squarefree monomial ideal
0 references
rank
0 references
affine rank
0 references
0 references