[論文レビュー] Three generated, squarefree, monomial ideals

Dorin Popescu, Andrei Zarojanu|arXiv (Cornell University)|Jul 31, 2013

Commutative Algebra and Its Applications参考文献 22被引用数 4

ひとこと要約

この論文は、体上の多項式環における3生成、平方自由単項式イデアル $I \supsetneq J$ に対して、$I/J$ のスターリング次元が $d+1$ 以下であるならば、その通常の次元も $d+1$ 以下であることを証明する。この結果により、任意の体の特徴に関する場合を含め、3生成、平方自由の設定で、生成元の次数が $d$ のとき、スターリング次元が通常の次元を下から抑えていることが示され、スターリング予想の重要なケースを確立する。

ABSTRACT

Let $I\supsetneq J$ be two squarefree monomial ideals of a polynomial algebra over a field generated in degree $\geq d$, resp. $\geq d+1$ . Suppose that $I$ is generated by three monomials of degrees $d$. If the Stanley depth of $I/J$ is $\leq d+1$ then the usual depth of $I/J$ is $\leq d+1$ too.

研究の動機と目的

• 3つの最小生成元と次数 $d$ を持つ平方自由単項式イデアルにおけるスターリング次元と通常の次元の関係を調査すること。
• 3生成、平方自由単項式イデアルの場合におけるスターリング予想の弱化形を検証すること。
• イデアル $I/J$ のスターリング次元が $d+1$ で有界であるならば、その通常の次元も $d+1$ で有界であることを示すこと、これは体の特徴に依存しない。
• 組合せ論的および代数的技法を用いて、単項式イデアルにおけるスターリング次元と次元の境界に関する既知の結果を拡張すること。
• 条件が与えられた下で $\operatorname{sdepth} I/J = d+1$ ならば $\operatorname{depth} I/J \leq d+1$ であると主張する予想1.4の部分的証明を提供すること。

提案手法

• スターリング分解と $I \setminus J$ の平方自由単項式の半順序集合を用いて、スターリング次元を定義・分析する。
• スターリング次元と半順序集合 $P_{I\setminus J}$ を区間 $[u,v]$ に分割することの同値性を適用し、$\operatorname{sdepth} \mathcal{P} = \min \operatorname{deg} v_i$ と定める。
• 次数 $d+1$ の生成元の数に関する帰納法を用い、深さ補題を用いて簡単化されたケースに還元する。
• ヒルベルト次元とコシュールホモロジーの技法を用い、特に Shen [20] と Popescu [16] の結果を活用して、特徴に依存しない形で次元を境界づける。
• 二部グラフの文脈でハルの結婚定理を適用し、半順序集合内の特定の経路や区間の存在を分析する。
• 多重次数同型を用いて、$I$ が1つまたは3つの次数$d$ の単項式で生成され、$J$ が次数 $\geq d+1$ で生成される場合に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 3生成、平方自由単項式イデアルにおいて、$I/J$ のスターリング次元が $d+1$ 以下であるならば、その通常の次元も $d+1$ 以下であるか？
• RQ2 3つの最小生成元が次数 $d$ を持つ場合に、$\operatorname{sdepth} I/J = d+1$ ならば $\operatorname{depth} I/J \leq d+1$ であるという予想を検証できるか？
• RQ3 $I \setminus J$ における次数$d$ と次数$(d+1)$ の単項式の数の関係は、$I/J$ の次元にどのように影響するか？
• RQ4 半順序集合の分割や二部グラフ内の経路といった組合せ論的構造は、$I/J$ のスターリング次元と次元にどのように影響するか？
• RQ5 スターリング次元および関連不変量を用いて、体の特徴に依存しない形で、$I/J$ の次元をどの程度まで境界づけられるか？

主な発見

• $I$ が3生成、平方自由単項式イデアルで、生成元の次数が $d$ であり、$J$ が次数 $\geq d+1$ で生成されるならば、$\operatorname{sdepth}_S I/J \leq d+1$ ならば $\operatorname{depth}_S I/J \leq d+1$ である。
• この結果は、底となる体 $K$ の特徴にかかわらず成り立つ。これは、特徴に依存しない既存の次元境界を拡張する。
• 証明は、次数 $d+1$ の生成元の数に関する帰納法に依存し、$I$ が1つまたは3つの次数$d$ の単項式で生成される場合に還元される。
• 主要な技術的ステップは、部分イデアル $I^\prime$ に対して $\operatorname{sdepth}_{S} I^\prime/J^\prime \leq d+1$ ならば $\operatorname{depth}_{S} I^\prime/J^\prime \leq d+1$ であることを示すことであり、これには定理1.3と深さ補題を用いる。
• 半順序集合 $P_{I\setminus J}$ における最大の悪路の存在が、より高いスターリング次元を持つ分割の構成に用いられ、$\operatorname{sdepth} I/J = d+1$ の場合に矛盾を引き起こす。
• $k=1$（次数$d$ の生成元が1つ）の場合は補題2.2で処理され、$k=3$ かつ $H=\emptyset$ の場合は命題5.2と $|E|$ に関する帰納法で解決される。