[论文解读] On $d$-dimensional cycles and the vanishing of simplicial homology

Emma Connon|arXiv (Cornell University)|Nov 29, 2012

Topological and Geometric Data Analysis参考文献 14被引用 5

一句话总结

本文引入了$d$-维环的概念，作为图环在高维的组合推广，表明在特征为2的域上，单纯同调在维度$d$上非零当且仅当存在一个$d$-维环。此外，本文证明了可定向的$d$-维环在任意域上均生成非零同调，将代数同调与单纯复形中的显式组合结构联系起来。

ABSTRACT

In this paper we introduce the notion of a $d$-dimensional cycle which is a homological generalization of the idea of a graph cycle to higher dimensions. We examine both the combinatorial and homological properties of this structure and use these results to describe the relationship between the combinatorial structure of a simplicial complex and its simplicial homology. In particular, we show that over any field of characteristic 2 the existence of non-zero $d$-dimensional homology corresponds exactly to the presence of a $d$-dimensional cycle in the simplicial complex. We also show that $d$-dimensional cycles which are orientable give rise to non-zero simplicical homology over any field.

研究动机与目标

• 识别单纯复形中与非零单纯同调相对应的显式组合结构。
• 解决高维单纯复形中非零同调缺乏组合表征的问题。
• 通过$d$-维环的概念将图环的概念推广到更高维度。
• 在各种域上建立$d$-维环的存在性与非零单纯同调之间的精确联系。

提出的方法

• 正式定义$d$-维环为一种纯$d$-维单纯复形，其中每个$(d-1)$-维面恰好被偶数个$d$-维面共享。
• 通过在相邻的$d$-维面之间使用一致的方向，定义可定向的$d$-维环，以确保边界映射中的相消。
• 使用边界映射$\partial_d$证明，可定向$d$-维环中定向$d$-维面的和构成一个同调$d$-维环。
• 在任意域上应用同调代数，证明此类环生成非平凡的同调类。
• 分析最小同调环的支撑复形，特别是模3莫尔空间的情况，以探讨同调存在但无$d$-维环的情形。
• 证明在特征为2的域上，非零$d$-维同调当且仅当复形中存在$d$-维环。

实验结果

研究问题

• RQ1 单纯复形中何种组合结构对应于维度$d$上的非零单纯同调？
• RQ2 在特征为2的域上，非零$d$-维同调的存在是否可被$d$-维环的存在完全表征？
• RQ3 在何种条件下，可定向的$d$-维环能保证在任意域上生成非零同调？
• RQ4 是否存在非零同调出现在维度$d$但并非由$d$-维环产生的例子，特别是在有限特征域上？
• RQ5 能否组合地描述具有非恒定系数的最小同调$d$-环，特别是当系数不全为±1时？

主要发现

• 在任意特征为2的域上，非零$d$-维单纯同调当且仅当单纯复形中存在$d$-维环。
• 可定向的$d$-维环在任意域上均生成非零同调，因为其定向面之和构成一个非边界同调$d$-维环。
• 实射影平面的三角剖分，在特征为2的域上具有非零$2$-维同调，但不包含任何可定向的$2$-维环，表明可定向性结果的逆命题不成立。
• 模3莫尔空间是一个最小单纯复形，其非零$2$-维同调仅在特征为3的域上出现，但其中不包含任何形式的$2$-维环。
• 在模3莫尔空间中，最小同调$2$-维环需在某个单形上赋予系数3，表明在$\mathbb{Z}$上最小环可能具有非恒定系数。
• 模3莫尔空间的支撑复形几乎是一个$2$-维环——仅有三个$1$-维面分别属于三个$2$-维面，其余所有$1$-维面均恰好属于两个$2$-维面，表明其接近$d$-维环的结构。