For questions about Lie algebras, an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds.

learn more… | top users | synonyms (1)

1
vote
0answers
10 views

Standard and Adjoint representations of Lie algebra of SU(2)

I'm wondering whether the adjoint and the standard representations of su(2) (the lie algebra of SU(2)) are equivalent. I found this result for so(3) by showing that given the usual basis of so(3), F1, ...
2
votes
0answers
23 views

Lie Algebra and Tangent Space

For a matrix Lie group $G\subset GL_n(\mathbb C)$ we define the Lie algebra to be the set of matrices $X\in M_n(\mathbb C)$ such that for all $t\in \mathbb R$ we have $\quad \exp(tX)\in G$. For ...
0
votes
0answers
10 views

Calculating central elements of Universal Enveloping Algebras?

Simply put, how do I calculate (in general) the central elements of the UEA of some Lie algebra given some desired degree in the algebra generators? I know the so-called 'quadratic Casimir', of ...
2
votes
1answer
25 views

Lie Group Structure on the 2-Sphere: does the following argument hold?

Being inspired by the existence of a Lie group structure on the circle $\Bbb{S}^{1}$, I was looking for a group law that would make the two-sphere $\Bbb{S}^{2}$ into a Lie group. I found out that no ...
0
votes
1answer
20 views

Condition of solvable Lie algebra.

I'm studying about Lie algebras using J.E. Humphreys' book ("Introduction to Lie Algebras and Representation Theory"). On page 19 he says: It is obvious that $L$ will be solvable if $[LL]$ is ...
0
votes
0answers
16 views

Compactness and noncompactness of Lie groups

