WikiDer > Связь Ehresmann

Ehresmann connection

В дифференциальная геометрия, Связь Ehresmann (после французского математика Чарльз Эресманн кто первым формализовал это понятие) является разновидностью понятия связь, что имеет смысл на любом гладком пучок волокон. В частности, он не полагается на возможную структуру векторного расслоения нижележащего расслоения, но, тем не менее, линейные связи можно рассматривать как частный случай. Другим важным частным случаем связностей Эресмана являются основные связи на основные связки, которые должны быть эквивариантный в основном Группа Ли действие.

Вступление

А ковариантная производная в дифференциальной геометрии является линейный дифференциальный оператор который берет производная по направлению секции векторный набор в ковариантный манера. Это также позволяет сформулировать понятие параллельно сечение пучка в направлении вектора: сечение s параллельна вектору Икс если ${displaystyle abla _ {X} s = 0}$ . Таким образом, ковариантная производная дает по крайней мере две вещи: дифференциальный оператор, и понятие того, что значит быть параллельным в каждом направлении. An Связь Ehresmann полностью отбрасывает дифференциальный оператор и аксиоматически определяет связь в терминах секций, параллельных в каждом направлении (Эресманн 1950). В частности, связь Эресмана выделяет векторное подпространство каждого касательное пространство к общему пространству расслоения, называемому горизонтальное пространство. Секция s тогда горизонтально (т. е. параллельно) в направлении Икс если ${displaystyle {m {d}} s (X)}$ лежит в горизонтальном пространстве. Здесь речь идет о s как функция ${displaystyle scolon M o E}$ с базы M к пучку волокон E, так что ${displaystyle {m {d}} scolon TM o s ^ {*} TE}$ тогда продвигать касательных векторов. Горизонтальные пространства вместе образуют векторное расслоение ${displaystyle TE}$ .

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

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

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

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

Позволять ${displaystyle pi двоеточие E o M}$ быть гладким пучок волокон.^[1] Позволять

{displaystyle V = ker (имя оператора {d} пи двоеточие TE o TM)}

быть вертикальный пучок состоящий из векторов "касательных к слоям" E, т.е. волокно V в ${displaystyle ein E}$ является ${displaystyle V_ {e} = T_ {e} (E_ {pi (e)})}$ . Это подгруппа ${displaystyle TE}$ канонически определено, в то время как нет канонического подпространства, касательного к базовому пространству M. (Конечно, эта асимметрия происходит от самого определения пучка волокон, который «имеет только одну проекцию». ${displaystyle pi двоеточие E o M}$ пока продукт ${displaystyle E = M imes F}$ было бы два.)

Определение через горизонтальные подпространства

An Связь Ehresmann на E гладкая подгруппа ЧАС из ${displaystyle TE}$ , называется горизонтальный пучок соединения, которое дополняет V, в том смысле, что он определяет прямая сумма разложение ${displaystyle TE = Hoplus V}$ (Коларж, Михор и Словак 1993). Более подробно, горизонтальный пучок имеет следующие свойства.

Для каждой точки ${displaystyle ein E}$ , ${displaystyle H_ {e}}$ это векторное подпространство касательного пространства ${displaystyle T_ {e} E}$ к E в е, называется горизонтальное подпространство связи в е.
${displaystyle H_ {e}}$ зависит от плавно на е.
Для каждого ${displaystyle ein E}$ , ${displaystyle H_ {e} cap V_ {e} = {0}}$ .
Любой касательный вектор в Т_еE (для любого е∈E) представляет собой сумму горизонтальной и вертикальной составляющих, так что Т_еE = ЧАС_е + V_е.

Говоря более сложными словами, такое назначение горизонтальных пространств, удовлетворяющих этим свойствам, точно соответствует гладкому участку связка струй J¹E → E.

Определение через форму подключения

Эквивалентно пусть v - проекция на вертикальный пучок V вдоль ЧАС (так что ЧАС = ker v). Это определяется указанным выше прямая сумма разложение TE на горизонтальную и вертикальную части и иногда называется форма подключения связи Эресмана. Таким образом v это гомоморфизм векторных расслоений из TE себе со следующими свойствами (проекций в целом):

