[论文解读] Pretty clean monomial ideals and linear quotients

Ali Soleyman Jahan, Xinxian Zheng|ArXiv.org|Jul 19, 2007

Commutative Algebra and Its Applications参考文献 19被引用 8

一句话总结

本文证明了具有线性商的单项式理想展现出强烈的代数与组合性质：其平方自由部分、每个分量以及与极大理想的乘积均继承线性商性质。本文引入了森林型单项式理想——对森林的面理想进行推广——并证明其为漂亮的洁净理想，从而验证了其商对斯坦利分解猜想成立。该研究统一并拓展了组合交换代数中关于可壳化与分量线性性的结果。

ABSTRACT

We study basic properties of monomial ideals with linear quotients. It is shown that if the monomial ideal $I$ has linear quotients, then the squarefree part of $I$ and each component of $I$ as well as $\mm I$ have linear quotients, where $\mm$ is the graded maximal ideal of the polynomial ring. As an analogy to the Rearrangement Lemma of Björner and Wachs we also show that for a monomial ideal with linear quotients the admissible order of the generators can be chosen degree increasingly. As a generalization of the facet ideal of a forest, we define monomial ideals of forest type and show that they are pretty clean. This result recovers a recent result of Tuly and Villarreal about the shellability of a clutter with the free vertex property. As another consequence of this result we show that if $I$ is a monomial ideal of forest type, then Stanley's conjecture on Stanley decomposition holds for $S/I$. We also show that a clutter is totally balanced if and only if it has the free vertex property.

研究动机与目标

• 研究具有线性商的单项式理想的基本结构性质，特别是其在取平方自由部分或与极大理想相乘等操作下的表现。
• 通过森林型单项式理想的概念，将森林的面理想推广至非平方自由情形。
• 证明森林型理想为漂亮洁净理想，从而确立其相关商对斯坦利分解猜想的成立。
• 阐明杂类中自由顶点性质、超图中的完全平衡性以及法里迪意义下的森林结构之间的等价关系。
• 探讨拟森林的面理想是否为洁净理想，并确定斯坦利猜想在理想非洁净时仍成立的条件。

提出的方法

• 引入并分析单项式理想中线性商的概念，定义列理想由变量生成的可接受序。
• 证明对于任意具有线性商的单项式理想，总存在一个保持商集不变的、按次数递增的可接受序，从而推广了 Björner–Wachs 重排引理。
• 证明具有线性商的理想的平方自由部分及其每个分量也具有线性商，从而导出分量线性商性质。
• 将森林型单项式理想定义为森林面理想的推广，基于自由变量性质条件。
• 通过构造与生成元顺序相容的滤过结构，利用自由变量性质，证明此类理想为漂亮洁净。
• 利用完全平衡杂类、法里迪意义下的森林以及自由顶点性质之间的等价性，对所研究的理想类进行刻画。

实验结果

研究问题

• RQ1 能否为具有线性商的单项式理想的生成元选择一个次数递增的可接受序，而不改变商集？
• RQ2 具有线性商的单项式理想的每个分量是否也具有线性商？反之在何种条件下成立？
• RQ3 通过自由变量性质定义的森林型单项式理想是否总是漂亮洁净？这是否意味着斯坦利猜想在斯坦利分解中成立？
• RQ4 是否存在对具有自由顶点性质的杂类的完整刻画？其与完全平衡性及森林结构有何关联？
• RQ5 当 $ I $ 不是洁净理想时，斯坦利猜想是否仍可在 $ S/I $ 上成立？若成立，其条件为何？

主要发现

• 对于任意具有线性商的单项式理想 $ I $，其平方自由部分、$ I $ 的每个分量以及乘积 $ rak{m}I $ 也都具有线性商。
• 对于具有线性商的单项式理想，其生成元的可接受序总可选择为次数递增，且保持商集 $ q_{u, ho}(I) $ 不变，从而推广了 Björner–Wachs 重排引理。
• 每个具有线性商的单项式理想均具有分量线性商，因此也是分量线性理想。
• 森林型单项式理想为漂亮洁净理想，这意味着斯坦利猜想在 $ S/I $ 上成立。
• 一个杂类具有自由顶点性质当且仅当其为完全平衡的，且这与法里迪意义下的森林结构等价。
• 即使某拟森林的面理想并非洁净，斯坦利猜想仍可能成立，如通过构造关联单纯复形的区间划分（其区间大小足够）所示。