在数学上,微分几何的结构嘉当联络(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开始,它们的李代数分别为
和
。有一个H的右作用在标准同态
![{\displaystyle \pi :G\rightarrow G/H}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b3d1e92c9252f7f63ac5daf5e5eca8398f112b9)
的纤维上,由
给出。一个向量场是竖直的若
. 任何
可以通过右作用的微分给出一个标准的竖直向量场
。所以,譬如若h(t)是若h(t)是一个单参数子群,其在幺元的切向量为h'(e)=X,则其垂直向量场为
![{\displaystyle X^{+}={\frac {d}{dt}}|_{t=e}R_{h(t)}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75f55dd20f3aeb4bf1ec7fef5848d434445141c2)
G的Maurer-Cartan form w可以用齐次空间上的主丛的术语公理化的解释为:
- w是一个G上的g值1-形式,它是G的切空间的线性同构。
对所有H中的h.
对所有
中的X.
(结构方程)
反过来讲,可以表明,给定一个流形和一个M上的主H丛,若丛上给出一个形式w满足这些条件,则该主丛局域同构于一个主齐次丛
的H丛.Maurer-Cartan形式的第四个属性等价于建立这种同构的可积性条件。一个嘉当几何是这个意义下的可积性条件的一种破坏,使得曲率得以出现。
从上述的齐次空间
的基本数据开始,我们现在准备定义一个嘉当几何为这个结构的一个特定变形,使得曲率能够出现。
黎曼几何可以看作是欧氏几何的"变形",伪黎曼流形是闵可夫斯基空间的变形,配置了共形结构的微分流形(Weyl流形)可以视为共形几何的变形,一个配置了仿射联络的微分流形(但没有黎曼度量)可以视为仿射几何的变形,等等。
还有很多其它例子。特别的有,G可以不是H上的仿射群。物理中的例子有,若M为一四维流形而H为旋子洛伦兹群Spin(3,1),则G可以是
- R4
Spin(3,1),
或Spin(4,1)或Spin(3,2)。这分别对应于选择闵可夫斯基空间,de Sitter空间和反de Sitter空间。这些结构的弯曲对应物在广义相对论中很重要。(选择哪个群取决于宇宙常数的符号)
另一个例子,G可以是SO(n+1,1),作用于n+2维闵可夫斯基空间,而H可以是通过原点的射线的等距群。这样得到的几何结构和n球的共形运动群同构。这些数据的弯曲对应和流形的共形结构的表述相关。
嘉当几何有下列部分组成。一个光滑n维流形M,一个r维李群H,其李代数为
,一个M上的主H丛P,一个n+r维李群G,其李代数为
,H为G子群。嘉当联络是P上的
-值的1-形式满足
- w是P的切空间的线性同构
对所有H中的h
对所有
中的X
嘉当联络的曲率为
-值的2-形式
![{\displaystyle \Omega =dw+{\frac {1}{2}}[w,w]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cec347a6b579a42630ba817f28dba4d57928bcc3)
若M配备了一个嘉当几何,其切空间有一个标准的H表示。实际上,投影
有微分
.
的核(kernel)由垂直向量的子丛组成,嘉当联络平凡化为
. 这样M的切丛同构于纤维积
![{\displaystyle TM\cong P\times _{H}{\mathfrak {g}}/{\mathfrak {h}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1df004ee5e9663ef864cf2f5979bc6ba71e25c89)
这里
被H的伴随表示作用于其上。
进行嘉当联络的实际计算时,传统上要在一个特定的规范中进行。M上的一个规范就是M的(一个开子集上的)
-值1-形式
,使得商映射
是向量空间的同构。
用联络w的术语来讲,一个规范可以通过选择一个截面
,并置
来决定。这样一个丛的截面称为一个活动标架。若一对截面s和t给定,则他们通过H-作用相联,所以
,其中k一个M上的H-值函数。所导出的规范
和
有下列方程关联
![{\displaystyle s^{*}w=Ad(k^{-1})t^{*}w+k^{*}\omega _{H}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dfabf4f8fd049320bfdc73300b23768c941eb59a)
其中
是H的Maurer-Cartan形式。
令V为H的实或复表示,H的作用记作
。令
为P上的等变V值函数,使得
对所有
.
或者说
.
令
为P上的等变V值q-形式的空间。在有嘉当联络的情况,有一个标准的同构
![{\displaystyle \phi :A^{q}(P,V)\cong A^{0}(P,\bigwedge ^{q}{\mathfrak {g}}^{*})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15d8ad9e9ca21f25bebf08520db219af93647a97)
由下式给出
de Rham算子保持等变性,所以退化为一阶微分算子
.
基本D算子就是如下复合算子
.
作用于
中的函数,得到
![{\displaystyle D_{X}f=w^{-1}(X)f.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6918a31a840b91b93195a0db2169c482606872de)
共变微分是一种一阶微分算子,可以定义在一大类嘉当几何上。同上节一样,令数据
给定一个嘉当几何,并令
为H的一个表示,并在M上形成向量丛
。共变导数是一个一阶微分算子
![{\displaystyle \nabla _{X}:\Gamma (\mathbb {V} )\rightarrow \Gamma (\mathbb {V} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a04a5b7408082324f631d78d23d9b4c90597c19f)
对每个
满足通常的公理:若v和w是
的截面,k是M上的函数,而X和Y是TM的截面,则
![{\displaystyle \nabla _{X}(v+w)=\nabla _{X}v+\nabla _{X}w}](https://wikimedia.org/api/rest_v1/media/math/render/svg/30aaded5e5142edbc1e48fca0a7b1617b0139596)
![{\displaystyle \nabla _{X+Y}v=\nabla _{X}v+\nabla _{Y}v}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2b1ba49f36dcc3ff2340a19f07ad95442c221ea)
![{\displaystyle \nabla _{kX}v=k\nabla _{X}v}](https://wikimedia.org/api/rest_v1/media/math/render/svg/838de38943730876462d17a1dc813c5fa8820b86)
![{\displaystyle \nabla _{X}(kv)=X(k)v+k\nabla _{X}v.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e0f3a8012ddd2a9c7460c07f319ee5de7cb00583)
要构造共变微分,令v为
任一截面。注意v可以看作H-等变映射
。这是我们要采用的观点。令X为M的切丛的一个截面。取任意到P的切丛上的右不变提升
。定义
.
要证明
有所需属性,它必须:(1)和所选的提升
无关,(2)等变,所以它下降为
的一个截面。
对于(1),选择X的一个右不变的提升的模糊性是
形式的变换,其中
是一个从
导出的右不变竖直向量场。所以,在新的提升
下计算共变导数,就得到
![{\displaystyle \nabla _{X}v={\bar {X}}(v)+\zeta ^{+}(v)+\rho (\omega ({\bar {X}}+\zeta ^{+}))(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f73124ea15e11bc96ccdedf8a9d95a1d232ca557)
![{\displaystyle ={\bar {X}}(v)+\zeta ^{+}(v)+\rho (\omega ({\bar {X}}))(v)+\rho (\zeta )(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fe3624a6a7bc152cbb879008cad391608a99135)
![{\displaystyle ={\bar {X}}(v)+\rho (\omega ({\bar {X}}))(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e1d6318eba05da8fd2b5a4c6b68453fcd86bbbe)
因为
,这只要取等变属性
的微分就可以看到。
对于(2),因为
是右不变的,
![{\displaystyle R_{h}^{*}({\bar {X}}(v))={\bar {X}}(R_{h}^{*}v)={\bar {X}}(\rho (h^{-1})(v))=\rho (h^{-1})({\bar {X}}(v))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9eb947f2d842561842dc58a82ea6b75c63c83c6c)
进一步的有
![{\displaystyle R_{h}^{*}[\rho (\omega ({\bar {X}}))(v)]=\rho (Ad(h^{-1})\omega ({\bar {X}}))(\rho (h^{-1})v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e22f52a0f201eee1b666daa219d43b737f3ad83e)
![{\displaystyle =\rho (h^{-1})\rho (\omega ({\bar {X}}))(v)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d458988def7a622d15b912cf30b2b80a32b33270)
所以
,和我们所要的一样。
参看:黎曼几何,广义相对论
- M. Nakahara, "Geometry, Topology and Physics", ISBN 0750306068(2nd ed, paperback)