Prime filtrations and Stanley decompositions of squarefree modules and Alexander duality (Q1041161)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Prime filtrations and Stanley decompositions of squarefree modules and Alexander duality
scientific article

    Statements

    Prime filtrations and Stanley decompositions of squarefree modules and Alexander duality (English)
    0 references
    0 references
    30 November 2009
    0 references
    Let \(K\) be a field, \(S=K[x_1,\dots,x_n]\) the polynomial \(K\)-algebra in \(n\) variables and \(M\) a \({\mathbb Z}^n\)-graded finitely generated \(S\)-module. If \(m\in M\) is a \({\mathbb Z}^n\)-homogeneous element and \(Z\subset \{x_1\dots,x_n\}\) then \(mK[Z]\) is a Stanley space if it is free over \(K[Z]\). A decomposition \(\mathcal D\) of \(M\) as a finite direct sum of Stanley spaces \({\mathcal D}:\;\;M=\bigoplus_{i=1}^s m_iK[Z_i]\) is called a Stanley decomposition of \(M\). Stanley conjectured that there exists such \(\mathcal D\) with \(|Z_i|\geq \mathrm{depth}\;M\) for all \(i\). Here the author conjectured that there exists \(\mathcal D\) such that \(|m_i|\leq reg\;M\) for all \(i\). Given a square free \(S\)-module \(M\) in the sense of \textit{K. Yanagawa} [J. Algebra 225, No. 2, 630--645 (2000; Zbl 0981.13011)], it is studied the Alexander dual \(M^{\vee}\) in the sense of \textit{E. Miller} [J. Algebra 231, No. 1, 180--234 (2000; Zbl 0968.13009)]. Prime filtrations of \(M\) correspond bijectively with prime filtrations of \(M^{\vee}\) and the so called square free Stanley decompositions of \(M\) correspond to square free Stanley decompositions of \(M^{\vee}\). It follows that the above conjectures are equivalent on square free \(S\)-modules. \textit{T. Römer} [Osaka J. Math. 38, No. 2, 469--485 (2001; Zbl 0995.13008)] showed that the category of square free \(S\)-modules is equivalent with the category of square free modules over the exterior algebra \(E\) of the \(n\)-dimensional \(K\)-vector space. Thus the above results can be stated also in the frame of square free \(E\)-modules.
    0 references
    0 references
    0 references
    0 references
    0 references
    Stanley depth
    0 references
    regularity
    0 references
    square free modules over polynomial rings
    0 references
    square free modules over exterior algebra
    0 references
    pretty clean filtration
    0 references
    0 references
    0 references
    0 references
    0 references