[论文解读] Depth of some square free monomial ideals

Dorin Popescu, Andrei Zarojanu|arXiv (Cornell University)|Nov 5, 2012

Commutative Algebra and Its Applications参考文献 17被引用 6

一句话总结

本文研究了关于无平方因子单项式理想的斯坦利猜想，证明当一个无平方因子单项式理想 $I$ 由一个变量和高次单项式生成，且 $I/J$ 的斯坦利深度至多为 2 时，在生成元的组合条件较弱的情况下，$I/J$ 的普通深度也至多为 2。主要贡献在于为这一类理想提供了斯坦利深度界蕴含深度界的一个充分条件。

ABSTRACT

Let $I\supsetneq J$ be two square free monomial ideals of a polynomial algebra over a field generated in degree $\geq 1$, resp. $\geq 2$ . Almost always when $I$ contains precisely one variable, the other generators having degrees $\geq 2$, if the Stanley depth of $I/J$ is $\leq 2$ then the usual depth of $I/J$ is $\leq 2$ too, that is the Stanley Conjecture holds in these cases.

研究动机与目标

• 研究斯坦利猜想在 $I$ 由一个变量和更高次单项式生成的无平方因子单项式理想情形下的有效性。
• 确定在何种条件下，$I/J$ 的斯坦利深度 ≤2 蕴含其普通深度 ≤2。
• 通过组合与同调方法，扩展关于单项式理想中深度与斯坦利深度界已有结果。
• 通过分析特定类理想中斯坦利深度与深度之间的相互作用，为证明斯坦利猜想提供新一步。

提出的方法

• 使用柯尔佐尔同调与多分次自由解析，通过同调代数分析 $I/J$ 的深度。
• 在 $I\setminus J$ 中的无平方因子单项式构成的偏序集中，应用基于划分的斯坦利深度定义。
• 对变量数与生成元数进行归纳与情形分析，特别关注 $x_1$ 作为唯一线性生成元的作用。
• 引入关于集合 $B$（$I\setminus J$ 中的次数 2 生成元）与 $C$（$I\setminus J$ 中的次数 3 生成元）的组合条件，以控制深度与斯坦利深度。
• 利用如下事实：若 $\operatorname{sdepth}_{S}I/J = 2$，则任何具有斯坦利深度 2 的 $P_{I\setminus J}$ 的划分必须避开某些区间结构。
• 应用引理 1.1 与命题 1.3，将问题约化为可通过同调准则界定深度的情形。

实验结果

研究问题

• RQ1 在何种条件下，$\operatorname{sdepth}_{S}I/J \leq 2$ 蕴含 $\operatorname{depth}_{S}I/J \leq 2$，对于满足 $I \supsetneq J$ 的无平方因子单项式理想？
• RQ2 集合 $B$（$I\setminus J$ 中的次数 2 单项式）与 $C$（$I\setminus J$ 中的次数 3 单项式）的基数如何影响 $I/J$ 的深度与斯坦利深度？
• RQ3 是否可以在 $I$ 由一个变量和更高次无平方因子单项式生成的情形下验证斯坦利猜想？
• RQ4 集合 $E'$（定义为 $\{a \in E : x_1a \in C\}$）在确定 $I/J$ 的深度中起什么作用？
• RQ5 当定理 1.10 的条件被违反时，是否可能构造出 $P_{I\setminus J}$ 的斯坦利深度为 3 的划分，从而导致矛盾？

主要发现

• 若 $I$ 由 $x_1$ 和 $x_2,\ldots,x_n$ 中的无平方因子单项式集合 $E$（次数为 2）生成，且 $\operatorname{sdepth}_{S}I/J = 2$，则在 $|E''| \leq |C \setminus (x_1, E')|$ 或 $|E''| > |C \setminus (x_1, E')|$ 且 $|B| \neq |C| + 1$ 的条件下，有 $\operatorname{depth}_{S}I/J \leq 2$。
• 证明依赖于反证法：假设 $\operatorname{depth}_{S}I/J > 2$，则可构造出 $I/J$ 的斯坦利划分，其斯坦利深度为 3，与假设 $\operatorname{sdepth}_{S}I/J = 2$ 矛盾。
• 当 $I = (x_1)$ 且 $J = 0$ 时，本文确认 $\operatorname{sdepth}_{S}I = \operatorname{depth}_{S}I = 2$，提供了一个两个不变量相等的明确例子。
• 该结果扩展了先前工作：此前已证明 $\operatorname{sdepth}_{S}I/J \leq 1$ 蕴含 $\operatorname{depth}_{S}I/J \leq 1$，现进一步建立了 $\operatorname{sdepth} = 2$ 情形下的相同蕴含关系。
• 关键技术步骤在于证明：若 $c = x_1x_{n-1}x_n \notin J$，则 $I/J$ 的深度 ≤2，除非在构造斯坦利深度为 3 的划分时产生矛盾。
• 本文建立：若 $C \subset (x_1, B)$，则定理 1.10 中的条件足以确保深度 ≤2，即使 $C$ 不包含于 $x_1$ 与 $B$ 生成的理想中。