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)

1
vote
1answer
28 views

Globally defined exponential in a particular homogeneous space

I'm currently working in a particular conformal compactification/completion of the Minkowski space-time, but I'm stuck at showing that the exponential of every vector field in it is globally defined. ...
1
vote
0answers
22 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 ...
0
votes
0answers
21 views

How to construct generators and Lie Algebra for Lorentz group?

I'm trying to figure out Lorentz group in 2+1. First of all, I am physicist and I'd like to think the special orthgonal group as a combination of rotation and translation in space. Then I construct it ...
1
vote
0answers
51 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 ...
0
votes
0answers
15 views

Different Basis/Choices for $SU(3)$ generators?

Conventionally, the generators of $SU(3)$ in the fundamental representation are written in terms of the Gell-Mann matrices. Wikipedia calls this a "particular choice of this representation". What do ...
0
votes
1answer
44 views

Centre of the derivation Lie algebra

I'm reviewing a paper about Lie algebras for class and I'm finding the following sentence hard to grasp: "It is known and easy to see that if $L = L'$, then $Z(Der(L)) = 0$." where $\mathrm{Der}(L)$ ...
2
votes
0answers
51 views

commutation relation of angular momentum operator in non cartesian coordinates

The angular momentum operator $J$ in quantum mechanics with the commutation relation \begin{equation*} [J_l,J_m]=i\hbar\epsilon_{lmn}J_n \end{equation*} has the structure of a Lie-algebra. It is ...
1
vote
0answers
29 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 ...
0
votes
0answers
10 views

Normalizers of subgroups of simple tensors

Inside $GL(2^n,\mathbb{C})$, we have subgroups that are formed by simple tensors. For example, in $GL(16,\mathbb{C})$, we've got subgroups like $H \leq G \leq GL(16,\mathbb{C})$ where $H = \{A_1 ...
2
votes
1answer
103 views

Derivative of exponential maps in Lie group $G$ and the adjoint operator on its Lie algebra

Let $G$ be a (not necessarily compact, probably even infinite dimensional) Lie group, and $g$ be its Lie algebra. Let $V,W\in g$. Consider $J(t):=(Dexp)_{tV}(tW)$ be the result of differential of the ...
4
votes
1answer
68 views

Weights in the Dynkin Basis and Eigenvalues of the Cartan Generators for SU(3)?

The Cartan Generators of $SU(3)$ in the three dimensional rep have eigenvalues $(1,-1,0)$ and $\frac{1}{\sqrt{3}} (1,1,-2)$. Therefore we have the weights: $$ (1,\frac{1}{\sqrt{3}}) \quad ...
1
vote
1answer
43 views

Connected matrix Lie group

While enjoying Lie groups with Brian C. Hall's "Lie groups, Lie algebras, and representations", I'm stuck with the "standard argument using the compactness of the interval $[0,1]$" in the proof of the ...
1
vote
1answer
67 views

What really is a path-ordered exponential?

In some texts about gauge theories in Physics I've found one object called a path-ordered exponential which I'm not sure what it means. As I understood, the idea is as follows: let $G$ be a Lie group ...
0
votes
0answers
16 views

scalar multiple of Young symmetriser

The following is a lemma on Fulton and Harris' book -Representation theory,a first course (page 53): Lemma: For all $x\in \mathbb{C}\mathfrak{S}_r$, $c_{\lambda}\cdot x\cdot c_{\lambda}= scalar ...
2
votes
1answer
44 views

High Dimensional Rotation Matrices As Product of In-Plane Rotations

Lately I've been thinking a lot about how to find high-dimensional rotation matrices. In particular, can any rotation in $n$-dimensional space be represented as the product of $2$D plane rotations? ...
0
votes
1answer
11 views

$n_-$ is freely generated in a Kac moody Algebra

This question is my doubt from Kac's book on Infinite dimensional Lie algebras. We start with an arbitrary matrix A, and we define the realization of A and using the generators $\{e_i,f_i : 1 \le i ...
1
vote
0answers
100 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 ...
4
votes
0answers
26 views

Recipe to compute dimension and decompose product of $SO(N)$ group representations

As it is well known Young tableaux (YT) provide an efficient and very useful way to treat $SU(N)$ representation. This is principally based on these facts: There is a correspondence between irreps ...
0
votes
1answer
73 views

At what position do we insert the new coefficient in the weights for extended Dynkin Diagrams?

