**0**

votes

**0**answers

36 views

### format of grading Witt Lie Algebra

Let $W(n,m)$ be generalized Jacobson-Witt algebra over a field of characteristic p>3, according to the grading of $W(n,m)$ , we know that it inherit the grading from $A(n,m)$ as follows: ...

**1**

vote

**0**answers

86 views

### A Lie algebra assiciated with a one dimensional foliation

A non vanishing vector field $X$ on a manifold is called "well behaved" if for every non vanishing smooth function $f$ we have $$C(X)\simeq C(fX)$$ This means that the centralizer Lie algebras ...

**0**

votes

**0**answers

39 views

### An embedding of modules by tensor product over a Noetherian domain

I have a problem on Ring theory. I would like to prove or disprove the following statement:
Let $R$ be a Noetherian domain. Then by the Goldie theorem $R$ have $Q$ as a full ring of quotients and $Q$ ...

**4**

votes

**2**answers

711 views

### A question about Marsden-Weinstein reduction theory

Let $G$ ba a compat Lie group and $\frak g$ be its Lie algebra, then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J:M\to \frak g^*$ be its moment map then the reduced ...

**2**

votes

**0**answers

53 views

### Reference for exercises with solutions for affine Lie algebras

I am doing self-study of affine Lie algebras, and while I have all recommended reference material, I find it hard to prepare for the exam.
It was quite easy to study finite-dimensional simple Lie ...

**1**

vote

**0**answers

119 views

### The geometry of the holomorph of a Lie group

Every Lie group $G$ is naturally contained in its holomorph Hol($G$) = $G \rtimes $ Aut($G$)
Is Hol$(G)$ always a Lie group?
If the answer is yes our main questions:
1.For a left ...

**16**

votes

**2**answers

1k views

### Invariants for the exceptional complex simple Lie algebra $F_4$

This is an edited version of the original question taking into account the comments below by Bruce. The original formulation was imprecise.
Let $\mathfrak{g}$ denote a complex simple Lie algebra of ...

**57**

votes

**11**answers

13k views

### why study Lie algebras?

I don't mean to be rude asking this question, I know that the theory of Lie groups and Lie algebras is a very deep one, very aesthetic and that has broad applications in various areas of mathematics ...

**3**

votes

**0**answers

94 views

### Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...

**0**

votes

**0**answers

34 views

### PBW for Lie Superalgebras [migrated]

The PBW Theorem
In the literature there are many sources discussing the PBW-basis for Lie superalgebras, see for example M. Scheunert - The Theory of Lie Superalgebras theorem 1 and corollary in ...

**4**

votes

**2**answers

196 views

### An algorithm to compare two representations of a simple Lie algebra?

I have two representations of a simple (complex or real) finite-dimensional Lie algebra $S$, both given in terms of their structure constants on a given basis.
the first one is the adjoint ...

**-1**

votes

**1**answer

103 views

### cartan killing metric [closed]

I know that we can define the killing form on a lie algebra. However, when going to the group manifold, does this give rise to a metric on the manifold? I thought that would be the case, but I cant ...

**5**

votes

**2**answers

219 views

### Convention about “long” roots for simple Lie algebras of types ADE?

The classification of simple Lie algebras (over $\mathbb{C}$ or other sufficiently large field of characteristic 0) correlates these Lie algebras with the irreducible reduced root systems (in ...

**2**

votes

**0**answers

41 views

### Computing maximal ideals of a Lie algebra

Would you know an algorithm (or an automatic method) that computes all maximal ideals $J$ of a given Lie algebra?
Or an algorithm that computes all maximal ideals $J$ containing a given minimal ideal ...

**1**

vote

**3**answers

285 views

### What are Carnot groups?

I'm trying to learn the Pansu differentiability theorem and I need to know what Carnot groups are. Can someone please explain what Carnot groups are? An introductory reference would be greatly ...

**4**

votes

**0**answers

257 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 ...

**1**

vote

**1**answer

86 views

### Commutators of Schur polynomials of Lie algebra elements

Question:
Is there a well-known formula for computing the commutators of Schur polynomials when the variables are Lie algebra elements? If the algebra has a particularly simple commutation relation, ...

**1**

vote

**0**answers

78 views

### representation of $SO(p)\times SO(q)$ with $p,q$ odd

Assume $p,q$ odd. We denote by $\sigma_p$ the standard representation of $SO(p)$, that is the representation of $SO(p)$ acting on $\mathbf{R}^p$ as matrix. So is $\sigma_q$.
Take $K=SO(p)\times ...

**2**

votes

**1**answer

183 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$.
...

**0**

votes

**1**answer

150 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

**1**answer

173 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 ...

**6**

votes

**5**answers

1k views

### Weight lattice and the fundamental group

Let $G$ be a compact connected Lie group and let $T$ be a maximal torus of $G$, with Lie algebras $\frak{g}$ and $\frak{t}$ respectively. Then, $\frak{t}$ can be considered as a Cartan subalgebra of ...

**6**

votes

**4**answers

747 views

### Lie algebra $\mathfrak{so}(9)$ as a subalgebra of $\mathfrak{f}_4$

What are the explicit Lie algebra mono-morphisms from $\mathfrak{so}(9)$ into the exceptional Lie algebra $\mathfrak{f}_4$ and from $\mathfrak{f}_4$ to $\mathfrak{e}_6$? Are these explicitly described ...

**4**

votes

**0**answers

99 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

**0**answers

35 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

**0**answers

98 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

**3**answers

218 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

**1**answer

215 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

**1**answer

140 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, ...

**8**

votes

**2**answers

811 views

### Hopf algebra structure on the universal enveloping algebra of a Leibniz algebra?

A Leibniz algebra L may be thought of as a noncommutative generalisation of a Lie algebra. One drops the requirement that the bracket be alternating and substitutes the Jacobi identity for the ...

**3**

votes

**1**answer

84 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$ ...

**1**

vote

**0**answers

73 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.
...

**6**

votes

**1**answer

172 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 ...

**2**

votes

**2**answers

230 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 ...

**3**

votes

**1**answer

321 views

### Reductive Lie Groups and Complexification

Let $G$ be a complex Lie group (not necessarily connected) with reductive Lie algebra $\frak{g}$. (We may assume that $G$ has finitely many connected components and is linear-algebraic.) Of course, ...

**2**

votes

**1**answer

99 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

**1**answer

123 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

**1**answer

72 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. ...

**25**

votes

**11**answers

3k views

### What does the generating function $x/(1 - e^{-x})$ count?

Let $x$ be a formal (or small, since the function is analytic) variable, and consider the power series
$$ A(x) = \frac{x}{1 - e^{-x}} = \sum_{m=0}^\infty \left( -\sum_{n=1}^\infty ...

**5**

votes

**1**answer

97 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}$:
$$
...

**6**

votes

**3**answers

513 views

### Rigid nilpotent Lie algebras

I am very interested in the Nicola Ciccoli's answer to a question formulated in math*overflow*:67717
My questions are:
Can a nilpotent Lie bracket be rigid in the scheme of Lie brackets on ...

**1**

vote

**2**answers

170 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 ...

**1**

vote

**1**answer

130 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 ...

**2**

votes

**1**answer

221 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 ...

**13**

votes

**3**answers

1k views

### How are these two ways of thinking about the cross product related?

I was always bothered by the definition of the cross product given in e.g. a calculus course because it's never made clear how one would go about defining the cross product in a coordinate-free ...

**6**

votes

**1**answer

95 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

**1**answer

89 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 ...

**1**

vote

**0**answers

264 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
...

**4**

votes

**4**answers

295 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

**1**answer

78 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}, ...