[论文解读] Depth and minimal number of generators of square free monomial ideals

Dorin Popescu|arXiv (Cornell University)|Jul 13, 2011

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

一句话总结

该论文基于多项式环 $S = K[x_1, \dots, x_n]$ 中一个无平方因子单项式理想 $I$ 所含的无平方因子单项式在次数 $d$ 上的数量，建立了其深度至多为 $d$ 的充分条件。若 $I$ 在次数 $\geq d$ 上生成，且包含超过 $\frac{n-d}{n-d+1}\binom{n}{d}$ 个次数为 $d$ 的单项式，则 $\operatorname{depth}_S I \leq d$，且在给定条件下等式成立，从而在该情形下支持了斯坦利猜想。

ABSTRACT

Let $I$ be an ideal of a polynomial algebra $S$ over a field generated by square free monomials of degree $\geq d$. If $I$ contains more monomials of degree $d$ than $(n-d)/(n-d+1)$ of the total number of square free monomials of $S$ of degree $d+1$ then $\depth_SI\leq d$, in particular the Stanley's Conjecture holds in this case.

研究动机与目标

• 建立关于单项式理想中次数为 $d$ 的无平方因子单项式数量的充分条件，以界定其深度。
• 证明若次数为 $d$ 的生成元数量超过某一阈值，则理想深度至多为 $d$，从而在该情况下支持斯坦利猜想。
• 通过理想商与局部化技术，提供深度界的一个简洁归纳证明。
• 通过例如通过变量乘积定义的 $I_n$ 理想等构造，证明深度界在某些情形下是紧的。

提出的方法

• 对变量数 $n$ 进行归纳，分析 $I \cap (x_i)$ 的结构，将次数为 $d$ 的单项式数量与低维环中的数量关联起来。
• 利用理想商 $(I:x_i)$ 将问题约化到更小的多项式环 $S' = K[x_2, \dots, x_n]$ 上，从而应用归纳假设。
• 通过在集合 $A_i$（即被 $x_i$ 整除的次数为 $d$ 的单项式）上使用容斥原理进行双重计数，若存在过多单项式则导致矛盾。
• 利用涉及 $S/L_n$、$S/I_n$ 及其商的正合列，通过深度引理计算深度。
• 通过将无平方因子单项式的偏序集划分为区间来定义斯坦利深度，并对示例进行计算。
• 通过比较示例中的深度与斯坦利深度，表明即使斯坦利猜想成立，深度 $\leq$ 斯坦利深度的关系也可能严格成立。

实验结果

研究问题

• RQ1 在单项式理想 $I$ 中，关于其次数为 $d$ 的无平方因子单项式的数量，满足何种条件可保证 $\operatorname{depth}_S I \leq d$？
• RQ2 条件 $\rho_d(I) > \frac{n-d}{n-d+1}\binom{n}{d}$ 是否意味着斯坦利猜想对 $I$ 成立？
• RQ3 能否仅通过固定次数的极小生成元数量来界定无平方因子单项式理想的深度？
• RQ4 深度界 $\operatorname{depth}_S I \leq d$ 是否是紧的？即使生成元数量相对于 $\binom{n}{d+1}$ 较少，该界是否仍可实现？
• RQ5 在深度被 $d$ 控制的情形下，斯坦利深度与实际深度相比如何？

主要发现

• 若 $I$ 由次数 $\geq d$ 的无平方因子单项式生成，且包含超过 $\frac{n-d}{n-d+1}\binom{n}{d}$ 个次数为 $d$ 的单项式，则 $\operatorname{depth}_S I \leq d$，且在给定条件下等式成立。
• 该界是紧的：当 $n=3$ 时，理想 $I = (x_1x_2, x_2x_3)$ 满足 $\mu(I) = 2 > \frac{1}{2}\binom{3}{2} = 1.5$，且 $\operatorname{depth}_S I = 2$。
• 当 $n=5$ 时，理想 $I = (x_1x_2, x_1x_3, \dots, x_4x_5)$ 满足 $\mu(I) = 8 > \frac{3}{4}\binom{5}{2} = 7.5$，且 $\operatorname{depth}_S I = 2$，验证了该界。
• 通过构造 $I_n = (f_1, \dots, f_n)$，其中 $f_i = w/(x_i x_{i+1})$，$w = \prod x_i$，得到一个理想满足 $\mu(I_n) = n = \binom{n}{n-1}$，且 $\operatorname{depth}_S I_n = n-2$，表明该界是紧的。
• 在例 5 中，$\operatorname{depth}_S I = 2$ 但 $\operatorname{sdepth}_S I = 3$，表明斯坦利深度可超过深度，即使深度界成立。