联络 (向量丛)

✍ dations ◷ 2025-07-08 15:47:33 #联络,向量丛

在数学中,纤维丛上一个联络是一个定义丛上平行移动的装置;即将邻近点连接或等价的一种方法。如果纤维丛是向量丛,则平行移动的概念要求线性。这样的联络等价于一个共变导数,共变导数是一个能对截面关于底流形的切方向求微分的算子。联络在这个意义下,对任意向量丛,推广了光滑流形切丛的线性联络概念,经常叫做线性联络。

向量丛上的联络也经常称为科斯居尔联络,以让-路易·科斯居尔命名,他给出了描述这个联络的一个代数框架(Koszul 1950)。

设 → 是光滑流形 上的光滑向量丛。记 的光滑截面的空间为 Γ()。 上一个联络是一个 R-线性映射

使得莱布尼兹法则

对 上所有光滑函数 与 的所有光滑截面 σ 成立。

如果 是 上一个切向量场(即切丛 的一个截面),我们可以定义一个沿着 的共变导数:

通过缩并 与联络 ∇ 中的共变指标(即 ∇σ = (∇σ)())。共变导数满足如下性质:

反之,任何满足如上性质的算子定义了 上一个联络,联络在这种意义下也称为 上的共变导数。

设 → 是一个向量丛。一个 阶 -值微分形式是张量积丛 ⊗Λ* 的一个截面。这种形式的空间记作

一个 -值 0-形式就是 的一个截面,即

在这种记法下, → 上一个联络是线性映射

这样一个联络看作向量丛值形式的外导数的推广。事实上,给定 上一个联络 ∇ 有惟一的一种方法将 ∇ 延拓成共变外导数或称外共变导数

不像通常的外导数,这里不必有 (∇)2 = 0 。事实上,(∇)2 与联络 ∇ 的曲率直接相关,参见下面。

任何向量丛上都有联络,但是联络不是惟一的。如果 ∇1 与 ∇2 是 → 上两个联络则他们的差是一个 ∞-线性算子。即

对 上所有光滑函数 与 的所有截面 σ 成立。从而推出差 ∇1 − ∇2 由 上一个取值于自同态丛 End() = ⊗* 的 1-形式诱导

反之,如果 ∇ 是 上一个联络而 是 上取值为 End() 的 1-形式,则 ∇+ 是 上一个联络。

换句话说, 上联络的空间是一个对 Ω1(End ) 的仿射空间。

设 → 是一个秩 向量丛,令 F() 是 的主标架丛。则 F() 上一个(主)联络诱导了 上一个联络。首先注意到 的截面与左等变映射 F() → R 一一对应(这由考虑 在F() → 上的拉回可以看出来,同构于平凡丛 F() × R)。给定 的一个截面 σ,设对应的等变映射为 ψ(σ)。则 上的共变导数由

给出,这里 是 的水平提升(回忆到水平提升由 F() 上一个联络确定)。

反之, 上一个联络确定了 F() 上一个联络,且这两个构造是互逆的。

上一个联络也等价地由 上一个线性埃雷斯曼联络确定。这提供了构造相关的主联络的一个方法。

设 → 是一个秩 向量丛,令 是 的一个开子集使得 在 上平凡。给定 在 上一个局部光滑标架 (1, …,), 的任何截面 σ 可写成 σ = σ α e α {\displaystyle \sigma =\sigma ^{\alpha }e_{\alpha }} 上一个联络限制在 上具有形式:

这里

这里 ωαβ 定义了一个 × 矩阵,矩阵元取值为 上的 1-形式。事实上,给定任何如上形式的矩阵定义了 限制在 上一个联络。这是因为 ωαβ 确定了一个 1-形式 ω 取值于 End(),这个表达式定义 ∇ 为联络 d+ω,这里 d 是 在 上的平凡联络(定义为用局部标架对截面微分)。在这种情景下 ω 也称为 ∇ 关于这个局部标架的联络形式。

如果 是一个具有坐标 () 的坐标邻域,则我们可以写成

注意坐标与纤维指标在表达式中混合在一起。系数函数 ωαβ 对指标 具有张量性(它们定义了一个 1-形式)但对指标 α 与 β 不是。对纤维指标的变换法则更加复杂。设 (1, …,) 是 上另一个光滑局部标架,将坐标变换矩阵记作 (即 α = ββα)。关于标架(α) 的联络矩阵由矩阵表达式给出

这里 d 是对 的分量取外导数得到的 1-形式矩阵。

此局部坐标中关于这个局部标架场 (α) 的共变导数由如下表达式给出:

