Скобка Схоутена – Нийенхейса - Schouten–Nijenhuis bracket

В дифференциальная геометрия, то Скобка Схоутена – Нийенхейса, также известный как Кронштейн Схоутена, это тип градуированная скоба Ли определено на многовекторный поля на гладкое многообразие расширение Скобка Ли векторных полей. Есть две разные версии, обе названы одним и тем же именем. Наиболее распространенная версия определяется на чередующихся многовекторных полях и превращает их в Алгебра Герстенхабера, но есть также другая версия, определенная для симметричных мультивекторных полей, которая более или менее совпадает с Скобка Пуассона на котангенсный пучок. Это было обнаружено Ян Арнольдус Схоутен (1940, 1953) и его свойства исследовал его ученик Альберт Нейенхейс (1955). Это связано, но не то же самое, что и Скобка Нейенхейса – Ричардсона и Скобка Фрелихера – Нийенхейса.

Определение и свойства

Переменное многовекторное поле - это часть внешняя алгебра ∧^∗ТM над касательный пучок многообразия M. Переменные многовекторные поля образуют градуированное суперкоммутативное кольцо с произведением а и б написано как ab (некоторые авторы используют а∧б). Это двойственно к обычной алгебре дифференциальные формы Ω^∗M спариванием на однородных элементах:

${\displaystyle \omega (a_{1}a_{2}\dots a_{p})=\left\{{\begin{matrix}\omega (a_{1},\dots ,a_{p})&(\omega \in \Omega ^{p}M)\\0&(\omega \not \in \Omega ^{p}M)\end{matrix}}\right.}$

В степень мультивекторного А в ${\displaystyle \Lambda ^{p}TM}$ определяется как |А| = п.

Кососимметричная скобка Схоутена – Нийенхейса является единственным расширением Скобка Ли векторных полей к градуированной скобке на пространстве переменных многовекторных полей, которая превращает переменные многовекторные поля в Алгебра Герстенхабера Она задается в терминах скобки Ли векторных полей формулой

${\displaystyle [a_{1}\cdots a_{m},b_{1}\cdots b_{n}]=\sum _{i,j}(-1)^{i+j}[a_{i},b_{j}]a_{1}\cdots a_{i-1}a_{i+1}\cdots a_{m}b_{1}\cdots b_{j-1}b_{j+1}\cdots b_{n}}$

для векторных полей а_я, б_j и

${\displaystyle [f,a_{1}\cdots a_{m}]=-\iota _{df}(a_{1}\cdots a_{m})}$

для векторных полей ${\displaystyle a_{i}}$ и гладкая функция ${\displaystyle f}$, куда ${\displaystyle \iota _{df}}$ это общий интерьерный продукт оператор. Он обладает следующими свойствами.

• |ab| = |а| + |б| (Продукт имеет степень 0)
• |[а,б]| = |а| + |б| - 1 (скобка Схоутена – Нийенхейса имеет степень −1)
• (ab)c = а(до н.э), ab = (−1)^|а||б|ба (произведение ассоциативно и (супер) коммутативно)
• [а, до н.э] = [а, б]c + (−1)^{|б|(|а| − 1)}б[а, c] (Тождество Пуассона)
• [а,б] = −(−1)^{(|а| − 1)(|б| − 1)} [б,а] (Антисимметрия скобки Схоутена – Нийенхейса)
• [[а,б],c] = [а,[б,c]] − (−1)^{(|а| − 1)(|б| − 1)}[б,[а,c]] (Тождество Якоби для скобки Схоутена – Нийенхейса)
• Если ж и грамм - функции (однородные мультивекторы степени 0), то [ж,грамм] = 0.
• Если а является векторным полем, то [а,б] = L_аб это обычный Производная Ли многовекторного поля б вдоль а, и в частности, если а и б являются векторными полями, то скобка Схоутена – Нийенхейса - это обычная скобка Ли векторных полей.

Скобка Схоутена – Нийенхейса превращает мультивекторные поля в супералгебру Ли, если градуировка меняется на градуировку противоположной четности (так что четные и нечетные подпространства меняются местами), хотя с этой новой градуировкой это уже не суперкоммутативное кольцо. Соответственно, тождество Якоби также может быть выражено в симметричной форме

${\displaystyle (-1)^{(|a|-1)(|c|-1)}[a,[b,c]]+(-1)^{(|b|-1)(|a|-1)}[b,[c,a]]+(-1)^{(|c|-1)(|b|-1)}[c,[a,b]]=0.\,}$

Обобщения

Существует общее обобщение скобки Схоутена – Нийенхейса для переменных многовекторных полей и Скобка Фрелихера – Нийенхейса по Виноградову (1990).

Аналогичным образом можно определить версию скобки Схоутена – Нийенхейса для симметричных мультивекторных полей. Симметричные многовекторные поля можно отождествить с функциями на котангенсном пространстве Т^*(M) из M полиномиальные в слое, и при этом отождествлении симметричная скобка Схоутена – Нийенхейса соответствует Скобка Пуассона функций на симплектическое многообразие Т^*(MСуществует общее обобщение скобки Схоутена – Нийенхейса для симметричных мультивекторных полей и Скобка Фрелихера – Нийенхейса благодаря Дюбуа-Виолетте и Питер В. Мичор (1995).

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

• Дюбуа-Виолетт, Мишель; Мичор, Питер В. (1995). «Общее обобщение скобки Фрелихера – Нийенхейса и скобки Схоутена для симметричных многовекторных полей». Indag. Mathem. 6 (1): 51–66. arXiv:alg-geom / 9401006. Дои:10.1016 / 0019-3577 (95) 98200-у.
• Марль, Шарль-Мишель (1997). «Кронштейн Schouten-Nijenhuis и предметы интерьера» (PDF). Журнал геометрии и физики. 23 (3–4): 350–359. Bibcode:1997JGP .... 23..350M. CiteSeerX  10.1.1.27.5358. Дои:10.1016 / s0393-0440 (97) 80009-5.
• Nijenhuis, A. (1955). «Тождества типа Якоби для билинейных дифференциальных сопутствующих некоторых тензорных полей I». Indagationes Math. 17: 390–403. Дои:10.1016 / S1385-7258 (55) 50054-0. HDL:10338.dmlcz / 102420.
• Схоутен, Дж. А. (1940). "Über Differentialkonkomitanten zweier kontravarianten Grössen". Indag. Математика. 2: 449–452.
• Схоутен, Дж. А. (1953). «О дифференциальных операторах первого порядка в тензорном исчислении». На кремонском диалекте (ред.). Convegno Int. Геом. Diff. Италия. С. 1–7.
• Виноградов, А. М. (1990). «Объединение скобок Схоутена – Нийенхейса и Фрелихера – Нийенхейса, когомологии и супердифференциальные операторы». Сов. Математика. Заметки. 47.

внешняя ссылка

• Никола Чикколи Скобка Схоутена – Нийенхейса в примечаниях к От Пуассона к квантовой геометрии