Подключение (аффинный пакет) - Википедия - Connection (affine bundle)

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья требует внимания эксперта по предмету. Конкретная проблема: Нет свинца, и его нужно лучше организовать. При размещении этого тега учитывайте связывая этот запрос с ВикиПроект. (Октябрь 2013) Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Октябрь 2013) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

Позволять Y → Икс быть аффинный пучок моделируется над векторным расслоением Y → Икс. А связь Γ на Y → Икс называется аффинная связь если это как раздел Γ: Y → J¹Y из струйный пучок J¹Y → Y из Y является морфизмом аффинного расслоения над Икс. В частности, это аффинная связь на касательный пучок ТИкс из гладкое многообразие Икс. (То есть связь на аффинном расслоении является примером аффинной связи; это, однако, не является общим определением аффинной связи. Это связанные, но различные концепции, оба, к сожалению, используют прилагательное «аффинно».)

Относительно координат аффинного расслоения (Икс^λ, у^я) на Y, аффинная связь Γ на Y → Икс дается форма касательной связи

${ displaystyle { begin {align} Gamma & = dx ^ { lambda} otimes left ( partial _ { lambda} + Gamma _ { lambda} ^ {i} partial _ {i} справа) ,, Гамма _ { lambda} ^ {i} & = {{ Gamma _ { lambda}} ^ {i}} _ {j} left (x ^ { nu} right ) y ^ {j} + sigma _ { lambda} ^ {i} left (x ^ { nu} right) ,. end {align}}}$

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

Для любой аффинной связи Γ: Y → J¹Yсоответствующие линейная производная Γ : Y → J¹Y аффинного морфизма Γ определяет уникальный линейное соединение на векторном расслоении Y → Икс. По координатам линейного пучка (Икс^λ, у^я) на Y, это соединение гласит

${ displaystyle { overline { Gamma}} = dx ^ { lambda} otimes left ( partial _ { lambda} + {{ Gamma _ { lambda}} ^ {i}} _ {j} left (x ^ { nu} right) { overline {y}} ^ {j} { overline { partial}} _ {i} right) ,.}$

Поскольку каждое векторное расслоение является аффинным расслоением, любая линейная связность на векторном расслоении также является аффинной связностью.

Если Y → Икс - векторное расслоение, аффинная связность Γ и связанная линейная связь Γ являются связями на одном векторном расслоении Y → Икс, а их отличие заключается в базовой форме пайки на

${ displaystyle sigma = sigma _ { lambda} ^ {i} (x ^ { nu}) dx ^ { lambda} otimes partial _ {i} ,.}$

Таким образом, всякая аффинная связность на векторном расслоении Y → Икс представляет собой сумму линейного соединения и основной формы пайки на Y → Икс.

За счет канонического вертикального разбиения VY = Y × Y, эта форма для пайки приводится в векторнозначная форма

${ displaystyle sigma = sigma _ { lambda} ^ {i} (x ^ { nu}) dx ^ { lambda} otimes e_ {i}}$

куда е_я волокнистая основа для Y.

Учитывая аффинную связь Γ на векторном расслоении Y → Икс, позволять р и р быть искривления связи Γ и соответствующая линейная связь Γ, соответственно. Легко заметить, что р = р + Т, куда

${ displaystyle { begin {align} T & = { tfrac {1} {2}} T _ { lambda mu} ^ {i} dx ^ { lambda} wedge dx ^ { mu} otimes partial _ {i} ,, T _ { lambda mu} ^ {i} & = partial _ { lambda} sigma _ { mu} ^ {i} - partial _ { mu} sigma _ { lambda} ^ {i} + sigma _ { lambda} ^ {h} {{ Gamma _ { mu}} ^ {i}} _ {h} - sigma _ { mu} ^ { h} {{ Gamma _ { lambda}} ^ {i}} _ {h} ,, end {выровнено}}}$

это кручение из Γ относительно основной формы пайки σ.

В частности, рассмотрим касательное расслоение ТИкс многообразия Икс координируется (Икс^μ, Икс^μ). Есть каноническая форма пайки

${ displaystyle theta = dx ^ { mu} otimes { dot { partial}} _ { mu}}$

на ТИкс что совпадает с тавтологический однообразный

${ displaystyle theta _ {X} = dx ^ { mu} otimes partial _ { mu}}$

на Икс из-за канонического вертикального разбиения VTИкс = TИкс × тИкс. Для произвольной линейной связи Γ на ТИкс, соответствующая аффинная связность

${ displaystyle { begin {align} A & = Gamma + theta ,, A _ { lambda} ^ { mu} & = {{ Gamma _ { lambda}} ^ { mu}} _ { nu} { dot {x}} ^ { nu} + delta _ { lambda} ^ { mu} ,, end {align}}}$

на ТИкс это Картановое соединение. Кручение связи Картана А относительно формы пайки θ совпадает с кручение линейной связи Γ, а его кривизна представляет собой сумму р + Т кривизны и кручения Γ.

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

• Связь (расслоенное многообразие)
• Аффинная связь
• Подключение (векторный набор)
• Связь (математика)
• Аффинная калибровочная теория

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

• Кобаяши, С .; Номидзу, К. (1996). Основы дифференциальной геометрии. 1–2. Wiley-Interscience. ISBN  0-471-15733-3.
• Сарданашвили, Г. (2013). Продвинутая дифференциальная геометрия для теоретиков. Расслоения волокон, многообразия струй и лагранжева теория. Lambert Academic Publishing. arXiv:0908.1886. Bibcode:2009arXiv0908.1886S. ISBN  978-3-659-37815-7.

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