[论文解读] 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

一句话总结

本文建立了多项式环中平方自由单项式理想的幂的 socle 中单项式的次数的精确上界。证明了 $ S/I^k $ 的任意 socle 元素的总次数至多为 $ (k-1)n $，且每个变量的指数上限为 $ k-1 $。主要贡献在于对有限图 $ G $ 的完全刻画，使得边理想 $ I_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 $ 的 socle 中单项式可能的最大次数。
• 刻画有限图 $ G $，使得 $ \operatorname{depth}S/(I_G)^2 = 0 $，其中 $ I_G $ 是 $ G $ 的边理想。
• 研究 $ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ 成立的条件，特别是与 $ I $ 的生成元次数的关系。

提出的方法

• 利用 $ I^k $ 中单项式的次数界限以及平方自由单项式的结构，推导出 socle 元素中指数的上界。
• 对边理想和诱导子图应用组合论证，分析深度条件 $ \operatorname{depth}S/I^2 = 0 $。
• 运用 $ I:{\mathfrak{m}} $ 的概念以及 socle 的向量空间结构，分析成员资格条件。
• 利用 $ 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 = ((k-1)n+1)/k $ 时，存在平方自由单项式理想满足 $ \operatorname{depth}S/I^k = 0 $，且此时使用所有次数为 $ d $ 的平方自由单项式。

实验结果

研究问题

• RQ1 对于平方自由单项式理想 $ I $，$ S/I^k $ 的 socle 元素中各变量可能的最大次数是多少？
• RQ2 对于哪些有限图 $ G $，有 $ \operatorname{depth}S/(I_G)^2 = 0 $？
• RQ3 对于平方自由单项式理想 $ I $，$ x_{[n]}^{k-1} \in \operatorname{Soc}(S/I^k) $ 在什么条件下成立？
• RQ4 生成元次数 $ d $ 如何影响 $ S/I^k $ 的深度？
• RQ5 在什么条件下，$ \operatorname{depth}S/I^k = 0 $ 蕴含对所有 $ \ell \geq k $ 有 $ \operatorname{depth}S/I^\ell = 0 $？

主要发现

• 对于平方自由单项式理想 $ I $，$ S/I^k $ 的任意 socle 元素中，每个变量的指数均不超过 $ 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 $ 本身是一个三角形。