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)

4
votes
1answer
89 views

Perturbation in characteristic p, or Why, really, does Lie's theorem fail?

While recalling some basics of Lie theory, I found a funny proof of the main lemma in Lie's theorem on triangularity of representations of solvable Lie algebras. It turns out that this proof has a ...
4
votes
1answer
60 views

solvable subalgebra

I want to show that a set $B\subset L$ is a maximal solvable subalgebra. With $L = \mathscr{o}(8,F)$, $F$ and algebraically closed field, and $\operatorname{char}(F)=0$ and $$B= ...
3
votes
1answer
44 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 ...
3
votes
1answer
63 views

Set of non fixed points of an automorphism

I am trying to prove the following "For an orbifold chart $ (\tilde{U},G,\phi)$ the set of non fixed point of $ g : \tilde{U} \rightarrow \tilde{U} $ where $ 1 \neq g \ \in G$ is dense in $\tilde ...
3
votes
1answer
46 views

How to obtain a Lie algebra homomorphism from a Lie group homomorphism

In class we learn a theorem tells us one can cook up a Lie algebra from a Lie group: If $f: G\to H$ is a homomorphism of a Lie group then $T_I f: T_I G\to T_I H$ is a homomorphism of Lie algebra. ...
3
votes
1answer
65 views

Cartan subalgebra of semisimple Lie algebra

My question is: How can I construct the Cartan subalgebra of a semisimple Lie algebra L which is the direct sum of simple Lie algebras, such as for example su(2)⊕su(2)⊕su(2)?
2
votes
1answer
36 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? ...
2
votes
1answer
53 views

The maximality of Cartan subalgebras of lie algebras

In some lecture notes of mine we define a Cartan subalgebra $\mathfrak h$ for semisimple $\mathfrak g$ as an abelian subalgebra of $\mathfrak g$ containing ad-diagonizable elements which are maximal. ...
2
votes
1answer
84 views

Different definitions of Casimir element

I read about the Casimir element just recently and I found it a bit difficult to wrap my mind around the definition(s). In fact, I have seen two different definitions. For concreteness, let ...
2
votes
1answer
57 views

Complete reducibility of a field extension of an lie algebra representation

Let $\mathfrak{g}$ be a lie algebra over a field $k$ with characterstic $0$ and $k\subset k'$ a finite field extension. Suppose $\mathfrak{g}\otimes k'$ has the property, that all finite dimensional ...
2
votes
1answer
91 views

Reducing size of ODE system by using symmetries: examples, references help request.

We know: A high order differential equation can be expressed as an ODE system. Knowledge of a symmetry allow one to reduce the order of a differential equation. So if we do $n$-order ODE ...
2
votes
1answer
109 views

With the branching rules of subalgebra, how can I write down explicit matrix elements for a representation?

I'm looking for a way to construct a representation for a simple Lie group such that one particular subgroup is manifest. I learned the branching rules from Cahn, Georgi and Slansky, but I'm still not ...
2
votes
1answer
97 views

Equation On Root Systems (Humphreys Exercise 9.10)

I am stuck in the following problem from Humphreys. Let $\alpha, \beta$ be roots in a root system $\Phi$. Let the $\alpha$-string through $\beta$ be $\beta - r\alpha, \ldots, \beta + q\alpha$ and let ...
2
votes
1answer
242 views

Lie Algebras: How to compute the Killing Form on $\mathfrak{sl}_n(\mathbb{C})$ and Jordan Decomposition Theorem question.

I'm reading the Fulton and Harris Representation Theory book, trying to learn about Lie Algebras. On pg. 213, they compute the killing form on $\mathfrak{h}^*$ for $\mathfrak{sl}_n(\mathbb{C})$. I ...
2
votes
1answer
94 views

Irreducible representation and reductive Lie algebra

If we have complex reductive Lie algebra L and her finite dimensional representation $\phi$. How can we show that $\phi$ is irreducible iff restriction $\phi|_{[L,L]}$ is irreducible?
2
votes
1answer
201 views

Weyl group and Dynkin diagram

