[论文解读] Multi linear formulation of differential geometry and matrix regularizations

Joakim Arnlind, Jens Hoppe+1 more|arXiv (Cornell University)|Sep 24, 2010

Advanced Topics in Algebra参考文献 6被引用 5

一句话总结

本文利用多重线性代数结构（特别是Nambu括号和矩阵正则化）形式化了黎曼几何的关键方面，如曲率、高斯-博内定理和协变导数。它证明了离散曲率和欧拉示性数等拓扑不变量可从嵌入曲面的矩阵表示中代数计算得出，并表明离散高斯曲率的下界意味着矩阵拉普拉斯算子特征值的相应下界。

ABSTRACT

We prove that many aspects of the differential geometry of embedded Riemannian manifolds can be formulated in terms of multi linear algebraic structures on the space of smooth functions. In particular, we find algebraic expressions for Weingarten's formula, the Ricci curvature and the Codazzi-Mainardi equations. For matrix analogues of embedded surfaces we define discrete curvatures and Euler characteristics, and a non-commutative Gauss--Bonnet theorem is shown to follow. We derive simple expressions for the discrete Gauss curvature in terms of matrices representing the embedding coordinates, and a large class of explicit examples is provided. Furthermore, we illustrate the fact that techniques from differential geometry can carry over to matrix analogues by proving that a bound on the discrete Gauss curvature implies a bound on the eigenvalues of the discrete Laplace operator.

研究动机与目标

• 将内在和外在微分几何量（如里奇曲率、魏ingtarten公式和Codazzi-Mainardi方程）完全表达为光滑函数代数上的多重线性代数结构。
• 为嵌入黎曼流形开发一种矩阵正则化框架，通过代数表达式保持曲率和拓扑等几何量。
• 为矩阵正则化曲面建立离散高斯-博内定理，实现在膜理论中对矩阵解的拓扑分类。
• 根据离散高斯曲率推导矩阵拉普拉斯算子的谱界，将几何曲率与矩阵算子的谱性质联系起来。

提出的方法

• 利用Nambu括号作为光滑函数上的多重线性、交替n元运算，编码几何数据，将泊松括号推广至高维。
• 使用Nambu括号形式化构造标准正交法向量和协变导数，从而以代数形式推导高斯-Codazzi方程。
• 应用矩阵正则化技术，将曲面上的光滑函数映射为有限维厄米矩阵，通过换位子保持泊松括号结构。
• 通过涉及换位子和矩阵迹的代数表达式定义矩阵正则化曲面的离散高斯曲率，确保在大N极限下与连续曲率一致。
• 通过证明离散曲率矩阵的迹在大N极限下等于欧拉示性数，推导出离散高斯-博内定理。
• 通过迹不等式和矩阵正则化极限下的收敛定理，将矩阵拉普拉斯算子的特征值与离散高斯曲率关联，建立谱界。

实验结果

研究问题

• RQ1 诸如里奇曲率和高斯- Codazzi方程等基本几何量能否完全用光滑函数代数上的多重线性代数运算表达？
• RQ2 矩阵正则化如何在嵌入曲面的离散、有限维近似中保持曲率和欧拉示性数等几何不变量？
• RQ3 在正则化曲面上，何种关于矩阵换位子的代数表达式可给出离散高斯曲率？
• RQ4 离散高斯曲率的下界与矩阵拉普拉斯算子特征值的下界之间是否存在直接关系？
• RQ5 能否从矩阵正则化的几何数据中推导出非交换的高斯-博内定理？

主要发现

• 嵌入ℝᵐ中的曲面的高斯曲率可代数表达为嵌入坐标Nambu括号的组合，具体为：$ K = \frac{1}{2} \big( \text{tr}(\text{Nambu}^2) \big) $，其中Nambu括号通过度量行列式和偏导数定义。
• 对于矩阵正则化曲面，离散高斯-博内定理成立：在大N极限下，离散曲率矩阵的迹等于$ 2\tau $，即欧拉示性数。
• 对于模糊球面和模糊克莱夫福德环面，推导出离散高斯曲率的显式矩阵表达式，表明其在连续极限下与经典曲率一致。
• 若离散高斯曲率满足下界$ \tilde{K}_\beta \rangle \rho \mathbf{1} $，则矩阵拉普拉斯算子的特征值也满足下界$ \lambda \geq 2\rho $，该结果通过迹不等式和收敛定理证明。
• 矩阵拉普拉斯算子的特征值下界通过恒等式$ \text{Tr}(\hat{\gamma}_\alpha \hat{\Delta}_\alpha(\hat{u}_\alpha)^2) \approx \frac{1}{2} \lambda \text{Tr}(\hat{\gamma}_\alpha \hat{D}^i \hat{u}_\alpha \hat{D}^i \hat{u}_\alpha) $推导得出，将曲率与谱数据联系起来。
• 在矩阵序列以$ C^2 $-收敛于光滑曲面的条件下，矩阵正则化几何量（如曲率、拉普拉斯算子）收敛于其连续对应量。