Các kết nối và phép dịch chuyển song song

Một kết nối quy định cách vi phân các trường vectơ dọc theo các đường cong, và phép dịch chuyển song song sử dụng nó để di chuyển các vectơ trên một đa tạp trong khi vẫn giữ chúng không đổi nhất có thể theo hình học.

Definition

Một kết nối trên một đa tạp là một quy tắc để lấy các đạo hàm hiệp biến của các trường vectơ, tuyến tính và thỏa mãn quy tắc Leibniz; phép dịch chuyển song song là quy tắc kết quả để di chuyển một vectơ tiếp tuyến dọc theo một đường cong sao cho đạo hàm hiệp biến của nó dọc theo đường cong đó bằng không.

Scope

Chủ đề này giới thiệu các kết nối afin và tuyến tính, đạo hàm hiệp biến, và phép dịch chuyển song song dọc theo các đường cong. Nó thiết lập định lý cơ bản của hình học Riemann — sự tồn tại của một kết nối duy nhất không xoắn và tương thích với mêtric (kết nối Levi-Civita) — được biểu diễn trong tọa độ bằng các ký hiệu Christoffel. Nó xem xét các đường trắc địa như các đường tự song song, tính holonomy của phép dịch chuyển song song quanh các vòng lặp như một biểu hiện của độ cong, và các kết nối trên các bó vectơ tổng quát như cầu nối đến lý thuyết gauge.

Core questions

• Tại sao cần một cấu trúc bổ sung ngoài mêtric để vi phân các trường vectơ trên một đa tạp cong?
• Những điều kiện nào làm cho kết nối Levi-Civita trở nên duy nhất từ một mêtric?
• Phép dịch chuyển song song phụ thuộc vào đường đi như thế nào, và sự phụ thuộc vào đường đi đó tiết lộ điều gì?
• Các ký hiệu Christoffel biểu diễn kết nối trong tọa độ địa phương như thế nào?

Key concepts

• Các kết nối afin và tuyến tính; đạo hàm hiệp biến
• Phép dịch chuyển song song dọc theo các đường cong
• Kết nối Levi-Civita và định lý cơ bản của hình học Riemann
• Các ký hiệu Christoffel
• Holonomy và các kết nối trên các bó vectơ

Clinical relevance

Các kết nối là cốt lõi toán học của các lý thuyết gauge trong vật lý, nơi kết nối là trường gauge; trong hình học, chúng định nghĩa các đường trắc địa và độ cong, và phép dịch chuyển song song giải thích các hiện tượng từ con lắc Foucault đến các pha hình học (Berry).

History

Levi-Civita đã giới thiệu phép dịch chuyển song song vào năm 1917, mang lại ý nghĩa trực quan cho độ cong của Riemann; Weyl và Cartan đã trừu tượng hóa khái niệm này thành các kết nối afin và tổng quát vào những năm 1920, và công thức bó sau đó đã thống nhất nó với các trường gauge của vật lý.

Key figures

• Tullio Levi-Civita
• Élie Cartan
• Hermann Weyl

Seminal works

• lee1997
• docarmo1992

Frequently asked questions

Tại sao chúng ta không thể trực tiếp vi phân các trường vectơ trên một đa tạp?

Các vectơ tiếp tuyến tại các điểm khác nhau nằm trong các không gian vectơ khác nhau, vì vậy việc trừ chúng để tạo thành một đạo hàm không được định nghĩa; một kết nối cung cấp quy tắc còn thiếu để so sánh các không gian tiếp tuyến lân cận.

Điều gì làm cho kết nối Levi-Civita trở nên đặc biệt?

Nó là kết nối duy nhất vừa tương thích với mêtric (phép dịch chuyển song song bảo toàn độ dài và góc) vừa không xoắn; hai điều kiện này xác định hoàn toàn nó từ mêtric.