Форма подключения - Википедия - Connection form

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

Исторически формы связи были введены Эли Картан в первой половине 20 века как часть и одна из основных мотиваций его метода движущихся систем отсчета. Форма подключения обычно зависит от выбора система координат, и поэтому не тензорный объект. После первых работ Картана были сформулированы различные обобщения и переосмысления формы связи. В частности, на основной пакет, а основная связь является естественным переосмыслением формы связи как тензорного объекта. С другой стороны, форма соединения имеет то преимущество, что это дифференциальная форма, определенная на дифференцируемое многообразие, а не на абстрактном главном связке над ним. Следовательно, несмотря на отсутствие тензорности, формы соединения продолжают использоваться из-за относительной простоты выполнения с ними вычислений.[1] В физика, формы подключения также широко используются в контексте калибровочная теория, сквозь калибровочная ковариантная производная.

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

Векторные пучки

Рамки на векторном расслоении

Позволять E быть векторный набор размера волокна k через дифференцируемое многообразие M. А локальная рамка за E заказанный основа из местные разделы из E. Всегда можно построить локальный фрейм, поскольку векторные связки всегда определяются в терминах локальные тривиализации, по аналогии с атлас многообразия. То есть с учетом любой точки Икс на базовом коллекторе M, существует открытая окрестность UM из Икс для которого векторное расслоение над U изоморфно пространству U × рk: это локальная тривиализация. Структура векторного пространства на рk тем самым распространяется на всю локальную тривиализацию и базис на рk также может быть расширен; это определяет локальный фрейм. (Здесь, р предназначен для обозначения действительных чисел ℝ, хотя большая часть разработок здесь может быть распространена на модули над кольцами в целом и на векторные пространства над комплексными числами в частности.)

Позволять е = (еα)α=1,2,...,k быть локальным фреймом на E. Этот фрейм можно использовать для локального выражения любого раздела E. Например, предположим, что ξ является локальным разделом, определенным над тем же открытым набором, что и фрейм е. потом

где ξα(е) обозначает составные части из ξ в рамке е. В виде матричного уравнения это читается как

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

Внешние соединения

А связь в E это тип дифференциальный оператор

где Γ обозначает пучок местных разделы векторного расслоения и Ω1M расслоение дифференциальных 1-форм на M. За D чтобы быть соединением, он должен быть правильно соединен с внешняя производная. В частности, если v это местная секция E, и ж - гладкая функция, то

куда df внешняя производная от ж.

Иногда удобно расширить определение D произвольно E-значные формы, таким образом рассматривая его как дифференциальный оператор на тензорном произведении E с полным внешняя алгебра дифференциальных форм. Учитывая внешнюю связь D удовлетворяющее этому свойству совместимости, существует уникальное расширение D:

такой, что

куда v однородна степени deg v. Другими словами, D это происхождение на пучке градуированных модулей Γ (E ⊗ Ω*M).

Формы подключения

В форма подключения возникает при наложении внешнего соединения на конкретный каркас е. После применения внешнего подключения к еα, это уникальный k × k матрица (ωαβ) из одноформный на M такой, что

С точки зрения формы подключения внешнее подключение любой секции E теперь можно выразить. Например, предположим, что ξ = Σα еαξα. потом

Взяв компоненты с обеих сторон,

где понимается, что d и ω относятся к покомпонентной производной по системе отсчета е, и матрица 1-форм соответственно, действующая на компоненты ξ. И наоборот, матрица 1-форм ω является априори Достаточно полностью определить соединение локально на открытом множестве, над которым базируются сечения е определено.

Смена кадра

Чтобы продлить ω к подходящему глобальному объекту, необходимо изучить, как он ведет себя, когда другой выбор основных разделов E выбран. Написать ωαβ = ωαβ(е) для обозначения зависимости от выбора е.

Предположим, что е′ - это другой выбор локальной основы. Тогда существует обратимый k × k матрица функций грамм такой, что

Применение внешней связи к обеим сторонам дает закон преобразования для ω:

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

Формы глобального подключения

Если {Uп} - открытое покрытие M, и каждый Uп оснащен тривиализацией еп из E, то можно определить глобальную форму соединения в терминах данных исправления между локальными формами соединения в областях перекрытия. Подробно форма подключения на M это система матриц ω(еп) 1-форм, определенных на каждом Uп которые удовлетворяют следующему условию совместимости

Этот условие совместимости гарантирует, в частности, что внешнее соединение секции E, если рассматривать ее абстрактно как часть E ⊗ Ω1M, не зависит от выбора базового раздела, используемого для определения соединения.

Кривизна

В кривизна двухформная формы подключения в E определяется

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

Одна интерпретация этого закона преобразования заключается в следующем. Позволять е* быть двойная основа соответствующий кадру е. Тогда 2-форма

не зависит от выбора рамы. В частности, Ω - векторная двумерная форма на M со значениями в кольцо эндоморфизмов Hom (E,E). Символично,

Что касается внешнего подключения D, эндоморфизм кривизны задается формулой

за vE. Таким образом, кривизна измеряет нарушение последовательности

быть цепной комплекс (в смысле когомологии де Рама ).

