[论文解读] Geometric Structures on the Cochains of a Manifold

Scott O. Wilson|arXiv (Cornell University)|May 11, 2005

Algebraic structures and combinatorial models参考文献 27被引用 13

一句话总结

本文引入了在三角剖分流形的单纯上链上，微分几何结构的组合类比——具体而言是上链乘积和霍奇星算子。通过使用类惠特尼嵌入和精心选择的内积，证明了当三角剖分网格尺寸趋于零时，这些离散结构收敛于其光滑对应物（外积和霍奇星算子），并给出了曲面上霍奇星算子和周期矩阵的显式收敛结果。

ABSTRACT

In this paper we develop several algebraic structures on the simplicial cochains of a triangulated manifold that are analogues of objects in differential geometry. We study a cochain product and prove several statements about its convergence to the wedge product on differential forms. Also, for cochains with an inner product, we define a combinatorial Hodge star operator, and describe some applications, including a combinatorial period matrix for surfaces. We show that for a particularly nice cochain inner product, these combinatorial structures converge to their continuum analogues as the mesh of a triangulation tends to zero.

研究动机与目标

• 开发单纯上链上的微分几何结构的离散类比，例如外积和霍奇星算子。
• 建立严格的收敛框架，表明离散上链运算在三角剖分趋于精细时逼近光滑微分形式。
• 通过庞加莱对偶性和上链上的非退化内积，定义组合霍奇星算子。
• 为黎曼曲面构造组合周期矩阵，并证明其收敛于共形周期矩阵。
• 证明离散霍奇星算子在极限下逼近狄拉克函数，从而与路径求和解释和高斯型行为建立联系。

提出的方法

• 使用单纯上链到微分形式的类惠特尼嵌入，以比较离散与光滑结构。
• 通过亚历山大-惠特尼上积定义交换上链乘积，该乘积收敛于微分形式上的外积。
• 利用庞加莱对偶性（表示为分次交换乘积）和上链上的黎曼度量（内积）引入组合霍奇星算子。
• 采用多兹丘克（2005）的内积，以确保在细化下离散霍奇星算子收敛于光滑霍奇星算子。
• 应用路径求和技术计算圆周上的霍奇星算子，将矩阵元素解释为加权路径计数。
• 通过矩阵幂和二项式系数在圆周上进行显式计算，以模拟霍奇星算子的作用。

实验结果

研究问题

• RQ1 当三角剖分网格尺寸趋于零时，组合上链乘积是否收敛于微分形式上的光滑外积？
• RQ2 是否可以仅使用度量和庞加莱对偶性在单纯上链上定义离散霍奇星算子，且其是否收敛于光滑霍奇星算子？
• RQ3 在三角剖分黎曼曲面上的组合周期矩阵是否收敛于关联黎曼曲面的共形周期矩阵？
• RQ4 离散霍奇星算子在圆周上的作用行为如何？其在极限下是否逼近狄拉克函数？
• RQ5 离散霍奇星算子矩阵元素在三角剖分中加权路径的几何解释是什么？

主要发现

• 在三角剖分黎曼流形的单纯上链上定义的组合霍奇星算子，当三角剖分网格尺寸趋于零时，收敛于光滑霍奇星算子。
• 在三角剖分黎曼2-流形上，其组合周期矩阵在三角剖分趋于精细的极限下收敛于关联黎曼曲面的共形周期矩阵。
• 本文定义的上链乘积收敛于微分形式上的外积，收敛性通过惠特尼嵌入和显式估计得以确立。
• 在圆周上，离散霍奇星算子对基1-上链 $ e_{n/2} $ 的作用产生形成高斯型图的系数，表明其收敛于狄拉克函数。
• 矩阵 $ rac{1}{4^k} D^k $ 的元素等于从顶点 $ i $ 到 $ j $ 的所有加权路径的总数，权重为 $ \frac{1}{4} $，该结构支撑了霍奇星算子的计算。
• 圆周上霍奇星算子的逆表示为包含二项式系数和交错符号的级数，主项涉及对所有整数 $ t $ 的求和，反映了其万有覆盖的周期性。