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
111 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
62 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
104 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
74 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
97 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 & ...
2
votes
0answers
73 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
11 views

Relation between simple roots and fundamental weights.

Let $\alpha_1, \ldots, \alpha_n$ be simple roots of a semisimple complex Lie algebra. Let $\omega_1, \ldots, \omega_n$ be the fundamental weights. We have $$ \alpha_i = \sum_{s} k_s \omega_s, $$ for ...
1
vote
0answers
22 views

Why are lie algebra of upper-triangular $nxn$ matrices not nilpotent Lie algebra

Is there an easy proof (without Engel's theorem) of the fact that lie algebra of upper-triangular $n\times n$ matrices (of the field $\mathbb{R}$) are not nilpotent Lie algebra?
1
vote
0answers
15 views

Normal subgroup invariant under $\text{Ad}_g$

Denote by $G$ a Lie group with corresponding Lie algebra $\text{Lie}(G)$. There the three maps inner automorphism/conjugation: $\text{Int}_g = L_{g^{-1}} \circ R_g \in \text{Aut}(G)$, $\text{Ad}_g ...
1
vote
0answers
9 views

$H^q(\mathfrak{g},K;V)$ is equal to $Ext_{\left(\mathfrak{g},K\right)}^q\left(\mathbb{C},V\right)$?

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$. Let $K$ be a closed subgroup of $G$ with corresponding Lie subalgebra $\mathfrak{k}$. Let $V$ be a $\left(\mathfrak{g},K\right)$-module. Then, I ...
1
vote
0answers
17 views

Clarification of Definition: Free Algebra

I need some clarification on the definition of free algebra. Here is an extract from Lie Algebras and Lie Groups by Jean-Pierre Serre: I am somewhat confused about the definition of free algebra. ...
1
vote
0answers
22 views

Reference request: classification of simple Lie groups and simple real Lie algebras

I am trying to understand the classification of simple Lie groups and the theory of highest weights for semisimple Lie groups by first understanding the case for complex Lie algebras, then relating to ...
1
vote
0answers
40 views

Lie Bracket of vector fields on Lie group

Let $H$ be a Lie group and $\mathfrak{h}$ its Lie algebra. Given a smooth function $v: H \to \mathfrak{h}$, define the vector field $\bar{v} : H \to TH$, $h \mapsto d(R_{h})_{e} v(h)$, where $R_{h} : ...
1
vote
0answers
32 views

How to tackle a research journal - level course in Lie Theory and Representation Theory?

I am taking a course in Lie Theory and Theory of Representations this year, where starting from the second lecture, Lie Theory is heavily bundled with Theory of Representations. It is pretty much a ...
1
vote
0answers
46 views

John Lee's book question about symplectic group

Exercise 12-14 in John Lee's book, An introduction to Smooth Manifolds, reads as follows: The real symplectic group is the subgroup $Sp(n, \mathbb{R}) \subset GL(2n, \mathbb{R})$ consisting of ...
1
vote
0answers
36 views

Lie algebra associated to an arbitrary discrete group

I read somewhere that there is a classical (due to Philip Hall?) construction of a Lie algebra associated to any discrete group $\pi$ which is obtained from filtration quotients of the descending ...
1
vote
0answers
21 views

Finite-dimensional, irreducible Representations of the Diffeomorphism Group $Diff(R^4)$

Is there any possible way to study the finite-dimensional, irreducible representations of $Diff(R^4)$ systematically? My interests stems from the fact, that the symmetry group of general relativity is ...
1
vote
0answers
15 views

Straight forward derivation of the bch formula?

Im doing a project on rigid body dynamics and need to derive the bch formula, anyone know a simple yet complete derivation?
1
vote
0answers
48 views

on special Kähler manifolds

Take Lie group $G$ with some hypotheses (compact, connected, semi-simple); call $T$ its maximal torus, its Lie algebra $\operatorname{Lie}(G)=\mathbf g$, its Cartan subalgebra ...
1
vote
0answers
24 views

An alternative proof for the units of $U_q(\mathfrak{sl}_2)$ using Ore extensions.

I would like to establish what the set of units are in the quantized enveloping algebra $U_q(\mathfrak{sl}_2)$. First, I recall the definition of the quantized enveloping algebra- throughout the ...
1
vote
0answers
22 views

Computations of common isometry groups, $O(n)/O(n-1), SO(n)/SO(n-1), U(n)/U(n-1)$, etc?

On wikipedia, some of the common isometry groups are given: $S^{n-1}\cong O(n)/O(n-1)$, $S^{n-1}\cong SO(n)/SO(n-1)$, etc. Is there a reference where some/any of these groups are computed? I'm just ...
1
vote
0answers
24 views

Dimension of maximal tori

Let $G$ be a compact Lie group. $T$ $-$ its maximal torus. Is there a simple reasoning to show that dimensions of $T$ and $G$ have the same parity? I am sorry if this quesion is for children, but ...
1
vote
0answers
43 views

Questions about the bracket

In the map $\phi : L \mapsto \mathfrak {U}(L) $, where $ L $ is a lie algebra and $\mathfrak {U} $ is a universal enveloping algebra of $ L $. (1) Is the following relation true? If $[xy]=z$ in $ L ...
1
vote
0answers
36 views

Exponential of a power of the differential operator

In relation to this question: Exponential of a polynomial of the differential operator Is there an expression for $\exp(aD^n)f(x)$ similar to $\exp(aD)f(x)=f(x+a)$?
1
vote
0answers
26 views

Considerations for moving a function inside or outside of an integral

Excluding the possibility that $A(t)$ is the limit of a sequence, are there any special considerations I should be concerned with regarding the following assertion: Let $A(t)$ be an $n\times n$ ...
1
vote
0answers
31 views

regular representation of algebras

Let suppose we have universal enveloping algebra, what is the meaning of the notion of the right regular representation of that? How can we determine the right regular representation of universal ...
1
vote
0answers
41 views

Intuition behind PBW

The PBW theorem states: $\omega:\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. Where $\mathfrak {S} $ is the symmetric tensor algebra of a Lie algebra $ L $. Where $\mathfrak ...
1
vote
0answers
38 views

Do involutions suffice to find reflected vectors in a reflection group representation?

Consider a reflection group $W$ acting by isometries on a Euclidean space $V$. I want to understand the union of $(-1)$-eigenspaces for this action, the set $$\{v \in V : \exists w \in W\ (w\cdot v = ...
1
vote
0answers
57 views

How to visualise the Killing form of a Lie algebra

Given a Lie algebra $\mathfrak{g}$, we can define its Killing form $$K(x,y) = \mathrm{Tr}(ad_x\circ ad_y)$$for $x, y\in \mathfrak g$. Whilst I understand that the Cartan decomposition $$\mathfrak g ...
1
vote
0answers
58 views

Root space decomposition

Regarding the direct sum of vector spaces/algebras, the dimensions of the parts of the sum should equal the whole. With the root decomp, the cartan sub algebra seems to have a dimension as high as the ...
1
vote
0answers
63 views

Prove the Weyl's complete reducibility Theorem on finite-dimensional $\mathfrak{g}-modules$ by Kostant's $\mathfrak{n}$-cohomology result

I've met an exercise in Kumar's book ("Kac-Moody Groups, their Flag Varieties and Representation Theory", Chapter III, page 89, Ex. 3.2. E, (1) & (2)). But I have no idea about its proof. Any ...
1
vote
0answers
17 views

Given basis for a Lie algebra, what is one for its Universal Central Extension

Given that I have an infinite basis for a Lie algebra $L$, and the information that $M$ is its Universal Central Extension, is $M$ unique? If so, what is the basis of $M$ in terms of that of $L$?
1
vote
0answers
25 views

Question on inner product on space of representations of compact Lie groups

Let $K$ be a compact connected Lie group, wiewed as subgroup of unipotent matrices. Let $G=\mathfrak{k}^\mathbb C$ be the complexification with Lie algebra $\mathfrak{g}=\mathfrak{k}\oplus ...
1
vote
0answers
56 views

Regular elements of a module is open and dense

Let $\mathfrak{g}$ be an algebraic Lie algebra and $V$ be a $\mathfrak{g}$-module, then for each $v\in V$, define $\mathfrak{g}^v = \{x\in\mathfrak{g}:xv = 0\}$. Let $V_{reg}$ be the set of all $v$ ...
1
vote
0answers
37 views

What are the root systems for the n-dimensional torus?

My question may seem silly at first, but currently I am not able to work out the question of finding all roots for the n-dimensional torus. At first, it seemed obvious to me that there are no roots at ...
1
vote
0answers
26 views

invariant polynomial on a lie algebra $\mathfrak{g}$

This question (maybe an easy one) arose when I was reading Humphrey's book "an introduction to Lie algebra and its representations". Suppose $\mathfrak{g}$ is a complex semisimple lie algebra, $V$ ...
1
vote
0answers
22 views

Hermit reciprocity, $\mathfrak{sl}_2(\mathbb{C})$

Let $V$ be the standard $2$-dimensional representation of $\mathfrak{sl}_2(\mathbb{C})$. Hermit reciprocity states that $S^n(S^mV)\simeq S^m(S^nV)$. Can anybody give me a hint to prove it or give a ...
1
vote
0answers
36 views

Derived series of a Lie algebra

I've been studying semisimple Lie algebras and solvability and was wondering if someone could explain to me the meaning of the derived series of a Lie algebra L and this part: $$L^{(1)}=[LL]$$ I don't ...
1
vote
0answers
44 views

Lie bracket as defining element for transformations

Why is it precisely the Lie bracket that encodes the information about a given transformation? A Lie algebra is defined by its commutator. Using the exponential map one ends up with a given ...
1
vote
0answers
159 views

Adjoint action of semi-direct product

Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions $\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
1
vote
0answers
21 views

How to classify all $\theta$-stable Cartan sub algebras?

Let $G$ be a linear connected semisimple Lie group, $\mathfrak g$ its Lie algebra. With respect to the Cartan involution $$ \theta:X\mapsto -\overline{X}^t, $$ one has $\mathfrak{g}=\mathfrak{k}\oplus ...
1
vote
0answers
41 views

References to Lie algebras representaions

Could you give me a reference to a brief introduction to representations of Lie algebras, especially $\mathrm{sl}_2(\mathbb{C})$. I mean some basic Verma modules, Weyl groups etc.
1
vote
0answers
48 views

Adjoint Representation of Lorentz Group

I'm thinking about the image under the adjoint representation $\mathrm{Ad}$ of the proper (identity connected component) Lorentz group $SO^+(1,3)$. Since this group has a trivial centre (it contains, ...
1
vote
0answers
32 views

What is a Complete Set of Weights of a Representation of a Lie Subalgebra?

In relation to Lie Group and Lie Algebra theory, I am studying about the weights of representations. I have come across the terminology "a complete string of weights" in my lecture course, but it is ...
1
vote
0answers
35 views

Component of a pushover vector by one-parameter transformation

I am curious about a step on the proof that shows Lie derivative of a vector field is equivalent Lie bracket. Following comes from Nakahara. We define integral curves by vector field X and Y as ...
1
vote
0answers
17 views

Symetric powers of $sl_2$ representations

I'd like to understand some special things about representations of $sl_2$ (which is considered as a Lie algebra over $\mathbb{C}$). First, it can be shown that for each $n\in \mathbb{N}$ there is ...
1
vote
0answers
64 views

Automorphisms of a split Lie algebra — strange proof in Bourbaki

This is about ch. VIII § 5 no. 3 Proposition 5 in Bourbaki's book on Groupes et algèbres de Lie (unchanged on p. 109 in the Hermann 1975 or Springer 2006 edition). The assertion is that for a ...
1
vote
0answers
26 views

Lie Algebra of Reduced Heisenberg Group Identities

I am having problems trying to understand a statement by Howe in his paper "On the role of the Heisenberg group in harmonic analysis". Here is the setting: Howe defined the (reduced) Heisenber group ...
1
vote
0answers
36 views

How could we decompose anticommutator of representation matrices for a Lie algebra?

For commutator, we know that $[T^a,T^b]=if^{abc}T^c$, where $f^{abc}$ is the structure constant. But is there a similar formula for $\{T^a, T^b\}$? Thank you.