联络
维基百科,自由的百科全书
在微分几何中,联络(connection或connexion)或者协变导数(covariant derivative)是指定流形上的向量场沿着另外一个向量场的一个导数的方法。这是在切丛上的一个应用;有更为一般的联络用在微分几何和其他领域中以表述内在的微分方程。联络可以指任何向量丛上的联络,或者主丛上的一个联络。
联络导出了沿着流形上的曲线的平行传输。联络也给出曲率(参看曲率张量和曲率形式)的不变量,以及所谓的扭率.
[编辑] 一般概念
一般概念可以这样总结为:给定一个纤维丛 在E的任意点的切空间有一个标准的竖直子空间,也就是和纤维相切的子空间。联络在E的每点选定一个水平子空间使得E的切空间成为竖直和水平子空间的一个直和。通常对于水平子空间的选取有更多的要求,但它们取决于丛的类型。
给定,诱导的丛(拉回丛)有诱导的联络。若B' = I是一个区间,则B上的联络给出了I上的拉回丛的一个平凡化,也就是说,I上的纤维之间的一个单参数同胚族。这个族称为沿着曲线 的平行位移,它给出联络的一个等价表述(在黎曼流形上的Levi-Civita联络的情形中称为平行传输)。
有很多描述联络的方法;有一种方法是,把联络表示为一个1-形式的矩阵,它在一个坐标图中表示协变导数和普通偏导数的区别的乘子。也就是说,偏导数不是流形的内在概念:联络修正了这个概念,使得我们可以用几何术语进行讨论。
[编辑] 可能的途径
有很多定义联络的途径。他们包括下述这些:
- 较为直接的模方式的协变导数,表明允许向量场作为向量丛的截面的微分算子的条件。
- 传统的指标记号用分量形式给定联络;见协变导数(三个指标,但这'不'是一个张量)。
- 在黎曼几何中,有一种从度量张量导出联络的方法(Levi-Civita联络)。
- 使用主丛和李代数值的微分形式(见联络形式和卡当联络)。
- 最抽象的方法可能是Alexander Grothendieck所建议的,联络被视为对角线的无穷小邻域的下降数据。
上面所指的联络是线性或仿射联络。也有射影联络的概念;最常见的这种类型的联络有复分析中的Schwarzian导数。
参见: Gauss-Manin联络