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

Dorin Popescu, Andrei Zarojanu|arXiv (Cornell University)|Jan 22, 2013

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

ひとこと要約

本稿では、シュタインラー次元が $ d+1 $ 以下であり、かつ単項式イデアル $ I $ が1つの次数 $ d $ の単項式とそれ以上の次数の単項式から最小生成される場合に、商 $ I/J $ の通常の次元が $ d+1 $ 以下に有界である条件を確立する。主な結果は、これらの制約のもとで、$ I/J $ の通常の次元も $ \leq d+1 $ であることを示しており、この特殊ケースにおいてシュタインラー予想を支持する。

ABSTRACT

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

研究の動機と目的

• 平方自由単項式イデアルの商におけるシュタインラー次元と通常の次元の関係を調査すること。
• イデアル $ I $ が次数 $ d $ の生成子を唯一持つ場合に、シュタインラー次元 $ \leq d+1 $ が通常の次元 $ \leq d+1 $ を意味する条件を同定すること。
• $ r $ を $ I $ に含まれる次数 $ d $ の単項式の数とするとき、$ r = 1 $ の場合に、シュタインラー予想の既存の結果を拡張すること。
• 区間分割を用いて $ I \setminus J $ の単項式のposetの構造を分析し、深さ補題などのホモロジー的道具を応用すること。
• 以前に除外されていたケース $ s = q + 1 $ を解決し、$ s \neq q+1 $ でない場合でも、sdepth 条件のもとで深さが有界であることを示すこと。

提案手法

• $ I \setminus J $ における多次数付きposet構造を、整除関係によって順序づける。
• 区間分割 $ \mathcal{P} $ を用いて、シュタインラー次元を各区間の上界の最小次数として定義する。
• $ E $、すなわち $ I \setminus J $ に含まれる高次単項式の集合の生成子数に関する帰納法を用いる。
• $ I/J $ の明示的な分割 $ \mathcal{P} $ を構成し、sdepth $ \geq d+2 $ となるようにして、仮定が破られた場合に矛盾を導く。
• $ I/J $、$ I_n/J_n $、および $ I/(I_n + J) $ のような商を含む完全系列を用い、深さ補題を適用して深さを比較する。
• 単項式集合間の写像 $ h_i $、$ g_i $ を定義し、区間の対応関係を追跡し、sdepth に関する仮定の矛盾を検出する。

実験結果

リサーチクエスチョン

• RQ1 平方自由単項式イデアルの商において、シュタインラー次元 $ \leq d+1 $ が通常の次元 $ \leq d+1 $ を意味する条件は何か？
• RQ2 イデアル $ I $ が1つの次数 $ d $ の単項式と高次単項式から生成され、$ s = q + 1 $（ここで $ s = |B| $、$ q = |C| $）であるとき、$ I/J $ の深さはどのように変化するか？
• RQ3 単項式イデアル $ I/J $ において、$ \operatorname{sdepth}_{S}I/J = d+1 $ という条件が、通常の次元 $ \operatorname{depth}_{S}I/J $ を有界化するのに利用可能か？
• RQ4 仮定 $ \operatorname{sdepth}_{S}I/J = d+1 $ のもとで、$ I/J $ の分割を sdepth $ \geq d+2 $ となるように構成することは可能か？ その場合、矛盾が生じるか？
• RQ5 $ B $ と $ C $、それぞれ $ I \setminus J $ に含まれる次数 $ (d+1) $ と次数 $ (d+2) $ の単項式の集合の構造的性質が、$ I/J $ の深さにどのように影響するか？

主な発見

• イデアル $ I $ が1つの平方自由単項式 $ f $（次数 $ d $）と、次数 $ \geq d+1 $ の他の単項式から最小生成される場合、$ \operatorname{sdepth}_{S}I/J = d+1 $ ならば、$ s \neq q+1 $ のもとで $ \operatorname{depth}_{S}I/J \leq d+1 $ が成り立つ。
• 証明は、高次生成子の数に関する帰納法を用い、仮定として $ I/J $ の sdepth $ \geq d+2 $ である分割が存在すると仮定し、矛盾を導く。
• $ s < q+1 $ の場合、sdepth が $ d+2 $ である分割の存在は矛盾を引き起こし、その結果、sdepth は $ d+1 $ を超えることはできない。これにより、深さは $ \leq d+1 $ に強制される。
• $ s = q + 1 $ の場合、仮定により除外されているが、本稿では、この場合でも sdepth 条件のもとで深さが有界であることを示している。
• 単項式集合間の写像 $ h_i $、$ g_i $ の構成により、区間の対応関係を追跡し、sdepth に関する仮定の矛盾を検出できる。
• 例1.3は、$ \operatorname{sdepth}_{S}I/J = d+2 $ である一方で $ \operatorname{depth}_{S}I/J = d+1 $ である例を示しており、sdepth が深さを上回ることもあるが、本稿は逆の含意に焦点を当てる。