向量丛 → 上一个联络 ∇ 定义了 上沿着 的一条曲线的平行移动概念。设 γ : → 是 上一条光滑道路。 的沿着 γ 的一个截面 σ 称为平行,如果

对所有 ∈ 成立。更形式地,我们可考虑 通过 γ 的拉回 γ*。这是 上在 ∈ 处纤维为 γ() 的纤维丛。 上的联络 ∇ 拉回到 γ* 上一个联络。γ* 的一个截面 σ 平行当且仅当 γ*∇(σ) = 0.

假设 γ 在 中从 到 。如上定义平行截面的等式是一个一阶常微分方程从而对任何可能的初始条件有惟一解。即对任何向量 属于 存在 γ* 的惟一平行截面 σ 满足 σ(0) = 。定义平行移动映射

为 τγ() = σ(1)。可以证明 τγ 是一个线性同构。

平行移动可以用来定义联络 ∇ 以 中一点 为基点的和乐群。这是 GL() 的一个子群,由沿着基于 环路的所有平行移动映射组成:

一个联络的和乐群本质上与这个联络的曲率相关。

→ 上联络 ∇ 的曲率是一个 上 2-形式 ∇,取值于自同态丛 End() = ⊗*,即

曲率定义为表达式

这里 与 是 上的切向量场, 是 的一个截面。可以验证 ∇ 对 与 都是 ∞-线性的,从而确实定义了一个 的丛同态。

正如上面所提及的,共变外导数 ∇ 作用在 值形式上的平方不必是零。无论如何算子 (∇)2 严格有张量性(即 ∞-线性)。这意味着它由一个取值于 End() 的 2-形式诱导,这个 2-形式恰好就是如上给出的曲率形式。对一个 -值形式 σ 我们有

一个平坦联络是曲率形式恒等于零的联络。

相关

  • Kr3d10 4s2 4p62, 8, 18, 8蒸气压第一:1350.8 kJ·mol−1 第二:2350.4 kJ·mol−1 第三:3565 kJ·mol主条目:氪的同位素氪是一种化学元素,化学符号是Kr,原子序数是36,是一种无色
  • 伦敦爱乐乐队伦敦爱乐乐团(London Philharmonic Orchestra)是英国最大的管弦乐团,设在伦敦皇家节日大厅。它也是戈林德伯恩歌剧节的常驻乐团。它也常在布莱顿圆顶和伊斯特本的国会剧院演出
  • 瞿颖瞿颖(1971年7月2日-),湖南常德人,中国大陆女演员、歌手、模特。在2014年成为《百变大咖秀》固定班底。1989年毕业于湖南省艺术学校话剧专科班(学员)。同年进入湖南省话剧团任演员。
  • 台北市联外桥梁列表台北市联外桥梁列表介绍台北市与新北市的互联桥梁。台北市因为淡水河系环绕,与新北市间的交通往来大多有赖桥梁衔接;此外阳明山北面,阳金公路一带则为磺溪水系。桥梁的命名如同
  • 克鲁伯 75mm 野炮1904-1945克鲁伯75mm野炮,是德国克鲁伯公司于19世纪末至20世纪初所发展的火炮,作为货架产品销售给多个国家,在一战、二战中广泛使用。本炮其实是一个族系,除弹药与口径通用外,有
  • 池志强池志强(1924年11月16日-2020年1月7日),浙江省黄岩县(今台州市黄岩区)人,中国药理学家,中国科学院上海药物研究所研究,中国工程院院士,中国共产党党员员。1949年毕业于浙江大学药学系,19
  • 正兴街道正兴镇,是中华人民共和国四川省成都市双流区下辖的一个乡镇级行政单位。2019年12月,撤镇设街道,正兴街道办事处驻广东街248号。正兴镇下辖以下地区:苏码头社区、大安桥社区、云
  • 四硫代锑酸钠四硫代锑酸钠是一种无机化合物,化学式为Na3SbS4,其九水合物通常被称作史莱普特盐,以德国化学家卡尔·冯·史莱普特(德语:Karl von Schlippe)命名。该化合物是硫化物矿物的一种。该
  • 贾里迪赫巴扎尔贾里迪赫巴扎尔(Jaridih Bazar),是印度贾坎德邦Bokaro县的一个城镇。总人口30091(2001年)。该地2001年总人口30091人,其中男性16153人,女性13938人;0—6岁人口4357人,其中男2213人,女2
  • 音乐生理学音乐生理学(德语:Musikphysiologie),是在音乐家医学和系统音乐学的科学学科背景下,那些以应用为导向的身体治疗和心理技术等领域的总称。它为预防和治疗音乐家的身心疾病,以及记录