[论文解读] Cohen-Macaulayness of triangular graphs

Hernán de Alba, Walter Carballosa+2 more|arXiv (Cornell University)|Jan 19, 2016

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

一句话总结

本文研究了三角图 $T_n$ 的 Cohen-Macaulay 性质，其中 $T_n$ 定义为 Johnson 图 $J(n,2)$ 或 $K_n$ 的 2-令牌图。利用 Reisner 的判别准则与计算验证，作者证明了 $T_2$、$T_3$ 和 $T_5$ 是 Cohen-Macaulay 的，而 $T_4$、$T_6$、$T_8$ 以及 $n \geq 10$ 的 $T_n$ 则不是。在特征为零的域上，还证明了 $T_7$ 和 $T_9$ 也是 Cohen-Macaulay 的，从而对 $n \leq 9$ 实现了完全分类，并对 $n \geq 10$ 实现了部分分类。研究进一步提出了一种利用独立集上的初等对称多项式构造齐次参数系（h.s.o.p.）的一般方法。

ABSTRACT

We study the Cohen-Macaulay property of triangular graphs $T_n$. We show that $T_2$, $T_3$ and $T_5$ are Cohen-Macaulay graphs, and that $T_4$, $T_6$, $T_8$ and $T_n$ are not Cohen-Macaulay graphs, for $n\geq 10$. Finally, we prove that over fields of characteristic zero $T_7$ and $T_9$ are Cohen-Macaulay.

研究动机与目标

• 确定对于哪些 $n$，三角图 $T_n$ 在任意域上或在特征为零的域上是 Cohen-Macaulay 的。
• 利用同调准则，对小的 $n$ 和 $n \geq 10$ 的 $T_n$ 实现 Cohen-Macaulay 性质的分类。
• 为任意简单图的边子环提供一种利用对称多项式在独立集上构造齐次参数系（h.s.o.p.）的一般方法。
• 建立 $T_n$ 中独立集结构与边子环中正则序列存在性之间的联系。

提出的方法

• 应用 Reisner 的判别准则，检验 $T_n$ 的独立集的单纯复形的 Cohen-Macaulay 性质。
• 利用边子环 $R/I(G)$ 的 Krull 维数等于图 $G$ 的独立数这一事实。
• 通过 $T_n$ 中大小为 $k$ 的独立集上的对称多项式，显式计算正则序列，其中 $k=1,\dots,d$，$d$ 为独立数。
• 利用计算机代数系统在特征为零的域上验证 $T_7$ 和 $T_9$ 的 Cohen-Macaulay 性质。
• 证明在大小为 $k$ 的独立集上，初等对称和的序列构成任意图的齐次参数系。
• 基于根式等式 $\sqrt{\langle F_1,\dots,F_d \rangle} = \langle x_1,\dots,x_N \rangle$，证明若图是 Cohen-Macaulay 的，则该 h.s.o.p. 是正则的。

实验结果

研究问题

• RQ1 对于哪些 $n$ 值，三角图 $T_n$ 在任意域上是 Cohen-Macaulay 的？
• RQ2 是否存在某些 $n$，使得 $T_n$ 仅在特征为零的域上是 Cohen-Macaulay 的？
• RQ3 能否从图的独立集出发，导出齐次参数系的通用构造？
• RQ4 在独立集上定义的对称多项式在判断 Cohen-Macaulay 性质中起什么作用？
• RQ5 在 $T_n$ 中，独立集的结构如何影响其边子环中正则序列的存在性？

主要发现

• 三角图 $T_2$、$T_3$ 和 $T_5$ 在任意域上都是 Cohen-Macaulay 的。
• $T_4$、$T_6$、$T_8$ 以及所有 $n \geq 10$ 的 $T_n$ 在任意域上都不是 Cohen-Macaulay 的。
• 在特征为零的域上，通过显式计算正则序列，确认了 $T_7$ 和 $T_9$ 是 Cohen-Macaulay 的。
• $T_n$ 的独立数为 $\lfloor n/2 \rfloor$，这决定了其边子环的 Krull 维数。
• 任意简单图的边子环的齐次参数系可构造为：对 $k=1$ 到 $d$，取大小为 $k$ 的独立集上的初等对称和。
• 该 h.s.o.p. 是正则的，当且仅当图是 Cohen-Macaulay 的，且其根式生成商环中的极大理想。