[论文解读] Linear Transports along Paths in Vector Bundles. I. General Theory

Bozhidar Z. Iliev|ArXiv.org|Nov 1, 2004

advanced mathematical theories参考文献 1被引用 4

一句话总结

本文提出了一套关于实向量丛中路径上线性传输的通用公理化框架，证明其具有局部欧几里得性质——即存在某种标架使得其传输矩阵为单位矩阵。主要贡献在于表明此类传输等价于路径上的外微分，并可通过类似于线性联络的局部系数来描述；在特殊标架中，这些系数消失，此时传输退化为沿路径的普通微分。

ABSTRACT

The (parallel) linear transports along paths in vector bundles are axiomatically described. Their general form and certain properties are found. It is shown that these transports are locally (i.e. along every fixed path) always Euclidean ones in a senses that there exist frames in which their matrices are unit. The investigated transports along paths are described in terms of their local coefficients, as well as in terms of derivations along paths.

研究动机与目标

• 正式定义并表征实向量丛中路径上线性传输为保持复合与单位元的纤维间线性同构。
• 利用映射到固定向量空间的线性同构族，建立此类传输的一般不变形式与分量形式。
• 证明任意固定路径上的线性传输均为局部欧几里得：即存在一个标架使得传输矩阵为单位矩阵。
• 建立局部系数描述与路径上外微分形式之间的等价性。
• 为未来关于曲率、挠率及此类传输在物理中的应用研究奠定基础。

提出的方法

• 将 L-传输定义为：对每条路径 γ，赋予一个从 γ(s) 到 γ(t) 的纤维之间线性同构族 L^γ_{s→t}，满足线性性、复合性与单位元公理。
• 证明任意此类传输等价于一族从各纤维到固定向量空间 V 的同构 F^γ_s，使得 L^γ_{s→t} = (F^γ_t)^{-1} ∘ F^γ_s。
• 通过系数函数 Γ^i_{.jα}(x) 在局部坐标中表达传输，其在标架变换下服从广义联络规则（公式 5.2）。
• 建立传输与路径上外微分 D^γ 之间的等价性，其中在特殊标架中 D^γσ = dσ^i/ds · e_i。
• 证明当传输矩阵为单位矩阵时，系数 Γ^i_{.jα} 恒为零，且 D^γσ 退化为分量函数的普通导数。
• 证明变换律（5.2）推广了标准线性联络系数的变换律，当丛为切丛时，其退化为标准形式。

实验结果

研究问题

• RQ1 在向量丛中，沿路径的纤维间映射族需满足何种必要且充分条件，才能构成线性传输？
• RQ2 是否每个沿路径的线性传输均可在某个标架中局部表示为欧几里得传输（即传输矩阵为单位矩阵）？
• RQ3 线性传输的局部系数函数如何与路径及丛的几何相关联？
• RQ4 线性传输沿路径与向量丛中路径上外微分之间的确切关系为何？
• RQ5 此类传输的局部系数在路径上局部标架变换下如何变换？

主要发现

• 在向量丛中任意固定路径上的线性传输均为局部欧几里得：即存在沿该路径的局部标架，使得传输矩阵为单位矩阵。
• 在此类特殊标架中，传输系数恒为零，即 Γ^i_{.jα}(x) = 0，且对应的外微分 D^γ 作用为分量函数的普通微分。
• 与传输相关的外微分 D^γ 与标准协变导数 ∇_γ˙ 一致，当传输源自线性联络时。
• 在标架变换下传输系数的变换律（公式 5.2）推广了标准线性联络系数的变换律。
• 传输完全由其局部系数决定，这些系数满足仅依赖于基点 γ(s) 的变换规则。
• 向量丛的直和与张量积诱导出相应传输上的运算，其矩阵由原始传输矩阵的直和与张量积给出。