Trong toán học, đặc biệt là trong hình học vi phân, một liên kết (cũng gọi là liên thông) trên một phân thớ véc tơ là một cách định nghĩa dịch chuyển song song trên phân thớ đó; nói cách khác, là một cách để so sánh các thớ liền kề nhau.

Định nghĩa

Gọi E → M là một phân thớ véc tơ trên một đa tạp vi phân M. Kí hiệu không gian các nhát cắt trơn của E là Γ(E). Một liên kết trên E là một ánh xạ tuyến tính

: $\backslash nabla:\; \backslash Gamma(E)\; \backslash to\; \backslash Gamma(E\backslash otimes\; T^*M)$

sao cho luật Leibniz thỏa mãn:

: $\backslash nabla(\backslash sigma\; f)\; =\; (\backslash nabla\backslash sigma)f\; +\; \backslash sigma\backslash otimes\; df$

với mọi hàm trơn f trên M và mọi nhát cắt trơn σ của E.

Trong trường hợp E là phân thớ tiếp tuyến TM, một nhát cắt của E cũng chính là một trường vectơ X trên M. Ta có thể định nghĩa đạo hàm hiệp biến dọc theo _X_

: $\backslash nabla\_X:\; \backslash Gamma(E)\; \backslash to\; \backslash Gamma(E)$

bằng cách đánh giá tại $X:\backslash nabla\_X\backslash sigma:=(\backslash nabla\backslash sigma)(X)$. Đạo hàm hiệp biến thỏa mãn:

: 2\ &\nabla!{(X_1{+}X2)}\sigma \ =\ \nabla!{X1}\sigma + \nabla!{X2}\sigma\ &\nabla!{X}(f\sigma) \ =\ f\,\nabla!X\sigma + X(f)\sigma\ &\nabla!{fX}\sigma \ =\ f\,\nabla!_X\sigma.\end{align}

Ngược lại, bất kỳ toán tử nào thỏa mãn các thuộc tính trên đều xác định một liên kết trên $E$.

Nhát cắt song song

Một nhát cắt song song (trên một tập mở $U\backslash subset\; M$) là một nhát cắt $s\backslash in\backslash Gamma(E,U)$ sao cho $\backslash nabla\; s=0$.

Độ cong

Độ cong của một liên kết ∇ trên E → M là một dạng bậc hai F ^∇ trên M với giá trị trong phân thớ tự đồng cấu End(E) = E⊗E *. Tức là,

: $F^\backslash nabla\; \backslash in\; \backslash Omega^2(\backslash mathrm\{End\}\backslash ,E)\; =\; \backslash Gamma(\backslash mathrm\{End\}\backslash ,E\backslash otimes\backslash Lambda^2T^*M).$

F ^∇ được định nghĩa bởi biểu thức

: $F^\backslash nabla(X,Y)(s)\; =\; \backslash nabla\_X\backslash nabla\_Y\; s-\; \backslash nabla\_Y\backslash nabla$X s- \nabla{[X,Y]}s

Trong đó $X$ và $Y$ là các trường vectơ trên $M$ và $s$ là một nhát cắt của $E$.

Ví dụ

• Gắn với một đa tạp Riemann $(M,g)$, ta có một liên kết Levi-Civita $\backslash nabla^g$ trên $TM\backslash rightarrow\; M$. Đây là liên kết duy nhất thỏa mãn hai tính chất sau đây:

  Tính không xoắn: với mọi trường véc-tơ $X,\; Y$, ta có $\backslash nabla\_XY-\backslash nabla\_YX=[X,Y]$

Tính bảo toàn metric: với mọi trường véc-tơ $X$, $Y$ và $Z$, ta có $Z\; g(X,Y)=g(\backslash nabla\_ZX,Y)+g(X,\backslash nabla\_ZY)$ (trong đó vế trái là tác động tự nhiên của trường véc-tơ $Z$ lên hàm số $g(X,Y)$).

Độ cong $F$ của liên kết này cũng chính là ten-xơ độ cong Riemann (thường được biết đến qua kí hiệu $R^\backslash rho\{\}\_\{\backslash sigma\backslash mu\backslash nu\}$ mà, không gì khác hơn, chính là các hệ số của $F$ đối với cơ sở cảm sinh từ một hệ tọa độ địa phương $(x^i)$).

• Tổng quát hơn, một liên kết a-phin (hay liên thông tuyến tính)