v² = v;
v это личность на V = Изображение (v).

Наоборот, если v это векторное расслоение эндоморфизм из TE удовлетворяющий этим двум свойствам, то ЧАС = ker v - горизонтальное подрасслоение связности Эресмана.

Наконец, обратите внимание, что v, являясь линейным отображением каждого касательного пространства в себя, также может рассматриваться как TE-значная 1-форма на E. Это будет полезно в следующих разделах.

Параллельная транспортировка с помощью горизонтальных подъемников

Связность Эресмана также предписывает способ подъема кривых с базового многообразия M в общее пространство пучка волокон E так, чтобы касательные к кривой были горизонтальными.^[2] Эти горизонтальные подъемники являются прямым аналогом параллельный транспорт для других вариантов формализма связи.

В частности, предположим, что γ(т) - гладкая кривая в M через точку Икс = γ(0). Позволять е ∈ E_Икс быть точкой в волокне над Икс. А поднимать из γ через е кривая ${displaystyle {ilde {gamma}} (t)}$ в общем пространстве E такой, что

{displaystyle {ilde {gamma}} (0) = e}

, и

{displaystyle pi ({ilde {gamma}} (t)) = gamma (t).}

Лифт горизонтальный если, кроме того, каждая касательная к кривой лежит в горизонтальном подрасслоении TE:

