[論文レビュー] A gauge-invariant discrete analog of the Yang-Mills equations on a double complex

Volodymyr Sushch|arXiv (Cornell University)|Nov 8, 2006

Advanced Algebra and Geometry参考文献 17被引用数 4

ひとこと要約

本稿は、4次元の組み合わせ的多様体上で、二重複体フレームワークを用いて、ゲージ不変なYang-Mills方程式の離散的類似物を構築する。$(*)^2 = \pm \text{Id}$ を満たす組み合わせ的ホッジスター作用素を導入することで、有限次元の行列系として離散的自己双対および反自己双対方程式を定式化し、境界条件を満たす2つの領域を貼り合わせることで、4次元球面への形式の拡張に成功した。

ABSTRACT

An intrinsically defined gauge-invariant discrete model of the Yang-Mills equations on a combinatorial analog of $\Bbb{R}^4$ is constructed. We develop several algebraic structures on the matrix-valued cochains (discrete forms) that are analogs of objects in differential geometry. We define a combinatorial Hodge star operator based on the use of a double complex construction. Difference self-dual and anti-self-dual equations will be given. In the last section we discus the question of generalizing our constructions to the case of a 4-dimensional combinatorial sphere

研究の動機と目的

• 連続体理論から得られる主要な幾何学的・代数的構造を保ちつつ、組み合わせ的4次元空間上でのYang-Mills方程式のゲージ不変な離散的モデルを構築すること。
• $(*)^2 = \pm \text{Id}$ を満たすような二重複体上での離散ホッジスター作用素を定義することにより、過去の離散モデルで見られた$(*)^2$ がシフトされた恒等写像として作用するという主な制限を克服すること。
• 二重複体上での離散的自己双対および反自己双対Yang-Mills方程式を、有限次元の非線形行列系として定式化すること。
• 境界に沿って貼り合わせることで、2つの同型な領域を用いて、離散Yang-Mills形式を4次元の組み合わせ的4次元球面へ一般化すること。
• 得られたモデルが、微分幾何的演算の離散的類似物に対して、ゲージ不変性および幾何学的整合性を保つこと。

提案手法

• 4次元の組み合わせ的グリッド上に二重複体構造を構築し、外微分の離散的類似物としての離散コチェーンおよびcoboundary作用素$d^c$ を定義可能にする。
• 楔積を模倣する積$\cup$を有する行列値コチェーン複体を導入し、ホッジスター作用素をサポートする内積を定義する。
• 二重複体構成を用いて、$(* )^2 = \pm \text{Id}$ を満たすように組み合わせ的ホッジスター$*$ を定義し、離散的状況下での自己双対性と整合性を保証する。
• 行列値1-コチェーン$A$ を用いて離散曲率2-形式$F = d^cA + A \cup A$ を導出し、離散Yang-Mills方程式を$d^cF = 0$ および$d^c{*}F = 0$ として定式化する。
• 2つの同型な4次元領域$V$ と$\hat{V}$ を境界条件(6.1)および(6.2)に従って貼り合わせることで、組み合わせ的4次元球面$M$ を構成する。
• 複体$K(M)$ 全体にわたってホッジスターおよび内積を拡張し、4次元球面上での離散Yang-Mills方程式および自己双対方程式を有限次元の行列系として定式化する。

実験結果

リサーチクエスチョン

• RQ1 二重複体フレームワークを用いて、組み合わせ的4次元空間上にゲージ不変なYang-Mills方程式の離散的類似物を構築することは可能か？
• RQ2 過去のモデルで見られたシフト性を示す$(*)^2$ とは異なり、$(*)^2 = \pm \text{Id}$ を満たすように、離散ホッジスター作用素をどのように定義できるか？
• RQ3 二重複体上での離散的自己双対および反自己双対方程式は、連続体に対応するものと同様の代数的および幾何学的性質を満たすか？
• RQ4 ゲージ不変性および自己双対性を保ちつつ、離散Yang-Mills形式を4次元の組み合わせ的4次元球面へ拡張することは可能か？
• RQ5 貼り合わせ構成の下で、4次元球面上での離散的自己双対および反自己双対方程式から生じる有限次元の行列系は何か？

主な発見

• 二重複体上での離散ホッジスター作用素は$(*)^2 = \pm \text{Id}$ を満たし、これにより自己双対性の適切な離散的類似物が可能になる。これは、過去のモデルで$(*)^2$ がシフトされた恒等写像として作用していたのとは対照的である。
• 離散Yang-Mills方程式は$F = d^cA + A \cup A$ を用いて$d^cF = 0$ および$d^c{*}F = 0$ として定式化され、ゲージ不変性および幾何学的整合性が保証される。
• 自己双対および反自己双対方程式は、有限次元の非線形行列方程式として表現され、4次元球面上の貼り合わせ条件(6.2)を満たす成分を含む。
• 組み合わせ的4次元球面$M = V \cup \hat{V}$ 上では、離散曲率成分$F^i_j$ および$\hat{F}^i_j$ が対称的な境界条件を満たし、位相的閉包性が保証される。
• 複体$K(M)$ 上の内積は$(\varphi, \psi)_m = \text{tr} \sum_k \sum_{(p)} \left( \varphi_k^{(p)} (\psi_k^{(p)})^* + \hat{\varphi}_k^{(p)} (\hat{\psi}_k^{(p)})^* \right)$ として定義され、球面上でのホッジスターおよびノルム構造をサポートする。
• 定理4.7および自己双対方程式構造は4次元球面へ拡張可能であり、離散モデルがコンパクト多様体上での連続体Yang-Mills理論の主要な性質を保持していることが確認された。