Связности и параллельный перенос

Связность определяет способ дифференцирования векторных полей вдоль кривых, а параллельный перенос использует её для перемещения векторов по многообразию, сохраняя их максимально постоянными, насколько это позволяет геометрия.

Definition

Связность на многообразии — это правило для взятия ковариантных производных векторных полей, которое является линейным и удовлетворяет правилу Лейбница; параллельный перенос — это результирующее предписание для перемещения касательного вектора вдоль кривой таким образом, чтобы его ковариантная производная вдоль кривой обращалась в нуль.

Scope

Эта тема вводит аффинные и линейные связности, ковариантную производную и параллельный перенос вдоль кривых. Она устанавливает фундаментальную теорему римановой геометрии — существование единственной связности без кручения, совместимой с метрикой (связность Леви-Чивиты), выраженной в координатах символами Кристоффеля. Она рассматривает геодезические как автопараллельные кривые, голономию параллельного переноса по замкнутым контурам как проявление кривизны и связности на общих векторных расслоениях как мост к калибровочной теории.

Core questions

• Почему для дифференцирования векторных полей на искривлённом многообразии необходима дополнительная структура помимо метрики?
• Какие условия однозначно выделяют связность Леви-Чивиты из метрики?
• Как параллельный перенос зависит от пути и что эта зависимость от пути выявляет?
• Как символы Кристоффеля выражают связность в локальных координатах?

Key concepts

• Аффинные и линейные связности; ковариантная производная
• Параллельный перенос вдоль кривых
• Связность Леви-Чивиты и фундаментальная теорема римановой геометрии
• Символы Кристоффеля
• Голономия и связности на векторных расслоениях

Clinical relevance

Связности являются математическим ядром калибровочных теорий в физике, где связность представляет собой калибровочное поле; в геометрии они определяют геодезические и кривизну, а параллельный перенос объясняет явления от маятника Фуко до геометрических (фаз Берри) фаз.

History

Леви-Чивита ввёл параллельный перенос в 1917 году, придав кривизне Римана интуитивный смысл; Вейль и Картан абстрагировали это понятие в аффинные и общие связности в 1920-х годах, а формулировка в терминах расслоений позднее объединила его с калибровочными полями физики.

Key figures

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

Seminal works

• lee1997
• docarmo1992

Frequently asked questions

Почему нельзя просто дифференцировать векторные поля непосредственно на многообразии?

Касательные векторы в разных точках лежат в разных векторных пространствах, поэтому их вычитание для формирования производной не определено; связность предоставляет недостающее правило для сравнения близлежащих касательных пространств.

Что делает связность Леви-Чивиты особенной?

Это единственная связность, которая одновременно совместима с метрикой (параллельный перенос сохраняет длины и углы) и не имеет кручения; эти два условия полностью определяют её по метрике.