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)

0
votes
1answer
14 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
7 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
30 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
57 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
17 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
52 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
50 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
29 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
79 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
32 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
17 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
45 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
34 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
185 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
27 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 ...
2
votes
0answers
56 views

Derivatives of solution to Schrödinger equation

Consider the differential equation (Schrödinger, but rewritten to be pleasing to Lie algebraic eyes): $\frac{d U(t)}{dt} = c(t)U(t)$ where $c(t)=a+w(t)b(t)$, $a,b \in \mathfrak{su}(n)$ and $w$ is a ...
6
votes
3answers
66 views

No Lie algebra over $\Bbb R$ or $\Bbb C$ can have a unit element.

I want to prove: No Lie algebra over $\Bbb R$ or $\Bbb C$ can have a unit element. Now I am not sure how to take this in regard to the Lie bracket. I.e. I have now idea where to start. ...
0
votes
1answer
101 views

Meaning of $[A,B]$ when $A$ and $B$ are self-adjoint

This is just a question about what constitutes standard notation. In a context where $A$ and $B$ are understood to be Hermitian matrices, what is usually meant by the bracket $[A,B]$ ? On the one ...
0
votes
1answer
14 views

Difficulty proving gauge invariance on an SU(N)-valued potential

Say we have a four-dimensional spherically symmetric $\mathfrak{su}(N)$ gauge potential in standard Schwarzschild co-ordinates which can be written \begin{equation} ...