[論文レビュー] 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.

研究の動機と目的

• リッチ曲率、ヴェインガルテンの公式、コーダッチ＝マイナールディ方程式といった、内在的および外在的微分幾何的量—を、滑らかな関数代数上の多線形代数的構造のみで完全に表現すること。
• 埋め込まれたリーマン多様体のための行列正則化フレームワークを構築し、曲率やトポロジーといった幾何的量が代数的表現を通じて保存されることを保証すること。
• 行列正則化された曲面に対して、離散的ガウス＝ボンネの定理を確立し、膜理論における行列解のトポロジカル分類を可能にすること。
• 離散的ガウス曲率を用いて、行列ラプラシアンの固有値に対するスペクトル境界を導出することにより、幾何的曲率と行列作用素のスペクトル的性質を結びつけること。

提案手法

• 滑らかな関数上での多線形で交代的なn重演算子としてのNambu括弧を用い、幾何的データを符号化する。これは、高次元へのポisson括弧の一般化である。
• Nambu括弧形式を用いて正規直交法線ベクトルおよび共変微分を構築し、代数的表現でガウス＝コーダッチ方程式を導出可能にする。
• 滑らかな関数を有限次元ヘルミート行列に写像する行列正則化技術を適用し、交換子を用いてポisson括弧構造を保存する。
• 交換子と行列トレースを含む代数的表現を用いて、行列正則化された曲面の離散的ガウス曲率を定義し、大N極限における連続的曲率と整合性を保証する。
• 離散的ガウス＝ボンネの定理を導出する。これは、離散的曲率行列のトレースが大N極限においてオイラー特性に一致することを示す。
• トレース不等式と行列正則化極限における収束定理を用いて、行列ラプラシアンの固有値を離散的ガウス曲率に関連づけ、スペクトル境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率やガウス＝コーダッチ方程式といった基本的幾何的量が、滑らかな関数代数上の多線形代数的演算のみで表現可能かどうか。
• RQ2 行列正則化が、埋め込まれた曲面の離散的・有限次元近似において、曲率やオイラー特性といった幾何的不変量をどのように保存するか。
• RQ3 正則化された曲面の離散的ガウス曲率を表す、行列交換子に関する代数的表現は何か。
• RQ4 離散的ガウス曲率の下界と行列ラプラシアンの固有値の下界との間に直接的な関係があるか。
• RQ5 行列正則化された幾何的データから、非可換ガウス＝ボンネの定理を導出可能か。

主な発見

• ℝᵐ に埋め込まれた曲面のガウス曲率は、埋め込み座標のNambu括弧の組み合わせとして代数的に表現可能であり、特に $ K = \frac{1}{2} \big( \text{tr}(\text{Nambu}^2) \big) $ と表される。ここでNambu括弧は計量行列式と偏微分を用いて定義される。
• 行列正則化された曲面に対して離散的ガウス＝ボンネの定理が成立する。大N極限において、離散的曲率行列のトレースは $ 2\tau $、すなわちオイラー特性に一致する。
• フラットな球面（fuzzy sphere）およびフラットなクライフ・トーラス（fuzzy Clifford torus）に対して、離散的ガウス曲率の明示的行列表現が導出され、連続極限において古典的曲率と整合することが示された。
• 離散的ガウス曲率に下界 $ \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 $-収束する条件下で、それらの連続的対応物に収束することが確立された。