[论文解读] On the Stanley Depth of Squarefree Veronese Ideals

Mitchel T. Keller, Yi-Huang Shen+2 more|ArXiv.org|Oct 24, 2009

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

一句话总结

该论文通过组合序集划分方法，为多项式环 $S = K[x_1,\dots,x_n]$ 中的平方自由 Veronese 理想 $I_{n,d}$ 建立了精确且有界的斯坦利深度公式。证明了当 $n < 5d + 4$ 时，斯坦利深度恰好为 $\left\lfloor \binom{n}{d+1} \cdot \binom{n}{d} \right\rfloor + d$；当 $n \geq 5d + 4$ 时，其深度介于 $d+3$ 与 $\left\lfloor \binom{n}{d+1} \cdot \binom{n}{d} \right\rfloor + d$ 之间，从而解决了斯坦利猜想中关于深度与斯坦利深度关系的一个关键情形。

ABSTRACT

Let $K$ be a field and $S=K[x_1,...,x_n]$. In 1982, Stanley defined what is now called the Stanley depth of an $S$-module $M$, denoted $\sdepth(M)$, and conjectured that $\depth(M) \le \sdepth(M)$ for all finitely generated $S$-modules $M$. This conjecture remains open for most cases. However, Herzog, Vladoiu and Zheng recently proposed a method of attack in the case when $M = I / J$ with $J \subset I$ being monomial $S$-ideals. Specifically, their method associates $M$ with a partially ordered set. In this paper we take advantage of this association by using combinatorial tools to analyze squarefree Veronese ideals in $S$. In particular, if $I_{n,d}$ is the squarefree Veronese ideal generated by all squarefree monomials of degree $d$, we show that if $1\le d\le n &lt; 5d+4$, then $\sdepth(I_{n,d})= \floor{\binom{n}{d+1}\Big/\binom{n}{d}}+d$, and if $d\geq 1$ and $n\ge 5d+4$, then $d+3\le \sdepth(I_{n,d}) \le \floor{\binom{n}{d+1}\Big/\binom{n}{d}}+d$.

研究动机与目标

• 确定由 $S = K[x_1,\dots,x_n]$ 中所有次数为 $d$ 的平方自由单项式生成的平方自由 Veronese 理想 $I_{n,d}$ 的斯坦利深度。
• 将 Herzog、Vladoiu 与 Zheng 提出的组合序集划分方法扩展，用于计算这些理想的相关斯坦利深度。
• 通过在 $n$ 与 $d$ 满足特定条件时证明 $I_{n,d}$ 的精确与有界深度公式，解决斯坦利猜想的一个非平凡情形。
• 将 $d=1$ 情形的构造性证明推广至更高 $d$，方法为利用平衡集与区间划分。

提出的方法

• 使用由 $I_{n,d}$ 的极小生成元的支集的所有上界集构成的序集 $P_{I_{n,d}}$，其中支集为 $[n]$ 的 $d$-元子集。
• 应用 Herzog-Vladoiu-Zheng 方法：$I_{n,d}$ 的斯坦利深度等于所有 $P_{I_{n,d}}$ 的区间划分中，各区间内上集最小大小的最大值。
• 采用一种新颖的区间划分技术，基于函数 $f_c$ 将 $d$-集映射至 $(d+c)$-集，确保所有大小 $\geq d$ 的集合被不相交地覆盖。
• 利用组合工具如 $c$-块、间隙点与循环表示法，构造最优的区间划分。
• 在初始划分后，利用二分图中的 Hall 匹配定理与度数界，覆盖未被覆盖的 $(d+2)$-与 $(d+3)$-集。
• 通过反证法证明最优性：假设存在最小反例，并构造一系列违反最小性的变换。

实验结果

研究问题

• RQ1 当 $n < 5d + 4$ 时，平方自由 Veronese 理想 $I_{n,d}$ 的斯坦利深度是多少？
• RQ2 当 $n \geq 5d + 4$ 时，$I_{n,d}$ 的斯坦利深度可建立怎样的上下界？
• RQ3 能否将 $d=1$ 情形所用的构造性方法推广至更高 $d$，利用组合序集划分？
• RQ4 当 $n = 4d+3$ 时，是否可能将 $[n]$ 中所有大小 $\geq d$ 的子集划分为区间 $[A,B]$，满足 $|B| \geq d+3$？
• RQ5 基于序集的斯坦利深度计算方法，如何应用于如 $I_{n,d}$ 这类多秩拟模与 Cohen-Macaulay 理想？

主要发现

• 当 $1 \leq d \leq n < 5d + 4$ 时，$I_{n,d}$ 的斯坦利深度恰好为 $\left\lfloor \binom{n}{d+1} \cdot \binom{n}{d} \right\rfloor + d$。
• 当 $n \geq 5d + 4$ 时，$I_{n,d}$ 的斯坦利深度满足 $d + 3 \leq \text{sdepth}(I_{n,d}) \leq \left\lfloor \binom{n}{d+1} \cdot \binom{n}{d} \right\rfloor + d$。
• 当 $n = 4d + 3$ 时，存在一种将 $[n]$ 中所有大小 $\geq d$ 的子集划分为区间 $[A,B]$（满足 $|B| \geq d+3$）的划分方法，从而证明了临界情形下的下界。
• 该方法依赖于构造一个函数 $f_4$，将 $d$-集映射至 $(d+3)$-集，使得区间 $[A, f_4(A)]$ 两两不相交且覆盖所有 $d$-与 $(d+1)$-集。
• 剩余的 $(d+2)$-与 $(d+3)$-集通过二分图中的完全匹配覆盖，确保区间划分的不相交性。
• 证明表明，假设存在最小反例将导致矛盾，从而确认所构造划分的最优性。