Тангенциальнозначная форма

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Определение[править | править вики-текст]

Тангенциальнозначной формой на многообразии M называется сечение тензорного произведения касательного и внешней степени кокасательного расслоений к многообразию:

\omega\colon M \to \left(\wedge^k T^*M\right) \otimes_{M} TM
\pi \circ \omega = \imath d

Операции[править | править вики-текст]

  • Внутреннее дифференицрование
  • Внешнее дифференцирование

Производная Ли[править | править вики-текст]

Частным случаем тангенциальнозначных форм являются векторные поля. Производная Ли от тензорного поля T по векторному полю X определяется стандартным образом:

L_X T = \frac{d}{dt} g^t T

где g^t — фазовый поток, соответствующий векторному полю X. Эта операция связана с внутренним умножением \imath_X дифференциальной формы на векторное поле и внешним дифференцированием формулой гомотопии:

L_X = \imath_X d + d \imath_X

то есть

L_X = [\imath_X, d]

где [\cdot,\cdot] — коммутатор в градуированной алгебре дифференцирований тангенциальнозначных форм. Для произвольной тангенциальнозначной формы K производная Ли определяется по аналогии:

L_K = [\imath_K, d]
Свойства
  • [L_K, d] = 0

Скобка Фрёлихера-Нейенхёйса[править | править вики-текст]

Скобка Фрёлихера-Нейенхёйса [\cdot,\cdot] двух тангенциальнозначных форм K и F определяются как такая единственная тангенциальнозначная форма [K,F], для которой

[L_K, L_F] = L([K,F])

Эта операция градуированно антикоммутативна и удовлетворяет градуированному тождеству Якоби. Если воспринимать почти комплексную структуру I как касательнозначную 1-форму, её тензор Нейенхёйса (тензор, препятствующий отысканию комплексных локальных карт) выражается через скобку Фрёлихера-Нейенхёйса как [I,I].[1] Условие «интегрируемости» некой структуры как зануление некоторой её скобки с самой собой общо: например, условие ассоциативности алгебры A можно определять как зануление скобки Герстенхабера на пространстве кодифференцирований свободной коалгебры, порождённой подлежащим векторным пространством алгебры A, посажённым в градуировку 1 (билинейные умножения \mu\colon A\otimes A\to A суть то же самое, что кодифференцирования градуировки 1)[2].

Скобка Нейенхёйса-Ричардсона[править | править вики-текст]

Скобка Нейенхёйса-Ричардсона (алгебраические скобки) [\cdot,\cdot]^\wedge двух тангенциальнозначных форм K и F определяются как такая единственная тангенциальнозначная форма [K,F]^\wedge, для которой

[\imath_K, \imath_F] = \imath([K,F]^\wedge)

Эта операция градуированно антикоммутативна и удовлетворяет градуированному тождеству Якоби. Явный вид для скобки двух форм K \in \Omega^{k+1}(M,TM), F \in \Omega^{f+1}(M,TM):

[K, F]^\wedge = \imath_k F - (-1)^{k f} \imath_F K

Связанные определения[править | править вики-текст]

Форма называется припаивающей, если она лежит в T^*M \otimes TM.

Примечания[править | править вики-текст]

Литература[править | править вики-текст]