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)

9
votes
0answers
274 views

Abelian Cartan subalgebras

If a Lie algebra is semisimple or reductive, its Cartan subalgebras are Abelian, and their elements semisimple. Are there non-reductive algebras with Abelian Cartan subalgebras all of whose ...
8
votes
0answers
213 views

Proving that there exists a saturated set with given highest weight

This is an question about an exercise in Humphreys book on Lie algebras. First of all a bunch of definitions and notation, see §13 in Humphreys for details. Let $\Phi$ be a root system, $\Delta$ a ...
8
votes
0answers
107 views

Reference for l-adic Lie algebras

I don't know much at all about Lie algebras or representation theory, and I'm trying to read Ribet's `Review of Abelian l-adic Representations and Elliptic Curves'. Is there a standard reference for ...
8
votes
0answers
112 views

Why are parabolic subgroups called “parabolic” subgroups?

I used to think that things called "parabolic" must have something to do with parabolas or their defining quadratic equations. In fact, terms like parabolic coordinate, parabolic partial differential ...
6
votes
0answers
83 views

Lie algebra of Derivations as a functor?

To an associative algebra $A$ one can associate a Lie algebra $\operatorname{Der} A$ of all derivations $D:A\to A$. To any morphism of associative algebras $\alpha:A\to B$, how can one associate a ...
6
votes
0answers
172 views

An exercise in Serre's Lie algebra book

Let $k$ be a commutative ring. Prove that a Lie $k$-algebra $\mathfrak{g} = 0$ iff $U\mathfrak{g} = k$. Use the adjoint representaion. Here is my attempt at it: The only non-trivial statement is ...
6
votes
0answers
240 views

Root Systems of Lie Groups.

Let $G$ be a compact Lie group assumed to be a subgroup of $U(n)$. Also, let $T$ be a maximal torus of G. Then there exists a basis $\{v_1, \ldots ,v_d\}$ of the Lie algebra of $G$, $\mathfrak{g}$, ...
5
votes
0answers
90 views

— Cartan matrix for an exotic type of Lie algebra --

(1) Is there a notion of Cartan matrix for non-semisimple Lie algebra? For example, consider this Lie algebra: $$ [X_i, X_j] = f_{ij}{}^k X_k \qquad\qquad [X_i,Y^j] = - f_{ik}{}^j Y^k \qquad\qquad ...
5
votes
0answers
117 views

Non-degenerate bilinear forms of Lie algebra with a degenerate Killing form

