[论文解读] 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.

研究动机与目标

• 形式化双重向量丛中对偶性的概念，将经典对偶性推广至高阶结构。
• 以一致且函子性的方式定义双重对偶向量丛与双重对偶态射。
• 建立迭代切丛与余切丛之间（如 T*TM 与 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 之间存在典范同构。
• 双重对偶向量丛的构造是函子性的，并尊重态射，确保在丛之间的一致性。
• 典范同构是自然的，无需选择局部坐标，从而保持了几何结构。
• 该框架统一并扩展了微分几何中经典对偶性结果至高阶结构。