[论文解读] On the cohomology of moment-angle complexes associated to Gorenstein* complexes

Feifei Fan, Xiangjun Wang|arXiv (Cornell University)|Aug 1, 2015

Advanced Combinatorial Mathematics参考文献 20被引用 11

一句话总结

本文通过亚历山大对偶性建立了 Gorenstein* 复形的拓扑表征，并推导出在连通和与星形细分等组合运算下，moment-angle 复形的显式上同调公式。关键贡献是针对单纯 2-球面的 moment-angle 复形的上同调环的分解定理，证明了其唯一分解性，从而实现了对上同调刚性性的检测。

ABSTRACT

The main goal of this article is to study the cohomology rings and their applications of moment-angle complexes associated to Gorenstein* complexes, especially, the applications in combinatorial commutative algebra and combinatorics. First, we give a topological characterization of Gorenstein* complexes in terms of Alexander duality (as an application we give a topological proof of Stanley's Theorem). Next we give some cohomological transformation formulae of $\mathcal {Z}_{K}$, which are induced by some combinatorial operations on the Gorenstein* complex $K$, such as the connected sum operation and stellar subdivisions. We also prove that $\mathcal {Z}_{K}$ is a prime manifold whenever $K$ is a flag $2$-sphere by proving the indecomposability of their cohomology rings. Then we use these results to give the unique decomposition of the cohomology rings of moment-angle manifolds associated to simplicial $2$-spheres, and explain how to use it to detect the cohomological rigidity problem of these moment-angle manifolds.

研究动机与目标

• 通过 Gorenstein 环中的亚历山大对偶性和庞加莱对偶性，提供斯坦利定理的拓扑证明。
• 推导 moment-angle 复形在连通和与星形细分运算下的显式上同调变换公式。
• 当 $K$ 为旗 2-球面时，建立 $\mathcal{Z}_K$ 上同调环的不可约性，从而推出 $\mathcal{Z}_K$ 是一个素流形。
• 证明关于单纯 2-球面上的 moment-angle 流形的上同调环的唯一分解性，并将其应用于上同调刚性问题。
• 以 $\mathcal{Z}_{K_1}$、$\mathcal{Z}_{K_2}$ 的上同调环以及由连通和产生的新流形 $M$ 为基准，表征 $\mathcal{Z}_{K_1 \# K_2}$ 的上同调环结构。

提出的方法

• 利用全子复形之间的亚历山大对偶性，对 Gorenstein* 复形进行拓扑表征。
• 在 Gorenstein 环中应用庞加莱对偶性，建立斯坦利定理的拓扑证明。
• 通过在 $\mathcal{Z}_{K_1}$ 和 $\mathcal{Z}_{K_2}$ 的约化上同调环上施加移位运算 $G^k$，构造一个分次环 $\mathcal{R}(K_1, K_2; \mathbf{k})$。
• 定义一个理想 $\mathcal{I}(K_1, K_2; \mathbf{k})$，其由关系生成，用于识别 $\mathcal{Z}_{K_1}$、$\mathcal{Z}_{K_2}$ 以及新流形 $M$ 的上顶维上同调类。
• 对 $K = K_1 \# K_2$，给出显式公式 $\widetilde{H}^*(\mathcal{Z}_K; \mathbf{k}) \cong \mathcal{R}(K_1, K_2; \mathbf{k}) / \mathcal{I}(K_1, K_2; \mathbf{k})$，其中涉及球面乘积的和。
• 利用 González Acuña 运算 $\mathcal{G}^k$ 在流形上的作用，推测 $\mathcal{Z}_{K_1 \# K_2}$ 的拓扑实现。

实验结果

研究问题

• RQ1 能否通过亚历山大对偶性对 Gorenstein* 复形进行拓扑表征？
• RQ2 当 Gorenstein* 复形进行连通和时，moment-angle 复形的上同调环如何变换？
• RQ3 当 $K$ 为旗 2-球面时，$\mathcal{Z}_K$ 的上同调环结构如何？
• RQ4 对于单纯 2-球面 $K$，$\mathcal{Z}_K$ 的上同调环能否实现唯一分解？
• RQ5 如何利用上同调环的唯一分解性来检测 moment-angle 流形的上同调刚性？

主要发现

• 一个单纯复形 $K$ 是广义同调球面，当且仅当其全子复形之间满足亚历山大对偶性。
• 本文通过庞加莱对偶性和 moment-angle 复形理论，提供了斯坦利定理的拓扑证明。
• 对于 $K = K_1 \# K_2$，$\mathcal{Z}_K$ 的约化上同调环同构于 $\mathcal{R}(K_1, K_2; \mathbf{k}) / \mathcal{I}(K_1, K_2; \mathbf{k})$，其中 $\mathcal{R}$ 涉及移位后的上同调环以及形如 $\sharp \lambda(i)(S^{i+1} \times S^{m_1 + m_2 - i - 1})$ 的流形 $M$。
• 当 $K$ 为旗 2-球面时，$\mathcal{Z}_K$ 的上同调环不可约，从而推出 $\mathcal{Z}_K$ 是一个素流形。
• 与单纯 2-球面相关的 moment-angle 流形的上同调环具有唯一分解性，该性质可用于检测上同调刚性。
• 作者证明：若 $R \cong Q$ 是有限秩的无挠环，且其不可约因子不可约，则其非平凡乘法的不可约因子的数量与同构类型相等，且分解在置换与同构意义下唯一。