WikiDer > Векторная дифференциальная форма

В математика, а векторнозначная дифференциальная форма на многообразие M это дифференциальная форма на M со значениями в векторное пространство V. В более общем смысле, это дифференциальная форма со значениями в некоторых векторный набор E над M. Обыкновенные дифференциальные формы можно рассматривать как р-значные дифференциальные формы.

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

Определение

Позволять M быть гладкое многообразие и E → M быть гладким векторный набор над M. Обозначим пространство гладкие участки связки E через Γ (E). An E-значная дифференциальная форма степени п гладкий участок пучок тензорных произведений из E с Λ^п(Т ^∗M), п-го внешняя сила из котангенсный пучок из M. Пространство таких форм обозначим через

${displaystyle Omega ^ {p} (M, E) = Gamma (Eotimes Lambda ^ {p} T ^ {*} M).}$

Поскольку Γ является сильный моноидальный функтор,^[1] это также можно интерпретировать как

${displaystyle Gamma (Eotimes Lambda ^ {p} T ^ {*} M) = Gamma (E) otimes _ {Omega ^ {0} (M)} Gamma (Lambda ^ {p} T ^ {*} M) = Gamma (E) иногда _ {Omega ^ {0} (M)} Omega ^ {p} (M),}$

где последние два тензорных произведения суть тензорное произведение модулей над звенеть Ω⁰(M) гладкой р-значные функции на M (см. седьмой пример здесь). По соглашению E-значная 0-форма - это всего лишь часть пакета E. То есть,

${displaystyle Omega ^ {0} (M, E) = Gamma (E).,}$

Эквивалентно E-значная дифференциальная форма может быть определена как морфизм пучка

${displaystyle TMotimes cdots otimes TM o E}$

что полностью кососимметричный.

Позволять V быть фиксированным векторное пространство. А V-значная дифференциальная форма степени п дифференциальная форма степени п со значениями в тривиальная связка M × V. Пространство таких форм обозначим Ω^п(M, V). Когда V = р восстанавливается определение обыкновенной дифференциальной формы. Если V конечномерно, то можно показать, что естественный гомоморфизм

${displaystyle Omega ^ {p} (M) otimes _ {mathbb {R}} V o Omega ^ {p} (M, V),}$

где первое тензорное произведение векторных пространств над р, является изоморфизмом.^[2]

Операции над векторными формами

Откат

Можно определить откат векторнозначных форм гладкие карты как и для обычных форм. Откат E-значная форма на N гладким отображением φ: M → N является (φ *E) -значная форма на M, где φ *E это обратный пакет из E пользователем φ.

Формула дана так же, как и в обычном случае. Для любого E-значен п-форма ω на N возврат φ * ω задается формулой

${displaystyle (varphi ^ {*} omega) _ {x} (v_ {1}, cdots, v_ {p}) = omega _ {varphi (x)} (mathrm {d} varphi _ {x} (v_ {1 }), cdots, mathrm {d} varphi _ {x} (v_ {p})).}$

Клин продукт

Как и для обыкновенных дифференциальных форм, можно определить клин векторнозначных форм. Продукт клина E₁-значен п-форма с E₂-значен q-форма естественно является (E₁⊗E₂) -значный (п+q)-форма:

${displaystyle wedge: Omega ^ {p} (M, E_ {1}) imes Omega ^ {q} (M, E_ {2}) o Omega ^ {p + q} (M, E_ {1} иногда E_ {2 }).}$

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

${displaystyle (omega wedge eta) (v_ {1}, cdots, v_ {p + q}) = {frac {1} {p! q!}} сумма _ {сигма в S_ {p + q}} имя оператора {sgn } (сигма) омега (v_ {сигма (1)}, cdots, v_ {sigma (p)}) иногда эта (v_ {sigma (p + 1)}, cdots, v_ {sigma (p + q)}). }$

В частности, произведение клина обыкновенного (р-значен) п-форма с E-значен q-форма естественно E-значный (п+q) -форма (поскольку тензорное произведение E с тривиальным пучком M × р является естественно изоморфный к E). Для ω ∈ Ω^п(M) и η ∈ Ω^q(M, E) имеет место обычное соотношение коммутативности:

${displaystyle omega wedge eta = (- 1) ^ {pq} eta wedge omega.}$

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

${displaystyle Omega (M, E) = igoplus _ {p = 0} ^ {dim M} Omega ^ {p} (M, E)}$

становится градуированный коммутативный ассоциативная алгебра. Если волокна E не коммутативны, то Ω (M,E) не будет градуированно-коммутативной.

Внешняя производная

Для любого векторного пространства V есть естественный внешняя производная на пространстве V-значные формы. Это просто обычная внешняя производная, действующая покомпонентно относительно любого основа из V. Явно, если {е_α} является основой для V то дифференциал V-значен п-форма ω = ω^αе_α дан кем-то

${displaystyle Domega = (Domega ^ {alpha}) e_ {alpha}.,}$

Внешняя производная на V-значные формы полностью характеризуются обычными отношениями:

