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)

2
votes
0answers
46 views

Relationship between invariants of a simple algebraic group

Let $G$ be a simple algebraic group over an algebraically closed field $k$. I believe all of the following invariants are well-defined. Besides the coxeter number, I haven't read about the others, ...
2
votes
0answers
36 views

explicit realization of irreducible representations of simple lie algebras

I know explicit realization of irreducible representations of simple lie algebra $sl_n$ when the highest weight of that representation is a fundamental weight.Is there any explicit realization of any ...
2
votes
0answers
111 views

$\mathfrak{sl}(3,F)$ is simple

Prove that $\mathfrak{sl}(3,F)$ is simple, unless $\operatorname{char}F=3$. [Use the standard basis $h_1,h_2,e_{ij}(i\neq j)$. If $I\ne 0$ is an ideal, then $I$ is the direct sum of eigenspaces for ...
2
votes
0answers
75 views

Does the Lie Bracket automatically exist?

Let $g$ be a Matrix Lie Group. The Lie Algebra of $g := Lie(g)$ is defined as $ Lie(g) = \{ \dot{\gamma}(0) | \gamma:(-\epsilon, \epsilon) \rightarrow g, \gamma \in C^1, \gamma(0) = \mathbb{I} \} $ ...
2
votes
0answers
27 views

When is $\left\{ [x,y] \mid x, y \in \mathfrak{g} \right\}$ a subspace of $\mathfrak{g}$?

Let $\mathfrak{g}$ be a lie algebra. When is $\left\{ \left[x,y\right] \mid x, y \in \mathfrak{g} \right\}$ a subspace of $\mathfrak{g}$? Is this common at all? Thanks! -Dan
2
votes
0answers
126 views

Root-subspaces are $\mathfrak{g}$-invariant

I need some help with technicalities concernig root-subspaces of nilpotent Lie algebras of operators. Let $\mathfrak{g} \subseteq \mathfrak{gl}(V)$ be nilpotent Lie algebra, $\alpha \ \colon \ ...
2
votes
0answers
33 views

Classification of 6-D Nilmanifolds

I am reading the G.Cavalcanti and M.Gualtieri's Generalized Complex Structures on Nilmanifolds. In the introduction it is said that there are 34 nilpotent lie algebra isomorphism classes. There are ...
2
votes
0answers
68 views

Cartan's Criterion. $L$ solvable $\implies$ $Tr(xy) = 0$ $\forall x \in L$, $\forall x \in L^{(1)}$

Cartan's Criterion. Given $V$ a finite dimensional complex vector space and $L$ a Lie subalgebra of $gl(V)$ then, $L$ solvable $\implies$ $Tr(xy) = 0$ $\forall x \in L$, $\forall x \in L^{(1)}$. ...
2
votes
0answers
46 views

Prove that $[L,Rad(L)] \subseteq N$ for finite-dimensional Lie algebra $L$

I need to prove the following fact: if $L$ is a finite-dimensional Lie algebra over field of characteristic $0$, $Rad(L)$ is its radical, and $N$ is the maximal nilpotent ideal in $L$, then ...
2
votes
0answers
67 views

Dihedral and quaternion groups as subgroups of SO(n), SU(n), Spin(n), SO(n)$\times$SO(n), SU(n)$\times$SU(n)

This is a very simple question on whether these three discrete groups $D_4$,$Q_8$,$(\mathbb{Z}_2)^3$ are subgroups of certain Lie groups. More precisely, given discrete groups below (a), (b), (c): ...
2
votes
0answers
162 views

Semi-simple Lie algebra $L$ coincides with its derived algebra $L'$

If $L$ is a semi-simple Lie algebra, then $L=L'$. Since $L$ is semi-simple we can write it as a direct sum of simple ideals $L_i$, i.e. $L=\oplus_{i=1}^r L_i$. Then $L'=\oplus_{i=1}^r L_i'$ and ...
2
votes
0answers
37 views

To what extent are formulas obtained in one Lie group valid in another Lie group with an isomorphic Lie algebra?

In quantum optics, I am trying to explore the group generated by squeezing and rotation operators. These are closely related to area-preserving linear transforms, which they induce on the phase space, ...
2
votes
0answers
87 views

Character of half-spin representation

Let $S^\pm$ be the half-spin representations of $\mathfrak{so}_{2n}\mathbb{C}$. Fulton-Harris's Representation Theory says on page 378 that the character $D^\pm$ of $S^\pm$ is the sum $$\sum x_1^{\pm ...
2
votes
0answers
154 views

Determinant of a cartan matrix

I was taking an introductory course in Lie algebras and I just learned about how we associate a Cartan matrix to a semisimple Lie algebra. So, for the A-series, the determinant of this matrix goes to ...
2
votes
0answers
24 views

Finding the Lie map

Suppose I have a group homomorphism $\rho:SL(2,\mathbb{C})\to SO_0(3,1)$ given by $\rho(a)X=aXa^*$ and I want to see how the corresponding Lie map $L\rho$ looks like. By definition $$ ...
2
votes
0answers
32 views

Only 3 finite-dimensional Lie algebra on $\mathbf R$?

Please, how does one show that up to diffeomorphism there are exactly three finite dimensional Lie algebras of vector fields on the real line $\mathbf R$.
2
votes
0answers
96 views

If $\mathfrak{g}$ admits a decomposition then it is semisimple

I want to show: If $\mathfrak{g}$ is a Lie algebra that has an abelian subalgebra $\mathfrak{h}$ such that $\mathfrak{g}$ has a Cartan decomposition $\mathfrak{g}=\mathfrak{h}\oplus(\bigoplus_{\alpha ...
2
votes
0answers
24 views

Integer domain enveloping algebra

I must prove that if $L$ is a Lie algebra and denoting $U(L)$ the enveloping algebra, then $U(L)$ hasn't zero divisions (e.g. if $ab=0 \,\,\, a,b \in U(L)$ then $a=0$ or $b=0$). Some ideas?
2
votes
0answers
74 views

$x$ regular $\Leftrightarrow$ $x$ is in exactly one CSA

Here's a statement and a proof given in a Lie Algebra course (in the tutorial): Let $L$ be a semisimple Lie algebra over a field $F$ with $\text{char} F=0$. Let $x\in L$ be a semisimple element. ...
2
votes
0answers
62 views

Finite-dimensional Lie algebra as a scheme

Kindly asking for any hints about the following questions: Suppose $k$ is an algebraically closed field of characteristic zero and $g$ is a finite-dimensional Lie algebra over $k$. Then $g$ is ...
2
votes
0answers
74 views

Dimension of Abelian Lie Algebras

I've tried to answer this question, but I need some help. What is the possible dimension of irreducible representations of Abelian Lie Algebras? I think it is always one, but I am not sure. Thank ...
2
votes
0answers
89 views

Commutator formula in infinite dimensions

The commutator formula states that for $A,B$ elements of a Lie algebra, $$ \lim_{n\to \infty}\left\{ ...
2
votes
0answers
36 views

Smallest dimensional irreps of semi-simple Lie algebras

I'm wondering if there is a reference that lists the first couple smallest dimensional irreducible representations of each semi-simple Lie algebra. I know these can be found using the Weyl dimension ...
2
votes
0answers
213 views

Standard parabolic Lie subalgebras and conjugacy

Let $\mathfrak g$ be a given semisimple Lie algebra with corresponding adjoint Lie group $G$. A parabolic subalgebra is any subalgebra containing a Borel subalgebra. We can pick a Borel ...
2
votes
0answers
60 views

ADE type root lattice

Let $\Phi$ be a root system of ADE type, $L$ is the corresponding root lattice, show that $\Phi=\{\alpha\in L:(\alpha,\alpha)=2\}$, where $(,)$ is the normalized non-degenerate symmetric bilinear form ...
2
votes
0answers
238 views

Decomposing products of spinor representations into anti-symmetric tensors

There is always a natural $2^{[\frac{d}{2}]}$ dimensional spinorial representation of $SO(d-1,1)$ (..induced from a representation of the related Clifford algebra..) and if $[m]$ denote the space of ...
2
votes
0answers
67 views

Basis of the Engel algebra

If I have a connected, simply connected nilpotent lie group given by the commutators between the elements of a basis of its Lie algebra how can I recover the left invariant vector fields? For ...
2
votes
0answers
125 views

Finding the Killing form of $\mathfrak{sp}_{2n}(\mathbb{C})$

How can I find the Killing form of $\mathfrak{sp}_{2n}(\mathbb{C})$? I'm explicitly working with basis vectors in trying to compute $\operatorname{tr}(\operatorname{ad}(a)\operatorname{ad}(b))$ but ...
2
votes
0answers
65 views

Representations of $U(d)$. Calculation of Gelfand-Zeitlin patterns for particular vectors.

Following structure is given $\left(\mathbb{C}^d\right)^{\otimes n}$. Consider irreducible representations of $U(d)$. And consider the fully symmetric subspace $T_{\alpha}$ in ...
2
votes
0answers
111 views

Question about a Corollary of Engel's Theorem

Engel's Theorem states that: Let $L$ be a subalgebra of $\mathfrak{gl}(V)$, $V$ finite dimensional. If $L$ consists of nilpotent endomorphisms and $V \neq 0$, then there exists nonzero $v \in V$ for ...
2
votes
0answers
77 views

Principal Bundles and Lie algebras

Suppose I have a principal $S^{1}$ bundle over a nice compact symmetric space. The symmetric space arises as a homogeneous space, call it $X=G/H$. On the Lie algebra level we have the decomposition ...
2
votes
0answers
43 views

Solve commutator relation $[Q,d]=-[P,d]$ for $Q$ on chain complexes with scalar product

Suppose we are given chain sequences $\dots \rightarrow C_k \rightarrow C_{k+1} \rightarrow \dots$ and $\dots \rightarrow D_k \rightarrow D_{k+1} \rightarrow \dots$ of finite-dimensional vector ...
2
votes
0answers
75 views

orbit of a Dynkin diagram automorphism

Let $f$ be a Dynkin diagram automorphism. Extend $f$ linearly to the root system $\Delta$. What is a set of representatives of the orbits of $\Delta$ under $f$ ? Thanks,
1
vote
0answers
35 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 ...
1
vote
0answers
29 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. ...
1
vote
0answers
26 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 ...
1
vote
0answers
15 views

Why do we need the Dynkin Basis to compute Branching Rules?

Given a representation $R$ of some Lie algbra $g$, we can compute the corresponding representation $R'$ (in general reducible) for some subgroup Lie algebra $ g \supset g'$ by utilizing the weights in ...
1
vote
0answers
36 views

De Rham cohomology of $T^n$ using Künneth formula and Chevalley-Eilenberg theorem.

I want to calculate $H^*(T^n)$ with ring structure using both of these methods. Künneth formula gives $$ H^p(T^n)=H^p(S^1\times T^{n-1})=\bigoplus_{i+j=p}H^i(S^1)\otimes H^j(T^{n-1}) $$ for each ...
1
vote
0answers
19 views

Why does a simple coroot $\alpha^{(i)}$ correspond to a Cartan subalgebra element $H^i$?

I read here that a simple coroot $\alpha^{(i)}$ corresponds to a Cartan subalgebra element $H^i$ and don't understand why this should be the case. Roots are the weights of the adjoint ...
1
vote
0answers
92 views

Right invariance of Casimir (Laplacian)

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$. The Casimir element $\Delta\in \mathfrak{zu}(\mathfrak{g})$, considered as an operator on $C^{\infty}(G)$ is right invariant, that is, $\Delta ...
1
vote
0answers
21 views

Complex irreducible representation of solvable lie algebra

How can one infer from the Lie's theorem (in terms of existence of a common eigenvector) that a complex irreducible representation of a solvable lie algebra has dimension 1? What I know is that one ...
1
vote
0answers
20 views

Subspaces of Lie algebras

The Lie correspondence is well understood. For 'nice enough' Lie groups $G$ (with Lie algebra $\mathfrak{g}$) every sub-group $H < G$ has a Lie algebra $\mathfrak{h} < \mathfrak{g}$ given by ...
1
vote
0answers
33 views

Is there a general method to calculate the generators of the subgroups of $\textrm{GL}(n,F)$?

I know this might be a very bad/broad question, but after going through a few practice problems for finding linearly independent generators for some of the easier subgroups of $\textrm{GL}(n,F)$ ...
1
vote
0answers
57 views

Showing that the Witt algebra $W(1)$ is isomorphic to $\mathfrak{sl}(2,\mathbb{k})$

As the title suggests, I need to show that the Witt algebra $W(1)$ with basis $\{e_i \, | \, -1 \leq i \leq p-2\}$ where $e_k=t^{k+1}\frac{\mathrm{d}}{\mathrm{d}t}$ with Lie bracket defined by ...
1
vote
0answers
37 views

Why generator in Lie Algebra is defined as the coefficient in taylor expansion of map

Booth defines the infinitesimal generator of a lie group (denote the manifold it defines by $M$) using flow $\theta_t(p)$ by calculatng the limit (mainly the derivation for $f$ in each point $p\in M$) ...
1
vote
0answers
22 views

The negative of a vector field and its flow

I have a relatively short question about vector fields. Let $G$ be a Lie Group, and $X$ a smooth vector field on it. If its flow is $\left\{\phi_t\right\}$ what is the corresponding flow for $-X$? ...
1
vote
0answers
47 views

Special linear lie algebra relative with Angular Momentum

Let have the special linear algebra $\operatorname{Sl}(2,\mathbb F)$ ,which is the set of $ 2 \times 2$ matrix with trace zero. I have to prove that the lie algebra $ g=\operatorname{Span}\{ ...
1
vote
0answers
25 views

Where does the $-k\delta$ part of the expression for weights come from?

Consider the affine Lie algebra with the Cartan matrix $$ \left(\begin{array}{cc} 2 & -2\\ -2 & 2 \end{array}\right) $$ Let $\omega_{0}$ be the zeroth fundamental weight, $\alpha_1$ the first ...
1
vote
0answers
21 views

To what extent are the Jordan-Chevalley and Levi Decompositions compatible.

I know that the Jordan-Chevalley decomposition for real Lie algebras only applies to semisimple Lie algebras, but in general the addititive J-C decomposition says that for ANY operator, we can ...
1
vote
0answers
34 views

Dominant Weight

I am reading a paper which begin by a reminder about root system associated to a simple lie algebra $\mathfrak g$. let $\mathfrak h\subset \mathfrak g$ a cartan subalgebra. Question 1: It says that ...