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

Equivalent definitions of positive root system

I begin with a definition of positive root systems of a root system over Euclidean space. A subset $\Delta$ of root system $\Phi$ is called a simple root system (or base) in $\Phi$ if (1) $\Delta$ ...
4
votes
2answers
104 views

Lie Groups/Lie Algebra - Applications?

I studied Lie Groups and Lie Algebras as part of my Masters back in the 1970s. Although very elegant and beautiful, it seemed to its own little world, I never saw the connection with other branches of ...
0
votes
1answer
53 views

Given adjoint action find original matrix.

Given the Adjoint action of a matrix; $\text{Ad}(g) X_1 = g \, X_1 \, g^{-1} = X_2 $. Where g is in a (matrix) Lie group, $X_1,\; X_2$ are from the Lie algebra, can a $g$ be written in terms of the ...
0
votes
0answers
30 views

Nonlinear Lie group from Fulton & Harris

On page 138 of my copy of the celebrated Representation Theory by Fulton & Harris, a proof is outlined to show that the real group of $3\times 3$ upper-triangular unipotent matrices modulo a ...
0
votes
0answers
17 views

Stable Cartan under two involutions

Let $\mathfrak{g}$ a complex semisimple Lie algebra, and let $\theta$ be an involutive automorphism of $\mathfrak{g}$. The following fact is known. Any parabolic subalgebra contains a ...
7
votes
0answers
149 views

How to intuitively understand prolongations

This question is concerned with the algebraic side of the theory of prolongations as explained in this paper by V. Guillemin and S. Sternberg. Let me first introduce my notation. We're working with a ...
1
vote
0answers
34 views

Universal enveloping algebra of sl2

I am currently trying to proof, that $x-1$ is not invertible in the universal enveloping algebra $\mathfrak{U}(\mathfrak{sl}(2,\mathbb{F}))$ of $\mathfrak{sl}(2, \mathbb{F})$, but I still struggle ...
1
vote
1answer
18 views

Matrix representation in exponential form

So having worked out beforehand that $Λ(v) = \begin{pmatrix} γ&0&\frac{-γv}{c}\\ 0&1&0\\\frac{-γv}{c}&0&γ\end{pmatrix}$ where $Λ(v) ∈ SO(2,1)$ is a matrix representation of a ...
2
votes
2answers
64 views

Lie group step in proof

Let $X_e,Y_e \in T_eG$ be vectors and $G = GL(n).$ Then the right translation is given by $Y_g = Y_e g$ and $X_g = X_e g.$ Now, I have a proof showing that $[X_e,Y_e] \in T_eG$ is the element ...
1
vote
1answer
27 views

Computing plethysms of the adjoint representation using the Littlewood Richardson rule

