WikiDer > Подключение (векторный набор)

Connection (vector bundle)

В математика, и особенно дифференциальная геометрия и калибровочная теория, а связь на пучок волокон это устройство, которое определяет понятие параллельный транспорт на пачке; то есть способ «соединить» или идентифицировать волокна в близлежащих точках. Чаще всего случается, что линейное соединение на векторный набор, для чего понятие параллельного транспорта должно быть линейный. Линейная связь эквивалентно определяется ковариантная производная, оператор, дифференцирующий разделы пучка вдоль касательные направления в базовом многообразии таким образом, чтобы параллельные участки имели нулевую производную. Линейные связности обобщают на произвольные векторные расслоения Леви-Чивита связь на касательный пучок из Риманово многообразие, который дает стандартный способ дифференцировать векторные поля. Нелинейные связи обобщить это понятие на расслоения, слои которых не обязательно линейны.

Линейные связи также называют Кошульские связи после Жан-Луи Кошул, который дал алгебраический каркас для их описания (Кошул 1950).

В этой статье связь на векторном пучке определяется с использованием общепринятого математического обозначения, в котором координаты не выделяются. Однако регулярно используются и другие обозначения: в общая теория относительности, вычисления векторных расслоений обычно записываются с использованием индексированных тензоров; в калибровочная теорияподчеркиваются эндоморфизмы слоев векторного пространства. Различные обозначения эквивалентны, как описано в статье о метрические соединения (сделанные там комментарии относятся ко всем векторным расслоениям).

Мотивация

Сечение векторного расслоения обобщает понятие функции на многообразии в том смысле, что стандартная вектор-функция можно рассматривать как часть тривиального векторного расслоения . Поэтому естественно спросить, можно ли дифференцировать сечение по аналогии с тем, как дифференцировать векторное поле. Когда векторное расслоение касательный пучок к Риманово многообразие, на этот вопрос естественно отвечает Леви-Чивита связь которая представляет собой единственную связность без кручения, совместимую с римановой метрикой на касательном расслоении. В общем, такого естественного выбора способа разграничения разделов нет.

Сечение расслоения можно рассматривать как обобщенную функцию от основания к слоям векторного расслоения. Это можно визуализировать с помощью графика раздела, как на рисунке выше.

Модельный случай состоит в том, чтобы дифференцировать -компонентное векторное поле на евклидовом пространстве . В этой настройке производная в какой-то момент в направлении можно просто определить как

Обратите внимание, что для каждого , мы определили новый вектор так что производная от в направлении дала новый -компонентное векторное поле на .

При переходе в раздел векторного расслоения на коллекторе , с этим определением возникают две ключевые проблемы. Во-первых, поскольку многообразие не имеет линейной структуры, член не имеет смысла на . Вместо этого человек выбирает путь такой, что и вычисляет

Однако это все еще не имеет смысла, потому что вектор в слое над , и , волокно над , которое представляет собой другое векторное пространство. Это означает, что нет никакого смысла в вычитании этих двух членов, лежащих в разных векторных пространствах.

Цель состоит в том, чтобы решить вышеупомянутую загадку, придумав способ дифференцировать разделы векторного расслоения в направлении векторных полей и получить обратно еще один фрагмент векторного расслоения. Есть три возможных решения этой проблемы. Все три требуют создания выбор о том, как различать сечения, и только в особых случаях, таких как касательное расслоение на римановом многообразии, есть естественный такой выбор.

  1. (Параллельный транспорт) Поскольку проблема в том, что векторы и лежат в разных волокнах , одним из решений является определение изоморфизма для всех близко к нулю. Используя этот изоморфизм, можно транспортировать к волокну а потом заметьте разницу. Явно
