3
$\begingroup$

We define Lie algebras abstractly as algebras whose multiplication satisfies anti-commutativity and Jacobi's Identity. A particular instance of this is an associative algebra equipped with the commutator bracket: $[a,b]=ab-ba$. However, the notation suggests that this bracket is the one we think about. Additionally, the right adjoint to the functor I just mentioned creates the universal enveloping algebra by quotienting the tensor algebra by the tensor version of this bracket; but we could always start with some arbitrary Lie algebra with some other satisfactory bracket and apply this functor.

My question is

"Why the commutator bracket?"

Is it purely from a historical standpoint (and if so could you explain why)? Or is there a result that says any Lie algebra is essentially one with the commutator bracket (maybe something about the faithfulness of the functor from above)?

I know of (a colleague told me) a proof that the Jacobi identity is also an artifact of the right adjoint to the universal enveloping algebra. He can show that it is the necessary identity for the universal enveloping algebra to be associative (if someone knows of this in the literature I would also appreciate the link to this!)

I hope this question is clear, if not, I can revise and try to make it a bit more specific.

  • 0
    I would have responded that "any Lie algebra can be obtained as a subalgebra from Lie of an associative algebra," but you've already mentioned the enveloping algebra functor in your answer. Also, I'm pretty sure the enveloping algebra functor is always faithful. I'm not sure what you mean by "the Jacobi identity is the necessary identity for the universal enveloping algebra to be associative." I learned the enveloping alg as a quotient of a tensor algebra, which is always associative.2010-07-22
  • 2
    I'm also not sure what the Jacobi identity has to do with the enveloping algebra being associative, but it is pivotal in the proof of the Poincare-Birkoff-Witt theorem, which says that the universal algebra is isomorphic, as a vector space, to the symmetric algebra on the underlying vector space of the Lie algebra.2010-07-22
  • 0
    Eric apparently can read my mind and through my stupid errors. Sorry for the stupidity of this error.2010-07-22
  • 0
    @Akhil I was wondering about the faithfulness of the other functor, the one that gives an associative algebra the commutator bracket.2010-07-22
  • 1
    That's a forgetful functor, so it's faithful too.2010-07-22
  • 1
    The Jacobi identity is also necessary for the adjoint map to be a Lie algebra representation.2012-08-23
  • 0
    Yes, B R this is also a nice point. Although somehow that seems to depend on some of the other facts. In particular, we define Lie alg reps to be compatible with the structure, which is the Jacobi identity...2012-08-25

1 Answers 1

2

Well Lie algebras naturally arise from the Lie bracket of vector fields and from taking the Lie algebra of a Lie group. If we look at a the Lie algebra of a matrix subgroup, then the Lie bracket is the commutator of matrices.

  • 1
    Also the Lie bracket of vector fields is really a commutator (when considered as operators on the space of smooth functions).2010-07-22
  • 0
    Yes this what I was looking for. Thanks for the quick response, I am unsure how I missed this, it now seems obvious, but still glad I asked.2010-07-22