Given a set of weights of a representation and the corresponding extended Dynkin diagram for some Lie algebra, we can delete a node, which yields the maximal subalgebra. I know how to draw the ...
2
votes
1answer
32 views

Adjoint representation and tangent vectors

Let $G$ be a Lie group, $\mathfrak{g}$ its Lie algebra, $\text{Ad}:G\rightarrow GL(\mathfrak{g})$ the adjoint representation of $G$. Then, for $X,Y\in \mathfrak{g}$, \begin{align*} ...
0
votes
1answer
42 views

Finite dimensional representations of semi-simple Lie algebras

I've been trying to understand the proof of the following statement: An injective map of $\mathfrak{g}$-representations of a semisimple Lie algebra splits. I'm supposed to show this considering the ...
3
votes
1answer
50 views

Why can we write the weights of a representation in terms of the simple roots?

I'm currently trying to get my head around the fact that we can write the weights of any representation in terms of the simple roots of the algebra. Is there any, not too-technical, explanation? I ...
1
vote
0answers
29 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 ...
0
votes
1answer
34 views

L-module definition

I have the following definition of an L-module We say that V is an L-module if there is a k-bilinear mapping L × V → V sending a pair (x, v) ∈ L × V to x.v ∈ V such that [x, y].v = x.(y.v) − y.(x.v) ...
1
vote
1answer
29 views

Perfect Lie algebras

How can I prove that $gl(n,k)$ and $sl(n,k)$ with $[x,y]=xy-yx$ are perfect algebras? By definition ,$g$ is a perfect algebra if $g=g\prime$, where $g\prime=<\{[x,y]| x,y\in g\}.$
0
votes
0answers
33 views

How to prove the Lie bracket is infinitesimal commutator

I am currently studying Lie groups and I cannot solve the following exercise, which I think is vital to my understanding. The Lie bracket is defined as $[X,Y]=\text{ad}(X)Y$. Let the group commutator ...
3
votes
1answer
23 views

What are some good invariants for low dimensional Lie algebras?

I'm working out some computations on Lie algebras $L$ of low dimensions (by which I mean $3, 4$ or $5$). For my purposes, it is convenient to choose an orthonormal basis $\{e_1, e_2, \ldots, e_n\}$, ...
1
vote
1answer
57 views

Killing forms and Hermitian inner products

Let $K$ be a compact, connected, simply connected Lie group with Lie algebra $\mathfrak k$ and Killing from $B_{\mathfrak k}$. It is well known that $B_{\mathfrak k}$ is a negative definite symmetric ...
1
vote
0answers
22 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 ...
14
votes
1answer
168 views

Linear Algebra : Invertible Matrix Proof

I was doing some linear algebra exercises and came across the following tough problem : Let $M_{n\times n}(\mathbf{R})$ denote the set of all the matrices whose entries are real numbers. Suppose ...
3
votes
0answers
34 views

Which elements of $su(n)$ commute with those of a subalgebra $su(2)$

Given a subalgebra $su(2) \subset su(n)$ , how many generators of $su(n)$ commute with any element in the subalgebra $su(2)$? I know that there are at least $n-2$ elements in $su(n)$ satisfying this ...
0
votes
1answer
54 views

How can I maintain linear independence through a commutator?

Consider a Lie algebra $\mathcal{L}$, a linearly independent generating set $\mathcal{G}$, and an element $X \in \mathcal{L}$. Edit: Note that $\mathcal{G}$ is not necessarily a basis; the generation ...
0
votes
1answer
26 views

Is decomposition of a semisimple Lie algebra unique?

A semisimple Lie algebra is defined to be the sum of simple Lie algebras. But is this decomposition to simple Lie algebras unique? If not can you give an example?
3
votes
1answer
56 views

What intuition do we have for a subalgebra of Lie to be abelian?

The motivation for my question comes from the definition of rank of a given globally symmetric space: it is based on the image of a maximal abelian subalgebra of a given algebra by the exponential ...
1
vote
1answer
39 views

Weights in $\mathfrak{sl}(3,\mathbb{C})$

Let $\mathfrak{h} \subset \mathfrak{sl}(3,\mathbb{C})$ be the set of diagonal matrices. Then for $A = \begin{pmatrix} a_1 & 0 & 0 \\ 0 & a_2 & 0 \\ 0 & 0 & a_3 \end{pmatrix} ...
0
votes
2answers
31 views

Lie algebra, maximal toral sub-algebra