Пайка и кручение

Предположим, что размер волокна k из E равна размеру многообразия M. В этом случае векторное расслоение E иногда помимо подключения может содержать дополнительные данные: форма припоя. А форма припоя является глобально определенным векторнозначная однозначная форма θ ∈ Ω1(M,E) такое, что отображение

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

Кручение является E-значная 2-форма на M.

Форма припоя и связанное с ним кручение могут быть описаны в терминах локальной рамки. е из E. Если θ - припой, то он разлагается на компоненты каркаса

Тогда компоненты кручения равны

Как и кривизна, можно показать, что Θ ведет себя как контравариантный тензор при смене кадра:

Кручение, не зависящее от кадра, также можно восстановить из компонентов каркаса:

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

В Бьянки идентичности свяжите кручение с кривизной. Первая идентичность Бьянки утверждает, что

в то время как вторая идентичность Бьянки утверждает, что

Пример: связь Леви-Чивита

В качестве примера предположим, что M несет Риманова метрика. Если есть векторный набор E над M, то метрику можно распространить на все векторное расслоение, так как метрика пакета. Затем можно определить соединение, которое совместимо с этой метрикой связки, это метрическое соединение. Для особого случая E будучи касательный пучок TM, метрическая связь называется Риманова связь. Для данной римановой связи всегда можно найти уникальную эквивалентную связь, которая является без кручения. Это Леви-Чивита связь на касательном расслоении TM из M.[2][3]

Локальный фрейм на касательном расслоении - это упорядоченный список векторных полей е = (ея | я = 1,2, ..., n = dim M), определенный на открытом подмножестве M которые линейно независимы в каждой точке своей области. Символы Кристоффеля определяют связь Леви-Чивита следующим образом:

Если θ = {θя | i = 1,2, ..., n}, обозначает двойная основа из котангенсный пучок, такие что θя(еj) = δяjДельта Кронекера ), то форма связи имеет вид

С точки зрения формы связи, внешняя связь на векторном поле v = Σяеяvя дан кем-то

Из этого можно восстановить связь Леви-Чивита в обычном смысле, заключив договор с ея:

Кривизна

2-формой кривизны связности Леви-Чивиты является матрица (Ωяj) предоставлено

Для простоты предположим, что каркас е является голономный, так что dθя=0.[4] Затем, используя сейчас соглашение о суммировании по повторяющимся индексам,

куда р это Тензор кривизны Римана.

Кручение

Связь Леви-Чивита характеризуется как уникальное метрическое соединение в касательном расслоении с нулевым кручением. Для описания кручения заметим, что векторное расслоение E - касательное расслоение. Он имеет каноническую форму припоя (иногда называемый каноническая одноформа, особенно в контексте классическая механика ), которое является сечением θ множества Hom (TM, ТM) = TM ⊗ ТM соответствующее тождественному эндоморфизму касательных пространств. В рамке е, форма припоя θ = Σя еяθя, где снова θя - двойственный базис.

Кручение связности определяется выражением Θ = D θ, или с точки зрения компонентов каркаса формы припоя на

Снова предполагая для простоты, что е голономно, это выражение сводится к

,

которое обращается в нуль тогда и только тогда, когда ΓякДж симметричен по своим нижним индексам.

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

Структурные группы

Более конкретный тип формы связи может быть построен, когда векторное расслоение E несет структурная группа. Это составляет предпочтительный класс кадров. е на E, которые связаны Группа Ли грамм. Например, при наличии метрика в E, работает с фреймами, которые образуют ортонормированный базис в каждой точке. Структурная группа тогда является ортогональная группа, поскольку эта группа сохраняет ортонормированность реперов. Другие примеры включают:

В общем, пусть E - заданное векторное расслоение размерности слоев k и грамм ⊂ GL (k) заданная подгруппа Ли общей линейной группы рk. Если (еα) является локальным фреймом E, то матричнозначная функция (граммяj): Mграмм может действовать на еα изготовить новый каркас

Две такие рамки есть грамм-связанные с. Неформально векторное расслоение E имеет структура грамм-пучок если указан предпочтительный класс фреймов, все из которых локально грамм- связаны друг с другом. Формально E это пучок волокон со структурной группой грамм чье типичное волокно рk с естественным действием грамм как подгруппа GL (k).

Совместимые соединения

Связь совместимый со структурой грамм-бандл на E при условии, что связанные параллельный транспорт карты всегда отправляют один грамм-фрейм к другому. Формально вдоль кривой γ должно выполняться локально (т. Е. При достаточно малых значениях т):

для какой-то матрицы граммαβ (что также может зависеть от т). Дифференциация на т= 0 дает

где коэффициенты ωαβ находятся в Алгебра Ли грамм группы Ли грамм.

С учетом этого наблюдения форма связности ωαβ определяется

является совместим со структурой если матрица одноформ ωαβ(е) принимает свои значения в грамм.

Кроме того, форма кривизны совместимого соединения граммдвухзначная форма.

Смена кадра

Под сменой кадра

куда грамм это грамм-значная функция, определенная на открытом подмножестве M, форма связи преобразуется через

Или, используя матричные произведения:

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

