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

5
votes
2answers
244 views

Summary of Lie-Algebra integration tactics

If this is in the scope of MO, I would like to gather here the known tactics of Lie algebra integration, since it appear surprisingly hard to find such a compendium, library or any other kind of ...
0
votes
2answers
166 views

A question on Lie algebras

To what extent, the following types of Lie algebras are classified : Those Lie algebras $L$ such that every Lie Group $G$ with $Li(G)\sim L$, is necessarily compact.
1
vote
1answer
133 views

adjoint action of a Levi subalgebra

We work over an algebraically closed field of characteristic 0. Let $\mathfrak{g}$ be a reductive Lie algebra and let $\mathfrak{p}\supset\mathfrak{m}$ be a parabolic subalgebra, respectively a Levi ...
6
votes
1answer
333 views

Origin of symbols used for half-sum of positive roots in Lie theory?

The Weyl character formula is a central result in the finite dimensional representation theory of semisimple Lie groups, algebraic groups, Lie algebras. Related questions on MO include these here ...
0
votes
0answers
111 views

A question on lie groups( Lie algebras)

What is an example of a compact Lie group $G$ which is not isomorphic to a product of two nontrivial lie groups and satisfies the following property: There are two non zero vector fields $X, Y \in ...
1
vote
1answer
65 views

Hermitian symmetric structure on a homogeneous subspace

Let $G$ be a semisimple group over $Q$ and $K$ a maximal compact subgroup of $G(R)^+$. I am assuming that $G(R)^+/K$ has a structure of a non-compact Hermitian symmetric domain. Let $g= p + k$ be ...
0
votes
2answers
104 views

Derivations of algebra of smooth $g$-valued function?

Let $M$ is a smooth n-manifold and $g$ is a $Z_2$-graded Lie algebra, we denote the algebra of smooth $g$-valued function on $M$ by $C^{\infty} (M,g)$. I wanna find all graded derivation of ...
5
votes
0answers
140 views

A question on the resolution of parabolic Verma module $M_I(\lambda)$ in BGG category O

I am reading Humphrey's book "Representations of semisimple Lie algebras in the BGG Category O" on Page 189, Proposition 9.6, where he remarked that "Note that if we had developed the full BGG ...
3
votes
1answer
422 views

How was this Lie algebra found?

In a paper the author lists, without justification, generators for a Lie algebra. I would be grateful if someone could justify these choices and perhaps suggest how I might have found them for myself. ...
6
votes
1answer
393 views

Getting the story of Dynkin and Satake diagrams straight

