[论文解读] Discretising geometry and preserving topology I: A discrete exterior calculus

Vivien de Beauce, Siddhartha Sen|ArXiv.org|Mar 21, 2004

Black Holes and Theoretical Physics参考文献 6被引用 12

一句话总结

本文提出了一种在超立方复形上的新型离散外微分几何，该方法在保持拓扑不变量的同时，能够一致地逼近微分几何结构，包括霍奇星算子和李导数。通过利用显式的惠特尼形式与链的乘积空间，该方法确保了精确的代数性质（例如，对 d、⋆ 和 ∧ 的封闭性），并实现了收敛性，为非拓扑性物理系统提供了一个几何一致的框架。

ABSTRACT

A discretisation scheme that preserves topological features of a physical problem is extended so that differential geometric structures can be approximated in a consistent way thus giving access to the study of physical systems which are not solely topological theories. Issues of convergence and a numerical implementation are discussed. The follow-up article covers the resulting discretisation scheme with metric data.

研究动机与目标

• 将拓扑离散化方案扩展至包含霍奇星算子和度量相关运算等几何结构。
• 解决先前方案的局限性，包括楔积的非结合性以及离散与连续运算之间缺乏函子对应关系的问题。
• 建立一个支持李导数和辛几何数据的连贯离散外微分几何框架。
• 通过在超立方复形上使用显式惠特尼形式，确保收敛性与数值可实现性。
• 证明惠特尼映射与链的乘积空间能够使离散设置中实现精确的代数性质。

提出的方法

• 该方法采用超立方复形作为底层离散化格点，使得惠特尼形式具有显式表达式，并满足 ⋆K⋆L = Id。
• 引入链的乘积空间以定义一种新的乘积运算，从而规避离散楔积的非结合性问题。
• 惠特尼映射起核心作用：将离散形式映射到连续上链，确保拓扑一致性，并支持收缩与李导数类比的定义。
• de Rham 映射将连续 p-形式与离散链关联，而惠特尼映射则确保离散对象能精确逼近连续几何。
• 通过在乘积空间上对惠特尼形式进行组合操作，该框架定义了 d、∧、⋆、d† 和李导数 L_X 的离散类比。
• 通过已知的惠特尼元逼近性质建立收敛性，并以链层代数的角度讨论数值实现。

实验结果

研究问题

• RQ1 如何构建一种离散外微分几何，使其在保持拓扑不变量的同时，能一致逼近霍奇星算子和李导数等微分几何结构？
• RQ2 显式惠特尼形式在离散设置中实现精确代数性质方面起到何种作用，尤其是当原始方案将其视为旁观者时？
• RQ3 能否通过链的乘积空间重新定义乘积运算，从而规避离散楔积的非结合性？
• RQ4 如何对李导数进行离散化，以在需要收缩运算的前提下，保持与连续情形的精确函子对应关系？
• RQ5 在存在度量数据的情况下，何种条件可确保离散逼近收敛于连续理论？

主要发现

• 超立方复形允许显式构造惠特尼形式，并确保离散霍奇星算子满足 ⋆K⋆L = Id，从而实现一致的基于度量的运算。
• 通过使用链的乘积空间，该方法规避了离散楔积的非结合性，并实现了对李导数类比至关重要的良好定义的收缩运算。
• 离散李导数 L_X 通过 i_X 和 d 构造，其作用在显式例子中被证明与连续结果完全一致，证实了函子一致性。
• 该框架通过霍奇星算子支持伴随算子 d†，并确保离散上同调复形与 de Rham 上同调一致，从而保持了拓扑不变量。
• 数值示例表明，离散与连续计算的 d、i_X 和 L_X 实现了完全匹配，证实了收敛性与代数一致性。
• 惠特尼映射并非被动工具，而是实现几何逼近与离散微积分中精确代数结构的核心组件。