Definition: A Lie algebra is defined by: $$ [e_a,e_b]={f_{ab}}^ce_c $$ The Killing form is $$ g_{ab}=-{f_{ac}}^d {f_{bd}}^c $$ Set-Up: The type of Lie algebra of our interests (found out during a ...
5
votes
0answers
61 views

Corestriction map in lie algebra cohomology

Given a lie algebra $\mathfrak{g}$ over a field $k$, we can define the cohomology groups of $\mathfrak{g}$ as follows: $$H^n(\mathfrak{g},k):=\mathrm{Ext}_{U(\mathfrak{g})}^n(k,k)$$ where ...
5
votes
0answers
78 views

Lie algebra associated to a linear form

Let $F$ be a finite dimensional vector space over a field $k$, if $f : F \to k$ is any linear form, I can define on $F$ a Lie algebra bracket by the following rule $$ [x,y]=f(x)y-f(y)x, $$ or in terms ...
5
votes
0answers
89 views

Motivation?: Lie algebra and algebraic group Cohomology

This is just an a-priori question to get a motivational heuristic idea: If an algebraic group G (more generally, G an affine group scheme), is connected over an algebraically closed base-field k. ...
5
votes
0answers
37 views

Does every element of $G_2 = \mathrm{Aut}(\mathbb{O})$ stabilize a quaternion subalgebra?

Has anyone heard of this result before? Let $\mathbb{O}$ denote the octonions and let $G_2$ denote its automorphism group (i.e. the 14 dimensional subgroup of $SO(7)$). Then any element of $G_2$ ...
5
votes
0answers
358 views

Discrete subgroups of SU(n) and SO(n).

Thank you very much for your concern. I am in physics background, any simpler but complete explanation would be helpful. I would like to know whether there is a complete understanding of discrete ...
5
votes
0answers
90 views

Quantum Adjoint Action of the Coordinate Algebra on the Enveloping Algebra

As is well known, any Lie group $G$ has a canonical action on its Lie algebra $\frak{g}$, namely the adjoint action $Ad$. Firstly, let me ask, does this extend to an action of $G$ on its enveloping ...
5
votes
0answers
146 views

Generating function for characters of representations

One example of such a generating function that I know how to derive is for $SU(2)$, $\frac{1}{(1-tx)(1-\frac{t}{x})}$. The coefficient of $t^n$ in the above function is the character in the $n+1$ ...
5
votes
0answers
103 views

Pullback of a 3-form to SU2

I have a left invariant 3-form, $\sigma$ on an simply connected Lie group, $G$ whose value at the identity is $\sigma=\langle[x,y],z\rangle$, where $\langle\cdot,\cdot\rangle$ denotes an invariant ...
5
votes
0answers
133 views

On the root systems

Let $\Phi$ be a root system of $E$. $\alpha,\beta\in \Phi$. Let $\lbrace \beta+i\alpha | i\in \mathbb{Z}\rbrace\cap \Phi$, $\alpha$-string through $\beta$, be $\beta-r\alpha,\ldots,\beta+q\alpha$, ...
4
votes
0answers
24 views

Are the two definitions of the BGG category equivalent?

Let $\mathfrak{g}$ be a finite dimensional complex semisimple lie algebra, the BGG category $\mathcal{O}$ is defined as the set of $\mathfrak{g}-$ module $M$ such that $M$ is finitely generated; ...
4
votes
0answers
68 views

Weyl orbits of integral dominant weights and convex polytopes

Let $\xi$ be an integral dominant weight of a root system $\Delta$, and let $\mathcal{O}_{\xi}$ be its orbit under the action of the Weyl group. The elements of the orbit are the vertices of an ...
4
votes
0answers
47 views

Weyl's Dimension Formula

I'm trying to grasp how Weyl's Dimension Formula works, and I'm having a bit of trouble. As an example, I was trying to calculate the dimension of V($\varepsilon_1$) for gl(3). First, I set the ...
4
votes
0answers
147 views

How to write $SO(2n)$ characters in terms of rotation angles?

Say one is working in a representation of $SO(2n)$ such that it has the highest weights $(h_1,...,h_n)$. And let $\{H_i\}_{i=1}^{n}$ be a basis in the Cartan of $so(2n) = Lie(SO(2n))$. Now one says ...
4
votes
0answers
68 views

Cartan Subalgebra and regular elements

Let $L$ be semisimple Lie algebra, $x\in L$ semisimple. Prove that if $x$ lies in exactly one Cartan subalgebra, then $x$ is regular.
4
votes
0answers
38 views

Relationship between representations of $\mathfrak{sl}_{2n}\mathbb{C}$ and $\mathfrak{sp}_{2n}\mathbb{C}$

If $V=\mathbb{C}^{2n}$ denotes the standard representation of $\mathfrak{sl}_{2n}\mathbb{C}$, what can we say about $\wedge^kV$ in terms of the standard representation $W$ of ...
4
votes
0answers
134 views

Representations of non-semisimple Lie algebras

Let $G$ be a compact Lie group with Lie algebra $\mathfrak{g}$, and suppose $\mathfrak{g}$ is semisimple. An integral weight for $G$ is an element $\lambda \in \mathfrak{t}^*$ with ...
4
votes
0answers
40 views

Is it possible to further simplify the product of three exponentials $e^A e^B e^C$ when $[A,C]=kB$ (k is a scalar)

The background is calculation of the little group elements of Poincare group for massless particles. I start with a bunch of exponentials of operators, and the end goal is to crunch them into the ...
4
votes
0answers
68 views

Are there any infinite dimensional subalgebras of the Witt algebra?

The Lie bracket of elements of the Witt algebra is given by: $[L_m,L_n]=(m-n)L_{m+n}$ Are there any infinite dimensional subalgebras of the Witt algebra that are not isomorphic to the Witt algebra ...
4
votes
0answers
410 views

Weyl Character formula applied to Sp$(4,\mathbb{C})\cap$ U$(4)$.

I posted a question a short while ago on this but got no response. I have worked on this more and so now have a more specific question. To start with we work with the $\mathbb{Q}$ version of ...
4
votes
0answers
412 views

Computation of the Killing form of $\mathfrak{gl}_{m}$.

Consider the Killing form of the Lie algebra $\mathfrak{gl}_{m}$. Then $\{e_{ij}\}$ is a basis for this Lie algebra where $e_{ij}$ is a matrix with 1 in the $i$th row, $j$th column and 0 everywhere ...
4
votes
0answers
95 views

The Nambu bracket

Does anybody know how to show the Jacobi identity for the Nambu bracket in $\mathbb{R}^3$? The Nambu bracket with respect to $c \in \mathcal{F}(\mathbb{R}^3)$ is defined as $$\{F,G\}_c = \langle\nabla ...
4
votes
0answers
155 views

internal direct product of lie groups

If $G$ is a (edit: simply connected)Lie group, when does a direct sum decomposition of its Lie algebra (into a direct sum of subalgebras) correspond to a (semi)direct product decomposition of $G$? ...
4
votes
0answers
54 views

Proving $\mathscr L(C_G(H)) \subseteq \mathfrak c_{\mathfrak g}(\mathfrak h) = \{ \mathrm x \in \mathfrak g \mid [\mathrm x, \mathfrak h] = 0\}$

Let $H$ be a closed subgroup of the algebraic group $G$, $C = C_G(H)$. Prove that $\mathfrak{c} = \mathscr{L}(C_G(H)) \subseteq \mathfrak{c}_{\mathfrak{g}}(\mathfrak{h}) = \{ \mathrm{x} \in ...
4
votes
0answers
97 views

Why are root systems presented in this confusing way?

I quote Bjorner and Brenti, "Combinatorics of Coxeter Groups." We begin with a simple geometric lemma. Let $m \geq 3$ be an integer, let $\gamma = \pi/m$, and let $k, k'$ be real numbers ...
4
votes
0answers
301 views

Elementary proof of the third Lie theorem

I would like to understand a (not well known) proof due to G.M; Tuynman, of the third Lie theorem, which asserts that for any given finite dimensional Lie algebra $\mathcal{G}$ there exists a (simply ...
3
votes
0answers
17 views

Invariant tensors in adjoint representation

Suppose we have a simple Lie group $G$ with algebra $\mathfrak{g}=\{X_a\}$, where the generators $X_a$ are in some matrix representation. Is it true that the only invariant rank $n$ tensor in the ...
3
votes
0answers
56 views

Affine connection on a Lie group.

Let $G$ be a Lie group. For $g \in G$, we can define a diffeomorphism $l_g: G \to G$ by $l_g(x)=gx$, and a bundle map ${l_g}_*:TG \to TG$. Then, I guess that we can obtain the affine connection on $G$ ...
3
votes
0answers
27 views

Compact Lie algebras and Lie groups

A simple or semisimple Lie algebra is said to be compact if the $\mathrm{Tr}\left \{ T^\mathrm{adj}_{a}, T^\mathrm{adj}_{b}\right \}$ is positive definite where $T^\mathrm{Adj}_{a}$ are the generators ...
3
votes
0answers
42 views

Actions of Weyl group

I get a feeling what I am going to ask is very standard and classic, but I am not able to find any reference. Any answer or reference would be appreciated. Let us assume that $G$ is a simply ...
3
votes
0answers
43 views

Would the transformation of a differential equation obey the same algebra?

I've found that the algebra of this differential equation $$\frac{d^2y}{dz^2}-(3z^2+\gamma)\frac{dy}{dz}+(cz+\alpha)y=0$$ is in $sl(2)$ because it is possible to use the generators of the $sl(2)$ ...
3
votes
0answers
84 views

How was this Lie algebra found?

In a paper the author lists, without justification, generators for a Lie algebra. I would be grateful if someone could justify these choices and perhaps suggest how I might have found them for myself. ...
3
votes
0answers
59 views

Highest weights of irreducible components of tensor product of irreducible sl(3)-module.

I am study the representation theory of $sl(3)$ and I have a question about the tensor representation of irreducible $sl(3)$-modules as follows: For each weight $\mu$, let $L(\mu)$ be the irreducible ...
3
votes
0answers
53 views

Lie groups with structure constant $f_{abc} \neq f_{bca}$.

The structure constant $f_{abc}$ of Lie group is defined by the commutators of generators, $$[T^a,T^b]=i f_{abc}T_c$$ automatically $f_{abc}=-f_{bac}$. Can someone give a list of explicit examples ...
3
votes
0answers
36 views

Correspondence between unipotent and nilpotent elements

Let $G$ be a simple algebraic group over an algebraically closed field $k$ of characteristic $p$. Let $\mathcal{U}(G)$ be the closed subvariety of unipotent elements of $G$, i.e., all elements whose ...
3
votes
0answers
53 views

Computing the fundamental groups of simple algebraic groups of type $A$

I'm interested in seeing the computation for the fundamental groups of the simple algebraic groups of type $A$. Below is the definition of the fundamental group for a simple algebraic group $G$. Let ...
3
votes
0answers
98 views

Vector fields on smooth manifolds and Lie algebras

I'm currently studying differential geometry on smooth manifolds using differential forms and I'm trying to apply it to what I have learned earlier about Lie groups, but something doesn't seem to ...
3
votes
0answers
46 views

How to construct Dynkin diagrams for semisimple Lie algebras?

My question is: How can I construct the Dynkin diagrams of a semisimple Lie algebra $L$ which is the direct sum of simple Lie algebras, such as for example $\text ...
3
votes
0answers
58 views

A Isomorphism between the extension group and cohomology group of Lie algebras

Within the book An introduction to homological algebra by Weibel, I am trying to prove the following isomorphism, but I am not sure this is true. But I really want to know how to prove or disprove ...
3
votes
0answers
49 views

PBW theorem for restricted Lie algebras

I'm looking at the proof of the PBW theorem for restricted Lie algebras to be found in Ponto and May's "More Concise Algebraic Topology", page 361 (367 in linked file). I either see an error in their ...
3
votes
0answers
112 views

Representation of Complexification of Lie Algebra

Is the following obvious? I think it is, but wanted to make sure before an exam tomorrow! "There is a bijection between the complex representations of a real Lie algebra and the complex ...
3
votes
0answers
57 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)}$. ...