Alexander duality and Stanley depth of multigraded modules (Q661878)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Alexander duality and Stanley depth of multigraded modules |
scientific article |
Statements
Alexander duality and Stanley depth of multigraded modules (English)
0 references
11 February 2012
0 references
This paper is concerned with the Stanley depth of a multigraded module. Let \(S=K[x_{1},\dots,x_{n}]\) be a polynomial ring in \(n\) variables over a field \(K\) and \(M\) a finitely generated multigraded (i.e. \(\mathbb{Z}^{n}\)-graded) \(S\)-module. Given a \(\mathbb{Z}^{n}\)-homogeneous element \(m \in M\) and a subset \(Z \subset \{x_{1},\dots,x_{n}\}\), let \(mK[Z] \subset M\) be the linear \(K\)-subspace of all elements of the form \(mf\), \(f \in K[Z]\). This subspace is a Stanley space of dimension \(|Z|\), if \(mK[Z]\) is a free \(K[Z]\)-module. A Stanley decomposition \(\mathcal{D}\) of \(M\) is a presentation of the \(K\)-vector space \(M\) as a finite direct sum of Stanley spaces. That is, \(\mathcal{D}=\bigoplus_{i=1}^{s}m_{i}K[z_{i}]=M\). Let \(\text{sd}(M)\) be the set of Stanley decompositions of \(M\). For \(\mathcal{D}=\bigoplus_{i=1}^{s}m_{i}K[z_{i}] \in \text{sd}(M)\), set \(\text{sdepth}(\mathcal{D}):=\text{min} \{|Z_{i}| \mid i=1,\dots,s\}\), and call it the Stanley depth of \(\mathcal{D}\). The Stanley depth of \(M\) is defined by \(\text{sdepth}(M):=\text{max}\{\text{sdepth}(\mathcal{D})| \mathcal{D} \in \text{sd}(M)\}\). Stanley conjectured in \textit{R. P. Stanley} [Invent. Math. 68, 175--193 (1982; Zbl 0516.10009)] that the inequality \(\text{sdepth}(M) \geq \text{depth}(M)\) holds, for all finitely generated multigraded \(S\)-modules \(M\). In the paper under review several tools for Stanley's conjecture are developed, and a few partial answers are given. For example, they show that taking the Alexander duality twice (but with different centers) is useful for this subject. Finally they prove that Stanley's conjecture holds for the quotient \(S/I\), where \(I\) is a cogeneric monomial ideal.
0 references
Stanley depth
0 references
multigraded module
0 references
Alexander duality functor
0 references
(co)generic monomial ideal
0 references