**4**

votes

**1**answer

321 views

### About using the character formula for $SO(2n)$.

I have known of the following equation for characters of a $SO(2n)$ representation with highest weights $(h_1,...,h_n)$ and for $(t_1,t_2,..,t_n,t_1^{-1},t_2^{-1},..,t_n^{-1})$ being the eigenvalues ...

**0**

votes

**1**answer

210 views

### explicit realization of irreducible representations of simple lie algebras

I know explicit realization of irreducible representations of simple lie algebra $sl_n$ when the highest weight of that representation is a fundamental weight.Is there any explicit realization of any ...

**3**

votes

**0**answers

142 views

### Homotopes of simple Lie algebras

Let $\mathfrak{g}$ be a complex simple Lie algebra with bracket $[x,y]$. For which $z\in \mathfrak{g}$ defines
$$
\mu(x,y)=ad (z)([x,y])=[z,[x,y]]
$$
another Lie bracket on the same vector space ? For ...

**10**

votes

**1**answer

278 views

### Does the 'string property' finish Joseph's proof of Demazure character formula?

The too long, didn't read form of the question would simply be, has someone completed A. Joseph's proof of the Demazure character formula? Is Joseph's proof considered complete?
In more detail, ...

**9**

votes

**2**answers

479 views

### What is a Homotopy between $L_\infty$-algebra morphisms

A $L_\infty$-algebra can be defined in many different ways. One common way, that
gives the 'right' kind of morphisms, is that a $L_\infty$-algebra is a graded cocommutative and coassociative ...

**5**

votes

**2**answers

438 views

### When did the meaning of the term “metabelian” change?

