联络形式

title: 向量丛.
title: 预备.
title: 向量丛上的标架丛.
content: 设 "E" 是光滑流形 "M" 上纤维维数为 "k" 的一个向量丛。"E" 的一个局部标架是 "E" 的局部截面的一个有序基。  令 e=("e") 是 "E" 上一个局部标架。这个标架可用来表示 "E" 的任何局部截面。假设 ξ 是一个局部截面,定义在 e 的同一个开子集上,则 其中 ξ(e) 表示 ξ 在标架 e 中的分量。写成一个矩阵方程,有
title: 外联络.
content: "E" 上一个联络是一类特殊的微分算子 这里 Γ 表示一个向量丛的局部截面层,Ω"M" 是 "M" 上微分 1-形式。特别地,如果 "v" 是 "E" 的一个局部截面,"f" 是一个光滑函数,则 这里 "df" 是 "f" 的外导数。  有时习惯于将 "D" 的定义延拓到任意 "E"-值形式,这样讲其视为 "E" 与整个微分形式外代数的张量积上一个微分你算子。给定一个外联络 "D" 满足这个相容性质,则存在 "D" 的惟一延拓: 使得 这里 "v" 是次数为 deg "v" 的齐次元素。换句话说,"D" 是分次模 Γ("E" ⊗ Ω"M") 上的一个导子。
title: 联络形式.
content: 联络形式出现在将外联络应用于一个特定的标架 e。当外联络应用于 "e",有惟一的 "M" 上 1-形式 "k" × "k" 矩阵 (ω) 使得 利用联络形式,"E" 任何截面的外联络现在可以表示出来,假设 ξ = Σ eξ,则  在两边取分量, 其中 "d" 与 ω 分别表示外导数与一个 1-形式矩阵,作用在 ξ 的分量上。反之,一个 1-形式矩阵 ω 先天足以完全确定在 e 所定义的开子集上局部联络。
title: 标架的改变.
content: 为了将 ω 延拓到一个合适的整体对象,必须检验选取 "E" 不同的截面时的行为。为了表明取决于 e 的选取写成 ω = ω(e)。  假设 e′ 是另一个局部基,则有一个可逆 "k" × "k" 矩阵函数 "g" 使得 将外联络应用到两边,给出了 ω 的变换法则: 特别注意 ω 不满足张量性变换,因为从一个标架到另一个标架的法则涉及到转移矩阵 "g" 的导数。
title: 整体联络形式.
content: 如果 {"U"} 是 "M" 的一个开覆盖,且每个 "U" 携有 "E" 的一个平凡化 e,则利用在重叠区域上局部标架的黏合数据可以定义一个整体联络形式。具体地,"M" 上一个联络形式是定义在每个 "U" 上的 1-形式矩阵 ω(e) 的一个系统,满足下列相容性条件 这个相同性条件特别地确保 "E" 的一个截面的外联络,当抽象地视为 "E" ⊗ Ω"M" 的一个截面时,与定义联络中基截面的选取无关。
title: 曲率.
content: "E" 上一个联络形式的曲率 2-形式定义为 不像联络形式,曲率在标架的变化下表现为张量性,可以利用庞加莱引理直接验证。特别地,如果 e → e "g" 是标架的一个变化,则曲率 2-形式变换为 此变换法则的一种理解如下。设 e 是对应于 e 的对偶基。则 2-形式 与标架的选取无关。特别地,Ω 是 "M" 上一个向量值 2-形式,取值于自同态环 Hom("E","E")。用符号表示,  使用外联络 "D",曲率自同态由 给出,对 "v" ∈ "E"。从而曲率是序列 不能成为链复形(在德拉姆上同调的意义下)的度量。
title: 焊接与挠率.
content: 假设 "E" 的纤维维数 "k" 等于流形 "M" 的维数。在此情形,向量丛 "E" 有时带有出联络外的附加数据:一个焊接形式(英语:solder form)。一个焊接形式是一个整体定义的向量值 1-形式 θ ∈ Γ(Ω("M","E")) 使得映射 对所有 "x" ∈ "M" 是线性同构。如果给定了一个焊接形式,则可以定义联络的挠率为(用外联络表示): 挠率 Θ 是 "M" 上一个 "E"-值 2-形式。  一个焊接形式与相伴的挠率都可用 "E" 的一个局部标架 e 描述。如果 θ 是一个焊接形式,则可分解为标架分量 那么挠率的分量为 与曲率一样,可以证明 Θ 在标架的变化与反变张量变现类似  与标架无关的挠率可由标架分量重新得到:
title: 例:列维-奇维塔联络.
content: 假设 "M" 带有一个黎曼度量,考虑 "M" 的切丛上的列维-奇维塔联络。切丛上一个局部标架是一个有序向量场 e = ("e" | i = 1,2...,n=dim "M") 定义在 "M" 的一个开子集上,在定义域每一点上线性无关。克里斯托费尔符号定义了列维-奇维塔联络 如果 θ = (θ | i=1,2...,n),表示余切丛的对偶基,使得 θ("e") = δ(克罗内克δ),则联络形式为  利用联络形式,一个向量场 "v" = Σ"e""v" 上的外联络由 给出。我们可以重新得到列维-奇维塔联络,在通常的意义下,将此式与 "e" 缩并
title: 曲率.
content: 列维-奇维塔联络的曲率 2-形式是一个矩阵 (Ω),由 给出。为了简单起见,假设标架 e 是完整的,故 dθ=0。使用重复指标的求和约定,则 其中 "R" 是黎曼曲率张量。
title: 挠率.
content: 列维-奇维塔联络是切丛上惟一挠率为零的度量联络。为了描述挠率,注意到向量丛 "E" 是切丛。这带有一个典范焊接形式(有时称为典范 1-形式),它是对应于切丛的恒同自同态的 Hom(T"M",T"M") = T"M" ⊗ T"M" 的截面 θ。在标架 e 中,焊接形式为 θ = Σ "e" ⊗ θ,其中 θ 是对偶基。  联络的挠率由 Θ = "D" θ 给出,或用焊接形式的标架分量表示为  为简单起见再次假设 e 是完整的,此表达式简化为 它等于零当且仅当 Γ 的下指标是对称的。
title: 结构群.
content: 当向量丛 "E" 携有一个结构群时,可以构造更特别的一类联络形式。这等于是在 "E" 上有与李群 "G" 相关的一类优先的标架 e。例如,若 "E" 上有一个度量,则考虑在每一点形成一个标准正交基的标架。结构群则为正交群,因为这个群保持标架的标准正交性。其它例子包括:  一般地,设给定的向量丛 "E" 的一个纤维维数为 "k",而 "G" ⊂ GL("k") 是一般线性群 R 的一个给定的子群。如果 ("e") 是 "E" 的一个局部标架,则一个矩阵值函数 ("g"</sup>j</sup>): "M" → "G" 作用在 "e" 上可产生一个标架 这样两个标架是 G"-相关的。非正式地讲,向量丛 "E" 具有 G"-丛结构如果指定了一类优先的标架,它们局部都是互相 "G"-相关的。正式地讲,"E" 是一个结构群为 "G",典型纤维 R 上有"G" 作为 GL("k") 子群的自然作用的纤维丛。
title: 相容联络.
content: 一个联络与 "E" 上一个 "G"-丛结构相容要求相伴的平行移动总将一个 "G"-标架映为另一个 "G"-标架。正式地讲,沿着一条曲线 γ,下列条件局部成立(即对足够小的 "t"): 对某个矩阵 "g" (可能与 "t" 有关)。在 "t" = 0 微分给出 这里系数 ω 在李群 "G" 的李代数 g 中。  由此观察,定义为 的联络形式 ω 与结构相容,如果 1-形式的矩阵 ω(e) 取值于 g。  而且相容联络的曲率形式是一个 g-值 2-形式。
title: 标架的变化.
content: 考虑标架变化 这里 "g" 是一个定义在 "M" 的一个开子集上的 "G"-值函数,联络形式的变换法则为: 或者使用矩阵乘积: 为了理解每一项,回忆到 "g" : "M" → "G" 是一个 "G"-值(局部定义)函数。这样 其中 ω 是群 "G" 的马尤厄-嘉当形式,这里沿着函数 "g" 拉回到 "M" 上,Ad 是 "G" 在其李代数上的伴随表示。
title: 主丛.
content: 前文所介绍的联络形式,取决于选取一个特定的标架。在第一个定义中,标架只不过是截面的一个局部基。对每个标架,给出了一个联络形式,并有从一个标架到另一个标架的变换法则。在第二个定义中,标架自身带有由李群给出的附加结构,标架的变化限制取值于这个群。主丛的语言,由夏尔·埃雷斯曼于是十九世纪40年代最先提出,提供了将这些联络形式与联系他们变化法则组织为具有一个单独变换法则的内蕴形式。这种方法的优点是形式不在是定义在流形自身上,而是在更大的主丛上。
title: 联络形式的主联络.
content: 假设 "E" → "M" 是结构群为 "G" 的一个向量丛。设 {"U"} 是 "M" 的一个开覆盖,在每个 "U" 上有一个 "G"-标架,记作 e。在重叠的开子集上的关系为:  其中 "h" 是定义在 "U" ∩ "V" 上某个 "G"-值函数。  设 F"E" 是取遍 "M" 上每个点的所有 "G"-标架。这是 "M" 上一个主 "G"-丛。具体地说,利用 "G"-标架都是 "G"-相关的事实,F"E" 可以实现为开覆盖集合间的黏合数据: 这里等价关系 ~ 定义为:  在 F"E" 上,定义一个主 "G"-联络如下,在每个积 "U" × "G" 上定义一个 "g"-值 1-形式,在重叠区域上服从等价关系。首先设 是投影映射。现在对一个点 ("x","g") ∈ "U" × "G",置 1-形式 ω 这样构造,在重叠集合上服从转移规律,从而下降到主丛 F"E" 上一个整体定义的 1-形式。可以证明 ω 是一个主联络,即它再现了 "G" 在 F"E" 上右作用的生成元,且等变交结 T(F"E") 上的右作用与 "G" 的伴随表示。
title: 主联络相伴的联络形式.
content: 反之,主 "G"-丛 "P"→"M" 上一个主 "G"-联络 ω 给出 "M" 上一族联络形式。假设 e : "M" → "P" 是 "P" 的一个局部截面。则 ω 沿 e 的拉回定义了 "M" 上一个 g-值 1-形式:  用一个 "G"-值函数 "g" 改变标架,使用莱布尼兹法则与伴随,可以发现 ω(e) 按如下要求变化: 这里 "X" 是 "M" 上一个向量,"d" 表示前推。

Summary: 在数学,特别是微分几何中,一个联络形式(英语:connection form)是用活动标架与微分形式的语言处理联络数据的一种方式。

Forme de connexion: En géométrie différentielle, une 1-forme de connexion est une forme différentielle sur un formula_1-fibré principal qui vérifie certains axiomes. La donnée d'une forme de connexion permet de parler, entre autres, de courbure, de torsion, de dérivée covariante, de relevé horizontal, de transport parallèle, d'holonomie et de théorie de jauge. La notion de forme de connexion est intimement reliée à la notion de connexion d'Ehresmann.