[论文解读] On exterior calculus and curvature in piecewise-flat manifolds

Jonathan McDonald, Warner A. Miller+4 more|arXiv (Cornell University)|Dec 5, 2012

Geometric Analysis and Curvature Flows参考文献 4被引用 11

一句话总结

本文提出了一种基于体积的离散外微分几何（DEC）框架，用于分片平坦流形，采用混合单元作为不可约几何域，以定义离散微分形式与曲率算子。该框架从余维数为2的铰链处的锥形奇点推导出内蕴曲率张量，表明黎曼曲率算子仅在垂直于这些铰链的平面内非平凡作用，从而实现了无需连续极限的标量曲率与里奇曲率的直接离散表征。

ABSTRACT

Simplicial, piecewise-flat discretizations of manifolds provide a clear path towards curvature analysis on discrete geometries and for solutions of PDE's on manifolds of complex topologies. In this manuscript we review and expand on discrete exterior calculus methods using hybrid domains. We then analyze the geometric structure of curvature operators in a piecewise-flat lattice.

研究动机与目标

• 开发一种适用于分片平坦流形的离散外微分几何基础，保留几何结构，且不依赖于连续近似。
• 直接从单纯复形晶格中余维数为2的铰链（铰链）的几何结构定义曲率算子。
• 使用混合单元作为k-形式的局部支撑，建立基于体积的离散微分形式表述。
• 通过归一化的局部曲率测度，实现离散曲率算子与连续截面曲率的直接比较。
• 仅利用单纯复形结构与铰链缺陷，实现标量曲率与里奇曲率的离散、内蕴推导。

提出的方法

• 使用混合单元——具有紧支撑的不可约几何单元——作为定义离散微分形式的基本几何单元。
• 定义广义与局部固结形式，以在单纯复形与对偶晶格之间建立映射，实现向量值形式的离散化。
• 将离散k-形式分配给混合单元内的曲面族，从而实现外（余）微分的透明计算。
• 通过余维数为2的铰链处的缺陷角 εh = 2π − ∑θi 计算曲率，将其与平行移动的holonomy联系起来。
• 将黎曼曲率算子表示为定义在铰链处的双矢量值2-形式，其非平凡作用仅限于垂直于铰链的平面。
• 通过 Rv = d(d−1)⟨εh⟩v / ⟨Ah∗⟩v 推导顶点处的标量曲率，其中 ⟨εh⟩v 为平均缺陷角，⟨Ah∗⟩v 为平均对偶单元面积。

实验结果

研究问题

• RQ1 如何在分片平坦流形上系统地利用内在几何域定义离散微分形式？
• RQ2 单纯复形晶格中曲率的精确几何起源是什么？如何在不依赖连续极限的情况下捕捉它？
• RQ3 分片平坦流形中的曲率算子与其中的连续对应物之间有何关系，特别是在截面曲率方面？
• RQ4 能否仅使用离散单纯复形数据，在对偶晶格上一致地表示里奇曲率？
• RQ5 在分片平坦几何中，离散黎曼曲率算子的谱结构是什么？

主要发现

• 在分片平坦流形中，黎曼曲率算子仅有一个非平凡特征子空间，其方向与每个余维数为2的铰链正交的平面一致。
• 顶点处的标量曲率为 Rv = d(d−1)⟨εh⟩v / ⟨Ah∗⟩v，其中 ⟨εh⟩v 为平均缺陷角，⟨Ah∗⟩v 为平均对偶单元面积。
• 离散曲率算子表现出与一般位置基中常截面曲率类似的性质，从而可与连续曲率实现直接比较。
• 里奇曲率并非通过单纯复形边的方向分量表示，而是作为黎曼算子的双重对偶，与离散几何流一致。
• 该框架实现了几何的分层视图：离散尺度（内在晶格）、粗粒化尺度（类似连续行为）与亚离散尺度（假设平坦性或常曲率）。
• 基于体积的DEC表述通过固结形式离散化，能够一致处理标量与向量空间值微分形式。