[论文解读] The strong ring of simplicial complexes

Oliver Knill|arXiv (Cornell University)|Aug 5, 2017

Topological and Geometric Data Analysis参考文献 23被引用 10

一句话总结

本文引入了有限抽象单纯复形的强环（strong ring），这是一个交换环，其乘法运算为连接图的强积。研究证明，共调和与谱不变量——如霍奇拉普拉斯算子、欧拉示性数和吴示性数——在该乘法下具有乘法性，推广了经典定理（如库恩斯特定理），并将高斯-博内定理与庞加莱-霍普夫定理扩展至环结构。

ABSTRACT

We define a ring R of geometric objects G generated by finite abstract simplicial complexes. To every G belongs Hodge Laplacian H as the square of the Dirac operator determining its cohomology and a unimodular connection matrix L). The sum of the matrix entries of the inverse of L is the Euler characteristic. The spectra of H as well as inductive dimension add under multiplication while the spectra of L multiply. The nullity of the Hodge of H are the Betti numbers which can now be signed. The map assigning to G its Poincare polynomial is a ring homomorphism from R the polynomials. Especially the Euler characteristic is a ring homomorphism. Also Wu characteristic produces a ring homomorphism. The Kuenneth correspondence between cohomology groups is explicit as a basis for the product can be obtained from a basis of the factors. The product in R produces the strong product for the connection graphs and leads to tensor products of connection Laplacians. The strong ring R is also a subring of the full Stanley-Reisner ring S Every element G can be visualized by its Barycentric refinement graph G1 and its connection graph G'. Gauss-Bonnet, Poincare-Hopf or the Brouwer-Lefschetz extend to the strong ring. The isomorphism of R with a subring of the strong Sabidussi ring shows that the multiplicative primes in R are the simplicial complexes and that every connected element in the strong ring has a unique prime factorization. The Sabidussi ring is dual to the Zykov ring, in which the Zykov join is the addition. The connection Laplacian of the d-dimensional lattice remains invertible in the infinite volume limit: there is a mass gap in any dimension.

研究动机与目标

• 通过强积将单纯复形的谱与拓扑不变量扩展至交换环结构。
• 将高斯-博内定理、庞加莱-霍普夫定理与库恩斯特定理等经典定理推广至环论框架。
• 证明欧拉示性数与贝蒂数是分别从强环到 ℤ 和 ℤ[t] 的环同态。
• 证明在 ℤ^d 的重心剖分极限中，连接拉普拉斯算子保持幺模性且可逆，从而蕴含质量间隙。
• 证明强环同构于萨比杜西环图的子环，从而实现连通复形的唯一素因数分解。

提出的方法

• 将强环 R 定义为有限抽象单纯复形在不相交并与强积下生成的交换环。
• 为单纯复形 G 构造其连接图 G′，其中顶点为单体，当单体相交时连边。
• 定义连接拉普拉斯算子 L(G) = 1 + A，其中 A 为 G′ 的邻接矩阵，并通过单体逐次粘贴的归纳法证明其幺模性。
• 利用能量定理证明 ∑_{x,y} g(x,y) = χ(G)，其中 g = L⁻¹，从而将格林函数元素与欧拉示性数联系起来。
• 通过张量积结构建立谱的乘法性：σ(H(A×B)) = σ(H(A)) + σ(H(B)) 与 σ(L(A×B)) = σ(L(A)) · σ(L(B))。
• 将庞加莱多项式与欧拉多项式定义为从 R 到 ℤ[t] 的环同态，其中 χ(G) = p_G(−1) = e_G(−1)。

实验结果

研究问题

• RQ1 单纯复形的霍奇与连接拉普拉斯算子的谱不变量在单纯复形的强积下如何表现？
• RQ2 欧拉示性数与贝蒂数能否被扩展为复形环上的环同态？
• RQ3 单纯复形的强积的代数结构为何？其与斯坦利-雷伊纳环及萨比杜西环图等已知环有何关系？
• RQ4 连接拉普拉斯算子的幺模性是否可推广至无限极限情形，如 ℤ^d 的重心剖分？
• RQ5 强环是否为一个拓扑斯，或具有额外结构（如拉回或笛卡尔闭性）的范畴？

主要发现

• 两个单纯复形 G 与 H 的强积在其连接拉普拉斯算子上诱导张量积结构：L(G×H) = L(G) ⊗ L(H)，从而导致谱的乘法性。
• G×H 的霍奇拉普拉斯算子谱满足 σ(H(G×H)) = σ(H(G)) + σ(H(H))，推广了上同调的库恩斯特定理。
• 欧拉示性数 χ(G) 等于 L⁻¹ 的所有元素之和，即 ∑_{x,y} g(x,y) = χ(G)，从而证明了能量定理。
• 贝蒂数 b_k(G) 通过 b_k(−G) = −b_k(G) 在环中实现符号化，从而将上同调扩展为群结构。
• 庞加莱多项式 p_G(t) = ∑_k b_k(G)t^k 与欧拉多项式 e_G(t) = ∑_k v_k(G)t^k 是从 R 到 ℤ[t] 的环同态。
• 在 ℤ^d 的重心极限中，连接拉普拉斯算子的逆保持有界，质量间隙包含区间 [−1/5^d, 1/5^d]（对任意 d）。