[論文レビュー] Double vector bundles and duality

Katarzyna Konieczna, Paweł Urbański|ArXiv.org|Oct 16, 1997

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

ひとこと要約

本稿では、二重双対ベクターバンドルの概念を導入し、TTM、TT*M、T*TM、T*T*Mなどの繰り返し接続・余接バンドルの間の標準的同型を確立する。双対ベクターバンドル構造における双対性の体系的枠組みを提供し、二重双対構成が元のバンドルに標準的同型で回復することを証明することで、微分幾何学における古典的双対性を高次構造へ一般化する。

ABSTRACT

The most important examples of a double vector bundle are provided by iterated tangent and cotangent functors: TTM, TT^*M, T^*TM, and T^*T^*M. We introduce the notions of the dual double vector bundle and the dual double vector bundle morphism. Theorems on canonical isomorphisms are formulated and proved. Several examples are given.

研究の動機と目的

• 二重ベクターバンドルにおける双対性の概念を形式化し、古典的双対性を高次構造へ拡張する。
• 一貫的かつ函子的である方法で、二重双対ベクターバンドルおよび双対写像を定義する。
• TTM や TT*M などの繰り返し接続および余接バンドルの間の標準的同型を確立する。
• 多様体から生じる二重ベクターバンドルの対称性および自己双対性を理解する体系的枠組みを提供する。
• ベクターバンドルにおける双対性の既知の結果を、二重バンドルの文脈へ一般化する。

提案手法

• 二つの互いに適合するベクターバンドル構造を持つ二重ベクターバンドルの定義を導入する。
• 二つのベクターバンドル構造のうちの一つを双対化することで、二重双対ベクターバンドルを定義する。
• 両方の構造を逐次双対化して二重双対を構成し、それが元のバンドルと標準的同型であることを示す。
• 標準例（TTM、TT*M、T*TM、T*T*M）にこの構成を適用する。
• 函手的および自然性を保証するため、圏論的言語を用いる。
• 普遍性の性質を明示的に構成し、検証することで標準的同型を証明する。

実験結果

リサーチクエスチョン

• RQ1 二重ベクターバンドルが二つのベクターバンドル構造を持つことを踏まえ、双対性を一貫的に定義する方法は何か？
• RQ2 二重ベクターバンドルの二重双対と元のバンドルとの関係は何か？
• RQ3 繰り返し接続バンドル（例：T*TM および TT*M）は、二重ベクターバンドルとして標準的同型であるか？
• RQ4 双対性構成を二重ベクターバンドル間の写像へ拡張できるか？
• RQ5 二重ベクターバンドルの文脈において、T*TM、TT*M、T*TM、T*T*M 間の標準的同型は何か？

主な発見

• 二重ベクターバンドルの二重双対は、元のバンドルと標準的同型である。これは、ベクターバンドルの自己双対性を一般化する。
• 繰り返し接続バンドル TTM は、余接バンドル T*T*M の二重双対と標準的同型である。
• 接続バンドルの余接バンドル T*TM は、余接バンドルの接続バンドル TT*M と標準的同型である。
• 二重双対ベクターバンドルの構成は函手的であり、写像を尊重するため、バンドル間で一貫性が保たれる。
• 標準的同型は選択された局所座標を必要とせず、幾何的構造を保持する。
• この枠組みは、微分幾何学における古典的双対性の結果を高次構造へ統合・拡張する。