Is there a relation between number of roots of a finite dimensional semi-simple Lie algebra L and dimension of the maximal toral sub-algebra H(Cartan sub-algebra) of L? Thanks!
0
votes
0answers
34 views

Can the adjoint representation on a discrete centered group merge connected components?

Let $\mathfrak{G}$ be a Lie group with algebra $\mathfrak{g}$ and with in general many connected components but which is either centerless or has at most a discrete center. Then we have an ...
0
votes
1answer
38 views

Can we represent the curl as a multiplication by skew-symmetric matrix?

Considering that two vectors $A \times B$ = $\hat A* B$, where $\hat A$ is a skew symmetric matrix containing elements of $A$ Can we then write the curl $\nabla \times A$ as $\partial \vec r *A$ ...
3
votes
2answers
45 views

How to descent to smaller groups “by chopping off a node of the Dynkin diagram”?

I read in section 2 of this paper : "There is a well-defined chain to descent from $E_8$ to smaller groups by chopping off a node of the Dynkin diagram." What exactly is here referring to ...
0
votes
1answer
24 views

Killing form of a reductive symmetric Lie algebra

suppose $(g; , k ,p)$ is a reductive symmetric Lie algebra. i.e. $k$ is a sub-algebra of $g$, $[k,p] \subset p$ , $[p,p] \subset k$ and $g= k \oplus p$. this is actually from Lepowsky and McCllum's ...
3
votes
1answer
37 views

Why not every homogeneous manifold is parallelizable?

It is obvious that not every homogeneous manifold is parallelizable (take for example the two-sphere $S^{2}$). In contrast, every Lie group $G$ is parallelizable, as you can construct a pointwise ...
2
votes
0answers
30 views

Write down the explicit form of the $15$ Killing vectors of the 5-sphere

I am looking for a way to write down explicitly the $15$ vectors which are generators of $SO(6)$ in polar coordinates on the $5$-sphere. In particular I have the round metric $$g_{\mu\nu} = \left( ...
1
vote
1answer
33 views

Why Demazure operator is an endomorphism of $\mathbb{Z}[P]$?

Let $P$ be the weight lattice of some Lie algebra. Let $$ \Delta_{\alpha}(u) = \frac{u-s_{\alpha}\cdot u}{1-e^{-\alpha}}, $$ where $\alpha$ is a root, $u \in P$. In the article, it is said that ...
2
votes
1answer
24 views

Why is ${\bf N}\otimes\bar{\bf N} \cong{\bf 1}\oplus\text{(the adjoint representation)}$?

I just watched this lecture and there Susskind says that $${\bf N}\otimes\bar{\bf N} ~\cong~{\bf 1}\oplus\text{(the adjoint representation)}$$ for the Lie group $G= SU(N)$. Unfortunately, he does ...
1
vote
1answer
82 views

direct sum and tensor product of representation of lie algebra

Let $(p_1,V_1)$ , $(p_2,V_2)$ representation of a lie algebra $g$ on $V_1,V_2$. I have to prove that: $ i) $ the direct sum $p_1 \oplus p_2$ is a representation of $g$ in $V_1 \oplus V_2$ $ ii) $ ...
0
votes
0answers
15 views

Commutation Relation - Generators of Semisimple Lie Group

The following is stated in a book I picked up, Group Theory for High-Energy Physicists - M. Saleem, M. Rafique. Consider an $r$-parameter semisimple Lie group of rank $\ell$. It has a set of ...
0
votes
1answer
48 views

finding eigenvalues and eigenspaces of a linear operator

Assume that $char(\mathbb{k}) = p > 3$ and let $W(1)$ be the Witt algebra over $\mathbb{k}$. Recall that $W(1) = Der(A)$ where $A = k[t]/(t^p)$, a truncated polynomial ring over $\mathbb{k}$. ...
2
votes
2answers
65 views

Showing a linear combination of matrices is nilpotent for any constants

So I have three linear operators in a $3$-dimensional vector space $V$ over field $\Bbb k$ whose matrices w.r.t basis of $V$ are $$X= \left(\begin{matrix}1 & 0 & 1\\ 1 & 0 & 1\\ -2 ...
1
vote
0answers
34 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)$ ...
0
votes
1answer
37 views

Finding lower central series of Lie algebra L

I have a worked example of finding the lower central series but can't get my head around it. So L= Hn, the nth Heisenberg Lie Algebra. Then L has basis: {u1,...,un, v1,...vn, z} and: [ui, uj]=[vi, ...