[论文解读] Jump Sequences of Edge Ideals

Gwyneth Whieldon|arXiv (Cornell University)|Dec 1, 2010

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

一句话总结

本文引入跳跃序列的概念，以刻画图的边理想自由解析中最高次数的性质，证明若首个非线性 Betti 数出现在同调阶段 $a_1$，则下一个非线性 Betti 数必须出现在阶段 $2a_1$ 或更晚。本文建立了跳跃序列的必要条件，并提出一种算法，可构造出大量可实现的序列，包括高正则性的 Gorenstein 边理想。

ABSTRACT

Given an edge ideal of graph G, we show that if the first nonlinear strand in the resolution of $I_G$ is zero until homological stage $a_1$, then the next nonlinear strand in the resolution is zero until homological stage $2a_1$. Additionally, we define a sequence, called a \emph{jump sequence}, characterizing the highest degrees of the free resolution of the edge ideal of G via the lower edge of the Betti diagrams of $I_G$. These sequences strongly characterize topological properties of the underlying Stanley-Reisner complexes of edge ideals, and provide general conditions on construction of clique complexes on a fix set of vertices. We also provide an algorithm for obtaining a large class of realizable jump sequences and classes of Gorenstein edge ideals achieving high regularity.

研究动机与目标

• 通过跳跃序列刻画边理想 Betti 图谱下边界结构。
• 为有限图的边理想可能的跳跃序列形状建立必要条件。
• 构造无限多组图，满足 $\operatorname{Ind}(G) = 1$ 且正则性为 4 或 5，更一般地，实现高正则性的序列。
• 探索跳跃序列与 Stanley-Reisner 复形拓扑性质之间的联系，特别是球面的三角剖分。
• 解决关于正则性界和边理想跳跃序列可实现性方面的开放问题。

提出的方法

• 将跳跃序列 $[k; a_1, \dots, a_{k-1}]$ 定义为边理想 $I_G$ 的解析中首个非线性 Betti 数出现的同调阶段，其中 $k = \operatorname{reg}(I_G) - 1$。
• 证明对于任意边理想，若首个非线性 Betti 数出现在阶段 $a_1$，则下一个非线性 Betti 数必须出现在阶段 $\geq 2a_1$，从而确立关键间距条件 $2a_1 \leq a_2$。
• 通过特定边集的二维单纯复形 $H$ 的补图 $G = H^c$ 构造一类图，使得其边理想具有预设的跳跃序列。
• 利用 $H$ 的 1-骨架的团闭包，确保 Stanley-Reisner 复形无诱导 4-圈，并在所需度数上具有非零同调。
• 应用 Künneth 公式计算复形的连枝同调，从而控制所构造边理想的正则性。
• 引入 2-球面三角剖分的再三角剖分 $\mathrm{sd}_4(\Delta)$，以产生 $C_4$-自由 的 1-骨架，从而得到满足 $\operatorname{Ind}(G) = 1$ 且正则性为 4 或 5 的边理想。

实验结果

研究问题

• RQ1 当 $\operatorname{Ind}(G) = 1$ 时，$I_G$ 的正则性是否存在上界？
• RQ2 对于给定的严格递增序列 $[k; a_1, \dots, a_{k-1}]$，是否存在图 $G$ 使得 $\operatorname{reg}(I_G) = k+1$，且首个非线性解析关系出现在同调阶段 $a_i+1$？
• RQ3 能否为满足 $\operatorname{reg}(I_G) = 4$ 的图的跳跃序列 $[k; a_1, a_2]$ 给出精确的可实现条件？
• RQ4 是否存在满足 $\operatorname{Ind}(G) = 1$ 且 $\operatorname{reg}(I_G) = 6$ 的图？
• RQ5 是否存在满足 $\operatorname{Ind}(G) = k$ 且 $\operatorname{reg}(I_G) \geq 4k + 1$ 的图？

主要发现

• 本文证明，对于任意边理想 $I_G$，若首个非线性 Betti 数出现在同调阶段 $a_1$，则下一个非线性 Betti 数必须出现在阶段 $\geq 2a_1$，从而确立 $2a_1 \leq a_2$ 为必要条件。
• 通过二维复形 $H$ 的补图构造出无限多组满足 $\operatorname{Ind}(G) = 1$ 且 $\operatorname{reg}(I_G) = 4$ 的图，其中 $H$ 具有 $nm$ 个顶点和特定边集。
• 使用相同方法构造出无限多组满足 $\operatorname{Ind}(G) = 1$ 且 $\operatorname{reg}(I_G) = 5$ 的图，其跳跃序列为 $[3; 3, nm - 4]$。
• 对 2-球面三角剖分 $\Delta$ 进行再三角剖分 $\mathrm{sd}_4(\Delta)$ 可产生 $C_4$-自由 的 1-骨架，从而得到满足 $\operatorname{Ind}(G) = 1$ 且正则性为 4 或 5 的边理想。
• 对于任意正则性为 $r$ 的图 $G$，通过组合连枝取 $k$ 个不相交副本，可得到正则性为 $kr + (k-1)$ 的 Stanley-Reisner 复形，从而在 $\operatorname{reg}(I_G) = 4$ 时构造出满足 $\operatorname{reg}(I_{G'}) = 4k+1$ 的理想。
• 本文表明 $\mathrm{sd}_4(\Delta)$ 是团闭的，且其 Stanley-Reisner 理想为次数 2，意味着它来自一个 $C_4$-自由 补图的边理想。