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
68 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
133 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
67 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
79 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
76 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
10 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
16 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 ...
1
vote
0answers
29 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 ...
1
vote
0answers
59 views

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 ...
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 ...
1
vote
0answers
20 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 ...
1
vote
0answers
29 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 ...
1
vote
0answers
23 views

Why aren't all elements of the $45_a$ representation of $SO(10)$ zero?

We can write elements of the $45_a$, where $a$ denotes antisymmetric, as $10 \times 10 $ matrices, because $$ 10 \otimes 10 = 1_s \oplus 54_s \oplus 45_a$$ Here $10$ denotes the fundamental ...
1
vote
0answers
37 views

Why is a weight automatically a complex weight?

EDIT: I think the partial answer to my question is that in order to talk about weights we always need a complex Lie algebra. If the Lie algebra is real, we use the complexification, This is necessary, ...
1
vote
0answers
23 views

Proof check - $L(\mathbb{F})\to L_{V}(\mathbb{F})$ for $L=\mathfrak{sl}_{2}$ is an isomorphism.

Let $L=\mathfrak{sl}_{2}$ with basis $(x,y,h)$ and maximal toral subalgebra (or CSA) $H$, $char\mathbb{F}>2$ and $V=V(m)$ an irreducible $L$-module with highest weight $m\in\mathbb{Z}^{+}$. Let ...
1
vote
0answers
34 views

Question related to the Campbell-Baker-Haussdorf formula

I have two operators $A$ and $B$ such that $[A,B] = C$ $[A,C] = -2A$ $[B,C] = +2B$ and I would like to obtain an expression for $\log(\exp(A+B)\exp(-B)\exp(-A))$. Is it a linear combination of ...
1
vote
0answers
16 views

Branching rules without previous knowledge of the projection matrix?

Given a representation $R$ of some group $G$ one can find in many books and papers (e.g. page 96ff here) the decomposition under certain subgroups: $$ R= R_1 + R_2 + \ldots$$ This is often called a ...
1
vote
0answers
14 views

Inner Automorphism of Lie algebras in Terms of Roots and Weights?

An automorphism is a homomorphism of a group $G$ onto itself. For Lie groups this induces a Lie algebra $g$ automorphism, i.e. a map of the Lie alegbra onto itself that preserves the Lie bracket. An ...
1
vote
0answers
15 views

Maximal subalgebras of simple Lie algebras.

Does anyone know how I can access Dynkin's papers on the classification of maximal subalgebras of simple finite dimensional complex Lie algebras? V.V. Morozov also worked on this topic, how can I ...
1
vote
0answers
69 views

Orbit of a Weight Vector?

Given some element $\phi$ of a representation $R$ of a group $G$, the orbit $G(\phi)$ of $\phi$ is defined as the set $g \phi \ \forall \ g \in G$. We can write every element of a given ...
1
vote
0answers
23 views

Under what conditions is the homology of a dg coalgebra a graded coalgebra?

I'm trying to get a feel for some differential graded (dg) structures. Suppose $C$ is a differential graded coalgebra over a commutative ring $k$, i.e. a graded $k$-module equipped with a coproduct ...
1
vote
0answers
18 views

How can one assume that an isomorphism of root spaces $\Phi\to\Phi'$ comes from an isometry?

By definition, if $\Phi$ and $\Phi'$ are root systems of the Euclidean spaces $E$ and $E'$, respectively, then an isomorphism $\Phi\to\Phi'$ is one that is induced by an isomorphism $E\to E'$ which ...
1
vote
0answers
18 views

How to transform roots/weights from the simple root basis to the H-basis?

Often the roots and weights of some Lie algebra are written in terms of the simple root basis $$ r =(a_1,a_2,a_3,\ldots)=a_1 \alpha_1 + a_2 \alpha_2 + a_3 \alpha_3 +\ldots,$$ where $α_i$ denotes the ...
1
vote
0answers
49 views

What is the vector product $(x\wedge y)\wedge z$?

Here's an exercise from my book (exercise 10, chapter 2.1) Show that the three-dimensional vector space $V=R^3$ forms an associative algebra with respect to the operation $x\uparrow ...
1
vote
0answers
28 views

$Z(\mathcal{L}^{(n)}) \subset Z(\mathcal{L})$ for solvable Lie algebras?

$X$ Banach space. $\mathcal{L} \in B(X) $ is solvable Lie Algebra. Then for some n, $\mathcal{L} \supset \mathcal{L}^{(1)}=[\mathcal{L},\mathcal{L}] \supset ...
1
vote
0answers
20 views

How do I know the length of a Weyl group element from its Weyl orbit result

How do I know the length of a Weyl group element from its Weyl orbit result? For example, I know that $[2,2]$ under $s_1s_2s_1$ transforms into $[-2,-2]$,but given the result, how can I tell ...
1
vote
0answers
40 views

Branching $U(2)$ with respect to $SU(2)$

By construction $SU(2)$ is contained in $U(2)$, the special unitary and unitary groups respectively. Thus, any representation of $U(2)$ will induce a representation of $SU(2)$. The irreducible irreps ...
1
vote
0answers
27 views

Lie algebra operations from lie group

According to wikipedia, if $G$ is a closed subgroup of $GL(n, \mathbb{R})$ then the Lie algebra of $G$ can be thought of informally as the matrices $m$ of $M(n, \mathbb{R})$ such that $1 + εm$ is in ...
1
vote
0answers
14 views

The algebra of $W$-invariant polynomial funktions sl2

Let $L=\mathfrak{sl}(2,\mathbb{F})$, $H$ a borel subalgebra, $\Delta=\{\alpha\}$ a base of the corresponding root system and $W$ the Weyl group. Let $\lambda=\frac{1}{2}\alpha$ be the fundamental ...
1
vote
0answers
37 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
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 ...
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 ...
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}$, ...
1
vote
0answers
44 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
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. ...
1
vote
0answers
28 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
53 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
32 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
103 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
31 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
23 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
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)$ ...
1
vote
0answers
61 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
42 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
23 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
49 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
26 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 ...