[论文解读] Stanley decompositions of squarefree modules and Alexander duality

Ali Soleyman Jahan|ArXiv.org|Sep 26, 2007

Algebraic structures and combinatorial models参考文献 20被引用 7

一句话总结

本文建立了多项式环上平方自由模及其亚历山大多面体对偶之间的平方自由斯坦利分解的对偶性，证明了平方自由 $ S $-模 $ M $ 具有平方自由斯坦利分解当且仅当其亚历山大多面体对偶 $ M^\vee $ 也具有，且分解分量之间存在显式对应关系。主要贡献在于建立了斯坦利深度与 $ M $ 和 $ M^\vee $ 之间的对偶定理，支持了特殊情形下的斯坦利猜想，并提出了关于斯坦利分解 $ h $-正则性的更广泛猜想。

ABSTRACT

In this paper we study how prime filtrations and squarefree Stanley decompositions of squarefree modules over the polynomial ring and the exterior algebra behave with respect to Alexander duality.

研究动机与目标

• 研究平方自由 $ S $-模在亚历山大多面体对偶下的素滤子与斯坦利分解的行为。
• 建立平方自由 $ S $-模 $ M $ 及其亚历山大多面体对偶 $ M^\vee $ 之间平方自由斯坦利分解的对偶性。
• 证明 $ M $ 存在平方自由斯坦利分解当且仅当 $ M^\vee $ 存在，且具有显式的分量对应关系。
• 通过将斯坦利猜想与 $ M^\vee $ 的具有有界次数生成元的分解存在性联系起来，支持斯坦利关于斯坦利分解的猜想。
• 提出一个广义猜想：任一有限生成的 $ \mathbb{Z}^n $-分次 $ S $-模均存在一个斯坦利分解，其生成元的次数至多为 $ \operatorname{reg}(M) $。

提出的方法

• 通过变量在平方自由分量上的乘法映射的双射性来定义平方自由 $ S $-模与 $ E $-模。
• 利用平方自由 $ S $-模与平方自由 $ E $-模之间的范畴等价性，将结果在两者之间转移。
• 证明平方自由 $ S $-模的素滤子与其亚历山大多面体对偶的素滤子之间通过关联素理想的对偶性相对应。
• 建立 $ M $ 与 $ M^\vee $ 之间平方自由斯坦利分解的对偶性，表明 $ M = \bigoplus m_i K[Z_i] $ 是平方自由斯坦利分解当且仅当 $ M^\vee = \bigoplus v_i K[W_i] $ 是，其中 $ \operatorname{supp}(v_i) = [n] \setminus \{j : x_j \in Z_i\} $ 且 $ W_i = \{x_j : j \in [n] \setminus \operatorname{supp}(m_i)\} $。
• 利用该对偶性关联斯坦利深度与 $ h $-正则性，表明斯坦利猜想对 $ M $ 成立当且仅当 $ M^\vee $ 存在一个生成元次数至多为 $ \operatorname{reg}(M^\vee) $ 的分解。
• 将该对偶性应用于证明：对具有线性商或 2-线性分解的单项式理想，以及对 $ n \leq 3 $ 或 $ \operatorname{reg}(S/I) \geq n-2 $ 的情形，斯坦利猜想成立。

实验结果

研究问题

• RQ1 平方自由 $ S $-模的素滤子与其亚历山大多面体对偶的素滤子之间有何关系？
• RQ2 平方自由 $ S $-模与其亚历山大多面体对偶之间的平方自由斯坦利分解之间存在何种精确对应关系？
• RQ3 若 $ M $ 存在平方自由斯坦利分解，是否意味着 $ M^\vee $ 也存在，反之亦然？
• RQ4 斯坦利关于斯坦利分解的猜想能否转化为对亚历山大多面体对偶模的条件？
• RQ5 每个有限生成的 $ \mathbb{Z}^n $-分次 $ S $-模是否都存在一个生成元次数至多为 $ \operatorname{reg}(M) $ 的斯坦利分解？

主要发现

• 平方自由 $ S $-模 $ M $ 具有平方自由斯坦利分解当且仅当其亚历山大多面体对偶 $ M^\vee $ 具有，且两个分解中的斯坦利空间之间存在显式对应。
• 平方自由 $ S $-模 $ M $ 的斯坦利深度等于 $ M^\vee $ 的平方自由斯坦利深度，即 $ \operatorname{sdepth}(M) = \operatorname{sqdepth}(M^\vee) $。
• 斯坦利猜想对 $ M $ 成立当且仅当 $ M^\vee $ 存在一个所有生成元次数至多为 $ \operatorname{reg}(M^\vee) $ 的斯坦利分解。
• 对于具有线性商的单项式理想，其极小生成元构成一个斯坦利分解，且由于此类滤子的存在，猜想成立。
• 猜想：任一 $ \mathbb{Z}^n $-分次 $ S $-模均存在一个生成元次数至多为 $ \operatorname{reg}(M) $ 的斯坦利分解，在 $ n \leq 3 $、$ \operatorname{reg}(S/I) \geq n-2 $ 以及具有 2-线性分解的理想情形下成立。
• 模块 $ M $ 的 $ h $-正则性（即任何斯坦利分解中生成元最大次数的最小值）满足 $ \operatorname{hreg}(M) \leq \operatorname{reg}(M) $，支持了广义猜想。