在數學中,弗勒利歇爾-奈恩黑斯括號(Frölicher–Nijenhuis bracket)是光滑流形上向量場的李括號到向量值微分形式的推廣。它在研究聯絡,特別是埃雷斯曼聯絡,以及更一般的研究切叢的投影中很有用。此括號由阿爾弗雷德·弗勒利歇爾與阿爾伯特·奈恩黑斯於1956年引入,與斯豪滕1940年的工作有聯繫。
它與奈恩黑斯-理查德森括號和斯豪滕-奈恩黑斯括號相關但不是一回事。
定義
設 Ω*(M) 是光滑流形 M 上微分形式的外代數。這是一個分次代數,其次數由形式的階數給出:
![{\displaystyle \Omega ^{*}(M)=\bigoplus _{k=0}^{\infty }\Omega ^{k}(M).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8288d84932532bb0c0132b8c71f1d9c8edf661c2)
一個階數為 ℓ 的分次導子是一個映射:
![{\displaystyle D:\Omega ^{*}(M)\to \Omega ^{*+l}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d22b90a3c77bec357f9ab98ca585f21a809b28bc)
它對常數是線性的且滿足
![{\displaystyle D(\alpha \wedge \beta )=D(\alpha )\wedge \beta +(-1)^{\ell \deg(\alpha )}\alpha \wedge D(\beta ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02221ab0a8b8ed7512242ec0885754c4472351cd)
從而,特別地,關於一個向量的內乘定義了一個階數 ℓ = -1 的分次導子,而外導數是一個階數 ℓ = 1 的導子。
記所有階數為 ℓ 的導子的向量空間為 DerℓΩ*(M)。這些空間的直和是一個分次向量空間其齊次分量由所有給定階分次導數組成;記成:
![{\displaystyle \mathrm {Der} \,\Omega ^{*}(M)=\bigoplus _{k=-\infty }^{\infty }\mathrm {Der} _{k}\,\Omega ^{*}(M).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/38caf5ab88e4ffc92468e2ea75b28c4a6a3d0d55)
這形成一個分次李代數,其李括號為導子的反交換子,在階數分別為 d1 和 d2 的齊次導子 D1 和 D2 上的定義為:
![{\displaystyle [D_{1},D_{2}]=D_{1}\circ D_{2}-(-1)^{d_{1}d_{2}}D_{2}\circ D_{1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1adfbb0ec04a749db93ad72a82fb262aa19645f4)
任何取值於 M 的切叢的向量值微分形式 K ∈ Ωk(M, TM) 定義了一個階數 k -1 的分次導子,記作 iK,稱為插入算子。對 ω ∈ Ωℓ(M),
![{\displaystyle i_{K}\,\omega (X_{1},\dots ,X_{k+\ell -1})={\frac {1}{k!(\ell -1)!}}\sum _{\sigma \in {S}_{k+\ell -1}}{\textrm {sign}}\,\sigma \cdot \omega (K(X_{\sigma (1)},\dots ,X_{\sigma (k)}),X_{\sigma (k+1)},\dots ,X_{\sigma (k+\ell -1)})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57048474e5207b9e37de5f0b0cea7c60f38dd51c)
沿着 K ∈Ωk(M, TM) 的 奈恩黑斯–李導數定義為
![{\displaystyle {\mathcal {L}}_{K}=[d,i_{K}]=d\,{\circ }\,i_{K}-(-1)^{k-1}i_{K}{\circ }\,d,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51584c856915c9259c2d41eaa9176ba7e91e991b)
這裏 d 是外導數而 iK 是插入算子。
弗勒利歇爾-奈恩黑斯括號定義為滿足下式的惟一向量值微分形式:
![{\displaystyle [\cdot ,\cdot ]:\Omega ^{k}(M,\mathrm {T} M)\times \Omega ^{\ell }(M,\mathrm {T} M)\to \Omega ^{k+\ell }(M,\mathrm {T} M):(K,L)\mapsto [K,L]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8189832e245e1d375865a2f4758475c98b21185)
使得
![{\displaystyle {\mathcal {L}}_{[K,L]}=[{\mathcal {L}}_{K},{\mathcal {L}}_{L}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c53e153859947365b390dd098bc09b3089118fe9)
如果 k = 0,故 K ∈ Ω0(M, TM) 是一個向量場,得到了李導數的通常同倫公式:
![{\displaystyle {\mathcal {L}}_{K}=[d,i_{K}]=d\,{\circ }\,i_{K}+i_{K}\,{\circ }\,d.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c38022109def3c76150428c57bcf26a7ab5b3b63)
與
(這裏 φ 與 ψ 是形式,X 與 Y 是向量場)的弗勒利歇爾-奈恩黑斯括號的明確表達式為
![{\displaystyle \left.\right.[\phi \otimes X,\psi \otimes Y]=\phi \wedge \psi \otimes [X,Y]+\phi \wedge {\mathcal {L}}_{X}\psi \otimes Y-{\mathcal {L}}_{Y}\phi \wedge \psi \otimes X+(-1)^{\deg(\phi )}(d\phi \wedge i_{X}(\psi )\otimes Y+i_{Y}(\phi )\wedge d\psi \otimes X).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bdc84f70e846b15717d988516d45d7a3e746757)
形式環的導子
Ω*(M) 上任何導子,存在惟一元素 K 與 L 屬於 Ω*(M, TM) 使得
![{\displaystyle i_{L}+{\mathcal {L}}_{K}.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5615556b5d17bfeff77308c9beac8d13be12ae9d)
這些導子的李括號如下給出。
- 形為
的導子組成與所有 d 可交換的李超代數。其括號為:
![{\displaystyle [{\mathcal {L}}_{K_{1}},{\mathcal {L}}_{K_{2}}]={\mathcal {L}}_{[K_{1},K_{2}]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c25a3a5670af1e2cdcda1b22a19fd47d059a13dd)
- 這裏右邊的括號是弗勒利歇爾-奈恩黑斯括號。特別地弗勒利歇爾-奈恩黑斯括號在
上定義了一個分次李代數結構,擴充了向量場的李括號。
- 形為
的導子組成在函數 Ω0(M) 上消沒的李超代數。其括號為
![{\displaystyle [i_{L_{1}},i_{L_{2}}]=i_{[L_{1},L_{2}]^{\land }}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2094b04589ac2f52cfe65b940a4886b7549e3ea4)
- 這裏右邊的括號是奈恩黑斯-理查德森括號。
![{\displaystyle [{\mathcal {L}}_{K},i_{L}]=i_{[K,L]}-(-1)^{kl}{\mathcal {L}}_{i_{L}K}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4664e2c2a82ba60bb004d1a6055e374b0c2e057c)
- 其中 K 屬於 Ωk(M, TM),L 屬於 Ωl+1(M, TM)。
應用
殆復結構 J 的奈恩黑斯張量,是 J 與自己的弗勒利歇爾-奈恩黑斯括號。一個殆復結構是復結構若且唯若奈恩黑斯張量是零。
有了弗勒利歇爾-奈恩黑斯括號可以定義一個向量值 1-形式(這是一個投影)的曲率與余曲率。這是聯絡的曲率概念之推廣。
斯豪滕–奈恩黑斯括號與弗勒利歇爾-奈恩黑斯括號有一個一般的推廣;細節請參見斯豪滕-奈恩黑斯括號一文。
參考文獻
- Frölicher, A.; Nijenhuis, A., Theory of vector valued differential forms. Part I., Indagationes Mathematicae, 1956, 18: 338–360 .
- Frölicher, A.; Nijenhuis, A., Invariance of vector form operations under mappings, Communicationes Mathematicae Helveticae, 1960, 34: 227–248 .
- P. W. Michor, Frölicher–Nijenhuis bracket, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- Schouten, J. A., Über Differentialkonkomitanten zweier kontravarianten Grössen, Indagationes Mathematicae, 1940, 2: 449–452 .