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

ひとこと要約

本稿は、接続場における長方形領域に対して、閉曲線回りのホロノミーを曲率の線形汎関数として表す正確な積分公式を導出する。これは、リーマン幾何における連続的・離散的曲率の対応関係を確立する。さらに、滑らか化された計量がε → 0の極限においてレッジ計算の欠損角測度に収束することを示し、レッジ計算の曲率定義を数学的に厳密に裏付ける。

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.

研究の動機と目的

• ホロノミーを曲率の線形積分として正確に表現するゲージ不変な公式を導出すること。これは、第一順近似を超えた格子ゲージ理論への拡張を目的とする。
• レッジ計算における曲率の定義に数学的に厳密な基礎を提供すること。これにより、以前の定式化におけるギャップを埋める。
• 滑らかさパラメータε → 0の極限において、滑らか化されたレッジ計量からの密度化スカラー曲率が、レッジの欠損角測度に収束することを示すこと。
• 連続微分幾何学と離散的レッジ計算を結ぶため、滑らかな極限における曲率が、欠損角によって定義される離散的曲率を再現することを示すこと。

提案手法

• 長方形領域T回りのホロノミーについて、HolA(∂T) − Iを、平行移動写像と曲率F(A)を含む積分として表す正確な恒等式を導出する。
• ゲージ変換技術を用いて、問題を接続が一方の方向に成分をもたない場合に還元し、曲率積分を単純化する。
• 空間変数の1つについての座標ベースの微分法的議論を適用し、簡略化された接続形式のもとで恒等式を証明する。
• 単体複体上のレッジ計量ρを用い、コーシー畳み込みにより滑らか化計量σεを構成する。この滑らか化は、codim-2スケルトンの近傍に局在化される。
• σεの曲率を分析し、それがcodim-2スケルトンのO(ε)半径のチューブ状近傍にのみ支持されることを証明する。また、点毎のノルムがO(ε⁻²)で有界であることを示す。
• テスト関数に対して密度化スカラー曲率の積分が、ε → 0の極限でスケルトン上の欠損角測度に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 閉曲線回りのホロノミーは、近似的にではなく正確に、曲率の線形積分として表現可能か？
• RQ2 レッジ計算で定義された曲率は、正則化された計量からの滑らかな曲率の極限として生じるか？
• RQ3 滑らかさパラメータε → 0の極限において、滑らか化されたレッジ計量の曲率はどのように振る舞うか？
• RQ4 密度化スカラー曲率がレッジの欠損角測度に測度の意味で収束するか？

主な発見

• 長方形境界曲線回りのホロノミーは、領域内の各点への原点からの2本の経路に沿った平行移動写像で重み付けされた曲率形式の積分と厳密に等しい。
• 提示された公式はゲージ不変であり、小領域の極限では標準的な一次近似に還元される。
• 滑らか化計量σεの曲率は、単体複体のcodim-2スケルトンの周囲のO(ε)半径のチューブ状近傍にのみ支持される。
• σεの曲率の点毎のノルムはO(ε⁻²)で有界であり、低次元的ストラトムへの集中と整合的である。
• 滑らかなテスト関数ψに対する密度化スカラー曲率μεκεの積分は、ε → 0の極限で、スケルトン上のψの積分に欠損角dが重み付けされた形に収束する。
• 密度化スカラー曲率μεκεは測度の意味で、レッジ計算が各ヘッジに欠損角を割り当てる測度に収束する。