I just realised that the meaning of the term "metabelian", when applied to groups, or Lie algebras, seems to have changed over years. (These days, it means that $[[G,G],[G,G]]$ is trivial, while in ...

**1**

vote

**1**answer

272 views

### Irreducible quotient of $U\otimes V$

All modules here are finite dimensional. The field is over complex number. Let $U$ be an irreducible $\mathfrak{sl}_n$-module, and $V$ is a highest weight $\mathfrak{sl}_n$-module. Suppose $U\otimes ...

**3**

votes

**1**answer

128 views

### Linear independence in (graded) Lie algebras

I asked a mixed-up version of this question earlier.
The Lie algebras I have in mind are the homotopy Lie algebras of wedges of finitely many spheres (in dimensions greater than $1$). Thus each ...

**17**

votes

**3**answers

810 views

### Is the sequence of partition numbers log-concave?

Let $p(n)$ denote the number of partitions of a positive integer $n$. It seems to me that we have for all $n>25$
$$
p(n)^2>p(n-1)p(n+1).
$$
In other words, the sequence $(p(n))_{n\in ...

**1**

vote

**0**answers

96 views

### Exact sequence of L-infinity-algebras

We call a sequence of $L_\infty$-algebras (weak) maps
$$0\to L\xrightarrow{f} M\xrightarrow{g} N\to 0$$
is exact if it is exact on the the underlying chain complexes level.
Thought I don't know ...

**6**

votes

**1**answer

241 views

### Easy argument for “connected simple real rank zero Lie groups are compact”?

Let $G$ be a connected simple Lie group. It is known that if $G$ has real rank zero, then $G$ is compact.
Background: every connected (semi)simple Lie group $G$ (with Lie algebra $\mathfrak{g}$) has ...

**3**

votes

**1**answer

203 views

### Lie algebras with a one-dimensional maximal subalgebra

Let L be a Lie algebra with a one-dimensional maximal subalgebra. Is the following true?
Over a perfect field of characteristic 0 or p > 3, every such finite-dimensional Lie algebra is either ...

**4**

votes

**1**answer

186 views

### Decomposing tensor products of modules for the orthogonal/symplectic groups in characteristic zero

I would like to know if there is a perfect analogue of the classical Littlewood-Richardson rule for decomposing tensor products of simple modules for the orthogonal/symplectic groups in characteristic ...

**2**

votes

**0**answers

104 views

### Maurer-Cartan elements of the extension of an $L_{\infty}$-algebra

Let $g$ be a nilpotent $L_{\infty}$-algebra. For every commutative differential graded algebra $A$, one can form the extension $g\otimes A$ and endow it with a nilpotent $L_{\infty}$-algebra ...

**1**

vote

**0**answers

101 views

### A Isomorphism between the extension group and cohomology group of Lie algebras [closed]

Within the book An introduction to homological algebra by Weibel, I am trying to prove the following isomorphism, but I am not sure this is true. But I really want to know how to prove or disprove ...

**7**

votes

**1**answer

251 views

### Restriction of highest-weight representations to Heisenberg subalgebras

Let $\mathfrak{g}$ be a finite-dimensional complex simple Lie algebra and $\tilde{\mathfrak{g}}=\mathfrak{g}((t))\oplus \mathbf{C}K\oplus \mathbf{C}d$ its Kac-Moody extension ($K$ is the level and $d$ ...

**12**

votes

**2**answers

374 views

### Introducing division strategically in operads to accommodate formulas like the Baker-Campbell-Hausdorff formula

I am not as familiar with operad terminology as I'd like to be, so I might be missing some well-known term in the area. If so, I'd appreciate any pointers to the correct terms.
Consider the following ...

**2**

votes

**0**answers

54 views

### Is it possible to compute the Iwahori Decomposition using the Chavalley Commutator Formulas?

Ideally, I would like a constructive, algorithmic proof of this fact. I have convinced myself that it is true, but my "proof" is not pretty. I would like to know if a more attractive or intuitive ...

**10**

votes

**0**answers

207 views

### differentiating positive energy LG reps

Background:Let $G$ be a cscsc¹ Lie group, and let $\widetilde{LG}$ be the universal central extension (center = $S^1$) of $LG:=Map_{C^\infty}(S^1,G)$, with the topology inherited from the $C^\infty$ ...

**1**

vote

**2**answers

145 views

### References request: representations of Heisenberg algebra.

Let $p_1, p_2, \ldots$, be the power sum symmetric functions. Let $p_n^* = n \frac{\partial}{\partial p_n}$. Then $$ p_n^* p_m - p_m p_n^* = \delta_{m, n} 1. $$
Where could I find this result in some ...

**1**

vote

**1**answer

129 views

### The orbit $(G\cdot X) \cap \mathfrak{t}$ for $X\in \mathfrak{t}$ singular

This question may be a simple problem for experts. Let $G$ be a connected compact Lie group and $T$ be its maximal torus. Let $\mathfrak{g}$ and $\mathfrak{t}$ be the corresponding Lie algebras. We ...

**0**

votes

**1**answer

181 views

### non-locally simple $\mathcal{g}$-modules

I'm interested in an example of a simple $\mathcal{g}$-module $M$ over some locally simple Lie algebra say $\mathcal{g}\simeq gl(\infty)$ such that $M$ is not isomorphic to a direct limit of simple ...

**4**

votes

**2**answers

297 views

### lie algebras, Kac Moody, and quantum mechanics book

Hi all, I've just finished a graduated course on Kac-Moody algebras, and I'm really looking for some reading in regard to their applications to Quantum Mechanics. Can you help?

**-1**

votes

**1**answer

274 views

### identifying dual of lie algebra of general linear groups

Is there any reference for the following fact? I am looking for a nice and simple proof.
Assume that $G=GL(n,C)$, the group of invertible $n\times n$ matrices with complex entries. Why can the dual ...

**3**

votes

**1**answer

126 views

### Zero-divisors in a graded Lie algebra

Let $\mathfrak{g}$ be positively graded Lie algebra over $\mathbb{Q}$, concentrated in even degrees.
Question: If $\mathfrak{g}$ is not free, must there exist linearly independent elements ...

**6**

votes

**5**answers

473 views

### Applications of Chevalley Restriction Theorem

Let $G$ be a simple linear algebraic group (over $\mathbb{C}$, say) and $\mathfrak{g}$ be its Lie algebra, $\mathfrak{t}\subset \mathfrak{g}$ the Lie algebra of a maximal torus in $G$ and $W$ the ...

**4**

votes

**3**answers

489 views

### Decomposition into irreducibles of symmetric powers of irreps.

Suppose I have an irreducible representation of a simple Lie algebra, say $\mathfrak{sl}(n)$ or $\mathfrak{so}(n)$ i.e., $A$ and $D$ type. Given such a representation, $\Gamma_\lambda$, indexed by its ...

**0**

votes

**1**answer

250 views

### Heisenberg Lie algebras

Dear forum,
I would like to ask if $H(m)$ is the Heisenberg Lie algebra of dimension $2m+1$ and $M$ is an ideal of $H(m)$. Can we say that $M$ has a complement in $H(m)$?

**9**

votes

**1**answer

462 views

### Why are affine Lie algebras called affine?

Hi. I was wondering if someone could explain why we call affine Lie algebras affine. Thanks!
Oliver

**4**

votes

**1**answer

518 views

### Algorithm to find exponential map of differential operators acting on function

I am trying to write a computer program which computes the action of the exponential of a differential operator on a function, for any given differential operator.
Examples:
$\exp(\varepsilon ...

**1**

vote

**1**answer

170 views

### Resolutions of Lie algebras

We have a good notion of dgc algebra resolutions of commutative algebras.
Is there an explicit construction of a dg Lie algebra resolution of a Lie algebra?

**11**

votes

**0**answers

380 views

### Source of a formula for tensor product multiplicities?

This is a follow-up to a recent question by Allen Knutson here, involving a special type of tensor product multiplicity for a simple Lie algebra $\mathfrak{g}$ over $\mathbb{C}$ (or other ...

**3**

votes

**1**answer

196 views

### Quantized conserved quantities appearing from the Lie-algebra

Hi,
consider a simple situation in quantum mechanics: Your Hilbert space is $\mathcal{H}=L^2(\mathbb{R}^3)$ and you use the obvious unitary representation $\pi\colon G=O(3)\times\mathbb{R}^3\to ...

**2**

votes

**2**answers

126 views

### Connectedness of Springer Fibers

Let $G$ be a connected, simply-connected, complex semisimple Lie group with Lie algebra $\frak{g}$. Let $\mu:T^*\mathcal{B}\rightarrow\mathcal{N}$ be the Springer resolution of $\mathcal{N}$. If ...

**0**

votes

**2**answers

161 views

### quasi-minuscule representations

Wich representations of $F_{4}$, $E_{8}$ and $G_{2}$ are quasi-minuscule?

**2**

votes

**0**answers

131 views

### Explicit Lie May structure on cosimplicial DG Lie algebras

In the paper "Homotopy Lie algebras", Schechtman and Hinich proved that any cosimplicial
differential graded Lie algebra has the structure of a 'Lie May algebra'.
If my understanding is right here, ...

**3**

votes

**1**answer

232 views

### 'Generalised' coinvariant algebras

Let $\mathfrak{g}$ be a simple complex Lie algebra, and $\mathfrak{h}\subset\mathfrak{g}$ a Cartan subalgebra with Weyl group $W$. Consider the fibre product $\mathfrak{h}\times_{\mathfrak{g}} N$, ...

**0**

votes

**0**answers

179 views

### polynomial representation of $sl_{2}(k)$

Let $k$ be an algebraic closed field of characteristic 0. We write
$$X=\left(
\begin{array}{ccc}
0 & 1\\
0 & 0\\
\end{array}
\right),~~
Y=\left(
\begin{array}{ccc}
0 & 0\\
1 & 0\\
...

**2**

votes

**1**answer

349 views

### Reference request - localisation de g-modules

Does anyone have a link to a copy of Beilinson-Bernstein's "Localisation de g-modules", in which they prove the Beilinson-Bernstein theorem? I can't find it anywhere.

**1**

vote

**0**answers

174 views

### universal enveloping algebras and commutator subalgebras

Let $A$ and $B$ are Lie subalgebras of a Lie algebra $L$. $U(A)$,
$U(B)$ and $U(L)$ are the universal enveloping algebras of $A$, $B$
and $L$, respectively. Let $[A, B]$ be the Lie subalgebras ...

**2**

votes

**1**answer

273 views

### finite dimensional irreducible representation of finite dimensional nilpotent Lie algebra

Let $k$ be a field, $L$ be a finite dimensional nilpotent Lie
algebra over $k$ and $M$ be a finite dimensional irreducible
representation of $L$. Assume that there is a linear function $\rho
: ...

**5**

votes

**1**answer

456 views

### A question about the proof of Beilinson-Bernstein localisation

I'm trying to understand the proof of the Beilinson-Bernstein localisation theorem at the moment, but there's just one point where I'm having a mental block, and was wondering if anybody could clarify ...

**3**

votes

**1**answer

162 views

### Reduction of antisymmetric complex matrices

Let $E=\mathfrak{so}(n,\mathbb{C})$ be the Lie algebra of antisymmetric complex matrices. We consider the action of the complex orthogonal group $SO(n,\mathbb{C})$ on $E$ by conjugation. Is there a ...

**1**

vote

**2**answers

279 views

### Gerstenhaber bracket out of $L_\infty$ algebras

Given a Lie algebra g, with $Ug$ being its universal enveloping algebra, one can construct a cochain complex $d: Ug^n \rightarrow Ug^{n+1}$, and a Gerstenhaber bracket on $\oplus_n Ug^n$ so that ...

**2**

votes

**1**answer

190 views

### Criterion for nilradical of a maximal parabolic subalgebra to be abelian?

This question has some overlap with previous ones but doesn't seem to have a well-documented answer. I recall some literature (mostly involving Lie groups and hermitian symmetric pairs, etc.) which ...

**9**

votes

**3**answers

785 views

### HIgher Homotopy Groups and Representation Theory

Let $G$ be a compact Lie group, and $g$ its associated Lie algebra.
In what ways do the higher homotopy groups $\pi_{n}(G)$ with $n>1$ appear in the representation theory of $G$?
As an example, ...

**6**

votes

**1**answer

225 views

### Does the vanishing of the Poisson bracket on $S(\mathfrak{g})^{\mathfrak{g}}$ inspire the disover of Duflo's isomorphism theorem?

For any finite dimensional Lie algebra $\mathfrak{g}$, we know that the universal enveloping algebra $U(\mathfrak{g})$ is a deformation of the symmetric algebra $S(\mathfrak{g})$. In fact let's define
...

**5**

votes

**1**answer

177 views

### Endomorphisms in Category O and Schubert Classes

Let $\mathfrak{g}\supset \mathfrak{b}\supset \mathfrak{h}$ be a complex semisimple Lie algebra, with choice of Borel and Cartan subalgebras, $W$ the Weyl group.
W. Soergel's 'Endomorphismensatz' ...

**3**

votes

**1**answer

399 views

### Centralizers of Nilpotent Elements in Semisimple Lie Algebras

Let $G$ be a connected, simply-connected, complex, semisimple Lie group with Lie algebra $\frak{g}$, and let $\xi\in\frak{g}$ be a nilpotent element. I am interested in understanding the structure of ...

**0**

votes

**1**answer

129 views

### A question about G-Manifolds

I am looking for a clear reason for following fact:Is there any reference ?
Why a $G$-invariant differential form $\omega$ on a homogeneous $G$-manifold $M=G/H$ is uniquely determined by its value at ...