嘉当联络

在数学上，微分几何的结构嘉当联络（Cartan connection）是联络概念的一个推广，由Élie Cartan提出。该方法的一些应用请参见活动标架法，嘉当联络的应用和爱因斯坦-嘉当理论。
理论的概念方面.
它由埃里·嘉当提出，作为他的活动标架法的一部分（和一种表述方法）。它可作用于微分形式，所以带有计算的特征，但也有两个其它重要的方面，两个都更偏几何。嘉当重新表述了伪黎曼几何的微分几何；并不仅仅是（度量）流形，还有任意流形的理论，包括李群。这是用活动标架（repère mobile）的术语来表述的，特别是作为广义相对论的另一种表述。
主要的想法是用"正交标架"建立联络形式和曲率的表达式。
嘉当形式化是协变导数和曲率的一种可选表示法，它采用微分形式和标架。虽然它最基本的形式是坐标相关的，它非常适合计算。它也可以用标架丛的术语来理解，并且有像"旋量丛（spinor bundle）"这样的推广。
标架的一般理论.
理论的第一个方面指向主丛的理论（也可以成为"标架"的一般理论）。对于李群"G"的主丛上的联络的想法比较容易表述，因为在“竖直方向”，可以看到所需的数据可以通过把所有切向量平移回单位元（回到李代数）给出，而联络的定义只是简单的加上一个相容的'水平'分量。若"G"是对于另一个李群"H"的一种仿射群-也就是"G"是"H"和一个"H"作用在其上的向量平移群"T"的半直积，则一个"H"丛可以通过关联丛（associated bundle）构造变成一个"G"丛。也有一个关联的"T"丛：一个向量丛，"H"以自同胚作用于其上，该自同胚在"G"上成为内自同胚。
这种设置下的第一类定义是"H"的一个嘉当联络是一个特定类型的主"G"-联络。
认同切丛.
第二种定义直接检视以光滑流形"M"为基空间的切丛"TM"。这里，数据是"TM"的一种特定的认同，作为一个丛，作为上面提到的"T"丛中的"竖直"切向量（其中，"M"自然的认同为0截面）。这称为焊接（soldering,有时写作welding）:我们现在把"TM"放在了更丰富的设置中，它由"H"值的变换数据表达。这里的一个要点是，和前面的讨论一样，它"不"假设"H"忠实地作用在"T"上。这直接使得旋量丛可以在理论中取代它们的位置，只要把"H"变成一个旋量群而不只是一个正交群。
使用形式化属于的一般理论.
在根源上，几何由空间的不同物体间的"相似性"的概念组成。在19世纪晚期，相似性的概念通常由李群在空间上的作用给出。李群的作用通常是非常刚性的，所以嘉当几何是这种相似概念的一个推广使得曲率得以出现。当然，一个"平坦"的嘉当几何是没有曲率的几何。从平坦的情况开始，我们用一般性的形式化数学术语描述"嘉当几何"是什么意思。
平坦的情况.
问题的引入.
爱尔兰根纲领主要处理拓扑群的齐性空间的研究，特别的，多数有用的几何（至少在19世纪和20世纪初）刚好就是同胚于李群的李子群的商空间的齐次微分流形。正是继承自李群的微分结构给了这些齐次空间比一般的齐次空间更多的（微分类型的）结构。
数学细节.
嘉当的一般方法是从一个李群"G"和一个李子群"H"开始，它们的李代数分别为formula_1和formula_2。有一个"H"的右作用在标准同态
的纤维上，由formula_4给出。一个向量场是"竖直"的若formula_5. 任何formula_6可以通过右作用的微分给出一个标准的竖直向量场formula_7。所以，譬如若h(t)是若h(t)是一个单参数子群，其在幺元的切向量为h'(e)=X,则其垂直向量场为
"G"的Maurer-Cartan form "w"可以用齐次空间上的主丛的术语公理化的解释为：
反过来讲，可以表明，给定一个流形和一个M上的主H丛，若丛上给出一个形式w满足这些条件，则该主丛局域同构于一个主齐次丛formula_13的H丛.Maurer-Cartan形式的第四个属性等价于建立这种同构的可积性条件。一个嘉当几何是这个意义下的可积性条件的一种破坏，使得曲率得以出现。
弯曲的情况.
从上述的齐次空间formula_14的基本数据开始，我们现在准备定义一个嘉当几何为这个结构的一个特定"变形"，使得"曲率"能够出现。
引例.
黎曼几何可以看作是欧氏几何的"变形",伪黎曼流形是闵可夫斯基空间的变形，配置了共形结构的微分流形（Weyl流形）可以视为共形几何的变形，一个配置了仿射联络的微分流形（但没有黎曼度量）可以视为仿射几何的变形，等等。
还有很多其它例子。特别的有，"G"可以不是"H"上的仿射群。物理中的例子有，若"M"为一四维流形而"H"为旋子洛伦兹群"Spin"(3,1)，则"G"可以是 
或"Spin"(4,1)或"Spin"(3,2)。这分别对应于选择闵可夫斯基空间，de Sitter空间和反de Sitter空间。这些结构的弯曲对应物在广义相对论中很重要。（选择哪个群取决于宇宙常数的符号） 
另一个例子，"G"可以是"SO(n+1,1)"，作用于"n+2"维闵可夫斯基空间，而"H"可以是通过原点的射线的等距群。这样得到的几何结构和"n"球的共形运动群同构。这些数据的弯曲对应和流形的共形结构的表述相关。
数学细节.
嘉当几何有下列部分组成。一个光滑n维流形M，一个r维李群H,其李代数为formula_11，一个M上的主H丛P，一个n+r维李群G，其李代数为formula_1，H为G子群。嘉当联络是P上的formula_1-值的1-形式满足
嘉当联络的曲率为formula_1-值的2-形式
若M配备了一个嘉当几何，其切空间有一个标准的H表示。实际上，投影formula_24有微分
formula_25. formula_26的核（kernel）由垂直向量的子丛组成，嘉当联络平凡化为formula_11. 这样M的切丛同构于纤维积
这里formula_29被H的伴随表示作用于其上。
嘉当联络的规范.
进行嘉当联络的实际计算时，传统上要在一个特定的规范中进行。M上的一个规范就是M的（一个开子集上的）formula_1-值1-形式formula_31，使得商映射
formula_32
是向量空间的同构。
用联络w的术语来讲，一个规范可以通过选择一个截面formula_33，并置formula_34来决定。这样一个丛的截面称为一个活动标架。若一对截面s和t给定，则他们通过H-作用相联，所以formula_35，其中k一个M上的H-值函数。所导出的规范formula_36和formula_37有下列方程关联
其中formula_39是H的Maurer-Cartan形式。
基本D算子.
令V为H的实或复表示，H的作用记作formula_40。令formula_41为P上的等变V值函数，使得
或者说
令formula_45为P上的等变V值q-形式的空间。在有嘉当联络的情况，有一个标准的同构
由下式给出
formula_47
de Rham算子保持等变性，所以退化为一阶微分算子
基本D算子就是如下复合算子
作用于formula_41中的函数，得到
共变微分.
共变微分是一种一阶微分算子，可以定义在一大类嘉当几何上。同上节一样，令数据formula_52给定一个嘉当几何，并令formula_53为H的一个表示，并在M上形成向量丛formula_54。共变导数是一个一阶微分算子
对每个formula_56满足通常的公理：若v和w是formula_57的截面，k是M上的函数，而X和Y是TM的截面，则
要构造共变微分，令v为formula_57任一截面。注意v可以看作H-等变映射formula_63。这是我们要采用的观点。令X为M的切丛的一个截面。取任意到P的切丛上的右不变提升formula_64。定义
要证明formula_66有所需属性，它必须：（1）和所选的提升formula_64无关，（2）等变，所以它下降为formula_57的一个截面。
对于（1），选择X的一个右不变的提升的模糊性是formula_69形式的变换，其中formula_70是一个从formula_71导出的右不变竖直向量场。所以，在新的提升formula_72下计算共变导数，就得到
因为formula_76，这只要取等变属性formula_77的微分就可以看到。
对于（2），因为formula_64是右不变的，
进一步的有
所以formula_82，和我们所要的一样。
参看：黎曼几何，广义相对论