где ωграмм это Форма Маурера-Картана для группы грамм, здесь вытащил обратно к M по функции грамм, а Ad - это присоединенное представительство из грамм на его алгебре Ли.

Основные пакеты

Форма соединения, представленная до сих пор, зависит от конкретного выбора рамы. В первом определении рама - это просто локальная основа секций. Каждому кадру дается форма связи с законом преобразования для перехода от одного кадра к другому. Во втором определении сами фреймы несут некоторую дополнительную структуру, предоставляемую группой Ли, и изменения фрейма ограничиваются теми, которые принимают в нем свои значения. Язык основных пакетов, впервые предложенный Чарльз Эресманн в 1940-х годах предлагает способ организации этих многочисленных форм связи и законов преобразования, связывающих их в единую внутреннюю форму с единым правилом преобразования. Недостатком этого подхода является то, что формы больше не определены на самом многообразии, а скорее на более крупном основном связке.

Основное соединение для формы соединения

Предположим, что EM - векторное расслоение со структурной группой грамм. Позволять {U} быть открытой крышкой M, вместе с грамм-рамки на каждой U, обозначаемый еU. Они связаны на пересечении перекрывающихся открытых множеств

для некоторых грамм-значная функция часУФ определено на UV.

Пусть FграммE быть набором всех грамм-рамки взяты по каждой точке M. Это главный грамм- связать M. Подробно, используя тот факт, что грамм-рамки все грамм-связанные, FграммE может быть реализована в виде склейки данных между наборами открытой крышки:

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

На 'FграммE, определим главный грамм-связь следующим образом, указав грамм-значная однозначная форма на каждый товар U × грамм, который соблюдает отношение эквивалентности в областях перекрытия. Сначала позвольте

- карты проекции. Теперь для точки (Икс,грамм) ∈ U × грамм, набор

Построенная таким образом 1-форма ω учитывает переходы между перекрывающимися множествами и, следовательно, спускается вниз, чтобы дать глобально определенную 1-форму на главном расслоении FграммE. Можно показать, что ω является главной связностью в том смысле, что она воспроизводит образующие правой грамм действие на FграммE, и эквивариантно сплетает правое действие на T (FграммE) с присоединенным представлением грамм.

Формы подключения, связанные с основным подключением

И наоборот, главный грамм-связь ω в главном грамм-пучок пM рождает набор форм подключения на M. Предположим, что е : Mп это местная секция п. Тогда откат ω вдоль е определяет граммоднозначная форма на M:

Смена кадров на грамм-значная функция грамм, видно, что ω (е) преобразуется требуемым образом с помощью правила Лейбница и присоединения:

куда Икс вектор на M, и d обозначает продвигать.

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

Примечания

  1. ^ Гриффитс и Харрис (1978), Уэллс (1980), Спивак (1999)
  2. ^ Видеть Йост (2011) в главе 4, где подробно описывается связь Леви-Чивита с этой точки зрения.
  3. ^ Видеть Спивак (1999), II.7 для полного описания связи Леви-Чивита с этой точки зрения.
  4. ^ В неголономной системе отсчета выражение кривизны дополнительно осложняется тем фактом, что производные dθя необходимо учитывать.
  5. ^ а б Уэллс (1973).
  6. ^ См., Например, Кобаяси и Номидзу, Том II.
  7. ^ См. Черна и Мозера.

Рекомендации

  • Черн, С.-С., Темы по дифференциальной геометрии, Институт перспективных исследований, конспекты лекций на мимеографе, 1951 г.
  • Черн С. С .; Мозер, Дж. (1974), "Реальные гиперповерхности в комплексных многообразиях", Acta Math., 133: 219–271, Дои:10.1007 / BF02392146
  • Гриффитс, Филипп; Харрис, Джозеф (1978), Принципы алгебраической геометрии, Джон Уайли и сыновья, ISBN  0-471-05059-8
  • Йост, Юрген (2011), Риманова геометрия и геометрический анализ (PDF), Universitext (шестое изд.), Springer, Heidelberg, Дои:10.1007/978-3-642-21298-7, ISBN  978-3-642-21297-0, МИСТЕР  2829653
  • Кобаяси, Шошичи; Номидзу, Кацуми (1996), Основы дифференциальной геометрии. 1 (Новое издание), Wiley-Interscience, ISBN  0-471-15733-3
  • Кобаяси, Шошичи; Номидзу, Кацуми (1996), Основы дифференциальной геометрии. 2 (Новое издание), Wiley-Interscience, ISBN  0-471-15732-5
  • Спивак, Михаил (1999), Всестороннее введение в дифференциальную геометрию (Том 2), Опубликовать или погибнуть, ISBN  0-914098-71-3
  • Спивак, Михаил (1999), Комплексное введение в дифференциальную геометрию (Том 3), Опубликовать или погибнуть, ISBN  0-914098-72-1
  • Уэллс, Р. (1973), Дифференциальный анализ на комплексных многообразиях, Springer-Verlag, ISBN  0-387-90419-0
  • Уэллс, Р. (1980), Дифференциальный анализ на комплексных многообразиях, Прентис – Холл