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

-1
votes
1answer
173 views

irreducible Classical Lie algebras [closed]

which submodule of FG-module of a lie algebra $L$ will be determined I want to check that how we can find out a classical lie algebra like $D_4$ and $E_6$ are irreducible?
0
votes
1answer
277 views

Symplectic structure on $Sym^kG^{\mathbb{C}} $

Let $G$ be a compact Lie group, and let $G^\mathbb{C}$ be its complexification. I am looking for a symplectic structure (without use of coordinates) on $$ Sym^kG^{\mathbb{C}}, $$ PS:Here ...
10
votes
0answers
327 views

“Special” meanders

One of the open problems in combinatorics is enumeration of meanders. Here on MO I only could find them under the heading not-especially-famous-long-open-problems-which-anyone-can-understand. Since ...
5
votes
1answer
401 views

Geometric structure of flag manifolds, Borel -Weil-Bott theorem

I want to know if there is proof of Borel Weil Bott theorem, that is as geometric as it can be. Let $G$ be a semisimple compact Lie group and $T$ be a maximal torus. We know that $G/T$ is a ...
3
votes
2answers
194 views

Moving Between Weight Spaces in Highest-Weight Representations

Let $G$ be a connected, simply-connected complex semisimple linear algebraic group with Lie algebra $\frak{g}$. Fix a maximal torus $T\subseteq G$ and let $\Delta\subseteq Hom(T,\mathbb{C}^*)$ be the ...
1
vote
0answers
126 views

About the Lie algebra of polyvector fields