Can somebody help me with following questions: 1)Prove that two simple roots in a Dynkin diagram that are connected by a single edge are in the same orbit under the Weyl group. and 2)For an ...
2
votes
1answer
130 views

Isomorphism with Lie algebra $\mathfrak{sl}(2)$

Let $L$ be a Lie algebra on $\mathbb{R}$. We consider $L_{\mathbb{C}}:= L \otimes_{\mathbb{R}} \mathbb{C}$ with bracket operation $$ [x \otimes z, y \otimes w] = [x,y] \otimes zw $$ far all $x,y \in ...
2
votes
1answer
143 views

establishing an isomorphism

I request help with this is a question from Introduction to Lie algebra by Erdmann and Wildon. The question asks to show that show that $so(4,\mathbf{C})\cong sl(2,\mathbf{C}) \oplus ...
2
votes
1answer
112 views

Weyl group of $\mathfrak{sl}(2,\mathbb{C})$

$\mathfrak{g}$ is a complex semisimple lie algebra which is a subalgebra of some $\mathfrak{gl}(n,\mathbb{C})$, we have chosen a compact real form $\mathfrak{l}$ of $\mathfrak{g}$ and let $K$ be the ...
2
votes
1answer
100 views

How can I find a Chevalley basis of $B_2$?

How can I find a Chevalley basis of a type $B_2$ when the related lie algebra is defined as a linear Lie algebra of elements of the form $x= \begin{pmatrix} 0 & b_1 & b_2 \\ c_1 & m & ...
1
vote
1answer
18 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 ...
1
vote
1answer
22 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
24 views

basis for symmetric square

If we have the symmetric square Sym$^{2}V$ and $V=\mathbb{C}^{2}$, why is it that $\{x^{2}, xy, y^{2}\}$ form a basis for it? So symmetric square matrices are when the main diagonal acts as a ...
1
vote
1answer
58 views

Intuition for the exponential of a matrix

I'm trying to understand an algorithm that tries to map points from a lie group to its lie algebra using the exponential map. The background is the representation of 3d coordinate transformations as a ...
1
vote
1answer
27 views

Solving a large system of linear equations to satisfy the Lie bracket: am I doing it right?

I'm still working on a Lie algebra isomorphism from the Lie algebra of $SL_2(\mathbb C)$ into the Lie algebra of $O(3, \mathbb C)$. It has been suggested to me to use linear combinations of ...
1
vote
1answer
39 views

Affine transformation invariants and lie groups

Is it possible to generate geometric properties which are invariant under affine transformations? I'm trying to learn about lie groups and lie algebras with the example of the lie group of affine ...
1
vote
1answer
31 views

Symmetrizability of generalised Cartan matrix

How to prove that a generalized Cartan matrix whose diagram contains no cycles is symmetrizable? Any hint would be sufficient. Thanks in Advance.
1
vote
1answer
56 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
1answer
30 views

Lie group as a subset of its Lie algebra

Consider a (possibly infinite-dimensional) Lie group $\mathcal{G}$ and let $\mathcal{A}$ be an algebra with a product $\cdot$ and the bracket $[u,v]=u\cdot v - v\cdot u$. The following statement is ...
1
vote
1answer
56 views

General differentials operators (Grothendieck definition) and polynomial rings

Let $A$ be an algebra over some field $\mathbb{k}$. A linear map $f:A\to A$ is said to be a differential operator of an order $\le n$ if for all $a_0,a_1,\ldots a_n\in A$ we have ...
1
vote
1answer
21 views

Multiple Cartan sub-algebras

How is it that for a Semi-simple Lie Algebra there is not one Cartan Sub-Algebra? I assume since there are multiple CSA's of a SS Lie algebra that must mean some of the ss elements of the Lie ...
1
vote
1answer
26 views

Standard set of Generators

A standard set of generators for a semisimple Lie algebra $ L $ is defined as: {${x_\alpha}, {y_\alpha}, {h_\alpha} $} Where: $ x_\alpha \in L_\alpha, $ $ y_\alpha \in L_{-\alpha}, $ $ ...
1
vote
1answer
56 views

How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$?

