弗勒利歇尔-奈恩黑斯括号

在数学中，弗勒利歇尔－奈恩黑斯括号（Template:Lang）是光滑流形上向量场的李括号到向量值微分形式的推广。它在研究联络，特别是埃雷斯曼联络，以及更一般的研究切丛的投影中很有用。此括号由阿尔弗雷德·弗勒利歇尔与Template:Le于1956年引入，与斯豪滕1940年的工作有联系。

定义

设 Ω*(M) 是光滑流形 M 上微分形式的外代数。这是一个分次代数，其次数由形式的阶数给出：

Ω^{*} (M) = ⨁_{k = 0}^{\infty} Ω^{k} (M) .

一个阶数为 ℓ 的分次导子是一个映射：

D : Ω^{*} (M) \to Ω^{* + l} (M)

它对常数是线性的且满足

D (α \land β) = D (α) \land β + (- 1)^{ℓ \deg (α)} α \land D (β) .

从而，特别地，关于一个向量的内乘定义了一个阶数 ℓ = -1 的分次导子，而外导数是一个阶数 ℓ = 1 的导子。

记所有阶数为 ℓ 的导子的向量空间为 Der_ℓΩ*(M)。这些空间的直和是一个分次向量空间其齐次分量由所有给定阶分次导数组成；记成：

D e r Ω^{*} (M) = ⨁_{k = - \infty}^{\infty} {D e r}_{k} Ω^{*} (M) .

这形成一个分次李代数，其李括号为导子的反交换子，在阶数分别为 d₁ 和 d₂ 的齐次导子 D₁ 和 D₂ 上的定义为：

[D_{1}, D_{2}] = D_{1} \circ D_{2} - (- 1)^{d_{1} d_{2}} D_{2} \circ D_{1} .

任何取值于 M 的切丛的向量值微分形式 K ∈ Ω^k(M, TM) 定义了一个阶数 k -1 的分次导子，记作 i_K，称为插入算子。对 ω ∈ Ω^ℓ(M)，

i_{K} ω (X_{1}, \dots, X_{k + ℓ - 1}) = \frac{1}{k! (ℓ - 1)!} \sum_{σ \in S_{k + ℓ - 1}} sign σ \cdot ω (K (X_{σ (1)}, \dots, X_{σ (k)}), X_{σ (k + 1)}, \dots, X_{σ (k + ℓ - 1)})

沿着 K ∈Ω^k(M, TM) 的奈恩黑斯–李导数定义为

ℒ_{K} = [d, i_{K}] = d \circ i_{K} - (- 1)^{k - 1} i_{K} \circ d,

这里 d 是外导数而 i_K 是插入算子。

弗勒利歇尔－奈恩黑斯括号定义为满足下式的惟一向量值微分形式：

[\cdot, \cdot] : Ω^{k} (M, T M) \times Ω^{ℓ} (M, T M) \to Ω^{k + ℓ} (M, T M) : (K, L) \mapsto [K, L]

使得

ℒ_{[K, L]} = [ℒ_{K}, ℒ_{L}] .

如果 k = 0，故 K ∈ Ω⁰(M, TM) 是一个向量场，得到了李导数的通常同伦公式：

ℒ_{K} = [d, i_{K}] = d \circ i_{K} + i_{K} \circ d .

$ϕ \otimes X$ 与 $ψ \otimes Y$ （这里 φ 与 ψ 是形式，X 与 Y 是向量场）的弗勒利歇尔－奈恩黑斯括号的明确表达式为

[ϕ \otimes X, ψ \otimes Y] = ϕ \land ψ \otimes [X, Y] + ϕ \land ℒ_{X} ψ \otimes Y - ℒ_{Y} ϕ \land ψ \otimes X + (- 1)^{\deg (ϕ)} (d ϕ \land i_{X} (ψ) \otimes Y + i_{Y} (ϕ) \land d ψ \otimes X) .

Ω^*(M) 上任何导子，存在惟一元素 K 与 L 属于 Ω^*(M, TM) 使得

i_{L} + ℒ_{K} .

这些导子的李括号如下给出。

[ℒ_{K_{1}}, ℒ_{K_{2}}] = ℒ_{[K_{1}, K_{2}]}

这里右边的括号是弗勒利歇尔－奈恩黑斯括号。特别地弗勒利歇尔－奈恩黑斯括号在

Ω (M, T M)

上定义了一个分次李代数结构，扩充了向量场的李括号。

[i_{L_{1}}, i_{L_{2}}] = i_{[L_{1}, L_{2}]^{\land}}

[ℒ_{K}, i_{L}] = i_{[K, L]} - (- 1)^{k l} ℒ_{i_{L} K}

其中 K 属于 Ω^k(M, TM)，L 属于 Ω^l+1(M, TM)。

殆复结构 J 的奈恩黑斯张量，是 J 与自己的弗勒利歇尔－奈恩黑斯括号。一个殆复结构是复结构当且仅当奈恩黑斯张量是零。

有了弗勒利歇尔－奈恩黑斯括号可以定义一个向量值 1-形式（这是一个投影）的曲率与余曲率。这是联络的曲率概念之推广。

斯豪滕–奈恩黑斯括号与弗勒利歇尔－奈恩黑斯括号有一个一般的推广；细节请参见斯豪滕-奈恩黑斯括号一文。