Josephson energy: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
No edit summary
 
en>Dr.K.
ce
Line 1: Line 1:
Hello. Let me introduce [http://www.hotporn123.com/user/KGottscha over the counter std test] author. Her name is Emilia Shroyer but it's not the most feminine title out there. One of the very very best things in the globe for me is  [http://www.eddysadventurestore.nl/nieuws/eliminate-candida-one-these-tips std testing at home] to do aerobics and I've been [http://www.genitalherpestreatment.co/what-does-genital-herpes-look-like performing] it for fairly a home std test whilst. Hiring is her day occupation now but she's always needed her personal business. California is exactly where I've usually been residing and I adore each working day living right here.<br><br>my web-site :: std testing at home, [http://www.pponline.co.uk/user/miriamlinswkucrd click through the next document],
In [[mathematics]], a '''quasi-Frobenius Lie algebra'''
 
:<math>(\mathfrak{g},[\,\,\,,\,\,\,],\beta )</math>
 
over a field <math>k</math> is a [[Lie algebra]]
:<math>(\mathfrak{g},[\,\,\,,\,\,\,] )</math>
 
equipped with a [[nondegenerate]] [[skew-symmetric]] [[bilinear form]]
 
:<math>\beta : \mathfrak{g}\times\mathfrak{g}\to k</math>, which is a Lie algebra 2-[[cocycle]] of <math>\mathfrak{g}</math> with values in <math>k</math>. In other words,
 
::<math> \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 </math>
 
for all <math>X</math>, <math>Y</math>, <math>Z</math> in <math>\mathfrak{g}</math>.
 
If <math>\beta</math> is a coboundary, which means that there exists a linear form <math>f : \mathfrak{g}\to k</math> such that
:<math>\beta(X,Y)=f(\left[X,Y\right]),</math>
then
:<math>(\mathfrak{g},[\,\,\,,\,\,\,],\beta )</math>
is called a '''Frobenius Lie algebra'''.
 
== Equivalence with pre-Lie algebras with nondegenerate invariant skew-symmetric bilinear form ==
If <math>(\mathfrak{g},[\,\,\,,\,\,\,],\beta )</math> is a quasi-Frobenius Lie algebra, one can define on <math>\mathfrak{g}</math> another bilinear product <math>\triangleleft</math> by the formula
::<math> \beta \left(\left[X,Y\right],Z\right)=\beta \left(Z \triangleleft Y,X \right) </math>.
 
Then one has
<math>\left[X,Y\right]=X \triangleleft Y-Y \triangleleft X</math> and
:<math>(\mathfrak{g}, \triangleleft)</math>
is a [[pre-Lie algebra]].
 
==See also==
*[[Lie coalgebra]]
*[[Lie bialgebra]]
*[[Lie algebra cohomology]]
*[[Frobenius algebra]]
*[[Quasi-Frobenius ring]]
 
==References==
* 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.
 
[[Category:Lie algebras]]
[[Category:Coalgebras]]
[[Category:Symplectic topology]]

Revision as of 00:19, 2 August 2013

In mathematics, a quasi-Frobenius Lie algebra

(g,[,],β)

over a field k is a Lie algebra

(g,[,])

equipped with a nondegenerate skew-symmetric bilinear form

β:g×gk, which is a Lie algebra 2-cocycle of g with values in k. In other words,
β([X,Y],Z)+β([Z,X],Y)+β([Y,Z],X)=0

for all X, Y, Z in g.

If β is a coboundary, which means that there exists a linear form f:gk such that

β(X,Y)=f([X,Y]),

then

(g,[,],β)

is called a Frobenius Lie algebra.

Equivalence with pre-Lie algebras with nondegenerate invariant skew-symmetric bilinear form

If (g,[,],β) is a quasi-Frobenius Lie algebra, one can define on g another bilinear product by the formula

β([X,Y],Z)=β(ZY,X).

Then one has [X,Y]=XYYX and

(g,)

is a pre-Lie algebra.

See also

References

  • 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.