準フロベニウスリー代数

数学において、体 k 上の準フロベニウスリー代数 (quasi-Frobenius Lie algebra)

( g , [ , ] , β ) {\displaystyle ({\mathfrak {g}},[\,\,\,,\,\,\,],\beta )}

とは、リー代数

( g , [ , ] ) {\displaystyle ({\mathfrak {g}},[\,\,\,,\,\,\,])}

であって、次のような非退化歪対称双線型形式 β : g × g k {\displaystyle \beta \colon {\mathfrak {g}}\times {\mathfrak {g}}\to k} を持ったものである:

β {\displaystyle \beta } k に値を持つ g {\displaystyle {\mathfrak {g}}} のリー代数 2-コサイクル(英語版)。言い換えると、
β ( [ X , Y ] , Z ) + β ( [ Z , X ] , Y ) + β ( [ Y , Z ] , X ) = 0 {\displaystyle \beta \left(\left[X,Y\right],Z\right)+\beta \left(\left[Z,X\right],Y\right)+\beta \left(\left[Y,Z\right],X\right)=0} for all X , Y , Z {\displaystyle X,Y,Z} in g {\displaystyle {\mathfrak {g}}} .

β {\displaystyle \beta } がコバウンダリであれば、つまりある線型形式 f : g k {\displaystyle f\colon {\mathfrak {g}}\to k} が存在して

β ( X , Y ) = f ( [ X , Y ] ) {\displaystyle \beta (X,Y)=f(\left[X,Y\right])}

であれば、

( g , [ , ] , β ) {\displaystyle ({\mathfrak {g}},[\,\,\,,\,\,\,],\beta )}

フロベニウスリー代数 (Frobenius Lie algebra) と呼ばれる。

非退化不変歪対称双線型形式を持った pre-Lie algebra との同値性

( g , [ , ] , β ) {\displaystyle ({\mathfrak {g}},[\,\,\,,\,\,\,],\beta )} が準フロベニウスリー代数であれば、 g {\displaystyle {\mathfrak {g}}} 上に別の双線型積 {\displaystyle \triangleleft }

β ( [ X , Y ] , Z ) = β ( Z Y , X ) {\displaystyle \beta \left(\left[X,Y\right],Z\right)=\beta \left(Z\triangleleft Y,X\right)}

によって定義できる。

すると [ X , Y ] = X Y Y X {\displaystyle \left[X,Y\right]=X\triangleleft Y-Y\triangleleft X} が成り立ち、

( g , ) {\displaystyle ({\mathfrak {g}},\triangleleft )}

pre-Lie algebra(英語版) である。

関連項目

参考文献

  • Jacobson, Nathan, Lie algebras, Republication of the 1962 original. Dover Publications, Inc., New York, 1979. ISBN 0-486-63832-4
  • Vyjayanthi Chari and Andrew Pressley, A Guide to Quantum Groups, (1994), Cambridge University Press, Cambridge ISBN 0-521-55884-0.