Liên kết (phân thớ véc tơ)

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

$\mathrm{\nabla }:\mathrm{\Gamma }(E)\to \mathrm{\Gamma }(E\otimes T^{*}M)$

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

$\mathrm{\nabla }(\sigma f)=(\mathrm{\nabla }\sigma )f+\sigma \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

${\mathrm{\nabla }}_X:\mathrm{\Gamma }(E)\to \mathrm{\Gamma }(E)$

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

$\begin{array}{cc}& \mathrm{\nabla }{}_X({\sigma }_1+{\sigma }_2)=\mathrm{\nabla }{}_X{\sigma }_1+\mathrm{\nabla }{}_X{\sigma }_2\\ & \mathrm{\nabla }{}_{(X_1+X_2)}\sigma =\mathrm{\nabla }{}_{X_1}\sigma +\mathrm{\nabla }{}_{X_2}\sigma \\ & \mathrm{\nabla }{}_X(f\sigma )=f\mathrm{\nabla }{}_X\sigma +X(f)\sigma \\ & \mathrm{\nabla }{}_{fX}\sigma =f\mathrm{\nabla }{}_X\sigma .\end{array}$

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\subset M$) là một nhát cắt $s\in \mathrm{\Gamma }(E,U)$ sao cho $\mathrm{\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^{\mathrm{\nabla }}\in {\mathrm{\Omega }}^2(\mathrm{E}\mathrm{n}\mathrm{d}E)=\mathrm{\Gamma }(\mathrm{E}\mathrm{n}\mathrm{d}E\otimes {\mathrm{\Lambda }}^2{T}^{*}M).$

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

$F^{\mathrm{\nabla }}(X,Y)(s)={\mathrm{\nabla }}_X{\mathrm{\nabla }}_{Y}s-{\mathrm{\nabla }}_Y{\mathrm{\nabla }}_{X}s-{\mathrm{\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 ${\mathrm{\nabla }}^g$ trên $TM\to M$. Đây là liên kết duy nhất thỏa mãn hai tính chất sau đây:

1. Tính không xoắn: với mọi trường véc-tơ $X,Y$, ta có ${\mathrm{\nabla }}_{X}Y-{\mathrm{\nabla }}_{Y}X=[X,Y]$

1. Tính bảo toàn metric: với mọi trường véc-tơ $X$, $Y$ và $Z$, ta có $Zg(X,Y)=g({\mathrm{\nabla }}_{Z}X,Y)+g(X,{\mathrm{\nabla }}_{Z}Y)$ (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^{\rho }{}_{\sigma \mu \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) trên một đa tạp vi phân $M$ là một liên kết trên phân thớ tiếp tuyến $TM$.

Thư mục

• Ambrose, W.; Singer, I.M., Bản mẫu:Chú thích
• Chern, Shiing-Shen, Bản mẫu:Chú thích
• Darling, R. W. R., Bản mẫu:Chú thích
• Đoàn Quỳnh, Hình học vi phân, Nhà xuất bản giáo dục, 2000
• Kobayashi, Shoshichi; Nomizu, Katsumi, Bản mẫu:Chú thích
• Koszul, J. L., Bản mẫu:Chú thích
• Lee, John, 1997, Introduction to Riemannian Manifolds, Springer, ISBN 0-387-98271-X
• Wells, R. O., Bản mẫu:Chú thích