[論文レビュー] Bounding the socles of powers of squarefree monomial ideals

Jürgen Herzog, Takayuki Hibi|arXiv (Cornell University)|Aug 25, 2013

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

ひとこと要約

この論文は、多項式環における平方自由単項式イデアルの冪の極小部分の単項式の次数に関する鋭い上界を確立する。$ S/I^k $ の任意の極小部分要素は、全次数が高々 $ (k-1)n $ であり、各変数の指数は $ k-1 $ 以下である。主な貢献は、$ I_G $ の第二冪の深さがゼロとなる有限グラフ $ G $ を完全に特徴づけることであり、これは $ G $ がすべての頂点が三角形に隣接する連結グラフであるときに限り成立する。また、$ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ であることは、$ G $ が三角形であることにちょうど一致する。

ABSTRACT

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I\subset S$ a squarefree monomial ideal. In the present paper we are interested in the monomials $u \in S$ belonging to the socle $\Soc(S/I^{k})$ of $S/I^{k}$, i.e., $u ot\in I^{k}$ and $ux_{i} \in I^{k}$ for $1 \leq i \leq n$. We prove that if a monomial $x_1^{a_1}\cdots x_n^{a_n}$ belongs to $\Soc(S/I^{k})$, then $a_i\leq k-1$ for all $1 \leq i \leq n$. We then discuss squarefree monomial ideals $I \subset S$ for which $x_{[n]}^{k-1} \in \Soc(S/I^{k})$, where $x_{[n]} = x_{1}x_{2}\cdots x_{n}$. Furthermore, we give a combinatorial characterization of finite graphs $G$ on $[n] = \{1, \ldots, n\}$ for which $\depth S/(I_{G})^{2}=0$, where $I_{G}$ is the edge ideal of $G$.

研究の動機と目的

• 平方自由単項式イデアル $ I $ に対して、$ S/I^k $ の極小部分の単項式の最大次数を特定すること。
• 有限グラフ $ G $ を特徴づけること、ただし $ \operatorname{depth}S/(I_G)^2 = 0 $ である。ここで $ I_G $ は $ G $ の辺イデアルである。
• $ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ となる条件を調査すること、特に $ I $ の生成子の次数との関係を含む。

提案手法

• 単項式 $ I^k $ の次数の上限と平方自由単項式の構造を用いて、極小部分要素における指数の上界を導出する。
• 辺イデアルと誘導部分グラフに関する組合せ的議論を用いて、深さ条件 $ \operatorname{depth}S/I^2 = 0 $ を分析する。
• 極小部分のベクトル空間構造と $ I:{\mathfrak{m}} $ の概念を用いて、属する条件を分析する。
• $ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ であることは、$ x_{[n]}^{k-1} \not\in I^k $ であることと同値であるという事実を活用し、問題をイデアル属する問題に還元する。
• サイズ $ d $ の集合の共通部分集合に関する帰納法を用いて、$ d > ((k-1)n+1)/k $ ならば $ I^k $ がすべての次数 $ kd $ の単項式を含むことを証明し、$ \operatorname{depth}S/I^k > 0 $ を示す。
• すべてのサイズ $ d $ の平方自由単項式を用いて、$ \operatorname{depth}S/I^k = 0 $ となる具体的な例を構成する。

実験結果

リサーチクエスチョン

• RQ1 平方自由単項式イデアル $ I $ に対して、$ S/I^k $ の極小部分要素における個々の変数の最大次数は何か？
• RQ2 どの有限グラフ $ G $ に対して $ \operatorname{depth}S/(I_G)^2 = 0 $ が成り立つか？
• RQ3 平方自由単項式イデアル $ I $ に対して、$ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ が成り立つのはいつか？
• RQ4 $ I $ の生成次数 $ d $ は、$ S/I^k $ の深さにどのように影響するか？
• RQ5 $ \operatorname{depth}S/I^k = 0 $ が成り立つとき、すべての $ \ell \geq k $ に対して $ \operatorname{depth}S/I^\ell = 0 $ が成り立つのはどのような条件下か？

主な発見

• $ S/I^k $ の極小部分要素に対して、平方自由単項式イデアル $ I $ では、各変数の指数は $ k-1 $ 以下である。つまり、すべての $ i $ に対して $ a_i \leq k-1 $ である。
• 単項式 $ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ であることは、$ x_{[n]}^{k-1} \not\in I^k $ であることと同値であり、$ S/I^k $ の深さゼロを特徴づける重要な基準を提供する。
• $ d > ((k-1)n+1)/k $ ならば $ \operatorname{depth}S/I^k > 0 $ である。これは、高い生成次数が正の深さを強制することを示している。
• $ d = ((k-1)n+1)/k $ のとき、$ \operatorname{depth}S/I^k = 0 $ となる平方自由単項式イデアルが存在する。このような場合、$ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ であり、すべての $ \ell \geq k $ に対して $ \operatorname{depth}S/I^\ell = 0 $ である。
• 辺イデアル $ I_G $ に対して、$ \operatorname{depth}S/I_G^2 = 0 $ であることは、$ G $ が連結で、かつすべての頂点が三角形（3サイクル）に隣接していることと同値である。
• グラフ $ G $ に対して、$ x_{[n]} \in \operatorname{Soc}(S/I_G^2) $ であることは、$ G $ が自身で三角形であることにちょうど一致する。