[論文レビュー] Pretty clean monomial ideals and linear quotients

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

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

ひとこと要約

この論文は、線形商を持つ単項式イデアルが強い代数的・組合せ的性質を示すことを確立している。平方自由部分、各成分、最大イデアルとの積はすべて線形商を持つ。本稿では、木型単項式イデアル——木の facet イデアルの一般化——を導入し、それがきれいであることを証明し、その商においてスターリングの分解に関する予想が成り立つことを示している。これは、組合せ的可換代数におけるシェルラビリティおよび成分ごとの線形性に関する結果を統合・拡張するものである。

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.

研究の動機と目的

• 線形商を持つ単項式イデアルの基本的構造的性質を、平方自由部分をとる、または最大イデアルとの積をとるといった操作の下で調査すること。
• 単項式イデアルの木型という概念を導入し、木の facet イデアルを非平方自由な設定に一般化すること。
• 木型イデアルがきれいであることを証明し、その商のスターリングの予想が成り立つことを確立すること。
• クラッターにおける自由頂点性質、ハイパーグラフにおける完全平衡性、ファリディの意味での木構造との間の同値性を明確にすること。
• 準木の facet イデアルがきれいであるかどうかを調べ、またイデアルがきれいでない場合でもスターリングの予想が成り立つ条件を特定すること。

提案手法

• 単項式イデアルにおける線形商の概念を導入・分析し、商イデアルが変数によって生成されるような順序（適切な順序）を定義する。
• 任意の線形商を持つ単項式イデアルに対して、商集合 $ q_{u, ho}(I) $ を保ちつつ、次数を増加させるような適切な順序が常に存在することを証明し、Björner–Wachs の再配列補題を一般化する。
• 線形商を持つイデアルの平方自由部分と各成分が、それぞれ線形商を持つことを示し、これにより成分ごとの線形商を持つことが導かれる。
• 自由変数性質を満たす条件を用いて、木の facet イデアルの一般化として単項式イデアルの木型を定義する。
• 生成元の順序と整合するフィルトレーションを構成することで、自由変数性質を活用し、このようなイデアルがきれいであることを確立する。
• 完全平衡なクラッター、ファリディの意味での木、自由頂点性質の間の同値性を用いて、研究対象のイデアル類を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 線形商を持つ単項式イデアルの生成元の適切な順序を、商集合 $ q_{u, ho}(I) $ を変更せずに次数を増加させるように選べるか？
• RQ2 線形商を持つ単項式イデアルの各成分についても、線形商を持つのか。また、その逆はどのような条件下で成り立つか？
• RQ3 自由変数性質を満たす条件で定義される木型単項式イデアルは常にきれいであるか。そして、これがスターリングの予想（スターリング分解に関する）を意味するか？
• RQ4 自由頂点性質を持つクラッターの完全な特徴づけは可能か。また、これは完全平衡性や木構造とどのように関係するか？
• RQ5 イデアル $ I $ がきれいでない場合でも、$ S/I $ に対してスターリングの予想が成り立つことはあり得るか。そのような場合、どのような条件下で成立するか？

主な発見

• 任意の線形商を持つ単項式イデアル $ I $ に対して、$ I $ の平方自由部分、$ I $ の各成分、および $ rak{m}I $ に対しても線形商が成り立つ。
• 線形商を持つ単項式イデアルの生成元の適切な順序は、常に商集合 $ q_{u, ho}(I) $ を保ちつつ次数を増加させるように選べる。これは、Björner–Wachs の再配列補題を一般化するものである。
• 線形商を持つ任意の単項式イデアルは、成分ごとの線形商を持つ。したがって、成分ごとの線形性を満たす。
• 木型単項式イデアルはきれいである。これは、$ S/I $ に対してスターリングの予想（スターリング分解に関する）が成り立つことを意味する。
• クラッターが自由頂点性質を持つことと、完全平衡であること、およびファリディの意味での木構造であることとは同値である。
• 準木の facet イデアルがきれいでない場合でも、スターリングの予想が成り立つことがある。これは、関連する単体的複体の区間を十分な大きさで分割する構成によって示された。