Let $U$ be the positive unipotent radical of $SL_n$ and $\mathfrak{n}$ the Lie algebra of $U$. How to show that $\mathcal{O}_q[U]$ is isomorphic to $U_q(\mathfrak{n})$? Here $\mathcal{O}_q[U]$ is the ...
1
vote
1answer
119 views

Lie group and Lie algebra automorphisms

Assume that $G$ is a connected Lie group and that $\alpha:G\rightarrow G$ is an automorphism of $G$. Furthermore let $\alpha_*:\mathfrak{g}\rightarrow\mathfrak{g}$ be the corresponding tangent map at ...
1
vote
1answer
73 views

Showing that an $\mathfrak{sl}(2,\mathbb{C})$-module is determined by eigenvalues of $h$

This question is essentially exercise 8.4 from the book "Introduction to Lie Algebras" by Erdmann and Wildon: "Suppose that $V$ is a finite-dimensional $\mathfrak{sl}(2,\mathbb{C})$-module. Show that ...
1
vote
1answer
21 views

Uniqueness of the Lie brackets in the quotient space of a Lie algebra

Suppose I have a Lie algebra $\mathfrak g$ which is an ideal of $\mathfrak a$. Then I consider the quotient set $\mathfrak g / \mathfrak a$ which is the set of all equivalence relations of $\mathfrak ...
1
vote
1answer
101 views

How to find Casimir Operators and their degree.

Consider the quite general problem of computing all Casimir Operators of a given Lie Algebra $\mathfrak{g}$. How does one proceed, in general? And how is possible to compute the degree of a given ...
1
vote
1answer
27 views

Weyl function defintion

In Lie algebra book by Humphreys, in the section 24.1 (page number 136) he defines Weyl function $q$ as $ q = \Pi_{\alpha \gt 0}(\epsilon_{\frac{\alpha}{2}}-\epsilon_{-\frac{\alpha}{2}})$. I can't ...
1
vote
1answer
66 views

Is it true for solving differential equations by getting constant coefficient matrix with magnus expansion

The magnus expansion is given in detail http://en.wikipedia.org/wiki/Magnus_expansion. While implementing magnus expansion to differential equations we have an iteration formula as follows $$Y'(t) = ...
1
vote
1answer
147 views

The Lie algebra of the commutator subgroup

If $G$ is a connected Lie group with Lie algebra $g$, then is its commutator subgroup $[G,G]$ a closed subgroup with Lie algebra $[g,g]$?
1
vote
1answer
105 views

Why is the dual space of Cartan subalgebra an irreducible representation of Weyl group

it is proposition 14.31 in Fulton-Harris book. The proof goes like this. Let $\mathfrak{h}$ be a Cartan subalgebra of $\mathfrak{g}$, and assume $\mathfrak{z}\subseteq\mathfrak{h}^*$ were preserved ...
1
vote
1answer
102 views

Is algebraic closure required in Weyl's theorem on complete reducibility? (Lie algebras)

Weyl's theorem states that finite-dimensional representations of finite dimensional semisimple Lie algebras are completely reducible (expressible as a direct sum of irreducible submodules), with some ...
1
vote
1answer
75 views

Specific help in showing that Poisson Bracket is part of this Lie Algebra

Given in this exercise is the following set: $U = \{f(z) = z^TCz\ \vert\ C \in \textrm{Mat}_{2n}(\mathbb R),\ C^T=C\}$ is a Lie Algebra with $\left\{\cdot , \cdot \right\}$ where $$ \left\{f,g ...
1
vote
1answer
133 views

Basic Lie Algebra Question

Essentially, I'm trying to prove that when computing the tangent space for a group that there's nothing special about considering it at only the identity. Namely, there is an isomorphism of vector ...
0
votes
1answer
39 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)$ ...
0
votes
1answer
33 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 ...
0
votes
1answer
29 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) ...
0
votes
1answer
51 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
28 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$ ...
0
votes
1answer
24 views

Map to the submodule of invariants of a Lie algebra representation

If $G$ is a compact group and $V$ is a representation, the inclusion $V^G \to V$ has an easy-to-write-down retract: \begin{equation*} V \to V^G,\:\: v \mapsto \frac{1}{|G|} \int_G g\cdot v\;dg ...