**0**

votes

**0**answers

34 views

### Does an arbitrary product of $f$ and $f^\dagger$ belong to a universal enveloping algebra of the Heisenberg algebra?

The Heisenberg algebra is essentially the canonical commutation relations (CCR) for bosons $[f,f^\dagger]=1$. $f$ is called an annihilation operator in physics ($f^\dagger$ creation operator). ...

**2**

votes

**1**answer

88 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

117 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

**2**answers

214 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

**1**answer

70 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

**0**answers

119 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

**2**answers

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

**4**

votes

**1**answer

89 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

**1**answer

127 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

**1**answer

91 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

**0**answers

262 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

**1**answer

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

**4**

votes

**4**answers

287 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

76 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

**0**answers

36 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

**1**answer

213 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

**0**answers

133 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

**1**answer

115 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

**1**answer

52 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

**1**answer

124 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

**0**answers

58 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

**0**answers

74 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

**4**answers

491 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

**3**answers

291 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

**2**answers

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

**5**

votes

**2**answers

202 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

**2**answers

733 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

**1**answer

164 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

**0**answers

47 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

**1**answer

186 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

**0**answers

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

**8**

votes

**1**answer

190 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

**4**answers

201 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

**0**answers

53 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

**1**answer

227 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

**1**answer

122 views

### A problem on 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

**0**answers

200 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

**0**answers

87 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

**2**answers

304 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

**1**answer

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

**4**

votes

**2**answers

124 views

### Invariant planes of a nilpotent matrix with two Jordan blocks of size two

Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map
$$
N = \begin{pmatrix}
0 & 1 & & \\
0 & 0 & & \\
& & 0 ...

**0**

votes

**0**answers

180 views

### PBW proof proposal

One version of the PBW theorem states:
$\omega $:$\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras.
I am curious if this is a possible proof for the PBW theorem, part is taken ...

**0**

votes

**1**answer

71 views

### equation for geodesics of a right invairant Finsler metric on $SU(n)$ which are parallel to a linear affine distribution

I am looking for an equation analogous to the Euler-Poincare equations for a right invariant Finlser metric except I want the geodesics which are parallel to a linear affine distribution on $SU(n)$. ...

**11**

votes

**2**answers

395 views

### Who originated the standard symbols for Lie groups GL, SL, SU, etc.?

Who was first to use symbols GL, SL, O, SO, U, SU, Sp and their projective versions, and how did this notation become standard?
The notation appears in fairly modern form in Weyl's "The Classical ...

**5**

votes

**3**answers

392 views

### Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...

**1**

vote

**1**answer

56 views

### Bi-invariant one forms on compact Lie groups

I'm hoping to learn of a criterion for the existence of a bi-invariant one form on a Lie group $G$. I'm looking for a reference that there are no such one forms son $SU(n)$ (as long as this is in fact ...

**2**

votes

**0**answers

131 views

### Can the commuting condition in Jordan-Chevalley decomposition be replaced with this global criterion?

Let $G$ be a reductive linear algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra.
The Jordan-Chevalley ...

**0**

votes

**0**answers

59 views

### deformation of Lie algebra

How can we deform a given Lie algebra? In particular, in the attachment file how can we arrive at the commutation relations (20) by starting from the commutation relation (19)?
...

**8**

votes

**1**answer

181 views

### Construction of the Lie functor: left vs. right invariant vector fields on Lie groups and Lie groupoids

When constructing the Lie algebra $L(G)$ of a Lie group $G$, one usually uses the identification of the tangent space $T_1 G$ with left invariant vector fields $\mathcal{V}^l(G)$ to construct the Lie ...

**0**

votes

**0**answers

97 views

### A special Lie subalgebra

Motivated by comments of the following post A question on involutions on the Lie algebra of vector fields we ask the following question:
Let $L$ be a Lie algebra. We consider the Lie subalgebra ...