← 戻る リー群とリー代数 › 二つの接ベクトルの交換子は再び接ベクトルである 定理 証明済み
二つの接ベクトルの交換子は再び接ベクトルである 内容
G G G g \mathfrak{g} g T e G T_e G T e G X ∈ g X \in \mathfrak{g} X ∈ g Y ∈ g Y \in \mathfrak{g} Y ∈ g [ X , Y ] = X Y − Y X [X,Y] = XY - YX [ X , Y ] = X Y − Y X g \mathfrak{g} g g \mathfrak{g} g [ X , Y ] = X Y − Y X [X,Y] = XY - YX [ X , Y ] = X Y − Y X [ X , [ Y , Z ] ] + [ Y , [ Z , X ] ] + [ Z , [ X , Y ] ] = 0 [X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0 [ X , [ Y , Z ]] + [ Y , [ Z , X ]] + [ Z , [ X , Y ]] = 0 g \mathfrak{g} g
なぜ正しいのか?
群の乗法は非線形なので、二つの群の元を単純に足すことはできない。しかし括弧 [ X , Y ] = X Y − Y X [X,Y] = XY - YX [ X , Y ] = X Y − Y X G G G G G G g \mathfrak{g} g
証明の概略 ステップ1（準備）。X ∈ g X \in \mathfrak{g} X ∈ g Y ∈ g Y \in \mathfrak{g} Y ∈ g α ( t ) , β ( t ) ∈ G \alpha(t), \beta(t) \in G α ( t ) , β ( t ) ∈ G α ( 0 ) = β ( 0 ) = I \alpha(0)=\beta(0)=I α ( 0 ) = β ( 0 ) = I α ′ ( 0 ) = X \alpha'(0)=X α ′ ( 0 ) = X β ′ ( 0 ) = Y \beta'(0)=Y β ′ ( 0 ) = Y α ( t ) ≈ I + t X \alpha(t) \approx I + tX α ( t ) ≈ I + tX β ( t ) ≈ I + t Y \beta(t) \approx I + tY β ( t ) ≈ I + t Y
ステップ2（交換子曲線）。γ ( t ) = e t X e t Y e − t X e − t Y \gamma(t) = e^{tX} e^{tY} e^{-tX} e^{-tY} γ ( t ) = e tX e t Y e − tX e − t Y G G G γ ( 0 ) = I \gamma(0) = I γ ( 0 ) = I G G G t t t e s Z ≈ I + s Z + 1 2 s 2 Z 2 e^{sZ} \approx I + sZ + \tfrac12 s^2 Z^2 e s Z ≈ I + s Z + 2 1 s 2 Z 2 γ ( t ) = e t X e t Y e − t X e − t Y = I + t 2 [ X , Y ] + O ( t 3 ) \gamma(t) = e^{tX} e^{tY} e^{-tX} e^{-tY} = I + t^2[X,Y] + O(t^3) γ ( t ) = e tX e t Y e − tX e − t Y = I + t 2 [ X , Y ] + O ( t 3 ) t t t g h g − 1 h − 1 g h g^{-1} h^{-1} g h g − 1 h − 1 X Y − Y X XY - YX X Y − Y X 二次 の主要項が残る。
ステップ3（接ベクトルの抽出）。s = t 2 s = t^2 s = t 2 s ≥ 0 s \ge 0 s ≥ 0 σ ( s ) = γ ( s ) \sigma(s) = \gamma(\sqrt{s}) σ ( s ) = γ ( s ) σ ( 0 ) = I \sigma(0) = I σ ( 0 ) = I σ ′ ( 0 ) = [ X , Y ] \sigma'(0) = [X,Y] σ ′ ( 0 ) = [ X , Y ] G G G σ \sigma σ G G G [ X , Y ] [X,Y] [ X , Y ] T e G = g T_e G = \mathfrak{g} T e G = g [ X , Y ] ∈ g [X,Y] \in \mathfrak{g} [ X , Y ] ∈ g
ステップ4（ヤコビ恒等式）。[ X , Y ] = X Y − Y X [X,Y] = XY - YX [ X , Y ] = X Y − Y X [ X , [ Y , Z ] ] + [ Y , [ Z , X ] ] + [ Z , [ X , Y ] ] = 0 [X,[Y,Z]] + [Y,[Z,X]] + [Z,[X,Y]] = 0 [ X , [ Y , Z ]] + [ Y , [ Z , X ]] + [ Z , [ X , Y ]] = 0 X Y Z XYZ X Y Z X Y − Y X XY-YX X Y − Y X [ X , Y ] = − [ Y , X ] [X,Y]=-[Y,X] [ X , Y ] = − [ Y , X ] ( g , [ ⋅ , ⋅ ] ) (\mathfrak{g}, [\cdot,\cdot]) ( g , [ ⋅ , ⋅ ])
ステップごとの証明
この定理のステップごとの証明はまだありません。