
リー代数gの二つの元X,Yに対して、行列ad(X)とad(Y)の積ad(X)ad(Y)のトレースである複素数を対応させ、リー代数のキリング形式をB(X,Y)=Tr(ad(X)ad(Y))と定義しています。ここでo(m,c):m次直交リー代数のキリング形式を考えて、B(X,X)とB(X,Y)を求めたいのです。B(X,X)=(m-2)Tr(Xの二乗)という結果は分かっているのですが、(ad(X)の二乗)z=(Xの二乗)Z-2XZX+Z(Xの二乗)のトレースの計算での導き出し方が分かりません。よろしければ教えてくれませんか?できれば、sp(m,c);m次斜交リー代数の方も教えていただけるとうれしいです。
A 回答 (3件)
- 最新から表示
- 回答順に表示
No.2
- 回答日時:
島和久「連続群とその表現(岩波書店)」p.140-141に書かれています。
ただ、p.140「 X^2・Eij = Σ(X^2)liElj
よりZ∈gl(n,C)の1次変換
f:Z→X^2・Z
の跡は n Tr(X^2)」
というのは私には分かりにくかったのでもう少し詳しく書いておきます。Eijを基底としたときのfの成分(f)(ab)(ij)はΣ(X^2)liEljの中のEabの係数なので、
(f)(ab)(ij) = (X^2)aiδbj
よって
Tr(f) = Σ(X^2)iiδjj = n Tr(X^2)
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
代数学の直積に関する質問です
-
初めての複素関数の勉強
-
微分方程式の線形、非線形の証明
-
線形、非線型ってどういう意味...
-
NからN×Nの全単写
-
テンソル テンソル積の初学者で...
-
AES暗号で同型写像変換に用いる...
-
LaTeX 写像式を描きたい
-
電子の運動方程式からの電子の...
-
双対空間のある証明
-
ん。線形拡張ってアーベル群し...
-
代数学「素体」
-
四次対称群S4が可解群であるこ...
-
要素数nの集合Aから要素数kの集...
-
Xをノルム空間とし、Yをその線...
-
族(数学)について
-
射と写像の違い
-
大学の位相数学の問題について...
-
内積の ・内積あるいはエルミー...
-
平衡点で線形化する理由とは?
おすすめ情報