[论文解读] Exact formulas for the approximation of connections and curvature

Snorre H. Christiansen|arXiv (Cornell University)|Jul 12, 2013

Advanced Numerical Methods in Computational Mathematics参考文献 8被引用 8

一句话总结

本文推导出一个精确的积分公式，将闭合曲线周围的holonomy表示为连接场中矩形区域曲率的线性泛函。该公式在连接场的矩形区域上成立，严格证明了Regge微分几何中曲率的合理性，表明经过光滑化的度量在极限下收敛于Regge的缺陷角测度，从而在离散几何中建立了连续与离散曲率之间的对应关系。

ABSTRACT

First we express the holonomy along a boundary curve as the integral on the domain, of an expression which is linear in the curvature. Then we provide a rigorous justification of the definition of curvature in Regge calculus.

研究动机与目标

• 推导出一个精确的、规范不变的公式，将holonomy表示为曲率的线性积分，将规范场论的晶格方法拓展至一阶近似之外。
• 为Regge微分几何中曲率的定义提供严格的数学基础，弥补早期表述中的不足。
• 证明通过光滑化Regge度量得到的密度化标量曲率在光滑参数 ε → 0 的极限下收敛于Regge的缺陷角测度。
• 通过证明在光滑极限下曲率重现由缺陷角定义的离散曲率，建立连续微分几何与离散Regge微分几何之间的桥梁。

提出的方法

• 推导出矩形区域 T 周围holonomy 的精确恒等式，将 HolA(∂T) − I 表示为涉及平行传输映射与曲率 F(A) 的积分。
• 使用规范变换技术将问题约化为连接在某一方向上分量为零的情形，从而简化曲率积分。
• 针对约化后的连接形式，采用基于坐标的单个空间变量微分论证，证明该恒等式。
• 通过在单纯复形上对Regge度量 ρ 进行卷积，构造出光滑度量 σε，其局部化于余维数为二的骨架附近。
• 分析 σε 的曲率，证明其在余维数为二骨架的 O(ε) 邻域内有紧支集，且点态范数有界于 O(ε⁻²)。
• 证明密度化标量曲率与测试函数的积分在 ε → 0 时收敛于骨架上的缺陷角测度。

实验结果

研究问题

• RQ1 能否将闭合曲线周围的holonomy精确表示为曲率的线性积分，而非近似？
• RQ2 Regge微分几何中定义的曲率是否可作为正则化度量的光滑曲率的极限？
• RQ3 在光滑参数 ε → 0 的极限下，光滑化Regge度量的曲率行为如何？
• RQ4 密度化标量曲率对Regge缺陷角测度的收敛是否在测度意义下成立？

主要发现

• 矩形边界曲线周围的holonomy 精确等于曲率形式的积分，权重为从原点到区域中每一点的两条路径上的平行传输映射。
• 所提出的公式具有规范不变性，并在小区域极限下退化为标准的一阶近似。
• 光滑度量 σε 的曲率集中在单纯复形余维数为二骨架的 O(ε) 邻域内。
• σε 的曲率点态范数有界于 O(ε⁻²)，与在低维流形上集中一致。
• 密度化标量曲率 μεκε 与光滑测试函数 ψ 的积分在 ε → 0 时收敛于在余维数为二骨架上对 ψ 加权缺陷角 d 的积分。
• 密度化标量曲率 μεκε 在测度意义下收敛于Regge微分几何所定义的测度，该测度在每个铰链处赋予缺陷角。