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
17 views

Is the 1-Dimensional Lie algebra Simple?

I assumed that the 1-dimensional Lie algebra was simple since I cannot think of any proper non-trivial ideal it could have (you either have no elements, or once you have one element you span the ...
0
votes
0answers
41 views

The standard representation of $SO(n)$

This fact always bothers me. The group $SO(n)$ is defined as a set of $n\times n $ matrices, so this is a representation of the group in the first place. Yet, it seems that this representation has not ...
0
votes
0answers
17 views

Is this end-point map surjective

Consider the differential equation: $\frac{d U_s}{dt} = (a + w(s)b)U_s$ where $w$ is some unknown, smooth, real and bounded function on the interval $[0,T]$ and $a,b \in \mathfrak{su}(n)$. Let ...
0
votes
0answers
21 views

Is the Lie algebra morphism induced by surjective Lie group morphism also surjective?

Let $G$ be a matrix lie group and $\Pi : G\to \Pi(G)$ a surjective Lie group morphism. Let $\mathfrak g$ and $\mathfrak h$ be the respective Lie algebras of $G$ and $\Pi(G)$. Then there is a unique ...
1
vote
1answer
31 views

Projective objects in BGG category $\mathcal{O}$ are projective $U(\mathfrak{g})$-modules?

Let $\mathfrak{g}$ be a finite dimensional semi-simple complex Lie algebra. Then, BGG category $\mathcal{O}$ is defined to be the full subcategory of finitely generated $U(\mathfrak{g})$-modules of ...
1
vote
0answers
21 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, ...
3
votes
1answer
42 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 ...
1
vote
0answers
17 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
39 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
22 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
39 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
31 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 ...
3
votes
0answers
86 views
+50

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
20 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
22 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
12 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
19 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
21 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
53 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
31 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
29 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
12 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
8 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
49 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
30 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
6 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 ...