# Tagged Questions

**1**

vote

**0**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**0**answers

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