Let $N$ be an integer (let's imagine very large), and let $G$ be the group $\mathrm{GL}_N(\mathbb{C})$. I would like to compute various plethysms of irreducible representations which are not ...
0
votes
1answer
43 views

Lie Algebra to Lie Group Mapping.

When I map a lie algebra vector in se3 to SE3 using exponentiation and map it back to se3 using log, why do I get significantly different results? I followed this and coded an implementation in ...
1
vote
0answers
20 views

Is $\mathbb{C}[G]$ dual to $U(\mathfrak{g})$?

Let $G$ be a Lie group and $\mathfrak{g}$ its Lie algebra. Is $\mathbb{C}[G]$ dual to $U(\mathfrak{g})$? In the case of $G = SL_2$, we have $\mathbb{C}[SL_2] = \langle a,b,c,d\rangle / (ad-bc-1 )$ and ...
0
votes
1answer
21 views

A computation for Manin triple.

I am reading the book. I have some questions about the computations in (4.1) on page 40. The computation are in the following. I don't know why $$ ([[e_r^*, e_k], e_s^*]+[e_r^*, ...
8
votes
1answer
56 views

Two more questions on Kontsevich's “Noncommutative Identities” (Derivations on $\mathbb{C}\langle X,Y \rangle$) [Solved]

The following two questions regard once more the following article: arXiv:1109.2469. In the second chapter we are dealing with the Lie Algebra $\mathfrak{g}$ of derivations $\delta$ of ...
1
vote
1answer
16 views

representation theory of two-step nilpotent Lie algebras

Does anyone know of any good reference about the representation theory of two-step nilpotent Lie algebras, like whether their irreducible representations can be classified?
0
votes
2answers
41 views

Every semisimple Lie algebra of dimension at most 5 is simple.

How does one argue that every semisimple Lie algebra of dimension $\leq 5$ is simple. Since any simple algebra has dimension at least $3$, we have to show that any semisimple algebra of dimension ...
0
votes
2answers
41 views

Matrix representations of $\mathfrak{g}^*$.

Let $g = sl_2$. Then there is a matrix representation of $g$ as follows. The Lie algebra $g$ is a three dimensional vector space with a basis $E, F, H$ such that $[E,F]=H$,$[H,E]=2E$,$[H,F]=-2F$. The ...
2
votes
1answer
23 views

Sum of nilpotent ideals in a Lie algebra is nilpotent

When trying to show that $I+J$ is nilpotent, whenever $I,J$ are nilpotent ideals of a Lie algebra $L$, I did it brute force: By induction we can show the following: An element of $(I+J)^{2N}$ is a sum ...
3
votes
0answers
32 views

How to understand Weyl chambers? [duplicate]

Recall the definition of the Weyl Chambers: A Weyl Chamber is a region of $V \setminus \bigcup_{\alpha \in \Phi} H_{\alpha}$, where $V$ is underlying Euclidean space, and $H_\alpha$ the hyperplane ...
3
votes
0answers
107 views

Humphreys Introduction to Lie Algebras - Conjugate Borel subalgebras sl(2,F)

Let $L$ be a Lie Algebra and let $E(L)$ denote the subgroup of the inner automorphisms, generated by all $\exp(\operatorname{ad}(z))$ for $z\in L$ being strongly ad-nilpotent. Let ...
1
vote
1answer
24 views

Weightspace decomposition of a semisimple Lie algebra

$\DeclareMathOperator{\ad}{ad}$ Let $L$ be a (finite dimensional) semisimple Lie algebra. Let $H$ be a maximal toral subalgebra of $L$. Consider a representation $\pi: L \to \mathfrak{gl}(V)$. It is ...
1
vote
1answer
26 views

dimension of lie algebra

I am studying lie algebra myself and question is about finding dimension of lie algebra . While i read Wikipedia link about lie algebra and lie group i saw statement Lie algebra $\mathfrak{g}$ is ...
3
votes
1answer
68 views

Fundamental group of a Root System and determinant of the Cartan matrix

This is the first time I am posting, so I hope I didn´t get the formatting wrong. I am currently reading J. E. Humphreys "Introduction to Lie Algebras and Representation Theory" and got stuck at ...
0
votes
2answers
41 views

Solvable equivalent to nilpotency of first derived Lie algebra?

The Wikipedia "Solvable Lie Algebra" page lists the following property as a notion equivalent to solvability: $\mathfrak{g}$ is solvable iff the first derived algebra $[\mathfrak{g},\,\mathfrak{g}]$ ...
1
vote
1answer
19 views

Etingof problem 2.16.2: Irreps of Two-dimensional Lie algebra over a field of positive characteristic

This is problem 2.16.2 in Etingof's introduction to representation theory. Note that problem 2.16.1 is a proof of Lie's theorem. I'm having trouble with the second case, where the base field has ...
4
votes
0answers
55 views

Description of free Lie algebra in Weibel's book

In Exercise 7.3.2 in Weibel's book An Introduction to Homological algebra the following description of the free Lie algebra over some $k$-module $M$ is given (where $k$ is any commutative ring): ...
3
votes
0answers
81 views

How to understand Weyl chambers?

Recall the definition of the Weyl Chambers: A Weyl Chamber is a region of $V \setminus \bigcup_{\alpha \in \Phi} H_{\alpha}$, where $V$ is underlying Euclidean space, and $H_\alpha$ the hyperplane ...
1
vote
1answer
31 views

Possible angles between roots in a root system

Given a Root System $\Phi$ let $\alpha,\beta \in \Phi$ with $\alpha \neq \pm \beta$ and $||\beta||\geq ||\alpha||$. Let $\theta$ be the angle between $\alpha$ and $\beta$. Since $<\alpha,\beta> ...
2
votes
1answer
26 views

$\operatorname{Rad}(k)=\operatorname{Rad}(L)$

Given a Lie Algebra $L$ on a field $F$, we define the radical of $L$ $\operatorname{Rad}(L)$ as the largest solvable ideal of $L$. We define the adjoint representation ...
1
vote
0answers
7 views

How can Clebsch-Gordan Decompositions be combined?

In section 4 of this paper the authors use a given list of Clebsch-Gordan coefficents for the $27 \otimes 27$ of $E_6$ from an old paper and combine it with their own list of Clebsch-Gordan ...
0
votes
0answers
47 views

What is corresponding Lie group for Lie algebra of vector fields in dynamical systems?

According to Ado's theorem, for every finite dimensional abstract Lie algebra there is a Lie group. Finite dimensional analytic (or meromorphic) Vector fields (in dynamical systems) over the filed of ...
1
vote
0answers
19 views

A Lie Algebra $L$ is reductive iff it is completely reducibile as an $\operatorname{ad}_L(L)$-module

Given a Lie Algebra $L$ we say it is reductive if $\operatorname{Rad}L=Z(L)$. How can we prove that $L$ is reductive iff it is an $\operatorname{ad}_L(L)$-module completely reducibile? Suppose $L$ ...
1
vote
0answers
22 views

Question about the theorem of highest weights

I have some confusion from reading Theorem 7.3 in Sepanski's Compact Lie groups and would appreciate it if someone could clarify. In part (e) the book says "for $w\in W$, $wV_\lambda=V_{w\lambda}$, ...
2
votes
0answers
14 views

Prove that actions commute

I am trying to understand a proof from Kobayashi and Nomizu (foundations of differential geometry, p. 280). Suppose that we have Lie subalgebras $a<b<g$, with $g$ the Lie subalgebra of $SO(n)$ ...
1
vote
1answer
20 views

Rootspace decomposition of a Lie algebra

$ \DeclareMathOperator{\ad}{ad}$ Let $L$ be a non-zero Lie algebra which is semi simple. Then $L$ contains a toral element and hence a non-trivial toral subalgebra. Let $H$ denote a maximal toral ...
2
votes
0answers
75 views

Lie groups and Lie algebras for matrices

Recently, I stumbled over a few things in very basic Lie group / Lie algebra theory concerning matrix groups. Basically, my question is: Is there a way to canonically understand all the Lie groups ...
4
votes
2answers
78 views

Preimage of singular points of smooth map between manifolds

Given a smooth ($C^{\infty}$) map $\phi: V \rightarrow SU(n)$ where $V$ is a (finite dim, real) vector space (of potentially very large dimension) and $SU(n)$ is the special unitary Lie group, what ...
2
votes
1answer
41 views

Is there a name for this kind of space?

Assume a Riemannian symmetric space $G/H$ where the decomposition of the Lie algebra of $G$ is $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$. It is a known fact that if $\mathfrak{h}$ is the Lie ...
0
votes
1answer
34 views

Matrix of Killing form a Lie algebra

Let $L$ be the Lie algebra with basis $B = \{u,v,w\}$, with $[u,v] = w, [v,w] = u, [w,u] = v$. Question : Find the matrix of the Killing form $\kappa$ of $L$ with respect to $B$. I have come across ...
1
vote
0answers
43 views

Unknown proof Lie Algebra

I have a calculation where I do not know what it actually shows. I think it tells me that for right invariant vector fields, the commutator is again right invariant. Maybe somebody here could help me ...
3
votes
0answers
23 views

Weight spaces of a irreducible representation of $\mathfrak{gl}(n, \mathbb{C})$.

Let $\mathfrak{gl}(n,\mathbb{C})$ be the general linear Lie algebra. Let $\{E_{s,t}\}_{1\leq s,t,\leq n}$ be the standard basis for it. And set its Cartan subalgebra $\mathfrak{h}$ to be ...
1
vote
0answers
32 views

Dimension of Conjugacy class in $SU(n)$

Consider $D \in SU(n)$ ($n$ a multiple of 4), a diagonal matrix with values $\pm 1$ on the diagonal and with trace 0 (only possible for $n$ a multiple of 4). There are $n \choose n/2$ such matrices. ...
5
votes
1answer
74 views

Symmetric and antisymmetric powers of SU(2) representations

Recently, I took a course in representation theory at Imperial College, and on the first homework the questions were about certain sneaky relationships when it came to representations of SU(2). ...
2
votes
1answer
49 views

Question 3 chapter 4 in Brian Hall's Lie groups, Lie algebras and their representations.

I am not sure how to solve the following exercise from Hall's textbook: Show that the adjoint representation and the standard representation are equivalent reprensentations of the Lie algebra ...
3
votes
1answer
71 views

Is there an infinite dimensional Lie group associated to the Lie algebra of all vector fields on a manifold?

Since the space $\Gamma(TM)$ of all vector fields on a smooth manifold $M$ is a real Lie algebra with respect to the usual commutator bracket, I was curious if in fact it is the Lie algebra of some ...
0
votes
0answers
22 views

Duality between the highest weight vector and lowest weight vector.

Let us consider a self conjugate unitary irreducible representation $D$ of a semisimple Lie group $G$ (though I'd be glad if there is a more general case). If $u$ is the highest weight vector of $D$, ...
1
vote
1answer
32 views

Structure constants for and the adjoint representation and meaning in $sl(2,F)$

First, what I know is that given the basis: $$e = \left(\begin{array}{cc} 0 & 1 \\ 0 & 0 \end{array}\right),f = \left(\begin{array}{cc} 0 & 0 \\ 1 & 0 \end{array}\right),h = ...
1
vote
1answer
51 views

An short exact sequence of $\mathfrak{g}$ of which head and tail are in category $\mathcal{O}$.

Let $\mathfrak{g}$ be a finite-dimensional, semisimple Lie algebra over $\mathbb{C}$. Let $$ 0\rightarrow X \rightarrow Y \rightarrow Z \rightarrow 0 $$ be a short exact sequence of ...
2
votes
0answers
42 views

Flow of a left invariant vector field on a Lie group equipped with left-invariant metric and the group's geodesics

I think the answer to my question is known to many other people, but I'm still getting confused. Let $G$ be a (possibly infinite dimensional also) Lie group and $g$ be its Lie algebra. Consider the ...
2
votes
0answers
82 views

Certain Lie algebra structure on $\chi^{\infty}(\mathbb{R}^{2})$ or $\chi^{\infty}(S^{2})$

Is there a lie algebra structure $ [ \;. ] $ on $\chi^{\infty}(\mathbb{R}^{2})$ or $\chi^{\infty}(\mathbb{S}^{2})$ which is not isomorphic to the standard structures but satisfies the following: ...