[論文レビュー] Parallel Transport and Functors

Urs Schreiber, Konrad Waldorf|arXiv (Cornell University)|May 3, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 22被引用数 83

ひとこと要約

この論文は、平行移動を用いて滑らかなファイバー束と接続のファンクター的定式化を確立し、そのような束が多様体の経路群からターゲットカテゴリへのファンクターとちょうど一対一に対応することを示している。そのファンクターは滑らかな降下データと局所的自明化を備えている。主な貢献は、これらの構造を用いた輸送ファンクターの特徴付けであり、これは高次カテゴリおよび高次元平行移動への自然な一般化を可能にする。

ABSTRACT

Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we introduce: local trivializations and smooth descent data. This provides a way to substitute categories of functors for categories of smooth fibre bundles with connection. We indicate that this concept can be generalized to connections in categorified bundles, and how this generalization improves the understanding of higher dimensional parallel transport.

研究の動機と目的

• 滑らかなファイバー束と接続のファンクター的再定式化を提供し、底多様体に位相的制限を課さない。
• ホロノミー写像やデリーニコhomologyの制限を乗り越えるために、ファイバーのカテゴリを表すカテゴリへの経路群からのファンクターを用いる。
• ファンクター的枠組みをn-ファンクターおよびカテゴリ化束へ拡張することで、平行移動の概念を高次元へ一般化する。
• 局所的自明化と滑らかな降下データを通じて、輸送ファンクターと滑らかなファイバー束と接続の間の対応を確立する。
• 輸送をカテゴリカル構造の観点から特徴付けることで、高次元ゲージ理論の基盤を築く。

提案手法

• 滑らかな多様体 $M$ の経路群 $\mathcal{P}_1(M)$ を定義し、その射は経路の細かいホモトピー類からなる。
• ファイバーの構造を記述するカテゴリ $T$ へのファンクター $F: \mathcal{P}_1(M) \to T$ の概念を導入する。
• 局所的自明化と滑らかな降下データを用いて、このようなファンクターを特徴付け、束構造と整合性を持つようにする。
• 降下データからファンクターを再構成する再構成ファンクター $\mathrm{Triv}^1_\pi(i)$ を構成し、降下データと輸送ファンクターの完全同値性を証明する。
• 微分的空間と滑らかなファンクターを用いて滑らかさの条件を扱い、一貫性のある微分的圏の枠組みを構築する。
• 形式主義を $n$-ファンクターおよび高次接続へ一般化し、表面および高次元平行移動への理論を拡張する。

実験結果

リサーチクエスチョン

• RQ1 滑らかなファイバー束と接続を、経路群からのファンクターを用いて完全に特徴付ける方法は何か？
• RQ2 ファンクターが滑らかなファイバー束と接続から生じるための条件は何か？
• RQ3 平行移動の理論を曲線を超えて、表面などの高次元対象へ一般化できるか？
• RQ4 局所的自明化と滑らかな降下データは、そのデータからどのように輸送ファンクターを再構成できるか？
• RQ5 カテゴリ化束における高次元平行移動の背後にあるカテゴリカル構造は何か？

主な発見

• 滑らかな降下データと局所的自明化を課した場合、経路群 $\mathcal{P}_1(M)$ からカテゴリ $T$ への輸送ファンクターは、$M$ 上の滑らかなファイバー束と接続とちょうど一対一に対応する。
• カテゴリ $T = \mathcal{B}G$ の場合、$\mathrm{Gr}$-構造を備えた輸送ファンクターのカテゴリは、接続付き主 $G$-束のカテゴリと同値である。
• ファンクターの降下データからの再構成は、ファンクター $\mathrm{Triv}^1_\pi(i)$ を用いて達成され、降下データと輸送ファンクターの完全同値性が確立される。
• 滑らかな降下データは移行関数の自然な一般化を提供し、座標に依存せず、位相的独立な束と接続の定式化を可能にする。
• この枠組みは $n$-ファンクターへ自然に一般化され、カテゴリ化ゲージ理論における高次元平行移動の一貫した記述を可能にする。
• この理論はデリーニコhomology やバンドルゲージのアーベル構造群の制限を回避し、一般化された設定で任意のリー構造群を許容する。