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

  • Thread starter Thread starter Pietjuh
  • Start date Start date
  • Tags Tags
    Lie algebras
Click For Summary
The discussion centers on extending Lie algebra structures to tangent spaces near the identity of a Lie group G. It is established that the tangent space at the identity has a Lie algebra structure defined by the Lie bracket [X,Y]=ad(X)(Y). The inquiry focuses on whether a similar structure can be applied to tangent spaces at points close to the identity or within the same connected component. A proposed solution suggests redefining the Lie algebra associated with G as the algebra of vector fields on G, allowing for the generation of vector fields through push-forwards from different points. This approach indicates that a modification of the existing framework may be feasible for extending Lie algebra structures.
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 13 ·
Replies
13
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 63 ·
3
Replies
63
Views
10K
  • · Replies 15 ·
Replies
15
Views
3K