[论文解读] Cohen-Macaulay and Gorenstein complexes from a topological point of view

Dietrich Notbohm|ArXiv.org|Aug 16, 2005

Advanced Combinatorial Mathematics参考文献 10被引用 4

一句话总结

本文使用同伦理论方法重新证明了 Reisner 和 Stanley 对 Cohen-Macaulay 及 Gorenstein ̄* 旾纯复形的刻画，引入了如与旾纯复形相关联的图的同伦上积等拓扑构造。关键贡献是一个新的拓扑判据：一个旾纯复形 $K$ 关于域 $\mathbb{F}$ 是 Cohen-Macaulay 的充分必要条件是其对应空间 $X_K$ 的上同调集中在偶数度数；$K$ 是 Gorenstein$^*$ 的充分必要条件是 $H^{n-1}(K;\mathbb{F}) \cong \mathbb{F}$ 且 $H^*(X_K;\mathbb{F})$ 在最高度数处具有一个一维的零化子（socle）。

ABSTRACT

The main invariant to study the combinatorics of a simplicial complex $K$ is the associated face ring or Stanley-Reisner algebra. Reisner respectively Stanley explained in which sense Cohen-Macaulay and Gorenstein properties of the face ring are reflected by geometric and/or combinatoric properties of the simplicial complex. We give a new proof for these result by homotopy theoretic methods and constructions. Our approach is based on ideas used very successfully in the analysis of the homotopy theory of classifying spaces.

研究动机与目标

• 通过拓扑与同伦方法重新证明经典代数组合学结果——Reisner 对 Cohen-Macaulay 复形的刻画以及 Stanley 对 Gorenstein$^*$ 复形的刻画。
• 通过利用同伦上积将一个旾纯复形 $K$ 关联到一个空间 $X_K$，建立研究 Stanley-Reisner 代数的新拓扑框架。
• 表明 $X_K$ 的上同调编码了 Stanley-Reisner 代数的代数性质，特别是度数集中性与零化子结构。
• 为 Gorenstein$^*$ 条件提供同伦理论解释，将其与 $K$ 的上同调最高度数及 $H^*(X_K;\mathbb{F})$ 的结构联系起来。

提出的方法

• 将空间 $c(K)$ 构造为以 $K$ 的各面为指标的图的同伦上积，从而在整数系数上使 Stanley-Reisner 代数 $\mathbb{F}(K)$ 实现为上同调环 $H^*(c(K);\mathbb{Z})$。
• 将空间 $X_K$ 定义为映射 $f: c(K) \to BU(n)$ 的同伦纤维，其中 $n = \dim K + 1$，其陈类对应于 $\mathbb{F}(K)$ 的生成元。
• 利用纤维丛 $X_K \to c(K) \to BU(n)$ 关联的上同调长正合列，将 $H^*(X_K;\mathbb{F})$ 与 $\mathbb{F}(K)$ 的代数结构联系起来。
• 对 $K$ 的维数进行归纳，并利用同伦交换图与悬垂技巧分析面的链的上同调。
• 证明 $H^*(X_K;\mathbb{F})$ 集中在偶数度数当且仅当 $K$ 是关于 $\mathbb{F}$ 的 Cohen-Macaulay 复形，利用上同调环结构及生成元 $v_i$ 的作用。
• 证明 $K$ 是关于 $\mathbb{F}$ 的 Gorenstein$^*$ 复形当且仅当 $H^{n-1}(K;\mathbb{F}) \cong \mathbb{F}$ 且 $H^*(X_K;\mathbb{F})$ 在度数 $n^2 + n$ 处具有一个一维的零化子，利用正合列与星形剖分的结构。

实验结果

研究问题

• RQ1 能否通过拓扑构造的空间 $X_K$ 的上同调来刻画旾纯复形的 Cohen-Macaulay 性质？
• RQ2 将 $X_K$ 构造为同伦纤维的同伦理论方法，如何反映 Stanley-Reisner 代数的代数性质？
• RQ3 对 $K$ 的何种拓扑条件可确保 $H^*(X_K;\mathbb{F})$ 在最高度数处具有一个一维的零化子，对应于 Gorenstein$^*$ 条件？
• RQ4 在多大程度上可以从 $X_K$ 的上同调与面的链结构恢复 Gorenstein$^*$ 性质？
• RQ5 是否存在一种避免使用交换代数工具（如局部上同调）的 Gorenstein$^*$ 定理的同伦理论证明？

主要发现

• 一个旾纯复形 $K$ 关于域 $\mathbb{F}$ 是 Cohen-Macaulay 的充分必要条件是上同调环 $H^*(X_K;\mathbb{F})$ 集中在偶数度数。
• 通过同伦上积与纤维构造关联到 $K$ 的空间 $X_K$ 在上同调中实现了 Stanley-Reisner 代数 $\mathbb{F}(K)$，其中生成元 $v_i$ 作为度数为 2 的类的乘法作用。
• 对于 Gorenstein$^*$ 复形 $K$，其上同调最高度数 $H^{n-1}(K;\mathbb{F})$ 同构于 $\mathbb{F}$，且 $H^*(X_K;\mathbb{F})$ 在度数 $n^2 + n$ 处具有一个一维的零化子，对应于最高度数的生成元。
• 证明表明，若 $K$ 是 Cohen-Macaulay，则对至少一个顶点 $i$，有 $H^{n-1}(K_i;\mathbb{F}) = 0$，该结论用于证明映射 $H^{n-1}(K) \to H^{n-1}(K_i)$ 是平凡的或同构的，具体取决于结构。
• 对每个顶点 $i$，映射 $H^*(X_K;\mathbb{F}) \to H^*(X_{\operatorname{st}(\{i\})};\mathbb{F})$ 是满射，且乘法 $v_i$ 在 $H^*(X_{\operatorname{st}(\{i\})};\mathbb{F})$ 上诱导出同构，这是分析零化子结构的关键。
• Gorenstein$^*$ 条件等价于 $H^{n-1}(K;\mathbb{F}) \cong \mathbb{F}$ 且存在一个非零元素在 $H^{n^2+n-2}(X_K;\mathbb{F})$ 中，其在乘以 $v_i$ 后映射到生成元，从而保证零化子是一维的。