{displaystyle {ilde {gamma}} '(t) в H _ {{ilde {gamma}} (t)}.}

Это можно показать с помощью теорема ранга-недействительности применительно к π и v что каждый вектор Икс∈Т_ИксM имеет уникальный горизонтальный подъем к вектору ${displaystyle {ilde {X}} на T_ {e} E}$ . В частности, касательное поле к γ генерирует горизонтальное векторное поле в общем пространстве обратный пакет γ*E. Посредством Теорема Пикара – Линделёфа, это векторное поле интегрируемый. Таким образом, для любой кривой γ и указать е над Икс = γ(0) существует уникальный горизонтальный подъемник из γ через е на короткое время т.

Обратите внимание, что для обычных соединений Ehresmann горизонтальный подъем зависит от пути. Когда две плавные кривые в M, совпадающие в γ₁(0) = γ₂(0) = Икс₀ а также пересекающиеся в другой точке Икс₁ ∈ M, поднимаются горизонтально, чтобы E через то же е ∈ π⁻¹(Икс₀), они обычно проходят через разные точки π⁻¹(Икс₁). Это имеет важные последствия для дифференциальной геометрии пучков волокон: пространство сечений ЧАС это не Подалгебра Ли пространства векторных полей на E, потому что он (в общем) не закрыт под Скобка Ли векторных полей. Этот отказ закрытия под скобкой Ли измеряется кривизна.

Характеристики

Кривизна

Позволять v быть связью Эресмана. Тогда кривизна v дан кем-то^[3]

{displaystyle R = {frac {1} {2}} [v, v]}

где [-, -] обозначает Кронштейн Фрелихера-Нийенхейса из v ∈ Ω¹(E,TE) с собой. Таким образом р ∈ Ω²(E,TE) - двойная форма на E со значениями в TE определяется

{displaystyle R (X, Y) = vleft ([(mathrm {id} -v) X, (mathrm {id} -v) Y] ight)}

,

или, другими словами,

{displaystyle Rleft (X, Yight) = left [X_ {H}, Y_ {H} ight] _ {V}}

,

куда Икс = Икс_ЧАС + Икс_V обозначает разложение прямой суммы на ЧАС и V компоненты соответственно. Из этого последнего выражения для кривизны видно, что оно обращается в нуль тождественно тогда и только тогда, когда горизонтальное подрасслоение имеет вид Интегрируемый по Фробениусу. Таким образом, кривизна - это условие интегрируемости для горизонтального пучка, чтобы получить поперечные сечения пучка волокон E → M.

Кривизна связности Эресмана также удовлетворяет одному из вариантов Бьянки идентичность:

{displaystyle left [v, Right] = 0}

где снова [-, -] - скобка Фрелихера-Нийенхейса для v ∈ Ω¹(E,TE) и р ∈ Ω²(E,TE).

Полнота

Соединение Ehresmann позволяет кривым иметь уникальные горизонтальные подъемы. локально. Для полный Связь Эресмана, кривая может быть поднята горизонтально по всей ее области.

Голономия

Плоскостность соединения локально соответствует Интегрируемость Фробениуса горизонтальных пространств. С другой стороны, кривизна, отличная от нуля, подразумевает наличие голономия связи.^[4]

Особые случаи

Основные связки и основные связи

Предположим, что E гладкий главный грамм-пучок над M. Тогда связь Эресмана ЧАС на E считается основное (Ehresmann) соединение^[5] если он инвариантен относительно грамм действие на E в том смысле, что

{displaystyle H_ {eg} = mathrm {d} (R_ {g}) _ {e} (H_ {e})}

для любого е∈E и грамм∈грамм; здесь

{displaystyle mathrm {d} (R_ {g}) _ {e}}

обозначает дифференциал правильное действие из грамм на E в е.

Однопараметрические подгруппы грамм действовать вертикально на E. Дифференциал этого действия позволяет идентифицировать подпространство ${displaystyle V_ {e}}$ с алгеброй Ли грамм группы граммскажем по карте ${displaystyle iota двоеточие V_ {e} o {mathfrak {g}}}$ . Форма подключения v связи Эресмана можно рассматривать как 1-форму ω на E со значениями в грамм определяется ω(Икс)=ι(v(Икс)).

В новой интерпретации форма связи ω удовлетворяет следующим двум свойствам:

Он трансформирует эквивалентно под грамм действие: ${displaystyle R_ {h} ^ {*} omega = {hbox {Ad}} (h ^ {- 1}) omega}$ для всех час∈грамм, куда р_час^* это откат при правильном действии и Объявление это присоединенное представительство из грамм на его алгебре Ли.
Это карты вертикальные векторные поля к связанным с ними элементам алгебры Ли: ω(Икс)=ι(Икс) для всех Икс∈V.

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

Учитывая локальную тривиализацию, можно уменьшить ω к горизонтальным векторным полям (в этой тривиализации). Он определяет 1-форму ω ' на B через откат. Форма ω ' определяет ω полностью, но это зависит от выбора тривиализации. (Эту форму также часто называют форма подключения и обозначается просто ω.)

Векторные расслоения и ковариантные производные

Предположим, что E гладкий векторный набор над M. Тогда связь Эресмана ЧАС на E считается линейное (Ehresmann) соединение если ЧАС_е линейно зависит от е ∈ E_Икс для каждого Икс ∈ M. Чтобы это было точно, пусть S_λ обозначим скалярное умножение через λ на E. потом ЧАС линейно тогда и только тогда, когда ${displaystyle H_ {lambda e} = mathrm {d} (S_ {lambda}) _ {e} (H_ {e})}$ для любого е ∈ E и скаляр λ.

С E - векторное расслоение, его вертикальное расслоение V изоморфен π*E. Поэтому если s это раздел E, тогдаv(ds):TM→s*V=s*π*E=E. Это морфизм векторного расслоения, поэтому он задается сечением ∇s векторного расслоения Hom (TM,E). Тот факт, что связность Эресмана является линейной, означает, что, кроме того, она проверяет для каждой функции ${displaystyle f}$ на ${displaystyle M}$ правило Лейбница, т.е. ${displaystyle abla (fs) = fabla (s) + d (f) otimes s}$ , и, следовательно, является ковариантная производная из s.

И наоборот ковариантная производная ∇ на векторном расслоении определяет линейную связность Эресмана, определяя ЧАС_е, за е ∈ E с Икс=π(е), образ ds_Икс(Т_ИксM) куда s это раздел E с s(Икс) = е и ∇_Иксs = 0 для всех Икс ∈ Т_ИксM.

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

Связанные пакеты

Связь Эресмана на пучок волокон (наделенный структурной группой) иногда приводит к связности Эресмана на связанный пакет. Например, (линейный) соединение в векторном расслоении E, подумал о параллелизме E как и выше, индуцирует связность на ассоциированном пучке фреймов PE из E. Наоборот, связность в PE порождает (линейную) связь в E при условии, что связь в PE эквивариантна относительно действия полной линейной группы на шкалах (и, следовательно, a основная связь). это не всегда возможно для связности Эресмана естественным образом индуцировать связность на ассоциированном пучке. Например, неэквивариантная связность Эресмана на пучке фреймов векторного расслоения может не индуцировать связность на векторном расслоении.

Предположим, что E связанный пучок п, так что E = п ×_грамм F. А грамм-связь на E является связностью Эресмана такая, что параллельное транспортное отображение τ: F_Икс → F_Икс' дается грамм-преобразование слоев (по достаточно близким точкам Икс и Икс' в M соединены кривой).^[6]