Это параллельный транспорт, а выбор изоморфизмов для всех кривых в можно рассматривать как определение того, как различать раздел.
  1. (Связь Ehresmann) Используйте понятие дифференциал карты гладких многообразий. Секция по определению гладкое отображение такой, что . Это имеет дифференциал , со свойством, что для векторного поля . Однако вместо этого хотелось бы быть частью сам. Фактически, вертикальный пучок это откат вместе с тем же волокном, что и . Если выбрать проекцию векторных пучков, при компоновке с этой проекцией обратно в . Это называется линейным Связь Ehresmann на векторном расслоении . Есть много вариантов операторов проекции так что в общем есть много разных способов дифференцировать векторное поле.
  1. (Ковариантная производнаяТретье решение - абстрагироваться от свойств, которыми должна обладать производная части векторного расслоения, и принимать это как аксиоматическое определение. Это понятие связь или ковариантная производная описано в этой статье. Можно показать, что оба других двух вышеприведенных подхода эквивалентны этому аксиоматическому определению дифференцирования.

Формальное определение

Позволять EM быть гладким векторный набор через дифференцируемое многообразие M. Обозначим пространство гладких разделы из E через Γ (E). А связь на E это ℝ-линейная карта

так что Правило Лейбница

относится ко всем гладкие функции ж на M и все гладкие сечения σ E.

Если Икс является касательным векторным полем на M (т.е. часть касательный пучок TM) можно определить ковариантная производная по Икс

по контракту Икс с полученным ковариантным индексом в связи: ∇Икс σ = (∇σ) (Икс). Ковариантная производная удовлетворяет:

И наоборот, любой оператор, удовлетворяющий указанным выше свойствам, определяет соединение на E и соединение в этом смысле также известно как ковариантная производная на E.

Индуцированные соединения

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

Данный связь на индуцированная двойное соединение на определяется

Здесь гладкое векторное поле, это раздел , и секция двойного пучка, и естественное спаривание между векторным пространством и его двойником (возникающее на каждом слое между и ). Обратите внимание, что это определение, по сути, требует, чтобы быть связью на так что естественный правило продукта удовлетворен для сопряжения .

Данный связи на двух векторных расслоениях определить соединение тензорного произведения по формуле

Здесь у нас есть . Обратите внимание, это естественный способ комбинирования для обеспечения соблюдения правила произведения для соединения тензорного произведения. Аналогичным образом определим прямая связь от

где .

Поскольку внешнюю степень и симметричную мощность векторного расслоения можно рассматривать как подпространства тензорной степени, , определение связи тензорного произведения прямо применяется к этому параметру. А именно, если это связь на , у одного есть тензорное силовое соединение путем повторных применений на указанном выше соединении тензорного произведения. У нас также есть симметричное соединение продукта определяется

и подключение внешнего продукта определяется

для всех . Повторное применение этих продуктов дает наведенное симметричное питание и внешние силовые подключения и соответственно.

В итоге получаем индуцированную связь на векторном расслоении , то связь эндоморфизма. Это просто тензорное произведение двойственной связи на и на . Если и , так что композиция кроме того, тогда выполняется следующее правило произведения:

Внешние ковариантные производные и векторнозначные формы

Позволять EM - векторное расслоение. An E-значная дифференциальная форма степени р это раздел тензорное произведение пучок:

Пространство таких форм обозначим через

An E-значная 0-форма - это всего лишь часть пакета E. Это,

В этих обозначениях связь по EM линейная карта

Тогда связь можно рассматривать как обобщение внешняя производная к векторным расслоенным значным формам. Фактически, учитывая связь ∇ на E существует единственный способ продолжить ∇ до внешняя ковариантная производная

В отличие от обычной внешней производной, обычно (d)2 ≠ 0. На самом деле (d)2 напрямую связано с кривизной связности ∇ (см. ниже).

Аффинные свойства множества связей

Каждое векторное расслоение над многообразием допускает связность, которая может быть доказана с помощью разделы единства. Однако связи не уникальны. Если ∇1 и ∇2 две связи на EM то их разница в C-линейный оператор. Это,

для всех гладких функций ж на M и все гладкие сечения σ E. Отсюда следует, что разность ∇1 − ∇2 индуцирована одной формой на M со значениями в расслоении эндоморфизмов End (E) = EE*:

Наоборот, если ∇ - связность на E и А является одной формой на M со значениями в End (E), то ∇ +А это связь на E.

Другими словами, пространство связей на E является аффинное пространство для Ω1(Конец E). Это аффинное пространство обычно обозначается .

Связь с принципалом и связями Эресмана

Позволять EM - векторное расслоение ранга k и пусть F (E) быть главный комплект кадров из E. Потом (основное) подключение на 'F(E) индуцирует связь на E. Сначала обратите внимание, что разделы E находятся во взаимно-однозначной переписке с правоэквивариантный отображает F (E) → рk. (В этом можно убедиться, рассмотрев откат из E над F (E) → M, который изоморфен тривиальная связка F (E) × рk.) Для сечения σ множества E пусть соответствующее эквивариантное отображение есть ψ (σ). Ковариантная производная на E тогда дается

где ИксЧАС это горизонтальный подъем из Икс из M к F (E). (Напомним, что горизонтальный подъем определяется связностью на F (E).)

И наоборот, соединение на E определяет связность на F (E), и эти две конструкции взаимно обратны.

Связь на E также определяется эквивалентным образом линейное соединение Эресмана на E. Это предоставляет один метод для создания связанного основного подключения.

Местное выражение

Позволять EM - векторное расслоение ранга k, и разреши U быть открытым подмножеством M в течение которого E тривиально. Учитывая местный гладкая рама (е1, ..., еk) из E над U, любое сечение σ E можно записать как (Обозначения Эйнштейна предполагается). Связь на E ограниченный U затем принимает форму

что означает, учитывая каждый компонент:

где

Здесь определяет k × k матрица одноформ на U. Фактически, для любой такой матрицы приведенное выше выражение определяет связь на E ограниченный U. Это потому что определяет одноформу ω со значениями в End (E) и это выражение определяет ∇ как связность d + ω, где d - тривиальная связь на E над U определяется путем различения компонентов секции с помощью локальной рамки. В этом контексте ω иногда называют форма подключения относительно локального репера.

Если U - координатная окрестность с координатами (Икся) то мы можем написать

Обратите внимание на смесь координатных индексов (я) и индексы слоев (α, β) в этом выражении.

Коэффициентные функции тензорны по индексу я (они определяют одноформу), но не по индексам α и β. Закон преобразования для показателей волокна более сложен. Позволять (ж1, ..., жk) - еще один гладкий локальный репер над U и обозначим изменение координатной матрицы т, то есть:

Матрица связи по отношению к кадру (жα) тогда задается матричным выражением

Здесь dт - матрица одноформ, полученная взятием внешней производной от компонент т.

Ковариантная производная в локальных координатах и ​​по полю локальной системы отсчета (еα) дается выражением

Например, если мы насытим аргумент индекса the базисным касательным вектором , и установите , у нас есть:

Параллельный транспорт и голономия

Связность ∇ на векторном расслоении EM определяет понятие параллельный транспорт на E по кривой в M. Пусть γ: [0, 1] → M быть гладким дорожка в M. Сечение σ из E вдоль γ называется параллельно если

для всех т ∈ [0, 1]. В равной степени можно рассматривать обратный пакет γ *E из E пользователя γ. Это векторное расслоение над [0, 1] со слоем Eγ (т) над т ∈ [0, 1]. Подключение ∇ на E возвращается к связности на γ *E. Сечение σ кривой γ *E параллельна тогда и только тогда, когда γ * ∇ (σ) = 0.

Предположим, что γ - путь из Икс к у в M. Приведенное выше уравнение, определяющее параллельные участки, является уравнением первого порядка обыкновенное дифференциальное уравнение (ср. местное выражение выше) и поэтому имеет уникальное решение для каждого возможного начального условия. То есть для каждого вектора v в EИкс существует единственное параллельное сечение σ кривой γ *E с σ (0) = v. Определить параллельная транспортная карта

по τγ(v) = σ (1). Можно показать, что τγ это линейный изоморфизм.

Как восстановить ковариантную производную соединения из его параллельного переноса. Ценности раздела параллельно транспортируются по пути вернуться к , а затем берется ковариантная производная в фиксированном векторном пространстве, слой над .

Параллельный транспорт может использоваться для определения группа голономии связи ∇ в точке Икс в M. Это подгруппа GL (EИкс), состоящий из всех параллельных транспортных карт из петли основанный на Икс:

Группа голономии связности тесно связана с кривизной связности (Амвросий Певец 1953).

Соединение может быть восстановлено от его параллельных транспортных операторов следующим образом. Если - векторное поле и раздел, в точке выбрать интегральная кривая за в . Для каждого мы напишем для параллельной транспортной карты, путешествующей по из к . В частности для каждого , у нас есть . потом определяет кривую в векторном пространстве , которые можно дифференцировать. Ковариантная производная восстанавливается как

Это демонстрирует, что эквивалентное определение соединения дается указанием всех параллельных транспортных изоморфизмов между волокнами и взяв это выражение как определение .

Кривизна

В кривизна соединения ∇ на EM это 2-форма F на M со значениями в расслоении эндоморфизмов End (E) = EE*. Это,

Он определяется выражением

где Икс и Y касательные векторные поля на M и s это раздел E. Надо проверить это F является C-линейный в обоих Икс и Y и что он на самом деле определяет эндоморфизм расслоения E.

Как уже упоминалось над, ковариантная внешняя производная d при воздействии на E-значные формы. Оператор (d)2 однако строго тензорно (т. е. C-линейный). Это означает, что он индуцирован 2-формой со значениями в End (E). Эта 2-форма в точности соответствует приведенной выше форме кривизны. Для E-значной формы σ имеем

А плоское соединение форма кривизны тождественно равна нулю.

Локальная форма и структурное уравнение Картана

Форма кривизны имеет локальное описание, называемое Структурное уравнение Картана. Если имеет местную форму на некотором тривиализирующем открытом подмножестве за , тогда

на . Чтобы уточнить, где - эндоморфизм-значная однозначная форма. Для простоты предположим для одноразовой и эндоморфизм . Затем мы используем соглашения

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

Можно проверить, что если мы определим быть клиновидным продуктом форм, но коммутатор эндоморфизмов в противоположность композиции, то , и в этих альтернативных обозначениях структурное уравнение Картана принимает вид

Это альтернативное обозначение обычно используется в теории связностей главных расслоений, где форма связи это Алгебра Ли-значная однозначная форма, для которой нет понятия композиции (в отличие от случая эндоморфизмов), но есть понятие скобки Ли.

В некоторых ссылках структурное уравнение Картана может быть записано со знаком минус:

В этом другом соглашении используется порядок умножения матриц, отличный от стандартной записи Эйнштейна в произведении клина матричнозначных однозначных форм.

Бьянки идентичность

Версия Бьянки идентичность из римановой геометрии выполняется для связности на любом векторном расслоении. Напомним, что связь на векторном расслоении индуцирует связь эндоморфизма на . Эта связь эндоморфизма имеет внешнюю ковариантную производную, которую мы неоднозначно называем . Поскольку кривизна определяется глобально -значной двумерной формы, мы можем применить к ней внешнюю ковариантную производную. В Бьянки идентичность Говорит, что

.

Это кратко описывает сложные тензорные формулы тождества Бианки в случае римановых многообразий, и можно перейти от этого уравнения к стандартным тождествам Бианки, расширив связь и кривизну в локальных координатах.

Калибровочные преобразования

Учитывая две связи на векторном расслоении Естественно спросить, когда их можно считать эквивалентными. Существует четко определенное понятие автоморфизм векторного расслоения . Секция является автоморфизмом, если обратим в каждой точке . Такой автоморфизм называется калибровочное преобразование из , а группа всех автоморфизмов называется группа датчиков, часто обозначаемый или . Группу калибровочных преобразований можно аккуратно охарактеризовать как пространство сечений заглавная A сопряженный пучок из комплект кадров векторного расслоения . Это не следует путать с строчная а сопряженный пучок , который естественно отождествляется с сам. Пакет это связанный пакет в расслоение главных реперов представлением сопряжения на себя, , и имеет слой той же общей линейной группы где . Обратите внимание, что, несмотря на то, что у него такое же волокно, как и в связке кадров и будучи связанным с ним, не равно ни расслоению фреймов, ни даже самому главному расслоению. Калибровочную группу можно эквивалентно охарактеризовать как

Калибровочное преобразование из действует по разделам , и поэтому действует на связи путем сопряжения. Явно, если это связь на , то определяется от

за . Чтобы проверить это соединение, проверяется правило продукта

Можно проверить, что это определяет левую групповое действие из на аффинном пространстве всех связностей .

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

то есть .

Два соединения называются калибровочный эквивалент если они отличаются действием калибровочной группы, и фактор-пространство это пространство модулей всех подключений на . В общем случае это топологическое пространство не является ни гладким многообразием, ни даже Пространство Хаусдорфа, но содержит внутри пространство модулей связностей Янга – Миллса на , что представляет значительный интерес в калибровочная теория и физика.

Примеры

где - внешняя производная, вычисленная на векторных гладких функциях, а гладкие. Секция может быть идентифицирован с картой
а потом

Смотрите также

использованная литература

  • Черн, Шиинг-Шэнь (1951), Темы по дифференциальной геометрии, Институт перспективных исследований, конспекты лекций на мимеографе
  • Дарлинг, Р. В. Р. (1994), Дифференциальные формы и связи, Кембридж, Великобритания: Издательство Кембриджского университета, ISBN 0-521-46800-0
  • Кобаяси, Шошичи; Номидзу, Кацуми (1996) [1963], Основы дифференциальной геометрии, Vol. 1, Библиотека Wiley Classics, Нью-Йорк: Wiley Interscience, ISBN 0-471-15733-3
  • Koszul, J. L. (1950), "Homologie et cohomologie des algebres de Lie", Bulletin de la Société Mathématique, 78: 65–127
  • Уэллс, Р. (1973), Дифференциальный анализ на комплексных многообразиях, Springer-Verlag, ISBN 0-387-90419-0
  • Ambrose, W .; Зингер, И.М. (1953), "Теорема о голономии", Труды Американского математического общества, 75: 428–443, Дои:10.2307/1990721