Lie-algebraic elements as derivations.

  • Context: Graduate 
  • Thread starter Thread starter Kreizhn
  • Start date Start date
  • Tags Tags
    Derivations Elements
Click For Summary
SUMMARY

The discussion centers on the action of Lie-algebraic elements as derivations, specifically within the context of the Lie group of special unitary matrices, denoted as SU(N). The Lie-algebra su(N) consists of skew-Hermitian matrices, and an element X from this algebra acts on a function f mapping from SU(N) to the reals, producing a real value Xf. The conversation also touches on the representation of elements in a local coordinate system of a matrix Lie group and questions whether the coefficients a^{ij} correspond to matrix elements in this representation.

PREREQUISITES
  • Understanding of Lie groups and Lie algebras, particularly SU(N) and su(N).
  • Familiarity with matrix representations and skew-Hermitian matrices.
  • Knowledge of tangent spaces and their relationship to Lie algebras.
  • Basic concepts of differential calculus as applied to functions on manifolds.
NEXT STEPS
  • Study the properties of skew-Hermitian matrices in su(N).
  • Learn about the computation of derivations in the context of Lie algebras.
  • Explore the relationship between tangent vectors and Lie algebra elements in more detail.
  • Investigate local coordinate systems in matrix Lie groups and their implications for representation theory.
USEFUL FOR

Mathematicians, physicists, and graduate students specializing in algebra, representation theory, or differential geometry who are interested in the applications of Lie algebras and their derivations.

Kreizhn
Messages
714
Reaction score
1
Hey,

So I'm trying to figure out how the matrix representatives of Lie-algebras can act as derivations. In particular, let N \in \mathbb N and consider the Lie group of special unitary matrices \mathfrak{SU}(N). Now we know that the Lie-algebra is the set of skew-Hermitian matrices \mathfrak{su}(N), so let us choose an element X \in \mathfrak{su}(N).

Since we can identify the Lie-algebra with the tangent space at the group identity T_{\text{id}} \mathfrak{SU}(N) \cong \mathfrak{su}(N) we can view X as a tangent vector to identity. Furthermore, given a function f: \mathfrak{SU}(N) \to \mathbb R we know that X acts on f to give a real value; namely, Xf \in \mathbb R.

Now let's say we're working in the standard matrix representation of \mathfrak{su}(N), and fix the elements X and f. How can we compute Xf? I'm not certain what to do here and would appreciate any help.
 
Physics news on Phys.org
Nothing? Okay, let me say something else that will maybe be answerable instead.

Let M be an n^2 dimensional matrix Lie group, and specify a local coordinate system (x^{ij})_{i,j=1}^n. Let I be the identity element, and take A \in T_I M \cong \text{Lie}(M). If we write

A = \sum_{i,j} a^{ij} \left.\frac{\partial}{\partial x^{ij}} \right|_I

do the a^{ij} correspond to the matrix elements in this representation?
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 36 ·
2
Replies
36
Views
6K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K