I would like to know if someone already did some computations of the group of Lie algebra automorphisms of the algebra of polyvector fields on $\mathbb{R}^n$ equiped with the Schouten bracket (or ...
18
votes
1answer
825 views

Why is there a connection between enumerative geometry and nonlinear waves?

I'm not 100% sure that this question is appropriate for this site. If it's not, please tell me and I'll delete it. Recently I encountered in a class the fact that there is a generating function of ...
2
votes
1answer
138 views

Split real form of $SL(2,\mathbb{C})$ description of the two sphere?

If we denote the parabolic subgroup of $SL(2,\mathbb{C})$ by $P$, then we have the well known isomorphism $SL(2,\mathbb{C})/P \simeq S^2$, where $S^2$ is the two sphere. Now the compact real form of ...
7
votes
1answer
189 views

Chevalley restriction theorem for exterior algebras

Suppose $G$ is semisimple Lie group, $\mathfrak{g}$ is its Lie algebra, $\mathfrak{h}$ is a Cartan subalgebra of $\mathfrak{g}$, and $W$ is the correspondent Weyl group. Chevalley restriction theorem ...
2
votes
0answers
155 views

The fundamental in the tensor square of a complex representation of $SO(N)$

I would like to figure out whether there is an irreducible complex (in the sense non-self-conjugate) representation of a group $SO(N)$, $N>2$, whose tensor square contains the fundamental ...
1
vote
1answer
429 views

Para-Complexification of Lie Groups

Let $G$ be a real Lie group. Then the complexification $G_\mathbb{C}$ of $G$ is the unique complex Lie group equipped with a map $φ:G\to G_\mathbb{C}$ such that any map $G\to H$ where $H$ is a ...
-1
votes
1answer
341 views

Witt Lie algebras

For Witt Lie Algebras over field of characterestic $p>3$ we know that $\operatorname{dim}W(n;m):=np^{|m|}$ , such that $|m|=m_1+⋯+m_n$ . I would like to know what is the dimension of Witt ...
1
vote
1answer
177 views

contraction identity and killing form

Dear MathOverFlow: As many of you know, the Lie algebra of the group of $3 \times 3$ orthogonal matrices (with determinant one) is isomorphic to $\Bbb{R}^3$ endowed with the cross-product $a \times ...
11
votes
1answer
839 views

Is this error in this paper of Langlands fixable?

The FQS criterion for the Virasoro algebra was discovered by Friedan, Qiu and Shenker (1), but the mathematicians found their proof insufficient, so that, FQS (2) and Langlands (3), published in the ...
2
votes
1answer
370 views

A question about flag variety of $SL(n,\mathbb{C})$

We know that the flag variety $SL(2,\mathbb{C})/B$ which $B$ is Borel subgroup, can be identified with $\mathbb{P^1}$, What can we say about $SL(n,\mathbb{C})/B$ which $B$ is Borel subgroup of ...
1
vote
1answer
108 views

hamilton type Lie algebras

If n be positive integer and for an n-tuple of positive integers m=(m1,...,mn) then p(n,m) is graded and filtered subalgebra of W(n,m).p(n,m) is called non-alternating hamilton lie algebra over GF(2). ...
4
votes
0answers
207 views

How to find the unitary matrices in this exponential matrix representation

In the following post Representing a product of matrix exponentials as the exponential of a sum there is a statement regarding the result of the multiplication of two matrix exponentials: if $A$ and ...
1
vote
1answer
128 views

Casimir of a three dimensional solvable lie algebra

Good morning everyone. I've encountered recently during my computations the following lie algebra $$\mathfrak g=\text{span}(f_0,f_1,f_2),$$ with $$\begin{eqnarray}[f_2,f_1]&=&f_0+a f_2,\\ ...
6
votes
1answer
256 views

Is Nijenhuis–Richardson bracket a BV bracket?

Let $g$ be a finite dimensional Lie algebra, and let me denote $A=(\bigwedge g^* \otimes g, d)$ the Chevalley-Eilenberg complex that calculates cohomology of the Lie algebra with coefficients in the ...
2
votes
1answer
114 views

Spectral sequence in Lie algebra

The exact sequence $0\rightarrow sl(A)\rightarrow gl(A)\rightarrow A/[A,A]\rightarrow 0$ gives rise to a spectral sequence in homology, I want to know the details for this spectral sequence at the ...
8
votes
3answers
470 views

What is the categorical significance of the trivial $\mathfrak{g}$-module in the category of $\mathfrak{g}$-mod?

This question may be trivial for experts. Let $\mathfrak{g}$ be a Lie algebra over a field $k$ and consider the category $\mathfrak{g}$-mod of $\mathfrak{g}$ modules. We can add suitable conditions, ...
2
votes
1answer
136 views

Jacobi identity for circular permutations

Let $\left(g_i\right)$ be a sequence of $N$ elements of a Lie algebra. Let $s$ be a cyclic permutation of $N$ elements of order $N$: $(1,2,...,N)\to(2,...,N,1)$. Let ...
0
votes
1answer
212 views

Coadjoint orbits and homogeneous symplectic $G$-manifolds

We know this important fact from A.A.Kirillov that : Every homogeneous symplectic $G$-manifold is locally isomorphic to an orbit in the coadjoint representation of the group $G$ or a central ...
3
votes
1answer
265 views

Could we define the semi-direct product of two universal enveloping algebras?

If we have two Lie algebras $\mathfrak{g}$ and $\mathfrak{h}$ over a field $k$, and if we have a Lie algebra homomorphism $\mathfrak{g}\rightarrow \text{Der}_k(\mathfrak{h})$, then we can define the ...
2
votes
2answers
271 views

Truncated induction for exceptional cases

In Carter's book (Finite groups of Lie type), he reviews the truncated induction procedure (called j-operation in the text) of Macdonald-Lusztig-Spaltenstein in great detail for the classical Weyl ...
4
votes
1answer
301 views

Does $\text{Mat}_n(k)$ have some universal properties similar to its universal enveloping algebra?

Let $k$ be a field and $\text{Mat}_n(k)$ be $n \times n$ matrices over $k$. Let's consider $\text{Mat}_n(k)$ as an associative algebra and denote $gl_n(k)$ be the same $k$-linear space as ...
14
votes
3answers
598 views

Can one show the equivalence of the abstract and classical Jordan decompositions for simple Lie algebras without complete reducibility?

The following fact is basic in the theory of complex Lie algebras: Theorem. Let ${\mathfrak g} \subset {\mathfrak gl}_n({\bf C})$ be a simple Lie algebra, and let $x \in {\mathfrak g}$. Let $x = ...
2
votes
1answer
653 views

Kirillov-Kostant-Souriau Theorem on $\mathfrak{g}\oplus \mathfrak{g^*} $

My question is about the extention of kirillov's symplectic structure on coadjoint orbits. The most remarkable feature of the coadjoint representation is the fact that all coadjoint orbits possess a ...
1
vote
2answers
362 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
1answer
454 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
2answers
524 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
1answer
175 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 ...
3
votes
1answer
314 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
0answers
87 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
1answer
327 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
1answer
215 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
0answers
143 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
1answer
323 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
2answers
499 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
2answers
446 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
1answer
276 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
1answer
131 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
3answers
824 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
0answers
100 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
1answer
260 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
1answer
205 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
1answer
198 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
1answer
143 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
0answers
105 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
1answer
260 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$ ...