[論文レビュー] Depth of some square free monomial ideals

Dorin Popescu, Andrei Zarojanu|arXiv (Cornell University)|Nov 5, 2012

Commutative Algebra and Its Applications参考文献 17被引用数 6

ひとこと要約

本稿は、平方自由単項式イデアルにおけるStanley予想を調査し、単一の変数と高次単項式から生成される平方自由単項式イデアル $I$ において、$I/J$ のStanley次元が2以下である場合、生成子に関するやや弱い組合せ的条件のもとで、通常の次元（depth）も2以下であることを証明する。主な貢献は、このクラスのイデアルにおいて、Stanley次元の上界が通常の次元の上界を示す十分条件を特定することにある。

ABSTRACT

Let $I\supsetneq J$ be two square free monomial ideals of a polynomial algebra over a field generated in degree $\geq 1$, resp. $\geq 2$ . Almost always when $I$ contains precisely one variable, the other generators having degrees $\geq 2$, if the Stanley depth of $I/J$ is $\leq 2$ then the usual depth of $I/J$ is $\leq 2$ too, that is the Stanley Conjecture holds in these cases.

研究の動機と目的

• 平方自由単項式イデアルにおいて、$I$ が1つの変数と高次単項式から生成される場合のStanley予想の妥当性を調査すること。
• $I/J$ のStanley次元が ≤2 である場合に、通常の次元が同様に ≤2 である条件を特定すること。
• 組合せ論的およびホモロジー代数的技法を用いて、単項式イデアルにおける次元とStanley次元の上界に関する既存の結果を拡張すること。
• 特定のクラスのイデアルにおけるStanley次元と次元の相関関係を分析することで、Stanley予想の証明に向けた新たな一歩を提供すること。

提案手法

• Koszulホモロジーと多重次数自由分解を用いて、ホモロジー代数的手法により $I/J$ の次元を分析する。
• $I\setminus J$ の平方自由単項式のposetにおける分割に基づくStanley次元の定義を適用する。
• 特に $x_1$ が唯一の線形生成子である役割に注目し、変数および生成子の数に関する帰納法と場合分けを用いる。
• $B$（$I\setminus J$ の次数2生成子の集合）および $C$（$I\setminus J$ の次数3生成子の集合）に対する組合せ的条件を導入し、次元とStanley次元を制御する。
• $\operatorname{sdepth}_{S}I/J = 2$ ならば、任意の $P_{I\setminus J}$ のposetに対するStanley分割で、特定の区間構造を避ける必要があるという事実を活用する。
• Lemma 1.1 および Proposition 1.3 を用いて、問題をホモロジー的基準により次元が有界となる場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 平方自由単項式イデアル $I \supsetneq J$ に対して、$\operatorname{sdepth}_{S}I/J \leq 2$ が成り立つ場合、どのような条件下で $\operatorname{depth}_{S}I/J \leq 2$ が成立するか？
• RQ2 $B$（$I\setminus J$ の次数2単項式）および $C$（$I\setminus J$ の次数3単項式）の濃度が $I/J$ の次元およびStanley次元に与える影響は何か？
• RQ3 $I$ が1つの変数と高次平方自由単項式から生成される場合、Stanley予想を検証できるか？
• RQ4 $E'$ を $\{a \in E : x_1a \in C\}$ として定義するとき、$E'$ は $I/J$ の次元を決定づける役割を果たすか？
• RQ5 Theorem 1.10 の条件が満たされない場合、poset $P_{I\setminus J}$ に対してStanley次元3の分割を構成可能であり、それが矛盾を引き起こす可能性はあるか？

主な発見

• $I$ が $x_1$ と $x_2,\ldots,x_n$ の平方自由単項式からなる $E$ の集合によって生成され、$\operatorname{sdepth}_{S}I/J = 2$ であるとき、$|E''| \leq |C \setminus (x_1, E')|$ または $|E''| > |C \setminus (x_1, E')|$ かつ $|B| \neq |C| + 1$ の条件下で、$\operatorname{depth}_{S}I/J \leq 2$ が成り立つ。
• 証明は背理法に依拠している：$\operatorname{depth}_{S}I/J > 2$ を仮定すると、Stanley次元3の分割が構成可能であり、これは $\operatorname{sdepth}_{S}I/J = 2$ という仮定に矛盾する。
• $I = (x_1)$ かつ $J = 0$ の場合、$\operatorname{sdepth}_{S}I = \operatorname{depth}_{S}I = 2$ であることが確認され、両不変量が一致する具体的な例が得られる。
• 以前の結果（$\operatorname{sdepth}_{S}I/J \leq 1$ ならば $\operatorname{depth}_{S}I/J \leq 1$）を拡張し、今や $\operatorname{sdepth} = 2$ の場合にも同様の含意が成立することを示している。
• 主な技術的ステップは、$c = x_1x_{n-1}x_n \notin J$ ならば、$I/J$ の次元が2以下であるか、さもなければStanley次元3の分割の構成から矛盾が生じることを示すことにある。
• もし $C \subset (x_1, B)$ ならば、Theorem 1.10 の条件は、$C$ が $x_1$ と $B$ で生成されるイデアルに含まれない場合でも、次元 ≤2 を保証するのに十分であることが示された。