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)

10
votes
0answers
291 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 ...
9
votes
0answers
98 views

Partial derivatives on Manifolds

Let $F : A \times B \to C$ be a map of smooth manifolds. Define the following maps ("partial derivatives"): $E_1 F: TA \times B \to TC$ $E_1 F(a,v,b) = D_a F(-,b) v $ where $v \in T_a A$ $E_2 F: A ...
8
votes
0answers
109 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
118 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 ...
7
votes
0answers
312 views

Campbell-Baker-Hausdorff formula for $\log(\exp(X+Y)\exp(X-Y))$

Given $X,Y\in \mathfrak g\mathfrak l_{\mathbb R}(n)$, and the CBH formula for $\log(\exp X\exp Y)$ (wiki), is it possible to derive the general term in the series of $\log(\exp(X+Y)\exp(X-Y))$ that ...
7
votes
0answers
90 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 ...
6
votes
0answers
94 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
178 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
251 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
61 views

duality for (co)homology of Lie algebras

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements. What is the relationship between $H_k(\mathfrak{g};R)$, $H_{n-k}(\mathfrak{g};R)$, ...
5
votes
0answers
63 views

Exponential of a polynomial of the differential operator

Given that $$\exp(aD)f(x)=f(x+a)$$ where $\exp(D)$ is the exponential of the differential operator $D$, is there a similar closed-form, general expression for $\exp(g(D))f(x)$, where $g(D)$ is a ...
5
votes
0answers
98 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
125 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
74 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
100 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
38 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
437 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
94 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
148 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
109 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
138 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
38 views

Convolution of matrix coefficients is also a matrix coefficients

I have a question about the convolution of matrix coefficients as follows: Let $G$ be a compact Lie group. A Map $f:G\rightarrow \mathbb{C}$ is called a matrix coefficient if there is a finite ...
4
votes
0answers
43 views

Borel subalgebras inside the grassmannian

This is probably something standard and I just don't know where to look (so a reference would be just as appreciated as an answer), but... Let $\mathfrak{g}$ be a finite dimensional semisimple Lie ...
4
votes
0answers
38 views

Existence of product $\ast$ in a Lie algebra so that $[X,Y]=X*Y-Y*X$

I've been studying particle physics, and studying Lie algebra using physics text book doesn't give me enough information, so I'm asking my question here. Given a Lie algeba $\mathcal{A}$ where ...
4
votes
0answers
26 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
77 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
49 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
152 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
78 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
40 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
195 views

Centralizer of an element in a Cartan subalgebra is reductive.

Let $\mathfrak{g}$ be a Lie algebra with Cartan subalgebra $\mathfrak{h}$ and root system $\Phi$. Show that $C_\mathfrak{g}(h)$ is reductive, that is $Z(C_\mathfrak{g}(h))=Rad(C_\mathfrak{g}(h))$, ...
4
votes
0answers
139 views

Irreducible representations of $\mathfrak{sl}_3\mathbb{C}$

I am working through the exercises in Fulton and Harris's Representation Theory, and am stuck on two on page 189. Let $\text{Sym}^2V$ denote the second symmetric power of the standard 3-dimensional ...
4
votes
0answers
166 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
41 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
70 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
420 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
473 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
99 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
160 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
59 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
100 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
321 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
29 views

Derivative of exponential map

Somehow I've gotten myself confused trying to take the derivative of the exponential map on $\mathfrak{so(3)}$. For vector $\theta$, $\delta \theta$, and $p \in \mathbb{R}^3$, define $$R(\theta, p) ...
3
votes
0answers
35 views

How are the components of a connection on a homogenous space related to the Mauer-Cartan form?

I am finding it hard to understand in what way the Mauer-Cartan form $\omega_G$ of a Lie group $G$ can be used to define a connection on a bundle $G \to G/H$ in the same way that parallel transport of ...
3
votes
0answers
32 views

Finding a basis and weight space for $L = \mathfrak{so}_6(\mathbb{C})= \{x \in \operatorname{End}(\mathbb{C}^6)\ |\ ^{\mathrm t}xS + Sx = 0 \}$

The question: Let $S = \left(\begin{array}{cc} 0 & I_3 \\ I_3 & 0 \end{array}\right)$ and let $$L = \mathfrak{so}_6(\mathbb{C})= \{x \in \operatorname{End}(\mathbb{C}^6)\ |\ ^{\mathrm t}xS + ...
3
votes
0answers
38 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
49 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
45 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
86 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. ...