I've been trying to teach myself the theory of Lie groups. The sources I've been reading reference Lie algebras in the context of Dynkin and Satake diagrams, but not Lie groups (which I am more ...
12
votes
1answer
253 views

Associators, Grothendieck-Teichmüller group and monoidal categories

The standard definition of an associator seems to be that it a a grouplike power series in two variables $x$ and $ y $ satisfying some pentagon and hexagon relations. In other words, denoting by $ ...
4
votes
1answer
217 views

The existence of a finite dimensional Lie algebra with a given symmetric invariant metric

The question is motivated by a more broad perspective in another MO post and here, but here we would like to understand a specific case (our question potentially connects to / is motivated b Quantum ...
4
votes
1answer
222 views

Finite dimensional Lie algebra with non-degenerate invariant bilinear forms $\Omega_{ab}$

Firstly, my apology to MO experts that I am in a more science/physics background (a PhD). So please feel free refine/modify/comment my language if I have different math accents than yours. From ...
3
votes
2answers
333 views

Complete classification of six dimensional non-semi simple Lie algebra

I would aim to know the complete classification of 6 dimensional non-semi simple Lie algebra (here the dimension stands for the generators; or the dimension $\leq 6$). In this paper, in page 7, it ...
4
votes
3answers
291 views

Lie groups vs Lie monoids

Does there exist a well developed theory of a class of objects which might rightfully be called Lie monoids? By this I mean with axioms similar to those of Lie grousp but with the axiomatic existence ...
2
votes
1answer
150 views

The centralizer of Lienard equation

Consider the lienard vector field $\cases{ x'=y -F(x) \\ y'=-x } $ in $\mathbb{R}^{2}$, where $F$ is a polynomial fuction with $F(0)=0$. Assume that $Y$ is a smooth vector field globally defined ...
0
votes
1answer
142 views

Highest weights of irreducible components of tensor product of irreducible sl(3)-module [closed]

I am study the representation theory of $sl(3)$ and I have a question about the tensor representation of irreducible $sl(3)$-modules as follows: For each weight $\mu$, let $L(\mu)$ be the irreducible ...
2
votes
1answer
144 views

Right Invariant Randers metrics

I'm hoping to determine the geodesic equation for a right invariant Randers metric $F(x) = \sqrt{a(x,x)} + b(x)$ on $SU(N)$. In my special case the navigation data $(h,W)$ for the Randers metric are ...
3
votes
2answers
182 views

How to find faces of polytope defined by a Weyl orbit

A few days ago I asked the following question at MSE and received no answer. I thought I would try here. Let $\xi$ be an integral dominant weight of an irreducible root system $\Delta$, and let ...
2
votes
1answer
157 views

A class of Lie groups with $f^{abc} \neq -f^{acb}$ (not fully anti-symmetrized) or $f^{abc} \neq f^{bca}$ (not-cyclic)

With the motivation to understand the Lie group structure constraint on a non-Abelian Chern-Simons theory, could some experts give a class of Lie groups with structure constants cannot fully ...
4
votes
3answers
584 views

Reg the motivation behind Lusztig-Vogan bijection

Let $G$ be an algebraic group. Choose a Borel subgroup $B$ and a maximal Torus $T \subset B$. Let $\Lambda$ be the set of weights wrt $T$ and let $\mathfrak{g}$ be the lie algebra of $G$. Now, ...
6
votes
1answer
356 views

History of Jordan Canonical Form?

Can anyone suggest a reference that discusses the history of the Jordan canonical form? In particular, I am interested in: When and how was it first stated? (I understand it was independently stated ...
8
votes
0answers
254 views

Lie algebras vs. graph complexes

A ribbon graph is a graph in which every vertex has valence at least three and is equipped with a cyclic ordering of its adjacent half edges. The ribbon graph complex $\mathcal{G}_*$ is the chain ...
4
votes
1answer
263 views

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

I would like to continue on question I asking, what is a homotopy between Lie infinity algebras, since I'm not satisfied in two directions: 1.) The naive approach to define a homotopy would be ...
1
vote
2answers
144 views

real representation of real semi simple Lie algebra

Let $\mathfrak g$ be a real simple noncompact Lie algebra. Are there any correspondence between irreducible real representations of $\mathfrak g$ and the highest weight correspond to some positive ...
3
votes
1answer
265 views

Maximal Submodule of a Verma Module

Let $\mathfrak{h}$ be a Cartan subalgebra of a $\mathbb{C}$-semi simple Lie algebra $\mathfrak{g}$. Given $\lambda \in \mathfrak{h}^*$, $M(\lambda)$ the Verma module of highest weight $\lambda$ and ...
2
votes
0answers
138 views

Lie algebra cohomology

Let $\mathfrak{g}$ be a simple complex Lie algebra of $rank(\mathfrak{g})\geq2$ and dimension $d$. Fix a (non-zero) invariant bilinear form $(\cdot,\cdot)$ on $\mathfrak{g}$ and let $\{x_i\}_{1\leq ...
7
votes
2answers
262 views

Realizing a subgroup of a Lie group as a stabilizer subgroup

Let $G$ a compact semisimple Lie group, $H$ a subgroup of $G$. Is it always possible to find an irreducible representation $R$ of $G$ such that the stabilizer of an $x\in R$ is "locally isomorphic" to ...
4
votes
3answers
244 views

On radicals of a lie algebra

Let $\mathbb{k}$ be a field, $\mathfrak{g}$ be a finite-dimensional Lie algebra over $\mathbb{k}$. In Bourbaki's "Lie Groups and Lie Algebras", Ch I, he defines four radical-like ideals of ...
5
votes
1answer
207 views

Determining the Lie algebra elements exponentiating to the center of a Lie group

For a semi-simple compact Lie group $G$ with center $Z(G)$, one can characterize the preimage of $Z(G)$ in the Cartan subalgebra under the exponential map as the nodes of the Stiefel diagram (see for ...
1
vote
0answers
109 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
150 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
79 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
383 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
186 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
237 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
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
312 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
374 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
175 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
122 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
131 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
174 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
151 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
424 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
304 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
161 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
825 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
361 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 ...