[论文解读] Dimension, Depth and Zero-Divisors of the Algebra of Basic k-Covers of a Graph

Bruno Benedetti, Alexandru Constatinescu+1 more|arXiv (Cornell University)|Jan 1, 2008

Commutative Algebra and Its Applications参考文献 8被引用 7

一句话总结

本文研究了二分图 G 的基本 k-覆盖代数，引入了一种新的组合不变量——'图维数'，用于界定代数 $\bar{A}(G)$ 的克鲁尔维数。它提供了 $\bar{A}(G)$ 为整环（从而根据霍奇斯特定理为科恩-麦克aul伊）的完整组合刻画，表明 $\bar{A}(G)$ 是整环当且仅当对每个非孤立顶点 i，存在一条边 {i,j}，使得当 {i,i'} 和 {j,j'} 均为边时，{i',j'} 也是边。图维数在树和环的情况下与 $\bar{A}(G)$ 的维数一致。

ABSTRACT

We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank.

研究动机与目标

• 通过纯组合条件刻画二分图 G 的基本 k-覆盖代数 $\bar{A}(G)$ 成为整环的条件。
• 通过引入图 G 的新不变量——'图维数'，研究 $\bar{A}(G)$ 的克鲁尔维数。
• 利用 $\bar{A}(G)$ 建立边理想亚历山大多面体对偶的算术秩和卡斯特尔努奥-墨菲德正则性的界。
• 确定 $\bar{A}(G)$ 为科恩-麦克aul伊、戈伦斯坦或希比环的条件，特别是在无混杂图的情况下。
• 探索 $\bar{A}(G)$ 的代数不变量与图 G 的几何或组合性质（如树或环）之间的联系。

提出的方法

• 将二分图 G 的基本 k-覆盖定义为满足对每条边 {i,j} 有 $a_i + a_j \geq k$ 的整数向量，且非负分量不全为零。
• 将代数 $\bar{A}(G)$ 定义为边理想亚历山大多面体对偶的纤维锥，其为一个标准 $\Sigma$-代数。
• 将 '图维数' $\operatorname{gdim}(G)$ 定义为二分图的新组合不变量，其来源于顶点覆盖和边关系的结构。
• 利用霍奇斯特定理推导出：若 $\pi(G)$ 为整环，则 $\pi(G)$ 为科恩-麦克aul伊且正规。
• 证明当 G 为无混杂图时，$\pi(G)$ 为希比环，从而可通过关联分配格的秩刻画戈伦斯坦情形。
• 应用局部上同调与卡斯特尔努奥-墨菲德正则性结果，以界定向亚历山大多面体对偶理想的算术秩与正则性。

实验结果

研究问题

• RQ1 在二分图 G 的何种组合条件下，基本 k-覆盖代数 $\pi(G)$ 为整环？
• RQ2 图维数 $\operatorname{gdim}(G)$ 与 $\pi(G)$ 的克鲁尔维数有何关系？一般情况下是否相等？
• RQ3 边理想亚历山大多面体对偶的算术秩为何？如何利用 $\pi(G)$ 对其进行界定？
• RQ4 $\pi(G)$ 何时为科恩-麦克aul伊或戈伦斯坦？特别是在树、环或无混杂图的情况下？
• RQ5 能否以 $\operatorname{gdim}(G)$ 或其他图不变量表示边理想的卡斯特尔努奥-墨菲德正则性？

主要发现

• 代数 $\pi(G)$ 为整环当且仅当对每个非孤立顶点 i，存在一条边 {i,j}，使得当 {i,i'} 和 {j,j'} 均为边时，{i',j'} 也是边——该条件以某种方式推广了‘无诱导 4-圈的二分图’的概念。
• 当 $\pi(G)$ 为整环时，根据霍奇斯特定理（关于多面体锥生成的正规整环），其亦为科恩-麦克aul伊且正规。
• 对于树 G，有 $\dim(\bar{A}(G)) = \lfloor n/2 \rfloor + 1$，且 $\operatorname{gdim}(G) = \dim(\bar{A}(G))$，其中 n 为顶点数。
• 对于环 $C_{2a}$，有 $\dim(\bar{A}(G)) = a$，且 $\operatorname{gdim}(G) = \dim(\bar{A}(G))$，表明此情况下等式成立。
• 当 G 为树时，边理想亚历山大多面体对偶的算术秩满足 $\operatorname{ara}(I) \leq \operatorname{gdim}(G)$；若所有标准画法下方的顶点度数至少为 s，则 $\operatorname{ara}(I) \leq a - s + 2$。
• 对于无混杂图 G，有 $\operatorname{ara}(I) \leq \operatorname{rank}(\mathcal{L})$，其中 $\mathcal{L}$ 为与 G 关联的分配格，且边理想的卡斯特尔努奥-墨菲德正则性由 $\operatorname{gdim}(G)$ 或 $\operatorname{rank}(\mathcal{L})$ 界定。