[論文レビュー] Discretising differential geometry via a new product on the space of chains

Vivien de Beauce, Siddhartha Sen|ArXiv.org|Oct 5, 2006

Topological and Geometric Data Analysis参考文献 4被引用数 4

ひとこと要約

本論文は、微分幾何学の離散化を一貫的に行うために、チェーンの空間における新しい積を導入し、正確な離散的内部積とビエルベイン形式による計量データを可能にする。このアプローチにより、ポントリャーギン類のような位相的不変量が回復され、 Maxwell 方程式 や位相的場の理論の体系的離散化フレームワークが得られる。

ABSTRACT

A discretisation of differential geometry using the Whitney forms of algebraic topology is consistently extended via the introduction of a pairing on the space of chains. This pairing of chains enables us to give a definition of the discrete interior product and thus provides a solution to a notorious puzzle in discretisation techniques. Further prescriptions are made to introduce metric data, as a discrete substitute for the continuum vielbein, or Cartan formulation. The original topological data of the de Rham complex is then recovered as a discrete version of the Pontryagin class, a sketch of a few examples of the technique is also provided. A map of discrete differential geometry into the non-commutative geometry of graphs is constructed which shows in a precise way the difference between them.

研究の動機と目的

• 離散外微分計算における正確な離散的内部積を定義するという長年の問題を解決すること。
• ホイットニー形式をチェーンの積空間に拡張し、離散的ウェッジ積およびホッジスター作用素の一貫した定義を可能とすること。
• 位相的制約を保ちながら、ビエルベイン形式を用いた離散的設定における計量データの統合。
• 離散微分幾何学とグラフの非可換幾何学の間の明確な対応関係を確立し、両者の構造的差異を強調すること。
• 格子重力 や位相的場の理論などの物理的理論に適用可能な体系的離散化フレームワークを提供すること。

提案手法

• チェーンの直積から微分形式への新しい写像 $\bar{W}$ を導入し、明確な離散的内部積を可能とすること。
• チェーンの積空間を介して離散的ウェッジ積およびホッジスター作用素を定義し、連続理論との代数的整合性を保証すること。
• チェーン上のペアリングを用いて計量データを表現し、連続的ビエルベインの代わりに離散的ビエルベインを導入すること。
• 離散微分幾何学からグラフの非可換幾何学への写像を構築し、後者では連続的計量データを捉える能力に欠けることを示すこと。
• 2次元の例にこのフレームワークを適用し、オイラー特性による正規化およびオイラー類のような位相的不変量を検証すること。
• フェルミオンの二重化問題を緩和するためのウィルソン型項を含む物質場の離散的作用を導出すること。

実験結果

リサーチクエスチョン

• RQ1 離散外微分計算の枠組み内で、離散的内部積を一貫してどのように定義できるか。
• RQ2 チェーンの積空間が、離散的設定におけるウェッジ積やホッジスター作用素のような正確な代数的演算を可能にする役割は何か。
• RQ3 位相的制約を保ちながら、計量データをどのように離散化できるか。また、その際の離散的ビエルベイン形式の構成法は何か。
• RQ4 離散微分幾何学とグラフの非可換幾何学とは、計量的および位相的構造を捉える点で、どのような点で異なるか。
• RQ5 このフレームワークを用いて、Maxwell 理論 や位相的場の理論のような物理的場の正確な離散的作用を構築できるか。

主な発見

• チェーンの積空間と拡張されたホイットニー写像 $\bar{W}$ の導入により、長年の問題であった離散的内部積の明確な定義が達成され、離散微分幾何学における一貫性が回復された。
• 離散的ウェッジ積およびホッジスター作用素は、積空間を介して一貫して再定義され、連続理論の主要な代数的性質が保持された。
• 位相的不変量を用いてパラメータを正規化し、整合性を保証する、滑らかな計量離散化を可能にする離散的ビエルベイン形式が構築された。
• オイラー特性は、オイラー類の積分により確認され、制約 $\int W(e(K)) = 2$ が、位相不変性を保つ計量更新を通じて強制された。
• 物質場の離散的作用の構築が可能となり、たとえば $S_M = \int \bar{W}(\bar{\Phi}^K) \wedge \bar{W}(\star^\theta D^K \Phi^K)$ のような形で表現され、フェルミオンの二重化問題を緩和するウィルソン型項が含まれる。
• 非可換幾何学のグラフへの写像は、連続的計量データを捉える能力に欠けることが明らかとなり、両者のアプローチの根本的な相違が浮き彫りにされた。