[論文レビュー] Stanley decompositions and localization

Sumiya Nasir|ArXiv.org|May 5, 2008

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

ひとこと要約

この論文は、体上の多項式環における変数に関する局所化の下でのStanley深さの振る舞いを調査する。局所化環 $ T/\varphi(I) $ のStanley深さについて、ここで $ \varphi $ は変数を 1 に写像するものであるが、$ \operatorname{sdepth}T/\varphi(I) \geq \operatorname{sdepth}S/I - 1 $ を満たすことが示され、この不等式が一部のケースで厳密であるか、逆転することすらあり得ることを証明する。結果は単体的複体を通じてStanley-Reisner環へと拡張され、$ \operatorname{sdepth}K[\operatorname{link}_\Delta(\{n\})] \geq \operatorname{sdepth}K[\Delta] - 1 $ を得る。また、きれいなフィルトレーション（pretty clean filtration）が局所化のもとで保存されることを示し、局所化された設定においてStanley予想が成立することを支持する。

ABSTRACT

We study the behavior of Stanley depth under the operation of localization with respect to a variable.

研究の動機と目的

• 多項式環における1つの変数に関する局所化の下で、Stanley深さがどのように変化するかを分析すること。
• Stanleyの予想（sdepth ≥ depth）が局所化のもとで保存されるかどうかを調査すること。
• 局所化写像 φ における素イデアルフィルトレーションとStanley分解の関係を探索すること。
• 特に平方自由単項式イデアルに対して、局所化された環におけるStanley深さの不等式を確立すること。
• 特に頂点に関するリンク作用を介して、単体的複体の観点から結果を解釈すること。

提案手法

• 変数 $ x_1,\dots,x_{n-1} $ を固定し、$ x_n \mapsto 1 $ を写像する $ K $-代数準同型 $ \varphi: S \to T $ を定義し、これは $ x_n $ における局所化をモデル化する。
• 局所化におけるイデアルと加群の関係を調べるために、平坦拡張 $ T \to K[x_n,x_n^{-1}]\otimes_k T = S_{x_n} $ を用いる。
• S/I の素イデアルフィルトレーションが $ \varphi $ によってどのように変化するかを分析し、$ x_n \notin P_j $ を満たす成分は保存され、$ x_n \in P_j $ を満たす成分は消えることを示す。
• T/φ(I) に誘導されるフィルトレーションが、次数構造と深さ性質を保存することを証明する。
• S/I のStanley分解とその $ \varphi $ による像を構成し、sdepth 値を比較する。
• 結果をStanley-Reisner環に適用し、単体的複体における頂点のリンクを用いて、$ \varphi(I) $ を $ I_{\text{link}(\Delta)}(\{n\}) $ として解釈する。

実験結果

リサーチクエスチョン

• RQ1 多項式環における単項式環 $ S/I $ のStanley深さは、変数 $ x_n $ における局所化によってどのように変化するか？
• RQ2 きれいなフィルトレーション（素イデアルフィルトレーションの一種）は局所化のもとで保存されるか？
• RQ3 不等式 $ \operatorname{sdepth}(T/\varphi(I)) \geq \operatorname{sdepth}(S/I) - 1 $ は、厳密に成り立つ場合があるか、あるいは逆転することすらあるか？
• RQ4 単体的複体 $ \Delta $ に対して、$ \operatorname{sdepth}(K[\Delta]) $ と $ \operatorname{sdepth}(K[\operatorname{link}_\Delta(\{n\})]) $ の関係は何か？
• RQ5 元の環でStanleyの予想（sdepth ≥ depth）が成り立つならば、局所化された環に対しても成り立つか？

主な発見

• 局所化環 $ T/\varphi(I) $ のStanley深さは不等式 $ \operatorname{sdepth}(T/\varphi(I)) \geq \operatorname{sdepth}(S/I) - 1 $ を満たす。
• $ \operatorname{sdepth}(T/\varphi(I)) > \operatorname{sdepth}(S/I) $ となる例が存在し、不等式が厳密に成り立つこと、さらには逆転することすらあり得ることを示す。
• 体 $ K[x,y,z,w] $ 上のイデアル $ I = (xy,xz,xw) $ に対して、$ \operatorname{sdepth}(S/I) = 1 $ であるが、$ \operatorname{sdepth}(T/\varphi(I)) = 2 $ であるため、逆不等式が可能であることを確認する。
• きれいなフィルトレーションの局所化は、依然としてきれいなフィルトレーションのままであるため、Stanley予想が局所化のもとで保存されることを示唆する。
• 単体的複体 $ \Delta $ に対して、リンク複体のStanley深さは $ \operatorname{sdepth}(K[\operatorname{link}_\Delta(\{n\})]) \geq \operatorname{sdepth}(K[\Delta]) - 1 $ を満たす。
• より一般に、任意の部分集合 $ F \subset [n] $ に対して、$ \operatorname{sdepth}(K[\operatorname{link}_\Delta(F)]) \geq \operatorname{sdepth}(K[\Delta]) - |F| $ が成り立ち、この結果を複数の頂点のリンクへと拡張する。