Lie algebras are algebraic structures which were introduced to study the concept of infinitesimal transformations. The term "Lie algebra" (after Sophus Lie) was introduced by Hermann Weyl in the 1930s. In older texts, the name "infinitesimal group" is used. Related mathematical concepts include Lie ...

learn more… | top users | synonyms

2
votes
1answer
195 views

highest weight representations inside tensor product

Let $G$ be a semisimple simply connected group over an algebraically closed field $k$ of characteristic zero, $B$ a Borel and $T$ a maximal torus. Let $\lambda,\mu,\nu$ be dominant characters of $T$. ...
4
votes
0answers
278 views

A vector space associated with a vector field on a symplectic manifold

Let $(M,\omega)$ be a $2n$ dimensional symplectic manifold and $X$ is a smooth vector field on $M$. Consider the following subvector space of $\chi^{\infty}(M)$: $$S(X)=\{Y\in ...
5
votes
1answer
189 views

Closure order on nilpotent orbits in exceptional Lie algebras

Let $G$ be a simple algebraic group over the algebraically closed field $k$ of positive characteristic, and let ${\mathfrak g}={\rm Lie}(G)$. It is well known that there are finitely many nilpotent ...
4
votes
0answers
119 views

Finite-codimension subalgebras of generalized Kac-Moody lie algebras

Do generalized Kac-Moody lie algebras of infinite dimension contain subalgebras of finite codimension? If so, is there a classification?
0
votes
0answers
38 views

References about reality of minimal affinizations of quantum affine algebras

Let $U_q(\widehat{\mathfrak{g}})$ be the quantum affine algebra associated to a complex simple Lie algebra $\mathfrak{g}$. A simple module $M$ of $U_q(\widehat{\mathfrak{g}})$ is called real if $M ...
0
votes
0answers
100 views

Connection between Lie algebras and fusion rings

Example: Take the irreps of $SU(2)$: $0,1/2,1,...$ (Spin notation.) The quantum dimensions are $1,q+1/q,q^2+q+1+1/q+1/q^2,...$. At $q=(-1)^{1/5}$ this evaluates to $1,\phi,0,...$ and you get the ...
7
votes
3answers
245 views

Polarizations generate the ring of invariants?

The symmetric group $S_n$ acts on $\mathbb R^n$ by permuting the coordinates and the ring of polynomial invariants is generated by the elementary symmetric polynomials. If we restrict the action to ...
3
votes
1answer
224 views

Weyl groups of $E_6$ and $E_7$

The Weyl group $W_6$ of the Lie algebra $E_6$ is of order 51840, the automorphism group of the unique simple group of order 25920, while the Weyl group $W_7$ of the Lie algebra $E_7$ is of order ...
4
votes
1answer
146 views

Questions about the $\mathbf{i}$-trails of Berenstein and Zelevinsky

The $\mathbf{i}$-trails of Berenstein and Zelevinsky was introduced on page 5 (Definition 2.1) in this paper. It is defined as follows. Let $\gamma, \delta \in \mathfrak{h}^*$. Let ${\bf i}=(i_1, ...
1
vote
0answers
89 views

Can we find structure constants of Lie Algebra for Lie Symmetry of ODE without solving determining equations?

Let's consider (for example) one scalar ODE. We are searching for Lie Symmetries of it. There is well-known result, that we can find size of Symmetry Group without solving determining equations. ...
3
votes
1answer
91 views

Extension of an involutive automorphism

Suppose that $g$ is a complex semi-simple Lie algebra and $g'$ its reductive subalgebra. If $\tau$ is an involutive automorphism of $g'$, can $\tau$ be extended to an involutive automorphism of $g$ ...
2
votes
1answer
114 views

Link between Virasoro algebra and Heisenberg algebra

I'm reading these notes on infinite-dimensional Lie algebras. On page 5, author defines Heisenberg algebra and shows that certain infinite sums of elements of Heisenberg algebra (I'm being a little ...
0
votes
1answer
125 views

Inequality for the index of a Lie algebra using its Levi decomposition

The answers to this question indicate that there is a fairly vast literature on the index of Lie algebras. Unfortunately I was not able to find in this literature (or maybe to extract from it) an ...
2
votes
2answers
239 views

Closure relations between Bruhat cells on the flag variety

Given a Lie group $G$ over $\mathbb{C}$ and a Borel subgroup $B$. There is this famous Bruhat decomposition of the flag variety $G/B$. How do we prove the closure relations between the cells, which ...
2
votes
1answer
84 views

Conjugacy class of semisimple elements

Let $G$ be a complex simple Lie group with Lie algebra $\mathfrak g$ and $G_1$ be a complex simple subgroup of $G$ with Lie algebra $\mathfrak g_1$. We may assume $G$ and $G_1$ to be of adjoint type. ...
6
votes
1answer
197 views

What is the relation between spherical principal series representations of a reductive Liegroup and Verma modules for its Lie algebra?

Here is an issue that thoroughly confuses me. I hope I can express it in a way that is clear cut enough for this site. Let $G$ be a real reductive Lie group and $\mathfrak{g}$ be the complexification ...
1
vote
2answers
178 views

How to find the multiplicity of weight in a Verma module?

In particular, let $\mathfrak g$ be the semisimple Lie algebra of type $A_{2}$ et let $\alpha,\beta$ be its simple roots. How can the multiplicity of weight $-2\alpha -3\beta$ be calculated in the ...
5
votes
1answer
107 views

How can the generators of subalgebra $\mathfrak g^{\sigma}$ of $\sigma$-stable elements be expressed through generators of Lie algebra $\mathfrak g$?

Let $\mathfrak g$ be the semisimple Lie algebra of type $D_{4}$. Let $\sigma$ be the 3-rd order automorphism of $\mathfrak g$ induced by the triality of $D_{4}$: $$ ...
1
vote
1answer
138 views

Does the associated Lie algebra determine a group?

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...
6
votes
1answer
98 views

Injectivity of Rewrite Rule in a Free Lie Algebra

Let $L$ be a free Lie algebra (over $\mathbb{Q}$) on generators $x_1, x_2, \ldots, x_n$, and let $V_k$ be the subspace spanned by the $k$-fold brackets. Let $U_1 = \mathrm{span}\{ x_i | i< ...
1
vote
0answers
266 views

Testing the faithfulness of group homomorphisms by testing on the level of induced Lie Algebras

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathrm{gr}_k(G)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...
1
vote
1answer
96 views

Reducible reductive Lie subalgebras of so(p,q)

Is it true that $S(O(p) \times O(q))$ is the only proper subgroup of $SO(p,q)$ of full rank acting on the natural representation $\mathbb{R}^{p+q}$ of $SO(p,q)$ that stabilizes a $p$-dimensional ...
5
votes
4answers
304 views

Breaking up the free Lie algebra into Gl irreps

The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra , the free Lie algebra generated by any choice of ...
1
vote
1answer
81 views

Whitehead's second Lemma and invariants of exterior square

Let $k$ be an algebraically closed field of characteristic $0$ and let $\mathfrak{g}$ be a finite dimensional semisimple $k$-Lie algebra. By Whitehead's second Lemma, we know that $H^{2}(\mathfrak{g}, ...
0
votes
0answers
37 views

defining generators for Hamilton lie algebra

By definition, the Hamiltonian algebra over $GF(2)$. $$H(2r; n):=\text{span}_F \{D_H(x^α) | α ∈A(m; n), α \neq π\}$$ such that $π=(2^{m_1}-1,...,2^{m_n}-1)$. Now I want to know what happens for ...
2
votes
1answer
230 views

Weyl group of a symmetric space

Let $G/K$ be a symmetric space of a non-compact type, i.e. $G$ is a semi-simple connected Lie group, and $K$ is its maximal compact subgroup. Helgason in his book "Differential geometry and symmetric ...
9
votes
0answers
157 views

Irreducible representations of Weyl group of F$_4$ on zero weight spaces?

This is a follow-up to a recent question here concerning the natural representation of a Weyl group $W$ on the zero weight space of an irreducible representation $L(\lambda)$ of highest weight ...
3
votes
1answer
128 views

Associated graded Lie algebra of braid groups

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...
0
votes
1answer
57 views

perfect Lie algebra with a nonabelian solvable radical

Suppose you want to construct a perfect Lie algebra with a nonabelian solvable radical $\mathfrak{r}$, say with a commutator series of length 2. What are the conditions that guarantee the Lie algebra ...
4
votes
1answer
141 views

Some questions on analytic vectors and the integrability of Lie-algebra representations

I would like to ask a number of questions about the theory of analytic vectors and the integrability of Lie-algebra representations, but before I do so, let me fix the terminology to be used in this ...
0
votes
0answers
65 views

Generalized weight space

In their paper Lepowsky and Mcmollum sketch theory of weights in a more general setting. Here is their definition of a weight space: If $A$ is a subset of $\mathfrak g$ and $\lambda$ is a function ...
1
vote
0answers
79 views

Fundamental invariants for root subsystems

Let $\Phi$ be an irreducible root system of rank $\ell$. The fundamental invariants of $\Phi$ is a set of $\ell$ integers $d_1, \cdots, d_\ell$ canonically attached to $\Phi$. Now suppose $\Psi$ is ...
3
votes
4answers
574 views

Representations of the two dimensional non-abelian Lie algebra

I would like to know a complete description of the indecomposable representations of the two dimensional non-abelian Lie algebra over the complex numbers. The finite dimensional representations would ...
5
votes
3answers
315 views

Poincare 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. In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200 it ...
-2
votes
2answers
164 views

Any duality between different real forms of a complex Lie group? [closed]

A complex Lie group may have several real forms. Are there any duality/trinity... between them? Maybe a trivial question to ask, is $SL(3,\mathbb{C})$ a real form of $SL(3,\mathbb{C})\times ...
6
votes
3answers
339 views

Generators of invariant polynomials of semisimple Lie algebra

Suppose $\mathfrak{g}$ is a complex semi-simple Lie algebra. By a theorem of Chevalley, we know that $S(\mathfrak{g})^\mathfrak{g}$, i.e. the $\mathfrak{g}$ invariant polynomials, is generated by $l$ ...
14
votes
2answers
776 views

Is homology finitely generated as an algebra?

If a differential graded algebra is finitely generated as an algebra, is its homology finitely generated as an algebra? Is it easier if we impose any of the three conditions: characteristic zero; ...
1
vote
1answer
177 views

When is the Ad (Adjoint Representation) Morphism a Closed Map

Given a Lie group $\mathfrak{G}$ with finite centre and with Lie algebra $\mathfrak{g}$, I am looking at a simple proof that negative definite Killing form implies compactness. This proof is given ...
0
votes
0answers
52 views

Fixed Point Algebras of Adjoint Actions of Banach Lie groups

I have the following question: Let a be an element in a connected Banach Lie group G (over K, where K is the reals or the complex numbers). We assume that G is not trivial, that has more than one ...
1
vote
1answer
189 views

Basics on lattice in classical groups

as a beginner,I am not sure whether this question is too basic to post here./-\。 Many textbook will talk about the prototypical example SL(n,Z)\SL(n,R), which can be identified with the space of ...
1
vote
0answers
81 views

Examples of Lie subalgebras of universal enveloping algebras

I'm looking for non-trivial examples of triples $(\mathfrak g, L, \psi)$, where $\mathfrak g$ and $L$ are finite-dimensional non-abelian Lie algebras over field $\Bbbk$ and $\psi\colon U_{\mathfrak ...
9
votes
1answer
218 views

Variety of nilpotent Lie algebras or $p$-groups

Here's a couple of analogous questions, one in terms of finite-dimensional complex Lie algebras and one in terms of finite $p$-groups; I'd be interested in an answer to either: 1) Let $\mathcal{L}$ ...
3
votes
4answers
206 views

Nilradical of a Lie algebra associated to a associative algebra

Let $A$ be a finite dimensional (unital) $K$-Algebra. By $A^{\circ}$ we denote the associated $K$-Lie-algebra of $A$ with respect to the product $a\circ b:=ab-ba$. In addition, we denote by ...
0
votes
0answers
65 views

Basis for Witt algebra in general format

The Witt algebra $W(n,m)$ is defined as the set of element ${∑f_jD_j such that f_j∈A(n,m)}$ with usual Lie bracket. I am a bit confused about basis for $W(n,m)$? What is the meaning of $"f_jD_j"$ ? I ...
5
votes
1answer
246 views

Harish-Chandra isomorphism for compact symmetric spaces

I would be interested to have an explicit description of the algebra of invariant differential operators on functions on a compact symmetric space $G/K$. A reference would be especially useful. ...
0
votes
1answer
180 views

A problem about a matrix norm on $\mathfrak{su}(4)$

Given a fixed $B \in \mathfrak{su}(4)$ is it possible to solve for $F$: $\sigma^{\text{max}}\left(\frac{A}{F(A)} + B \right) = 1$, $\forall A \in \mathfrak{su}(4)$. A theorem in ...
5
votes
0answers
206 views

Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course. Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...
2
votes
0answers
120 views

First Variation of Dyson Series/Magnus Expansion

Given the matrix differential equation $\frac{dU_t}{dt}=A_t U_t$ there are at least two ways to write a formal solution. Both the Dyson series: $U_t = \mathcal{T} e^{\int_{0}^{t} A_t dt}$ and the ...
8
votes
2answers
327 views

Sums of degrees of irreducible complex characters

The sum of the degrees of the irreducible complex characters (not the square sum which is the group order) is relevant to determine the dimension of a maximal torus of the Lie algebra associated to ...
2
votes
1answer
136 views

Weight multiplicities for some particular representations of SO(2m).

I am looking for explicit formulas for the weight multiplicities of some particular irreducible representations of $SO(2m)$. It is possible that they have been already computed; in this case I will ...