**1**

vote

**2**answers

306 views

### Representation theory, classical Lie algebra, D_{n}

I want to know the fundamental representation of classical Lie algebra of type $D_{n}$ over complex numbers with the following informations. For example, $L(\omega_i)$ be a fundamental rep of ...

**0**

votes

**1**answer

255 views

### fiber bundle on an orbit of $\mathfrak{g}\oplus\mathfrak{g^*}$

Let $G$, be a Lie Group and $\mathfrak{g}$ be its Lie algebra ,i.e, $Lie(G)=\mathfrak{g}$. Let $\zeta=(\ X,F)\ \in \mathfrak{g}\oplus\mathfrak{g^*}$. Here $X\in \mathfrak{g} $ and $F\in ...

**12**

votes

**2**answers

350 views

### calculating Littlewood-Richardson coefficients

It is known that if $\alpha,\beta,\gamma$ are three partitions then the Littlewood-Richardson coefficient $c_{\alpha \beta}^{\gamma}$ is positive when the triple ($\alpha,\beta,\gamma$
) occurs as ...

**0**

votes

**1**answer

160 views

### when $g^*$ is invariant under $Ad(G)$?

Let $G$ be a Lie Group and $\mathfrak{g}$ be its lie algebra.
Let $\mathfrak{g}$ is semisimple or reductive lie algebra, then prove that $\mathfrak{g}^*$ (dual of $\mathfrak{g}$)is invariant under ...

**2**

votes

**1**answer

261 views

### Kac Moody algebra defintion

Why is the dimension of the cartan subalgebra $2n-\text{rank}(A)$ in the defintion from Kumar's book. From a few examples I can see why the defintion is the way it is, but, I would like a better ...

**2**

votes

**0**answers

79 views

### The condition of maximality in branching rules of $SO$ group representations

Let the highest weight of a $SO(2n+1)$ representation be given as $(m_1,m_2,...,m_n)$ ($m_1\geq m_2 \geq .. \geq m_n \geq 0$) and the highest weight of a $SO(2n)$ representation be $(s_1,s_2,...,s_n)$ ...

**4**

votes

**1**answer

289 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

184 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

130 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

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

**7**

votes

**2**answers

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

**6**

votes

**2**answers

400 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

232 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

106 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

762 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

88 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

203 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

194 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

144 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

96 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

90 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

220 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

363 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

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

**9**

votes

**0**answers

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

**0**

votes

**0**answers

67 views

### Killing form of fundamental representations

I try to calculate the Cartan subalgebra generators in the $6$-dimensional fundamental representation of $SU(4)$ group. I'm able to find these generators however fixing the overall constants of these ...

**0**

votes

**0**answers

73 views

### Heisenberg algebra and other Lie algberas [duplicate]

Dear all,
Is there a sub Lie algebra $K$ such that for an ideal $M$ of a Heisenberg algebra $H$,
$H=K+M$ and $K\cap M=0$ ($M$ has a complement in $H$)?
Is there a class of Lie algebras such every ...

**1**

vote

**2**answers

138 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

123 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

174 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

264 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

223 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

116 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

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

**3**

votes

**3**answers

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

**-1**

votes

**1**answer

237 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)$?

**8**

votes

**1**answer

420 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

**3**

votes

**1**answer

347 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

159 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

332 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

166 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

119 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

133 views

### quasi-minuscule representations

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

**2**

votes

**0**answers

126 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

190 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

168 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

273 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

155 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

245 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

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