[论文解读] Face ring multiplicity via CM-connectivity sequences

Isabella Novik, Ed Swartz|ArXiv.org|Jun 10, 2006

Commutative Algebra and Its Applications参考文献 23被引用 4

一句话总结

本论文验证了赫尔茨格、哈内克与斯里尼瓦桑的倍数性猜想，适用于拟阵复形、一维与二维单纯复形，以及维度至多为四的戈伦斯坦复形的面环。通过利用单纯复形骨架的科亨-麦克唐劳连通性对贝蒂数偏移的全新解释，本文建立了 1-骨架连通性至多为余维数加一的双重科亨-麦克唐劳复形，以及维度为 $d-1$ 的 $d$-科亨-麦克唐劳复形的下界。

ABSTRACT

The multiplicity conjecture of Herzog, Huneke, and Srinivasan is verified for the face rings of the following classes of simplicial complexes: matroid complexes, complexes of dimension one and two, and Gorenstein complexes of dimension at most four. The lower bound part of this conjecture is also established for the face rings of all doubly Cohen-Macaulay complexes whose 1-skeleton's connectivity does not exceed the codimension plus one as well as for all (d-1)-dimensional d-Cohen-Macaulay complexes. The main ingredient of the proofs is a new interpretation of the minimal shifts in the resolution of the face ring via the Cohen-Macaulay connectivity of the skeletons of the complex.

研究动机与目标

• 证明赫尔茨格、哈内克与斯里尼瓦桑的倍数性猜想，适用于特定类别的单纯复形的面环。
• 为 1-骨架连通性有界的双重科亨-麦克唐劳复形，以及维度为 $d-1$ 的 $d$-科亨-麦克唐劳复形，建立猜想的下界。
• 引入并应用一种关于自由分解中最小与最大偏移的新解释，通过单纯复形骨架的科亨-麦克唐劳连通性。
• 将斯坦利-赖斯纳环的代数不变量与单纯复形的拓扑及组合性质联系起来。

提出的方法

• 使用霍奇斯特公式，将贝蒂数与诱导子复形的约化同调联系起来。
• 通过大小为 $|W|$ 的诱导子复形上同调非零性，定义最小与最大偏移 $m_i$ 和 $M_i$。
• 引入科亨-麦克唐劳连通性序列作为新不变量，以解释分解中的偏移。
• 应用戈伦斯坦*复形的上界定理与德恩-索姆维尔关系，以界定面数。
• 使用图朗定理，以界定无 5-团的旗复形中的边数。
• 基于面 $ au$ 的 $q_j = ext{codim}({f k}[ ext{link}_ au riangle]) + 1$ 的取值，进行情形分析，以分析分解的纯性与倍数性界。

实验结果

研究问题

• RQ1 拟阵复形的面环是否满足倍数性猜想？
• RQ2 倍数性猜想的上下界是否对一维与二维单纯复形成立？
• RQ3 维度为 3 与 4 的戈伦斯坦复形是否满足倍数性猜想？
• RQ4 双重科亨-麦克唐劳复形的倍数性猜想下界在何种条件下成立？
• RQ5 面环分解中的最小与最大偏移能否通过复形骨架的科亨-麦克唐劳连通性来解释？

主要发现

• 倍数性猜想已验证于拟阵复形的面环，包括所有具有纯诱导子复形的纯复形。
• 倍数性猜想的上界对所有一维与二维单纯复形成立。
• 戈伦斯坦复形维度为 3 与 4 时，上界已建立，且仅当复形为 2-邻接且 $q_3 - 1 = 4$ 时等号成立，但此情形在假设下导致矛盾。
• 倍数性猜想的下界对维度为 3 与 4 的戈伦斯坦*复形成立，且等号成立时意味着分解是纯的。
• 对于维度为 $d-1$ 的 $d$-科亨-麦克唐劳复形，若 $n - d = 4$ 且 $d \leq 22$，或 $M_1 \geq \lfloor d/2 \rfloor + 1$，则倍数性猜想成立。
• 证明依赖于证明 $M_i$ 的乘积除以 $c!$ 超过最高维面数，该结果利用了上界定理与德恩-索姆维尔关系的界。