词条 | 联络论 |
释义 | lianluolun 联络论(卷名:数学) theory of connection 定义在纤维丛上的一个重要的微分几何概念,它起源于黎曼流形的列维-齐维塔联络,后来被扩充到一般的具有流形结构的纤维丛上去,对研究各种几何空间的性质,确定纤维丛的拓扑结构,都有重要作用。它还和理论物理中的规范势等价。 局部向量丛(乘积向量丛)上的联络 设U是微分流形上的一个坐标邻域,局部坐标为x=(x1,x2,…,xn),F是一个m维实(或复)向量空间,称 ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ① 利用它可作出截面的协变微分: ![]() ![]() 称为σ关于切向量的协变导数。为保持Dσ(x)和墷iσ与基的选取无关起见,在以基{ ![]() ![]() ![]() ![]() ![]() ![]() 这里 ![]() ![]() ② 用联络可以定义U×F上的元素依底空间U上的曲线C:x=x(t)的平行移动。若(x(t),vα(t))是U×F中依赖于t的一列元素而vα(t)满足 ![]() 则称这一列元素依C 平行移动,或称U×F上的曲线C1:(x(t),vα(t))是U 中曲线C的水平提升。 以Г ![]() ![]() ![]() 的形状。又称 ![]() 是线性联络的曲率形式,这里∧是外积, ![]() 线性联络的一个最重要的特殊情形是黎曼流形的列维-齐维塔联络或称黎曼联络(见黎曼几何学)。设U是黎曼流形M的一坐标邻域(假设它与球内部相同胚),考察U上各点 x的切向量的全体得出一个以U为底的乘积丛U×F,它是M的切丛TM的一个部分,其中元素为(x,v),x∈U,v属于一个n维向量空间,当x固定时,(x,U)构成x点的切空间Tx。U×F的截面就是 U上的切向量场。又选取 ![]() ![]() ![]() 决定,此即第二类克里斯托费尔记号。式中 gjk, gil是黎曼流形上度量张量的反变和协变形式。上述的平行移动、曲率等概念就和黎曼几何中的意义相一致。如不采取自然标架,而采取另外的基{ei},利用(5)就可以得到相应的联络形式。特别,如选取ei,使它们在各点都是单位、正交的(即选取正规正交标架),那么Г就是反对称阵,即Г取值于正交群的李代数,这时每点x的切空间具有欧氏结构,即正交群作用下不变的结构。 向量丛上的联络 以微分流形M为底的向量丛 ![]() ![]() Vp=gpqVq,gpq(x) 就被称为转换函数,是取值于Gl(m,R)(或Gl(m,C))的函数,且当 ![]() ![]() 经过这样的粘合,便得到整体的向量丛。例如,M的切丛TM就是由每个在Up上的切丛粘合而成。 如果每个Up×Fp上有联络形式Г,而且在 ![]() ![]() 那么在 ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() 反之也可以从这4个性质出发,来作出向量丛上联络的定义。 照样可以把水平提升的概念,曲率的概念整体地定义到向量丛上来。 如果可以选取局部基截面,使转换函数属于Gl(m,R)(或Gl(m,C))的某一子群G,即gpq属于这子群G,就称向量丛可化约为群G的向量丛。若联络形式也取值于群G的李代数g,就称这个联络为化约于群G的联络。 主丛上的联络 设U×G={(x,u)│x∈U,u∈G}是一个局部乘积丛, 这里G是一个李群, π:(x,u) ![]() ![]() 来定义一个联络,以 ![]() 部曲率形式。但为了整体描述方便起见,取 ![]() 联络的坐标表示,这里u-1du是群G的左不变形式,αd是伴随表示。 当 M=∪Up,把 ![]() ![]() ![]() ![]() ![]() 在Up∩Uq处, ![]() ![]() Up∩Uq处θp=θq,所以联络确实可以用θ 来表示。曲率也可写成 ![]() 形M是仿紧空间(见拓扑空间)时,主丛上的联络是一定存在的。 M上的曲线C∶x=x(t)按微分方程 ![]() 可以决定主丛P上的一条曲线,称为C的水平提升曲线,水平提升曲线的切向量称为水平向量。P上每点的水平向量全体构成P在该点的切空间的一个n维子空间,称为水平子空间。P上的联络也可以由在各点给定的、符合一定条件的水平子空间所定义。 M上以定点x为始点和终点的分段可微闭曲线,其水平提升相应于在π-1x上群 G的一个右作用。所以每一条以x为端点的分段可微闭曲线对应群G的一个元素,且为同态,称这同态为和乐映射,其群为和乐群。 和乐群是研究主丛联络的一个重要工具。已经证明,由和乐群出发可以重建主丛的拓扑结构和联络本身。 联络论的作用 联络在微分几何和理论物理中有很多作用。 ① (C.)F.克莱因在埃尔朗根纲领中把几何空间看成群的作用空间,且作用是可迁的,把几何性质看成群作用下的不变的性质。在此观点下,欧氏空间,仿射空间,射影空间与共形空间等等都有相应的可迁变换群。黎曼流形是弯曲空间且在其上一般没有可迁变换群作用,因而黎曼流形不在克莱因的几何空间之列。但从纤维丛的观点,黎曼流形上各点的切空间仍然是克莱因意义下的几何空间, 这时各点的切空间之间由联络来建立联系(要通过曲线的水平提升)。 从而对于种种克莱因意义下的几何空间,都可作其相应的联络空间, 如仿射联络空间,共形联络空间,射影联络空间等等,这是克莱因理论的一大发展,这种概念首先是由É嘉当提出的。 ② 通过联络可以作出曲率,利用曲率可以作出纤维丛上的示性类,它们是流形M上的闭形式,这些示性类(其积分称为示性数)是研究纤维丛的拓扑性质的重要工具。这是陈省身等人的贡献。 ③ 1954年物理学家杨振宁等提出了规范场理论,它在研讨自然界四种基本作用力的规律中起了极为重要的作用。实际上,规范势相当于联络,场的强度相当于曲率,截面相当于波函数,示性数表示某些物理量(如磁荷,瞬子数等)。20世纪70年代起,纤维丛联络论和规范场论的相互沟通对数学和物理学都起了巨大的推进作用。 |
随便看 |
百科全书收录78206条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。