[論文レビュー] On the geometric notion of connection and its expression in tangent categories

Rory B. B. Lucyshyn-Wright|arXiv (Cornell University)|May 30, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 4

ひとこと要約

この論文は、接続を接続カテゴリにおいて再定義し、微分バンドル上の接続が、$TE \to E$ への単一の準同型 $K$ によって同値に特徴付けられることを示している。この $K$ は $TE$ を $E \times_M TM \times_M E$ の双積分解に誘導する。あるいは、特定の積と極限条件を満たすリトラクション $K$ として特徴付けられる。主な貢献は、幾何的本質を保ちながら構造と公理の数を削減した洗練された公理的枠組みを提供することにある。

ABSTRACT

Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and combinatorics. Generalizing the notion of (linear) connection on a smooth vector bundle, Cockett and Cruttwell have defined a notion of connection on a differential bundle in an arbitrary tangent category. Herein, we establish equivalent formulations of this notion of connection that reduce the amount of specified structure required. Further, one of our equivalent formulations substantially reduces the number of axioms imposed, and others provide useful abstract conceptualizations of connections. In particular, we show that a connection on a differential bundle E over M is equivalently given by a single morphism K that induces a suitable decomposition of TE as a biproduct. We also show that a connection is equivalently given by a vertical connection K for which a certain associated diagram is a limit diagram.

研究の動機と目的

• 接続の公理的枠組みを簡素化し、必要な準同型と公理の数を減らす。
• 双積と極限図式を通じた構造的一致性を強調する接続の同値な定式化を提供する。
• 微分バンドル上の接続が、特定の普遍的性質を満たす単一の準同型 $K: TE \to E$ によって完全に決定されることを示す。
• 古典的なベクトルバンドル上の接続の概念を、内在的な圏論的構造を用いて任意の接続カテゴリに一般化する。
• CockettとCruttwellの元々の定義が整合的であり、より抽象的で統一的な形に再定式化可能であることを示す。

提案手法

• 微分バンドルの接続を、$TE \cong E \oplus_M TM \oplus_M E$ の双積分解を誘導する準同型 $K: TE \to E$ によって特徴付ける。
• 双積の普遍的性質を用いて、元々のペア $(K,H)$ を置き換える、単一の準同型 $K$ に接続構造を符号化する。
• $K$ が挙上準同型 $\lambda: E \to TE$ のリトラクションであることを示し、$TE$ が $E \times_M TM \times_M E$ の積として成り立つことを示す。
• 極限図式の条件を用いて同値性を確立する：$K$, $p_E$, $T(q)$, $q$ を含む図式がファイバー積であることで、$K$ が有効であることが保証される。
• ファイバー積の存在と $T^k$ による保存（基本条件 3.1）を活用し、圏全体にわたるカテゴリカルな整合性を保証する。
• 圏論的双対性と普遍的構成（双積、極限、積）を用いて、水平および垂直分解といった幾何的概念を抽象的に捉える。

実験結果

リサーチクエスチョン

• RQ1 接続カテゴリにおける接続の概念は、ペア $(K,H)$ の代わりに単一の準同型 $K: TE \to E$ のみを用いて再定式化可能か？
• RQ2 $K$ が微分バンドル上の接続を完全に符号化するためには、どのような普遍的圏論的性質を満たすべきか？
• RQ3 カテゴリ $\mathscr{X}/M$ において、幾何的分解 $TE \cong E \times_M TM \times_M E$ を双積または極限によってどのように表現できるか？
• RQ4 準同型 $K: TE \to E$ が、明示的な水平成分と垂直成分を必要とせずに、適切な接続を誘導するための条件は何か？
• RQ5 CockettとCruttwellの元々の公理は、接続カテゴリにおける双積構造の一般的性質としてどの程度自然に現れるか？

主な発見

• 微分バンドル $\underline{E}$ 上の接続は、$TE$ が $\underline{E} \oplus_M \underline{T}M \oplus_M \underline{E}$ の双積をなすことで、$K$ が第3射影、$\lambda$ が第3埋め込みであるような準同型 $K: TE \to E$ によって同値に特徴付けられる。
• 同じ接続は、$TE$ が $\underline{E} \times_M \underline{T}M \times_M \underline{E}$ の積をなすリトラクション $K: TE \to E$ によって同値に特徴付けられる。ここで $K$ は第3射影、$\lambda$ は第3埋め込みである。
• 接続は、$p_E$, $T(q)$, $K$, $q$ を含む図式がファイバー積であるような有効な垂直接続 $K$ と同値である。これにより $K$ が普遍的リフトであることが保証される。
• CockettとCruttwellの元々の定義が整合的であり、これらの新しい定式化と同値であることが示された。これにより公理の数が削減され、構造の指定がより効率的になった。
• 結果は、接続カテゴリにおける $\underline{T}M$ のアフィン接続へと拡張され、$K: T^2M \to TM$ が同じ役割を果たす。
• 基礎対象 $TE$ は双積または積構造によって、具体的な同型を除いて一意に決定され、分解の整合性が保証される。