联络（向量丛）

贡献者： DTSIo; addis; JierPeter

　　 本节采用爱因斯坦求和约定。

　　 设 $M$ 是 $n$ 维微分流形，$E$ 是其上秩为 $k$ 的光滑向量丛。

1. 定义与例子

　　 向量丛 $E$ 上的一个联络（connection）是指一个映射 $D:\Gamma(E)\otimes \mathfrak{X}(M)\to\Gamma(E)$， 满足如下条件：

1. 对于截面 $\xi\in\Gamma(E)$ 和任何切向量场 $X$，$X\to D_X\xi$ 是 $C^\infty(M)$-线性的，即 $$ D_{fX_1+fX_2}\xi=fD_{X_1}\xi+gD_{X_2}\xi,\,f,g\in C^\infty(M)~. $$
2. 对于截面 $\xi\in\Gamma(E)$ 和任何切向量场 $X$，$\xi\to D_X\xi$ 是实线性的，即对于实数 $c_1,c_2$ 有 $$ D_X(c_1\xi_1+c_2\xi_2)=c_1D_X\xi_1+c_2D_X\xi_2~. $$
3. 对于任何 $f\in C^\infty(M)$，都有莱布尼兹律： $$ D_X(f\xi)=X(f)\xi+fD_X\xi~. $$

　　 直观上说，在向量丛上给定联络，就是给定一个"符合张量规律的导数运算"。

　　 如果取 $M=\mathbb{R}^n$，$E$ 为平凡向量丛 $\mathbb{R}^n\times\mathbb{R}^k$，则截面 $\xi$ 就是通常的 $k$-维向量值函数，通常的对笛卡尔坐标的微分运算 $$ D\xi=(\partial_i\xi^\alpha)_{1\leq i\leq n}^{1\leq\alpha\leq k}~ $$ 就是一个联络。

　　 不平凡的例子在黎曼几何中多有出现。

2. 联络形式

　　 设 $D$ 是向量丛 $E$ 上的联络。设 $\{e_i\}_{i=1}^n,\{\theta^i\}_{i=1}^n,\{s_\alpha\}_{\alpha=1}^k$ 分别是 $TM,T^*M,\Gamma(E)$ 的局部光滑标架，其中 $\{e_i\}$ 和 $\{\theta^i\}$ 是对偶标架。在这些局部光滑标架之下，按照联络的定义，有 $$ D_X\xi=X^i\cdot\left[e_i(\xi^\alpha)s_\alpha+\xi^\alpha D_{e_i}s_\alpha\right]~. $$ 若命 $D_{e_i}s_\alpha=\Gamma_{\alpha i}^\beta s_\beta$，则有 $$ D_X\xi=X^i\cdot\left[e_i(\xi^\alpha)+\Gamma_{\beta i}^\alpha\xi^\beta \right]s_\alpha~. $$ 称系数 $\Gamma^\alpha_{\beta i}$ 为联络系数（coefficients of connection）或克氏符（Christoffel symbol）。于是就得到 1-形式的 $k\times k$ 矩阵 $$ \omega=(\omega_\beta^\alpha)=(\Gamma_{\beta i}^\alpha\theta^i)~. $$ 它们称为联络 $D$ 在局部的联络 1-形式矩阵（matrix of connection 1-forms）。从而可写 $$ D\xi=(d\xi^\beta+\omega_\alpha^\beta\xi^\alpha)\otimes s_\beta~. $$

　　 注意，克氏符和联络 1-形式都只能局部定义。若 $\{s'_\beta\}$ 是 $E$ 的另一个局部标架，同 $\{s_\alpha\}$ 之间的转换公式为 $s_\beta=b_\beta^\alpha s_\alpha$，则 $$ b_\alpha^\gamma{\omega'}_{\beta}^{\alpha}\otimes s_\gamma={\omega'}_{\beta}^{\alpha}s'_\alpha=Ds'_\beta=(db_\beta^\gamma+b_\beta^\alpha\omega_\alpha^\gamma)\otimes s_\gamma~. $$ 从而新标架下的联络 1-形式矩阵 $\omega'$ 同原标架下的 $\omega$ 之间的转换关系是

　　 在 $\mathbb{R}^n\times\mathbb{R}^k$ 上，笛卡尔坐标系下的微分 $$ D\xi=(\partial_i\xi^\alpha)_{1\leq i\leq n}^{1\leq\alpha\leq k}~. $$ 在经过坐标变换之后也要改变形式。这就是联络形式定义的最初来源。

3. 存在定理

　　 由转换公式式 1 此可得联络的存在定理，或者说，只要给出了满足转换公式式 1 的 1-形式矩阵，就等于给出了联络：

　　 还可以适当选取 $E$ 的标架，使得联络 1-形式矩阵在指定的点处有简单的形式：

　　 证明大意 先取一个 $E$ 的标架 $\{s_\alpha\}$，并设 $$ \omega^\beta_\alpha=\Gamma_{\alpha i}^\beta dx^i~. $$ 命 $\{x^i\}$ 为 $p$ 附近的坐标系，使得 $x^i(p)=0$。则命 $$ b_\alpha^\beta=\delta_\alpha^\beta-\Gamma_{\alpha i}^\beta x^i~, $$ 并定义 $E$ 的新的局部标架 $s'_\alpha=b_\alpha^\beta s_\beta$。则从 $db(p)=-\omega(p)$ 和转换公式式 1 就得到新标架下 $\omega'(p)=0$。

　　 注意，这不表示可以取到局部标架使得联络 1-形式矩阵在 $p$ 的邻域内都等于零。某个局部标架下的联络系数局部为零是非常特殊的性质。详见平行性（向量丛）。

4. 对偶联络; 联络的和与积

　　 $E$ 上的联络 $D$ 自然诱导出对偶丛 $E^*$ 上的联络 $D^*$：如果 $\xi\in\Gamma(E),\eta^*\in\Gamma(E^*)$，则 $$ d\langle \eta^*,\xi\rangle=\langle D^*\eta^*,\xi\rangle+\langle \eta^*,D\xi\rangle~. $$ 如果 $\{s_\alpha\}$ 是 $E$ 的局部标架而 $\{s^{*\gamma}\}$ 是对偶标架，那么 $D^*$ 的联络 1-形式矩阵在此标架下为 $$ \omega^{*\beta}_\alpha =\langle D^*s^{*\beta},s_\alpha\rangle =-\langle s^{*\beta},Ds_\alpha\rangle =-\omega^\beta_\alpha~, $$ 或者可简写为 $D^*s^{*\beta}=-\omega^\beta_\alpha s^{*\alpha}$。若截面 $\eta^*\in\Gamma(E^*)$ 有局部表达式 $\eta^*=\eta_\beta s^{*\beta}$，则 $$ D^*\eta^*=(d\eta_\beta-\omega_\beta^\alpha\eta_\alpha)\otimes s^{*\beta}~. $$

　　 如果 $D_1,D_2$ 分别是向量丛 $E_1,E_2$ 上的联络，则在直和 $E_1\oplus E_2$ 和张量积 $E_1\otimes E_2$ 上的和与积分别为 $$ D(\xi_1\oplus \xi_2)=D\xi_1\oplus D\xi_2~, \, D(\xi_1\otimes \xi_2)=D\xi_1\otimes \xi_2+\xi_1\otimes D\xi_2~. $$