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
0answers
3 views

How to find the multiplicity of weight in a Verma module?

In particular, let $\mathfrak g$ be the semisimple Lie algebra of type $A_{2}$ et let $\alpha,\beta$ be its simple roots. How can the multiplicity of weight $-2\alpha -3\beta$ be calculated in the ...
0
votes
0answers
5 views

The proportionality constant between the Casimir and the identity.

By Schur's Lemma, in any irreducible representation of a Lie algebra, the Casimir operator $J$ is proportional to the identity $Id$. How can we see that $J=j(j+1)Id$ for some natural number $j$ and ...
2
votes
0answers
33 views

Does the five lemma hold true for Lie algebras?

According to wikipedia, the Five Lemma is true in Abelian categories. But the category of Lie algebras is not Abelian. Then is the Five Lemma still true for Lie Algebras?
0
votes
1answer
10 views

The Lie algebra of special linear group of degree 2 over the set of complex numbers

I tried to compute the Lie algebra of $SL(2,\Bbb C)$. I wrote the followings: $sl(2,\Bbb C)$={$X\in M(2,\Bbb C)$: exp $tX$ $\in sl(2,\Bbb C)$}={$X\in M(2,\Bbb C)$: $det$ exp $tX$ =$1$}={$X\in M(2,\Bbb ...
0
votes
0answers
14 views

Find a vector field $\mathbb{Y}$ satisfying $L_{\mathbb{X}}\mathbb{Y}=\mathbb{Z}$

Let $\mathbb{X}$ be the vector field on $\mathbb{R}^2$ given by $\mathbb{X}=(1,y)$. Let $\mathbb{Z}$ be the vector field on $\mathbb{R}^2$ given by $\displaystyle \mathbb{Z}(x,y)= \bigg( ...
0
votes
0answers
20 views

Find the lie derivative of a particular integral

Let $\mathbb{X}=(1,y)$ be a vector field on $\mathbb{R}^2$. Let $\Phi_t$ be the flow of $\mathbb{X}$. The flow of $\mathbb{X}$ I have calculated to be $\Phi_t(x,y)=(x+t,ye^t)$ Given a function ...
2
votes
1answer
22 views

Taking complex conjugate of an element in $\mathfrak{su}(2)_\mathbb{C}$

I read from a book that the complexification of the Lie algebra $\mathfrak{su}(2)$, noted $\mathfrak{su}(2)_\mathbb{C}$, is in fact the Lie algebra $\mathfrak{sl}(2,\mathbb{C})$, the reason being: ...
0
votes
0answers
5 views

Determining the middle term of an exact sequence of Lie algebras

This is related to my previous question here. Suppose that $A_i, B_i$ are Lie algebras with $A_i$ is a sub-Lie algebra of $B_i$, $i=1,2,3$. Suppose that we have the following commutative diagram where ...
0
votes
0answers
41 views

How to define an action of vector field on $C^{\infty}(M)$?

Let $M$ be a manifold. Let $\hat{X}$ be a vector field on $M$. How to define an action of $\hat{X}$ on $C^{\infty}(M)$? Thank you very much.
2
votes
1answer
52 views

Determining Lie algebras from commutative diagrams of exact sequences

Suppose that we have the following commutative diagram of graded Lie algebras $$\begin{array} A 0& {\longrightarrow} & C_n & {\longrightarrow} & A_{n+1} &{\longrightarrow} & ...
1
vote
1answer
16 views

The Weyl group and eigenspaces

Let $V$ be a representation of the Weyl group. For any reflection $\sigma_{\alpha}$ (where $\alpha$ is a root), we know that $V$ has two eigenspaces with eigenvalues $1$ and $-1$. The ...
1
vote
1answer
23 views

polynomial algebras and their coefficients in prime fields

According to the definition of the polynomial algebras $A(n)$ and $A(n,m)$ for $ n \in \mathbb {N} $ and $ m \in \mathbb {N}^n$, if $\mathbb{F}$ be field $GF(2)$ and $ X_1,...,X_n$ be $n$ pairwise ...
1
vote
0answers
15 views

Normal subgroup invariant under $\text{Ad}_g$

Denote by $G$ a Lie group with corresponding Lie algebra $\text{Lie}(G)$. There the three maps inner automorphism/conjugation: $\text{Int}_g = L_{g^{-1}} \circ R_g \in \text{Aut}(G)$, $\text{Ad}_g ...
2
votes
2answers
40 views

The universal enveloping algebra of free Lie algebra is the tensor algebra on the Free Abelian Group?

Let $A$ be a set of cardinality at least 2 and let $M_A$ be the free abelian group generated by $A$. Let $L(A)$ be the free Lie algebra generated by $A$. I am reading On Injective Homomorphisms For ...
3
votes
1answer
32 views

The action of a Lie algebra on a manifold is a Lie algebra homomorphism. How to show it?

By definition, the action of a Lie algebra $\mathfrak g$ on a manifold $M$ is a Lie algebra homomorphism, $\mathcal A: \mathfrak g\rightarrow\mathfrak X(M), \xi\mapsto\xi_M$ such that the action map ...
1
vote
0answers
9 views

$H^q(\mathfrak{g},K;V)$ is equal to $Ext_{\left(\mathfrak{g},K\right)}^q\left(\mathbb{C},V\right)$?

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$. Let $K$ be a closed subgroup of $G$ with corresponding Lie subalgebra $\mathfrak{k}$. Let $V$ be a $\left(\mathfrak{g},K\right)$-module. Then, I ...
0
votes
2answers
72 views

What is the nilradical of $\mathfrak{gl}_n$?

I'm really embarrassed to ask but what is the nilradical of the Lie algebra $\mathfrak{gl}_n(\mathbb{C})$, i.e. the set of ad-nilpotent elements of $\mathfrak{gl}_n(\mathbb{C}) = ...
1
vote
1answer
25 views

Is the center of a compact Lie algebra precisely the set of vectors on which the Killing form is zero?

Suppose a Lie algebra $\frak{g}$ has a killing form, $B$, which is negative semidefinite. Suppose $B(X,X)=0$ for some $X\in \frak{g}$. Is $X$ necessarily in the center of $\frak{g}$?
0
votes
0answers
27 views

What is a Serre presentation of a Lie algebra?

For example, as in: Give a Serre presentation of Lie algebra $\frak{g}$ of type $G_{2}$. Is it the presentation in terms of Chevalley generators, which satisfy Serre relations?
0
votes
0answers
28 views

Partial generalisation to Whitehead's second Lemma

Let $k$ be an algebraically closed field of characteristic $0$ and let $\mathfrak{g}$ be a finite dimensional semisimple $k$-Lie algebra. By Whitehead's second Lemma, we know that $H^{2}(\mathfrak{g}, ...
1
vote
1answer
26 views

How does one define weights for a semisimple Lie group?

For compact Lie groups one considers a maximal torus to define the weight space decomposition of a representation. For a complex semisimple Lie algebra one considers a Cartan subalgebra. How does ...
1
vote
0answers
17 views

Clarification of Definition: Free Algebra

I need some clarification on the definition of free algebra. Here is an extract from Lie Algebras and Lie Groups by Jean-Pierre Serre: I am somewhat confused about the definition of free algebra. ...
1
vote
0answers
20 views

Reference request: classification of simple Lie groups and simple real Lie algebras

I am trying to understand the classification of simple Lie groups and the theory of highest weights for semisimple Lie groups by first understanding the case for complex Lie algebras, then relating to ...
4
votes
0answers
38 views

Convolution of matrix coefficients is also a matrix coefficients

I have a question about the convolution of matrix coefficients as follows: Let $G$ be a compact Lie group. A Map $f:G\rightarrow \mathbb{C}$ is called a matrix coefficient if there is a finite ...
1
vote
1answer
13 views

How can the existence of this expression with Cartan matrix be shown using Killing form?

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra. Let $\mathfrak{h}$ be a Cartan subalgebra, $C$ the Cartan matrix, and $R$ a system of simple roots ...
0
votes
0answers
10 views

How can the existence of this expression with Cartan matrix be shown using Killing form?

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra. Let $\mathfrak{h}$ be a Cartan subalgebra, $C$ the Cartan matrix, and $R$ a system of simple roots ...
1
vote
1answer
31 views

Isomorphic Lie algebras have isomorphic centers

I think that if two Lie algebras are isomorphic, then their centers should be isomorphic - is this true? I am sure the answer is obvious to those in the know! Here is my attempt at a proof which looks ...
1
vote
1answer
18 views

Is $\mathfrak{o}(n)$ a subalgebra of $\mathfrak{u}(n)$?

A quick simple question to start the weekend (I hope). The Lie algebra $\mathfrak{u}(n)$ is the set of $n\times n$ skew-Hermitian matrices over $\mathbb{C}$ and the Lie algebra $\mathfrak{o}(n)$ is ...
0
votes
1answer
9 views

How to determine the number of roots and the dimension of a Lie algebra using Cartan matrix

Let $\mathfrak{g}$ be a Lie algebra with the Cartan matrix $$ C=\left(\begin{array}{cc} 2 & -2\\ -1 & 2 \end{array}\right) $$ Question: How can the number of roots of $\mathfrak{g}$ be ...
1
vote
1answer
22 views

Finding free subgroups thanks to Lie algebras

Let $f : F \to G$ be a homomorphism from a free group $F$ to a group $G$. I heard that, in order to verify whether or not $f$ is one-to-one, it is possible to associate a Lie algebra $E_0^*(H)$ to any ...
1
vote
0answers
38 views

Lie Bracket of vector fields on Lie group

Let $H$ be a Lie group and $\mathfrak{h}$ its Lie algebra. Given a smooth function $v: H \to \mathfrak{h}$, define the vector field $\bar{v} : H \to TH$, $h \mapsto d(R_{h})_{e} v(h)$, where $R_{h} : ...
3
votes
1answer
71 views

Relation between Aut(G) and Aut(g)

Let $G$ be a connected Lie group with Lie algebra $\mathfrak{g}$. We know that when $G$ is simply connected, $\mathrm{Aut}(G)=\mathrm{Aut}(\mathfrak{g})$ (this should follow from the fact that we can ...
2
votes
1answer
37 views

Examples of Free Lie Algebra

In wikipedia, free Lie algebras are defined using the universal property. Can anyone give some concrete examples of free Lie algebras? "In mathematics, a free Lie algebra, over a given field $K$, is ...
0
votes
1answer
48 views

Does the matrix exponential take open sets into open sets?

This is from Hall's Lie Groups, Lie Algebras, and Representations, in theorem $2.13$: Let $B_\varepsilon$ be the open ball of radius $\varepsilon$ about zero in $M_n (\mathbb{C})$ [$= ...
2
votes
1answer
15 views

The derived algebra is a Lie subalgebra

A (hopefully) very simple question that has been bugging me all day! Let $L$ be a Lie algebra then the derived Lie algebra $L'$ is $$ L' = \{ \, [u,v] : \forall u,v\in L \, \}. $$ I want to show ...
0
votes
0answers
15 views

Computing Jacobian of error function using Lie Algebra

First off all, I hope this is the right place to ask, as it is a computer vision problem, but I'm specifically asking about the mathematical part of it. I am currently implementing the ICP (Iterative ...
1
vote
1answer
18 views

Prove that the tangent space to group of unipotent matrices is a subspace of M(2,R).

Given the set of unipotent matrices: $S = \left\{ A\in GL_{2}(\mathbb{R}) \;:\; A=\left( \begin{matrix} 1 & a \\ 0 & 1 \end{matrix} ...
0
votes
0answers
24 views

$[L,L]$ nilpotent means L solvable

How can I prove that if a lie algebra $L$ satisfies that $[L,L]$ is nilpotent, it is solvable? I know that the converse is one of Lie's theorem corollaries.
4
votes
0answers
43 views

Borel subalgebras inside the grassmannian

This is probably something standard and I just don't know where to look (so a reference would be just as appreciated as an answer), but... Let $\mathfrak{g}$ be a finite dimensional semisimple Lie ...
1
vote
0answers
32 views

How to tackle a research journal - level course in Lie Theory and Representation Theory?

I am taking a course in Lie Theory and Theory of Representations this year, where starting from the second lecture, Lie Theory is heavily bundled with Theory of Representations. It is pretty much a ...
2
votes
0answers
46 views

Can any one recommend a way to “quickly” learn a subject?

I would love to read a well written book on a subject - provided that I have the time. But sometimes we do not need to become experts on a particular field but still need the basics. For example, a ...
0
votes
0answers
30 views

Root Systems and Dynkin diagrams.

On page 142, the textbook An Introduction to Lie Groups and Lie Algebras (by Kirillov) determines the fundamental group of the root system $A_2$. Basically, the author says we have two simple roots ...
-2
votes
0answers
39 views
2
votes
0answers
24 views

(Split) Exact Sequence of Lie Algebra Associated to Groups

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...
1
vote
1answer
48 views

Meaning of the adjoint representation of a Lie group

The adjoint representaion of $G$ is a homomorphism $ad_{a}:g \rightarrow aga^{-1}$, $a,g \in G$, what is the meaning of this? Now if we identify $T_{e}G$ with $\mathfrak{g}$ we have the adjoint map ...
5
votes
1answer
20 views

Are the weights of an irreducible representation of a simple Lie algebra in a single Weyl orbit?

When we consider the weights of an irrep of a simple Lie algebra, are they always in a single orbit under the Weyl group of the Lie algebra, or do they form a set of disjoint orbits? If they form ...
0
votes
0answers
10 views

SO(2,1) invariance algebra.

Please excuse me for my ignorance. I would like to know how $SO(2,1)$ Lie algebra is derived from operators and commutators. I have some notes, that the Lie algebra of $SO(2,1)$ is derived from: ...
0
votes
0answers
11 views

Gauge theory H(P) and V(P)

In general you get a connection out of a one-form $\omega$ where $\omega = g^{-1}dg+g^{-1}Ag$ and $A= A^{\alpha}_{\mu}\frac{\lambda_{\alpha}}{2i}dx^{\mu}$ is given and the base ...
0
votes
0answers
27 views

Split exact sequence of Lie algebras

Suppose that we have the following commutative diagram of Lie algebras $$\begin{array} A 0& {\longrightarrow} & A_0 & {\longrightarrow} & A_1 &{\longrightarrow} & A_2 & ...
0
votes
0answers
12 views

How to show that $U(\mathfrak{n})^* \cong \mathbb{C}[U]$?

Let $U$ be the unipotent subgroup of $GL_n(\mathbb{C})$ consisting of all unipotent upper triangular matrices. Let $\mathfrak{n}$ be its Lie algebra. I heard many times that $U(\mathfrak{n})^* \cong ...