查看“︁斯豪滕-奈恩黑斯括号”︁的源代码

在[[微分几何]]中，'''斯豪滕–奈恩黑斯括号'''（{{lang|en|Schouten–Nijenhuis bracket}}，[[国际音标]]：{{IPA|[ˈsχʌutən]-[ˈnɛiənhœys]}}），也称为'''斯豪滕括号'''，是定义在[[光滑流形]]上的[[多重向量]][[向量场|场]]上的一种[[分次李代数|分次李括号]]，推广了向量场的[[李括号]]。有两种不同的版本，让人相当不解地是有相同的名字。最通常的版本是定义在交错多重向量场上，使得其成为一个[[格尔斯滕哈伯代数]]；但另一个版本定义在对称多重向量场上，这或多或少与[[余切丛]]上的[[泊松括号]]相同。它由{{le|扬·阿诺尔德斯·斯豪滕|Jan Arnoldus Schouten}}在1940年与1953年发现，其性质为他的学生{{le|阿尔伯特·奈恩黑斯|Albert Nijenhuis}}在1955年研究。它与[[奈恩黑斯-理查德森括号]]及[[弗勒利歇尔-奈恩黑斯括号]]有联系但不相同。

== 定义与性质 ==
一个交错多重向量场是流形 ''M'' 的[[切丛]]上[[外代数]]的一个截面。交错多重向量场在 ''a'' 与 ''b'' 的乘法 ''ab''（一些作者使用 ''a''∧''b''）下形成一个分次超交换环。这与通常微分形式代数 Ω<sup>∗</sup>''M'' 是对偶的，对偶关系是齐次元素上的配对

: <math>\omega(a_1a_2 \dots a_p)=\left\{
\begin{matrix}
\omega(a_1,\dots,a_p)&(\omega\in \Omega^pM)\\
0&(\omega\not\in\Omega^pM)
\end{matrix}\right.
</math>
∧<sup>''p''</sup>T''M'' 中多重向量 ''A'' 的'''次数'''定义为 |''A''| = ''p''。

斜对称斯豪滕–奈恩黑斯括号是向量场的李括号到交错多重向量场分次代数的惟一扩张，使得分次多重向量场成为一个[[格尔斯滕哈伯代数]]。它由向量场的李括号以如下方式给出

:<math>[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_mb_1\cdots b_{j-1}b_{j+1}\cdots b_n</math>
对任何向量场 ''a''<sub>''i''</sub> 与 ''b''<sub>''j''</sub>。Schouten–Nijenhuis 括号具有如下性质：
*|''ab''| = |''a''| + |''b''|（乘法的次数为 0）
*|[''a'',''b'']| = |''a''| + |''b''| − 1（斯豪滕–奈恩黑斯括号的次数为 −1）
*(''ab'')''c'' = ''a''(''bc''), ''ab'' = (−1)<sup>|''a''||''b''|</sup>''ba''（乘法满足结合律与（超）交换律）
*[''a'',&nbsp;''bc''] = [''a'',&nbsp;''b'']''c'' + (−1)<sup>|''a''|(|''b''|&nbsp;−&nbsp;1)</sup>''b''[''a'',&nbsp;''c'']（泊松恒等式）
*[''a'',''b''] = −(−1)<sup>(|''a''|&nbsp;−&nbsp;1)(|''b''|&nbsp;−&nbsp;1)</sup> [''b'',''a'']（Schouten-Nijenhuis 括号的反对称性）
*[[''a'',''b''],''c''] = [''a'',[''b'',''c'']] − (−1)<sup>(|''a''|&nbsp;−&nbsp;1)(|''b''|&nbsp;−&nbsp;1)</sup>[''b'',[''a'',''c'']]（Schouten–Nijenhuis 括号的雅可比恒等式）
* 如果 ''f'' 与 ''g'' 是函数（次数为 0 的多重向量），则 [''f'',''g''] = 0。
* 如果 ''a'' 是一个向量场，则 [''a'',''b''] = '''L'''<sub>''a''</sub>''b'' 是多重向量场 ''b'' 沿着 ''a'' 的通常[[李导数]]；特别地，如果 ''a'' 与 ''b'' 是向量场则 斯豪滕–奈恩黑斯括号就是通常向量场的李括号。 

如果分次变为相反奇偶性（从而奇、偶子空间互换），则斯豪滕–奈恩黑斯括号使多重向量场成为一个李超代数，不过在新分次下它不再是超交换环。相应地，雅可比恒等式也可以表示为对称形式
:<math>(-1)^{(|a|-1)(|b|-1)}[a,[b,c]]+(-1)^{(|b|-1)(|c|-1)}[b,[a,c]]+(-1)^{|c|-1)(|a|-1)}[c,[a,b]] = 0.</math>

== 推广 ==
A. M. 维诺格拉多夫（Vinogradov）在1990年得出交错多重向量场的斯豪滕–奈恩黑斯括号与[[弗勒利歇尔-奈恩黑斯括号]]一般推广。

斯豪滕–奈恩黑斯括号的一个版本也能类似地定义在对称多重向量场上。对称多重向量场可与 ''M'' 的余切丛  ''T''<sup>*</sup>(''M'') 上在纤维上是多项式的函数等价，在这种等化下对称斯豪滕–奈恩黑斯括号对应于[[辛流形]] ''T''<sup>*</sup>(''M'') 上函数的[[泊松括号]]。1995年，Dubois-Violette 与 Peter W. Michor 将对称多重向量场的斯豪滕–奈恩黑斯括号与弗勒利歇尔－奈恩黑斯括号推广到一般情形。

== 参考文献 ==
* Michel Dubois-Violette, Peter W. Michor ''A common generalization of the Frölicher–Nijenhuis bracket and the Schouten bracket for symmetric multi vector fields''  {{arXiv|id=alg-geom/9401006 }}Indag. Mathem., N.S. 6, 1 (1995) 51–66
* Charles-Michel Marle [http://perso.orange.fr/Charles-Michel.Marle/pdffiles/schouten.pdf ''The Schouten-Nijenhuis bracket and interior products'']，Journal of Geometry and Physics, 23, 350–359, 1997.
* A. Nijenhuis, ''Jacobi-type identities for bilinear differential concomitants of certain tensor fields I'', Indagationes Math. 17 (1955) 390–403.
*J.A. Schouten, ''Über Differentialkonkomitanten zweier kontravarianten Grössen'' Indag. Math. , 2 (1940) pp.&nbsp;449–452
* J. A. Schouten, ''On the differential operators of the first order in tensor calculus'', In ''Convegno Int. Geom. Diff. Italia, 1953, Ed. Cremonese, pages 1–7. 
* A. M. Vinogradov, ''Unification of Schouten–Nijenhuis and Frölicher–Nijenhuis brackets, cohomology and super differential operators, Sov. Math. Zametki 47 (1990).

== 外部链接 ==
*Nicola Ciccoli [https://web.archive.org/web/20070927223438/http://toknotes.mimuw.edu.pl/sem4/online/node9.html ''Schouten–Nijenhuis bracket''] in notes on [https://web.archive.org/web/20070927223836/http://toknotes.mimuw.edu.pl/sem4/online/fpqg.html ''From Poisson to Quantum Geometry'']

[[Category:二元运算|S]]
[[Category:微分几何|S]]
[[Category:双线性算子]]