埃雷斯曼联络

✍ dations ◷ 2025-07-06 19:09:04 #联络

微分几何中,埃雷斯曼联络(Ehresmann connection)是应用于任意纤维丛的联络概念的一个版本。

特别的是,它可以是非线性的,因为一般的纤维丛上没有合适的线性的概念。

它适用于主丛这一类特殊的纤维丛,通过联络形式表述,在这种情况联络至少是在一个李群的作用下等变。

埃雷斯曼联络以法国数学家夏尔·埃雷斯曼命名。

微分几何中经典的协变导数是一个线性微分算子,它以协变的方式取向量丛中截面的方向导数,也能用来阐述在在特定向量方向上丛中截面为平行的概念:截面沿着向量平行,如果∇V = 0。所以一个协变导数提供了两个观念:微分算子以及各个方向上的平行。埃雷斯曼联络完全放弃了微分算子,并用截面在各个方向平行的含义来公理化一个联络。精确一点讲,埃雷斯曼联络将纤维丛中的切丛的某些子空间指定为“水平空间”。如果 ( )处于水平空间中,则截面 是在 方向上是水平的(也即平行的)。在这里,我们把 视为从底空间 映射到向量丛 的函数  : → ,且  : → 是向量的前推。水平空间组成 的一个子向量丛。

如此一来直接的好处是它可以用于比向量丛一般得多的场合。特别是,它对于一般的纤维丛都是有定义的。而且,很多协变导数的特色得到了保留:平行移动,曲率和和乐。

然而此定义除了线性之外还失去了。在经典协变导数中,协变性乃是导数的特性。在构造过程中,要先指定“非协变”克氏记号的变换法则,才能给出符合协变的。对埃雷斯曼联络而言,可借由引入作用在纤维丛里纤维上的李群,来强加一个推广的协变原则。恰当的条件就是要求水平空间在某种意义下对应于群作用等变。

埃雷斯曼联络的点睛之笔是它可以表达为一个微分形式,和联络形式的情况类似。若一个群作用在纤维上,并且联络等变,则该形式也是等变的。而且,该联络形式也允许用曲率形式来定义曲率。

令π : → 为纤维丛。上的埃雷斯曼联络由如下数据组成:

用更加看似深奥的术语来讲,满足属性1-4的这样的一个对水平空间的设定,精确地对应于给定一个射丛 → 的光滑截面。

等价的有,令Φ为到铅直丛的投影。这可以由上述到水平和铅直分量的分解得到。则Φ满足:

反过来,若Φ是满足1和2的向量丛映射,则H = Φ定义了上述的一个埃雷斯曼联络的结构。

令Φ为一埃雷斯曼联络。则Φ的曲率为

其中表示Φ ∈ Ω1(,)和它自己的Frölicher-Nijenhuis括号。这样 ∈ Ω2(,)就是一个上取值在中的2-形式,定义为

或者说

其中 = H + V代表到和分量的分解。从上式可以看出,曲率为0当且仅当水平子丛是弗罗贝尼乌斯可积的。这样,曲率是否为0就是水平子丛能否构成纤维丛 → 的横截面的可积性条件。

一个埃雷斯曼的曲率也满足比安基恒等式(Bianchi identity)的一个扩展版本:

其中仍然是Φ ∈ Ω1(,)和 ∈ Ω2(,)的Frölicher-Nijenhuis括号。

埃雷斯曼联络也给出了将曲线从基流形 提升到纤维丛 的总空间并且使得曲线得切向量为水平向量的方式。这些水平提升是其它版本的联络表述中的平行移动的直接对应。

精确来讲,设 γ() 为 中穿过点 = γ(0) 的光滑曲线。令 ∈ P 为 上的纤维中的一点。γ 穿过 的一个提升就是一条曲线 γ ~ ( t ) {\displaystyle {\tilde {\gamma }}(t)} 中,并满足

提升是水平的,当曲线的每个切向量位于 的水平子丛中:

