[論文レビュー] Transports along paths in fibre bundles. II. Ties with the theory of connections and parallel transports

Bozhidar Z. Iliev|ArXiv.org|Mar 1, 2005

Optical Network Technologies参考文献 27被引用数 3

ひとこと要約

本稿では、線形バンドル内の平行移動が、経路に沿った移動の特別な場合であることが示され、接続の理論をより広い経路依存的移動の枠組みに統合する。平行移動—接続によって生成されるものであろうと公理的に定義されたものであろうと—が再パrametrizationに関して追加の不変性条件を満たすことが証明され、それらが一般の経路に沿った移動の理論に埋め込まれることが示された。

ABSTRACT

A review of the parallel transport (translation) in fibre bundles is presented. The connections between transports along paths and parallel transports in fibre bundles are examined. It is proved that the latter ones are special cases of the former.

研究の動機と目的

• 経路に沿った移動と線形バンドル内の平行移動の関係を明確化すること。
• 平行移動が、追加の不変性条件を満たす経路に沿った移動の特別なクラスであることを示すこと。
• 接続に基づくおよび公理的アプローチの両方を、より広い経路移動の枠組みの下で統一すること。
• 特に線形バンドルにおいて、再パラメータ化不変性が線形経路に沿った移動に果たす役割を調査すること。
• テンソル代数の微分作用素によって生成される線形移動が、公理的定義における平行移動としてどのように解釈できるかを示すこと。

提案手法

• 合成と単位元の公理を満たす写像 $ I^{ au}_{s\to t} : \pi^{-1}(\gamma(s)) \to \pi^{-1}(\gamma(t)) $ として、経路に沿った移動を形式化すること。
• 再パラメータ化不変性を保証する重要な条件 (1.6)：$ I^{\gamma \circ \tau}_{s\to t} = I^{\gamma}_{\tau(s)\to \tau(t)} $ を導入すること。
• 接続によって生成されるか、公理的に定義されたいかなる平行移動に対しても、この不変性条件が満たされることを証明すること。
• 行列表現 $ H(s,t;\gamma) $ と接続係数 $ \Gamma_{\gamma}(s) $ を用いて、経路に沿った線形移動を特徴付けること。
• 再パラメータ化不変性と微分方程式 $ \Gamma_{\gamma \circ \tau}(s) = \frac{d\tau(s)}{ds} \cdot \Gamma_{\gamma}(\tau(s)) $ の同等性を確立すること。
• 移動と共変微分 $ \mathcal{D}^\gamma_s $ の関係を示し、不変性が $ \mathcal{D}^{\gamma \circ \tau}_s = \frac{d\tau(s)}{ds} \cdot \mathcal{D}^{\gamma}_{\tau(s)} $ を意味することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 線形バンドル内の平行移動は、一般の経路に沿った移動の理論とどのように関係しているか？
• RQ2 経路に沿った移動が平行移動とみなされるために満たすべき追加の条件は何か？
• RQ3 公理的に定義された平行移動は、経路に沿った移動の枠組みに埋め込むことができるか？
• RQ4 特に線形バンドルにおける線形経路に沿った移動において、再パラメータ化不変性が果たす役割は何か？
• RQ5 再パラメータ化の下で、行列表現 $ H(s,t;\gamma) $、接続係数 $ \Gamma_{\gamma}(s) $、共変微分 $ \mathcal{D}^\gamma_s $ はどのように関係するか？

主な発見

• 接続によって生成されたり公理的に定義されたりするいかなる平行移動に対しても、再パラメータ化不変性条件 (1.6) を満たす経路に沿った移動であることが示された。
• 条件 (1.6) は、移動が経路のパラメータ化に依存せず、曲線の像にのみ依存することを保証する。
• 線形バンドルにおける線形移動に関しては、再パラメータ化不変性が微分方程式 $ \Gamma_{\gamma \circ \tau}(s) = \frac{d\tau(s)}{ds} \cdot \Gamma_{\gamma}(\tau(s)) $ と同等であることが示された。
• 式 (5.1)、(5.2)、(5.3)、(5.4) の同等性は、再パラメータ化不変性が行列表現、係数表現、微分表現のすべてで保存されることを確認した。
• この結果により、経路に沿った移動の理論が、平行移動を特別な場合として含む一般枠組みであることが示された。
• ゲージ理論におけるウィルソン・ループが、この枠組みと整合的であることが示された。なぜなら、ウィルソン・ループは閉じたループに沿った平行移動を表し、再パラメータ化に対して不変であるからである。