[論文レビュー] Lexsegment ideals of Hilbert depth 1

Yi-Huang Shen|arXiv (Cornell University)|Aug 9, 2012

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

ひとこと要約

この論文は、体上の多項式環におけるlexsegmentイデアルがヒルベルトデプス1をもつための条件を特徴づけ、最小生成数に基づく完全な分類を提供する。このようなイデアルがヒルベルトデプス1をもつのは、最小生成数が二項係数 $\binom{n-1}{d-1}$ 以下であるときであり、かつそのときに限ることを示し、さらに多変数設定における平方自由安定イデアルに対してスタンレー予想が成り立つことを証明する。

ABSTRACT

Let $I\subset S=\KK[x_1,...,x_n]$ be a lexsegment ideal, generated by monomials of degree $d$. The main aim of this paper is to characterize when the Hilbert depth of $I$ will be 1, in the standard graded case. In addition to this, we will give an estimate of depth of squarefree monomial ideals, generalizing a result of Popescu. We will also show that Stanley conjecture holds for squarefree stable ideals, in the multigraded case.

研究の動機と目的

• 標準的次数付き設定における多項式環内のlexsegmentイデアルがヒルベルトデプス1をもつ条件を特徴づけること。
• ポプロス쿠の平方自由単項式イデアルのデプスに関する結果を一般化し、ヒルベルトデプス技法を用いた推定を提供すること。
• 多変数設定における平方自由安定イデアルに対してスタンレー予想が成り立つかどうかを調査すること。
• 強安定イデアルとその平方自由対応物の間のギル・カライ対応を通じて、スタンレー・デプスとヒルベルトデプスの関係を明らかにすること。

提案手法

• ギル・カライ対応を用いて強安定イデアルとその平方自由対応物を関連づけ、デプスの性質の移行を可能にする。
• ヒルベルトデプス技法を用いて、同じヒルベルト系列をもつ加群の分解を分析する。特に、lexsegmentイデアルに対して適用する。
• lexsegmentイデアルの構造（n個の変数における固定次数dの単項式によって生成）を、辞書式順序を用いて活用する。
• 変数の数nに関する帰納法を用いて、平方自由安定イデアルのスタンレー予想を証明し、次元を下げる。
• クリーン加群および非純粋シェーリング可能複体に関する既知の結果を適用し、平方自由強安定イデアルに対してスタンレー・デプスがデプスに等しいことを導く。
• 不等式 $\operatorname{sdepth}_n(I) \geq n - \lfloor \mu(I)/2 \rfloor$ を、デプスの上限に関する予想の裏付けとして用いる。

実験結果

リサーチクエスチョン

• RQ1 多項式環 $I \subset S = \mathbb{K}[x_1,\dots,x_n]$ 内のlexsegmentイデアルが標準的次数付き設定でヒルベルトデプス1をもつのはいつか？
• RQ2 平方自由単項式イデアル $J \subset I$ に対して、商 $I/J$ のデプスをヒルベルトデプス技法を用いて推定できるか？
• RQ3 多変数設定における平方自由安定イデアルに対してスタンレー予想は成り立つか？
• RQ4 ヒルベルトデプス1の特徴づけ（最小生成数に依存）の逆は成り立つか？
• RQ5 最小生成数の関数として、lexsegmentイデアルのヒルベルトデプスはどのように振る舞うか？

主な発見

• lexsegmentイデアル $I$ がヒルベルトデプス1をもつのは、$I$ の最小生成数 $\mu(I)$ が $\binom{n-1}{d-1}$ 以下であるときであり、かつそのときに限る。ここで $d$ は生成元の共通次数である。
• 論文は、$J \subset I$ が平方自由単項式イデアルであるとき、$I/J$ のデプスを推定する十分条件を提供し、ポプロス쿠の結果を一般化する。
• 平方自由安定イデアルに対してスタンレー予想が成り立つ：$\operatorname{sdepth}_n(I) \geq \operatorname{depth}(I)$ であり、帰納法と次元を下げる手法を用いて証明される。
• 平方自由強安定イデアルに対して、スタンレー・レイズナー複体はシフトされ、非純粋シェーリング可能であるため、$\operatorname{sdepth}_n(S/I) = \operatorname{depth}(S/I)$ が成り立ち、予想を支持する。
• 不等式 $\operatorname{sdepth}_n(I) \geq n - \lfloor \mu(I)/2 \rfloor$ は、$\mu(I) \leq 2n-3$ ならば $\operatorname{sdepth}_n(I) \geq 2$ を意味し、さらなる予想の裏付けとなる。
• 予想5.5では、計算的証拠に基づき、lexsegmentイデアルのヒルベルトデプスが最小生成数の減少関数であると提案している。