${displaystyle {egin {выровнено} & d (omega + eta) = Domega + deta & d (omega wedge eta) = Domega wedge eta + (- 1) ^ {p}, omega wedge deta qquad (p = deg omega) & d (Domega) = 0.end {выровнено}}}$

В более общем плане приведенные выше замечания относятся к E-значные формы, где E есть ли плоский векторный набор над M (т. е. векторное расслоение с постоянными функциями перехода). Внешняя производная определяется, как указано выше, на любом локальная тривиализация из E.

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

${displaystyle abla: Omega ^ {0} (M, E) o Omega ^ {1} (M, E).}$

Если E снабжен связкой ∇, то существует единственная ковариантная внешняя производная

${displaystyle d_ {abla}: Омега ^ {p} (M, E) o Омега ^ {p + 1} (M, E)}$

расширение ∇. Ковариантная внешняя производная характеризуется линейность и уравнение

${displaystyle d_ {abla} (omega wedge eta) = d_ {abla} omega wedge eta + (- 1) ^ {p}, omega wedge deta}$

где ω - E-значен п-форма и η - обычная q-форма. В общем, не нужно d_∇² = 0. На самом деле это происходит тогда и только тогда, когда связность плоская (т.е. кривизна).

Базовые или тензорные формы на главных связках

Позволять E → M - гладкое векторное расслоение ранга k над M и разреши π : F (E) → M быть (связанный) комплект кадров из E, который является главный GL_k(р) связать M. В откат из E к π канонически изоморфна F (E) ×_ρ р^k через обратную [ты, v] →ты(v), где ρ - стандартное представление. Следовательно, откат π из E-значная форма на M определяет р^k-значная форма на F (E). Нетрудно проверить, что эта оттянутая форма правоэквивариантный по отношению к естественным действие GL_k(р) на 'F(E) × р^k и исчезает на вертикальные векторы (касательные векторы к F (E), лежащие в ядре dπ). Такие векторнозначные формы на F (E) достаточно важны, чтобы оправдать особую терминологию: они называются базовый или же тензорные формы на 'F(E).

Позволять π : п → M быть (гладким) главный грамм-пучок и разреши V фиксированное векторное пространство вместе с представление ρ : грамм → GL (V). А базовый или же тензорная форма на п типа ρ является V-значная форма ω на п который эквивариантный и горизонтальный в том смысле, что

1. ${displaystyle (R_ {g}) ^ {*} omega = ho (g ^ {- 1}) omega,}$ для всех грамм ∈ грамм, и
2. ${displaystyle omega (v_ {1}, ldots, v_ {p}) = 0}$ когда хотя бы один из v_я вертикальные (т.е. dπ(v_я) = 0).

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

• Пример: если ρ - присоединенное представительство из грамм на алгебре Ли, то форма связности ω удовлетворяет первому условию (но не второму). Связанный форма кривизны Ω удовлетворяет обоим; следовательно, Ω - тензорная форма присоединенного типа. «Разница» двух форм связи - тензорная форма.

Данный п и ρ как указано выше, можно построить связанный векторный пучок E = п ×_ρ V. Tensorial q-форма на п находятся в естественном взаимно однозначном соответствии с E-значен q-форма на M. Как и в случае главного расслоения F (E) выше, учитывая q-форма ${displaystyle {overline {phi}}}$ на M со значениями в Eопределим φ на п послойно, скажем, на ты,

${displaystyle phi = u ^ {- 1} pi ^ {*} {overline {phi}}}$

куда ты рассматривается как линейный изоморфизм ${displaystyle V {overset {simeq} {o}} E_ {pi (u)} = (pi ^ {*} E) _ {u}, vmapsto [u, v]}$. Тогда φ - тензорная форма типа ρ. Наоборот, для тензорной формы φ типа ρ та же формула определяет E-значная форма ${displaystyle {overline {phi}}}$ на M (ср. Гомоморфизм Черна – Вейля.) В частности, существует естественный изоморфизм векторных пространств

${displaystyle Gamma (M, E) simeq {f: P o V | f (ug) = ho (g) ^ {- 1} f (u)} ,, {overline {f}} leftrightarrow f}$.

• Пример: пусть E быть касательным расслоением к M. Затем идентификатор карты пакета идентификаторов_E: E →E является E-значен одна форма на M. В тавтологический однообразный является единственной формой на расслоении фреймов E что соответствует id_E. Обозначается θ, это тензорная форма стандартного типа.

Теперь предположим, что есть соединение на п так что есть внешнее ковариантное дифференцирование D на (различных) векторных формах на п. Через вышеуказанную переписку, D также действует на E-значные формы: определите ∇ как

${displaystyle abla {overline {phi}} = {overline {Dphi}}.}$

В частности, для нулевых форм,

${displaystyle abla: Gamma (M, E) o Gamma (M, T ^ {*} Motimes E)}$.

Это именно та ковариантная производная для связь на векторном расслоении E.^[3]

Примеры

Модульные формы Siegel возникают как векторные дифференциальные формы на Модульные разновидности Siegel.^[4]

Примечания

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

• Шошичи Кобаяси и Кацуми Номидзу (1963) Основы дифференциальной геометрии, Vol. 1, Wiley Interscience.