对π和Φ利用秩-零化度定理可以证明每个向量 ∈ TP有唯一的水平提升 v ~ T e E {\displaystyle {\tilde {v}}\in T_{e}E} ,对于足够小的时间总是的γ的水平提升

埃雷斯曼联络允许曲线有局部水平提升。对于一个完备埃雷斯曼联络,曲线可以在整个定义域上水平提升。

联络的平坦性局部对应于水平空间的弗罗贝尼乌斯可积性。在另一个极端,非零曲率表示了联络的和乐群的存在。

对于主-丛 E B {\displaystyle E\to B} 的切空间,用 V x {\displaystyle V_{x}} 在的群作用的微分。

使用射丛 J E E {\displaystyle JE\rightarrow E} 的单参数子群铅直作用于上。该作用的微分允许我们可以讲子空间 V x {\displaystyle V_{x}} 群的李代数等同起来,譬如通过映射 ι : V x g {\displaystyle \iota :V_{x}\to g} 中取值的微分形式 ω {\displaystyle \omega } -值1-形式在一个主丛上产生一个水平分布,满足前面所说的属性。

给定一个局部平凡化,可以将 ω {\displaystyle \omega } 上定义了一个形式 ω {\displaystyle \omega '} 。该形式 ω {\displaystyle \omega '} 完全确定了 ω {\displaystyle \omega } ,但是它依赖于平凡化的选择。(这个形式经常也称为联络形式并也记为 ω {\displaystyle \omega } 。)

相关

  • 遍在远洋杆菌远洋杆菌属(Pelagibacter),目前仅包括遍在远洋杆菌(P. ubique)一个种,可能是地球上数量最多的细菌(估算数量级有1028)。早在1990年,就已在马尾藻海中得到属于α-变形菌的rRNA序列,此后
  • 高氯酸盐高氯酸盐是高氯酸形成的盐类,含有四面体型的高氯酸根离子—ClO4−,其中氯的氧化态为+7。高氯酸盐存在于自然界中,主要用作火箭燃料和烟火中的氧化剂和安全气囊中的爆炸物。多数
  • 朝鲜国防委员会委员长朝鲜民主主义人民共和国主题朝鲜民主主义人民共和国国务委员会委员长(朝鲜语:조선민주주의인민공화국 국무위원회 위원장/朝鮮民主主義人民共和國國务委員會委員長 Joseon min
  • 日落症候群日落症候群是部分老人痴呆症或阿兹海默症患者的其中一种病征,发病率由一成至三成不等,患者一到日落、傍晚时刻,就开始出现焦躁、躁动、幻觉、甚至产生攻击倾向。日落症候群的成
  • 离格离格(英语:ablative case,缩写: .mw-parser-output .smallcaps-all{font-variant:small-caps;text-transform:lowercase}.mw-parser-output .smallcaps-all *{font-variant:norm
  • 提坦泰坦(古希腊语:Τιτάν,读音为.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium"
  • 史记勋史记勋(1552年-1600年),字稽叔,号忠屿,浙江余姚人,明朝政治人物,进士出身。万历十一年(1583年)登癸未科进士,授南京刑部主事。历官郎中,迁任湖广德安府知府。万历十八年(1590年)丁父艰。服
  • 王崇 (嘉靖乙未进士)王崇(?-?),字子谦,直隶任丘县(今河北省任丘市)人,保定后卫前所官籍,明朝政治人物。嘉靖十年(1531年)辛卯科顺天府乡试第十九名举人。嘉靖十四年(1535年)中式乙未科进士。历官刑部郎中。嘉靖
  • 查尔斯·M·赖斯查尔斯·莫恩·赖斯(英语:Charles Moen Rice,1952年8月25日-),美国病毒学家,洛克菲勒大学病毒学教授,主要研究丙肝病毒。2016年与拉尔夫·巴滕施拉格和迈克尔·J·索菲亚(英语:Michael
  • 丰田泰光丰田泰光(1935年2月12日-2016年8月14日),日本棒球选手,出生于茨城县久慈郡大子町,曾经效力于日本职棒西武狮等队伍,于1969年退休,生涯通算263支本垒打。