Can Lie Algebra Structures Be Extended to Tangent Spaces Near the Identity?

  • Context: Graduate 
  • Thread starter Thread starter Pietjuh
  • Start date Start date
  • Tags Tags
    Lie algebras
Click For Summary
SUMMARY

The discussion focuses on the extension of Lie algebra structures to tangent spaces near the identity of a Lie group G. It establishes that the tangent space at the identity possesses a Lie algebra structure defined by the Lie bracket [X,Y]=ad(X)(Y). The conversation explores the possibility of associating a Lie algebra structure to tangent spaces in an open set around the identity element, suggesting that the algebra of vector fields on G could serve as an alternative to the standard definition of the Lie algebra L(G).

PREREQUISITES
  • Understanding of Lie groups and Lie algebras
  • Familiarity with tangent spaces and their properties
  • Knowledge of the adjoint representation and the ad map
  • Basic concepts of vector fields and push-forward operations
NEXT STEPS
  • Research the properties of the adjoint representation in Lie groups
  • Study the algebra of vector fields on differentiable manifolds
  • Explore the concept of push-forward in differential geometry
  • Investigate the implications of extending Lie algebra structures beyond the identity
USEFUL FOR

Mathematicians, theoretical physicists, and students studying differential geometry or Lie theory who are interested in advanced concepts related to Lie algebras and their applications in geometry.

Pietjuh
Messages
75
Reaction score
0
I've been studying some things about Lie algebras and I've got some questions about it.

We know that for a given Lie group G, the tangent space at the identity has the structure of a Lie algebra, where the Lie bracket is given by [X,Y]=ad(X)(Y). This map ad is the differential at e of the map Ad which is defined by Ad(g)(X) = gXg^{-1}. Now I'm wondering whether it's possible to associate a Lie algebra structure on tangent spaces at points near the identity element, for example in an open set containing e, or for points in the same connected component in which e lies. I don't think you could use the map Ad for it, but perhaps some slight modification is possible??

Thanks in advance! :)
 
Physics news on Phys.org
I don't see an immediate problem - rather than taking the definition of the Lie algebra L(G) associated with the group G to be the tangent space at the identity, just take it to be the algebra of vector fields on G. Then any vector field V_X(g) which is generated by applying the push-forward L_{g*} to the vector X \in T_eG can equally well be generated by first applying L_{p^{-1}*} to a vector Y \in T_pG and then applying L_{g*}.
 

Similar threads

  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 63 ·
3
Replies
63
Views
10K