[論文レビュー] Stanley depth of powers of the path ideal

Alin Ştefan|arXiv (Cornell University)|Sep 22, 2014

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

ひとこと要約

本稿は、多項式環におけるパスイデアルの冪の商のスターリング次元について、閉形式の公式を確立し、$2 \leq t \leq n-3$ の場合に $⌈ \frac{n-t+1}{3} ⌉$ に等しいことを証明している。$t \geq n-2$ の場合には、スターリング次元は1に安定する。この結果は、ブローマンの深さの安定性に関する定理に類似しており、パスイデアルの冪においてスターリング次元が深さと同様に振る舞うことを確認している。

ABSTRACT

The aim of this paper is to give a formula for the Stanley depth of quotient of powers of the path ideal. As a consequence, we establish that the behaivior of the Stanley depth of quotient of powers of the path ideal is the same as a classical result of Brodmann on depth.

研究の動機と目的

• 商環 $S/I(P_n)^t$ のパスイデアルの冪のスターリング次元を特定すること。
• 理想冪の深さの安定性に関するブローマンの定理に類似した公式を確立すること。
• スターリング次元が $t \geq n-2$ のとき $S/I(P_n)^t$ に1に安定することを証明し、深さの振る舞いと類似させること。
• 単項イデアルに対するスターリング次元に関する既知の結果を、パスイデアルおよびその冪の状況に拡張すること。

提案手法

• 商環 $S/I(P_n)^t$ の特徴的ポセットを用いてスターリング分解を分析する。
• $n$ および $t$ についての帰納的推論を、コロンおよびイデアル商を含む短完全系列を用いて行う。
• 補題3（完全系列におけるsdepth）を適用して、スターリング次元の下界を評価する。
• poset $\mathcal{P}$ を区間 $[F_i, G_i]$ への明示的分割によって構成し、sdepth の上界を導出する。
• poset の成分における未被覆要素に基づく背理法を用いて、上界を証明する。
• ヘルツォーグ、ブローディウ、 Zheng のアルゴリズム的手法を用いて、poset の分解を通じてsdepthを計算する。

実験結果

リサーチクエスチョン

• RQ1 すべての $t \geq 1$ に対して、$S/I(P_n)^t$ のスターリング次元の正確な値は何か？
• RQ2 $t$ が大きい場合に、$S/I(P_n)^t$ のスターリング次元は、深さと同様に安定するか？
• RQ3 パスイデアルの冪におけるスターリング次元の振る舞いは、閉形式の公式で記述可能か？
• RQ4 スターリング次限の $S/I(P_n)^t$ は、モアリーの研究による深さの既知の下界とどのように比較できるか？

主な発見

• $2 \leq t \leq n-3$ の場合、$S/I(P_n)^t$ のスターリング次元は正確に $\left\lceil \frac{n-t+1}{3} \right\rceil$ に等しい。
• $t \geq n-2$ の場合、$S/I(P_n)^t$ のスターリング次元は1に安定する。
• すべての $t \geq 1$ に対して、$sdepth(S/I(P_n)^t) = \max\left\{ \left\lceil \frac{n-t+1}{3} \right\rceil, 1 \right\}$ が成り立つ。
• パスイデアルの冪におけるスターリング次元の振る舞いは、ブローマンの深さの安定性に関する結果と一致する。
• 上界は、重要な成分における未被覆要素に基づく背理法によって証明され、poset の分解において示される。
• この結果は、パスイデアルにおいてスターリング次元が深さと同様に振る舞うことを確認しており、このクラスにおけるスターリング予想を支持する。