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
vote
0answers
108 views

Are Generalized Verma modules natural w.r.t isometries?

Let $H$ be a subgroup of $G$ with Lie algebras $\mathfrak{h}$ and $\mathfrak{g}$ respectively. If I have 2 representations $V, W$ of $\mathfrak{h}$ equipped with a $\mathfrak{h}$ invariant inner ...
2
votes
1answer
136 views

Branching rule for classical Lie algebras in positive characteristic

The restriction of an irreducible $\mathfrak{sl}_n(\mathbb{C})$-module to $\mathfrak{sl}_{n-1}(\mathbb{C})$ is described by a branching rule which says that if $L(\lambda)$ is the simple ...
0
votes
0answers
77 views

Stability principal $G$-bundles

I'm trying to study some papers about the stability of principal bundles and in order to have a complete picture of this theory I need some explicit examples that I don't find in web. Let $X$ be a ...
4
votes
2answers
365 views

Chevalley Groups over an arbitrary ring.

My question is simply about the Chevalley groups over rings. In many books, including Carter's book on "Simple groups of Lie types", the groups are considered over fields. I have checked the ...
3
votes
1answer
184 views

What is twisted in a twisted Poisson structure?

The usual definition of a twisted Poisson algebra involving a 3-form does not seem to refer to a Poisson algebra that is then twisted, i.e. twisting either the commutative product or the Lie bracket. ...
3
votes
3answers
229 views

Computation of restricted Lie algebra (co)homology

My question is the following: Is there a small complex, perhaps analogous to the Chevalley-Eilenberg complex, computing the (co)homology of a restricted Lie algebra over a field of characteristic ...
-1
votes
1answer
165 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
276 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
299 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
368 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
172 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
120 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 ...
2
votes
1answer
128 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
166 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
149 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
421 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
292 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
153 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
819 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
359 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
96 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
163 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
124 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
244 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
111 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 ...
0
votes
0answers
55 views

compute the determinant of a conjugacy map

Let $k$ be an algebraically closed field. Let $F=k((\pi))$ and $\mathcal{O}$ the ring of integers, let $\gamma\in T(F)$ regular semisimple for a connected reductive group $G$. We consider the map ...
8
votes
3answers
445 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
120 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
181 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
219 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
250 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
290 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
558 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
499 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
322 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
378 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
408 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
168 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
1answer
286 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
82 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
302 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
194 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
137 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
276 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
2answers
384 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
409 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
248 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
113 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
779 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
90 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 ...