Учитывая принципиальную связь п, получаем грамм-соединение на соответствующем пучке волокон E = п ×_грамм F через откат.

И наоборот, учитывая грамм-подключение на E возможно восстановить основное соединение на соответствующем основном связке п. Чтобы восстановить эту принципиальную связь, вводится понятие Рамка на типичном волокне F. С грамм является конечномерным^[7] Группа Ли, эффективно действующая на F, должна существовать конечная конфигурация точек (у₁,...,у_м) в F так что грамм-орбита р = {(гы₁,...,гы_м) | грамм ∈ грамм} - главное однородное пространство грамм. Можно думать о р как обобщение понятия каркаса для грамм-действие на F. Обратите внимание, что, поскольку р является главным однородным пространством для грамм, пучок волокон E(р) связано с E с типичным волокном р является (эквивалентным) основным расслоением, связанным с E. Но это также часть м-складной товарный комплект E с собой. Распределение горизонтальных пространств по E индуцирует распределение пространств на этом наборе продуктов. Поскольку параллельные транспортные карты, связанные с подключением, являются грамм-карты, они сохраняют подпространство E(р), так что грамм-соединение спускается к принципалу грамм-подключение на E(р).

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

Примечания

^ Эти соображения одинаково хорошо применимы и к более общей ситуации, в которой ${displaystyle pi двоеточие E o M}$ это сюръективный погружение: т.е. E это расслоенное многообразие над M. В альтернативном обобщении из-за (Lang 1999) и (Элиасон 1967), E и M разрешено быть Банаховы многообразия, с E пучок волокон над M как указано выше.
^ Видеть (Кобаяши и Номидзу 1996) и (Коларж, Михор и Словак 1993)
^ (Коларж, Михор и Словак 1993)
^ Голономию связностей Эресмана в расслоениях иногда называют Голономия Эресмана-Риба или же листовая голономия со ссылкой на первое подробное исследование с использованием связей Эресмана для изучения слоения в (Риб 1952)
^ Кобаяши и Номидзу 1996 Том 1.
^ См. Также Lumiste (2001), Подключения на коллекторе.
^ Для удобства предположим, что грамм конечномерно, хотя от этого предположения можно безопасно отказаться с небольшими изменениями.

дальнейшее чтение

Рауль Ботт (1970) «Топологическое препятствие к интегрируемости», Proc. Symp. Чистая математика., 16 Амер. Математика. Soc., Providence, RI.

[1] Эти соображения одинаково хорошо применимы и к более общей ситуации, в которой ${displaystyle pi двоеточие E o M}$ это сюръективный погружение: т.е. E это расслоенное многообразие над M. В альтернативном обобщении из-за (Lang 1999) и (Элиасон 1967), E и M разрешено быть Банаховы многообразия, с E пучок волокон над M как указано выше.

[2] Видеть (Кобаяши и Номидзу 1996) и (Коларж, Михор и Словак 1993)

[3] (Коларж, Михор и Словак 1993)

[4] Голономию связностей Эресмана в расслоениях иногда называют Голономия Эресмана-Риба или же листовая голономия со ссылкой на первое подробное исследование с использованием связей Эресмана для изучения слоения в (Риб 1952)

[5] Кобаяши и Номидзу 1996 Том 1.

[6] См. Также Lumiste (2001), Подключения на коллекторе.

[7] Для удобства предположим, что грамм конечномерно, хотя от этого предположения можно безопасно отказаться с небольшими изменениями.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

Navigation