I have read that if one complexifies a Lie group, (i.e. a group which has elements written as $G=e^{i\lambda_a T^a}$, where $T^a$ are the Lie algebra elements which generate the group, and $\lambda_a$ ...
1
vote
1answer
35 views

Vector field left-invariant then also its respective flow?

I was wondering whether left invariance of a vector field $X$ to a respective Lie group $G$ (so $dL(a)(x)(X(x))= X(ax))$ is transfered to the respective flow defined by $\frac{d}{dt} \phi^{t}(x) = ...
1
vote
0answers
29 views

Relation between compact Lie group and Lie algebra representation

Currently I'm studying representation theory for compact Lie groups and I don't know how to link representations of Lie algebra to representations of corresponding Lie group, ie. suppose I have a ...
1
vote
0answers
59 views

Why is this not an inconsistency in elementary Lie theory?

I made an observation last week, and it has bothered me ever since. Recall the formulae ...
5
votes
1answer
18 views

Maximal possible dimension of an abelian Lie subalgebra of Heisenberg Lie algebra of dimension $2n+1$.

Fix $n \in \mathbb{N}$, and let $\mathfrak{h}_n$ denote the Heisenberg Lie algebra of dimension $2n+1$ (over any given field $k$). Namely, $\mathfrak{h}_n$ is the Lie algebra with basis $x_1, \dots, ...
0
votes
0answers
21 views

What is a conjugate weight?

The authors here write that the longest element of the Weyl group is $$w_{\max} = - id$$ except for $E_6$, $A_r$ and $D_r$ with $r$ even. There they write that $w_{\max}$ acts on a weight $\lambda$ ...
0
votes
0answers
11 views

Does complexification make a self-conjugate representation non-self-conjugate?

I recently learned that a non-self-conjugate representation is not the same as a complex representation. Given a real representation $\pi$, with highest weight $\mu$ $$\pi : \mathfrak{g} \rightarrow ...
3
votes
1answer
17 views

Show that a one dimensional $\mathfrak {g}\!-\!\operatorname{module}$ is irreducible

I want to show that a one dimensional $\mathfrak {g}\!-\!\operatorname{module}$ is irreducible. My problem comes down to undestanding the basis of this object. Now assuming the basis works in the ...
1
vote
0answers
20 views

Does the Weyl group act on its Lie algebra?

I am trying to prove something about the action of a particular Lie algebra on a particular representation (it's the starred claim on page 7 of this paper for those interested). My friend showed me a ...
2
votes
2answers
54 views

$\mathfrak{sl}(2)$ is a simple Lie algebra.

I am trying to prove that $\mathfrak{sl}(2,\Bbb C)$ is simple. Since this takes the $[x,y]=xy-yx$ matrix commutator bracket, this is clearly non-abelian. So to prove it is simple, we need only show ...
0
votes
1answer
26 views

General Element of U(4)

Relating back to previous question about how to write a general element of $U(2)$, I am now wondering about how to write a general element of $U(4)$. Define $\Gamma_{(i,j)}:=\sigma_i\otimes\sigma_j$ ...
3
votes
2answers
29 views

Why do “the Dynkin components of a weight play the role of eigenvalues with respect to the generators $H^i$ of the Cartan subalgebra”?

In the book "Symmetries, Lie Algebras and Representations: A Graduate Course for Physicists" by Jürgen Fuchs,Christoph Schweigert the authors write "In the description of representations, the ...
1
vote
1answer
18 views

Is the fundamental weight basis (a.k.a Dynkin basis) an orthonormal basis?

The simple root $\alpha_i$ basis is not an orthonormal basis, as can be seen from the Cartan matrix, which encodes how much they aren't orthonormal. For simplicity, let's assume a simply-laced Lie ...
1
vote
0answers
20 views

In what sense are complex representations of a real Lie algebra and complex representations of the complexified Lie algebra equivalent?

In this book I read Proposition A.1. The irreducible complex representations of a real Lie algebra $\mathfrak{g}$ are in one-to-one correspondence with the irreducible complex-linear ...
2
votes
1answer
51 views

Are the physics and math definitions of a complex representation equivalent?

I was astonished to read at Wikipedia that The term complex representation has slightly different meanings in mathematics and physics. In mathematics, a complex representation is a group ...
1
vote
0answers
30 views

Obtaining Cartan Matrices from Lie Algebras

I have been studying Lie Algebras from chapter 13 of Conformal Field Theory by Di Francesco et al., I understand that the entire structure of a Lie algebra is contained in its Cartan Matrix. What I do ...
0
votes
0answers
28 views

What does it really mean to complexify the $10$-dimensional representation of $ \mathfrak{so}(10)$?

A commonly used "trick" in $SO(10)$ Grand Unified Theories is to use a "complex" instead of a "real" $10$-dimensional representation for the Higgs fields. My problem is understanding what this ...
0
votes
0answers
11 views

Complexification of a Lie algebra representation in terms of weights?

EDIT: I found in this book the sentence: The weight system of a real representation of $G$ is defined to be the weight system of its complexification I think if someone can explain what this ...
0
votes
0answers
38 views

Where to the degrees of freeedom go when a complex representation becomes a real representation of a subalgebra?

As an example consider the complex $16$-dimensional representation of $\mathfrak{so}(10)$. When $\mathfrak{so}(10)$ is reduced to the subalgebra $\mathfrak{so}(9)$, the complex $16$-dimensional ...
0
votes
0answers
7 views

Regular elements on Lie algebra and on Lie group level

I want to understand (better) the definition and meaning of regular elements of semisimple Lie groups resp. Lie algebras. A regular element $X$ of $\mathfrak g$ is one whose centralizer has smallest ...
3
votes
3answers
80 views

Applications and usefulness of universal enveloping algebra

I know the definition of the universal enveloping algebra of a Lie algebra $\mathfrak{g}$, and I know the PBW theorem. My question is the following: Where does the concept of the universal ...
0
votes
0answers
25 views

An incorrect proof that the Lie algebra matrix exponential is always injective. What's wrong?

Suppose we have two square complex matrices $X,Y $ in the lie algebra $\mathcal{G}$ of matrix Lie group $\mathbb G$ such that $e^X = e^Y$. Then $e^{tX}$ and $e^{tY}$ define the same one-parameter ...
0
votes
1answer
21 views

S-subalgebra and R-subalgebra.

Given the characteristics of a Cartan subalgebra H of a semisimple Lie algebra; H is abelian, it stabilises the root spaces generated with respect to it. It appears to me that all subalgebras of a ...
0
votes
0answers
17 views

Affine Weyl group as coxeter group

How do you write the affine Weyl group corresponding to type $A_n$ as a Coxeter group ?The generators are $s_0,s_1,s_2,\cdots ,s_n$ where $s_0$ corresponds to the highest root. What are all the ...
1
vote
2answers
33 views

Does the matrix logarithm always converge for exponential matrices?

We have defined functions on square matrices $X$: $$e^X := I + X + \dfrac{X^2}{2!}+\dfrac{X^3}{3!}$$ and $$log(X):= (X-I)-\dfrac{(X-I)^2}{2} + \dfrac{(X-I)^3}{3}-...$$ The exponential converges for ...
0
votes
1answer
18 views

Clarification on the non-abelian Lie algebra bracket (Dimension 2)

I have a dumb question: I have proven that there is one isomorphism class for all two-dimensional non-abelian Lie algebras, with basis $\{x,y\}$ and bracket $[x,y]=x$. and it was written in an ...
5
votes
0answers
46 views

Does the exceptional Lie algebra $\mathfrak{g}_2$ arise from the isometry group of any projective space?

I learned from Baez's notes on octonions that the classical simple Lie algebras can be identified with the Lie algebras of isometry groups of projective spaces over $\mathbb{R}, \mathbb{C}$ and ...
1
vote
1answer
46 views

Lie algebra: Efficient way of finding commutation relations

Is there an efficient way of finding commutation relations for a Lie algebra? For $\mathfrak{su}(2)$ with the Pauli matrices multiplied by $-\frac i2$ we get only three non-trivial commutation ...
0
votes
0answers
40 views

Level sets on $SU(n)$

Given $G \in SU(n)$, what are the level sets of the function $F(V) = |tr(G^{\dagger}V)|^2$? Can they be written only in terms of abstract linear maps, not in terms of the components of $V$ and $G$ in ...
2
votes
1answer
54 views

Scalar product on Lie algebra of compact Lie group [duplicate]

I am studying Differential Geometry and I am facing with a lemma in which there is a step that I do not understand. In particular, let $G$ be a connected compact Lie group, is used "$\langle\ \cdot , ...
2
votes
1answer
35 views

Basis of Lie Algebra $\mathfrak{su}(3)$

With the matrices below, apparently $\{u_k = -\frac i2 \lambda_k| k=1,2,\cdots,8\}$ forms a basis of $\mathfrak{su}(3)$ How could that be true? $-\frac i2 \lambda_1$ shouldn't even be an element of ...
2
votes
1answer
28 views

Lie Algebra: Vector subspace is an ideal of its normalizer

Let $S$ be a vector subspace of the Lie algebra $\mathfrak{g}$. Is $S$ an ideal of the normalizer $N_\mathfrak{g}(S)$, I would say yes since: $\forall n\in N_\mathfrak{g}(S), [n,S]\subseteq ...
2
votes
1answer
29 views

Lie algebra vector subspace: Does $[n_1,[n_2,Y]]=[n_1,A]=B$

If $Y$ is a vector subspace of the Lie algebra $\mathfrak{g}$ and $n_1,n_2\in N_\mathfrak{g}(Y)$ does the following hold? $$[n_1,[n_2,Y]]=[n_1,A]=B$$ where $B\subseteq A\subseteq Y$
3
votes
1answer
186 views

Lie bracket; confusing proof from lecture

I am having some difficulties understanding this proof. Let $G$ be a closed matrixsubgroup of the general linear group. We have a right translation $Y(g):=dR_g(e) Y(e)$ on the Lie algebra $Y \in ...
1
vote
1answer
38 views

Subalgebras and Ideals of a Lie algebra

If $A$ is a vector subspace of $\mathfrak{g}$(Which is a Lie algebra), and $N=\{x\in\mathfrak{g}:[x,A]\subseteq A\}$ So if $N=A$, then $A$ is a subalgebra, and if $N=\mathfrak{g}$ then, $A$ is an ...
5
votes
1answer
48 views

Is a formal deformation of a Lie algebra an example of a formal group law?

I stumbled across the following definition of the formal deformation of a Lie algebra, and it looks like a group object in the category of formal schemes (not necessarily commutative or ...
0
votes
1answer
27 views

Clarification of Fulton and Harris root lattices

Sorry to ask what is almost certainly a very trivial question, but in Fulton and Harris's first course in representation theory they write down a property of root lattices which I think must be sort ...
6
votes
0answers
58 views

Solving a matrix differential equation

I am trying to solve: $\frac{d U_t}{dt} = Tr(G^{\dagger}U_t)G - Tr(U_t^{\dagger}G)U_t G^{\dagger} U_t$ Where $U_t \in SU(4)$ and $G \in SU(4)$ is given and constant. Is it possible to solve this ...
2
votes
2answers
28 views

$\mathrm{Z}(\mathfrak{gl}(2,\Bbb F))$ where the Lie bracket is $[X,Y]=XY-YX$

I want to find $\mathrm{Z}(\mathfrak{gl}(2,\Bbb F))$ where the Lie bracket is $[X,Y]=XY-YX$ So then this will depend on the field, but no harm in direct computation for arbitrary matrices: ...
0
votes
0answers
5 views

Outer automorphisms of semi-simple Lie algebras

It is known that outer automorphisms of semi-simple Lie algebras are automorphisms of their corresponding Dynkin diagrams. But would it be correct to say that for a semi-simple Lie algebra all outer ...
0
votes
1answer
34 views

Lie Algebra $[v,0]=0=[0,v], \quad\forall v\in \mathfrak{g}$.

I want to show that $[v,0]=0=[0,v], \quad\forall v\in \mathfrak{g}$. Is this done using the Jacobi identity? I am not sure how to do this, I just put $0$'s in the Jacobi identity, but it didn't give ...
0
votes
0answers
22 views

Generators for Lie algebra $\mathfrak{sp}$

I am doing a question on find a presentation for the Lie algebra $\mathfrak{sp}(n)$. My thought is first write down the generators and relations of $\mathfrak{sp}(n)$. Than write each generators in ...
6
votes
4answers
110 views

Show that Lie bracket is in Lie algebra?

Let $so(3)$ be the Lie Algebra of $SO(3)$ and $R\in SO(3); \Omega_1,\Omega_2 \in so(3)$ and $\Omega_n = \frac{d}{dt}R_n(t)$ at the point $t=0$. So $\Omega_n$ is the tangent vector of the curve ...
2
votes
2answers
47 views

Adjoint representation

I was just wondering why the adjoint representation of the Lie group $Ad$ and Lie algebra $ad$ are called representation. Maybe this word is derived from abstract algebra somehow, but I don't ...
2
votes
0answers
19 views

Local Lie derivative on $G$-space at the zero of a vector field

Let a Lie group $G$ act on a manifold $M$ and let $X\in Lie(G)$. For now suppose $G=T$ is a torus (but the answer to this question should hold for $G$ abelian). $L_X$ is a vector field on $M$, at a ...