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

3
votes
1answer
153 views

A Manifold for which $\chi^{\infty}(M)$ is rich

Is there a manifold $M$ for which $\chi^{\infty} (M)$, the lie algebra of smooth vector fields on $M$ contains all finite dimensional Lie algebras(Up to isomorphism)? A weaker question: Is there a ...
1
vote
1answer
156 views

The set of leaves of the distribution $D$ on coadjoint orbit $O_{\mu}$

Let $G$ be a compact connected Lie group and $O_{\mu}$ be a coadjoint orbit where $\mu\in \mathfrak{g}^*$ and $\mathfrak{g}^*$ is the dual of the Lie algebra of $\mathfrak{g}=\mathrm{Lie}(G)$. Let ...
10
votes
2answers
346 views

Which nilpotent Lie algebras appear as nilradicals of parabolic subalgabras?

I am interested to identify (ideally classify) nilpotent Lie algebras that occur as nilradicals of parabolic subalgebras in (say) reductive Lie algebras. For example, all Heisenberg Lie algebras ...
5
votes
1answer
339 views

Root space decomposition

What is the root system for the special unitary lie algebra $\mathfrak{su}(p, q)$. Remind that these are matrices of the form $\left( \begin{array}{cc} X & Y \\ \overline{Y}^t & Z ...
3
votes
1answer
111 views

Reference to definition of matrix log with domain SO(3) which is Borel measurable

I was trying to set up an inverse to matrix exponential $\exp:\mathrm{Skew}(3\times 3)\to SO(3)$ that "covers" the biggest possible domain and is Borel measurable. I was wondering if there is a ...
2
votes
0answers
104 views

(Graded) Lie algebras with “nice” irreps

"(The only Lie algebras for which) all finite-dimensional representations are completely reducible (are the semisimple Lie algebras)" (Chapman, here on MO). Evidently this can't no longer hold when ...
2
votes
0answers
104 views

On Eigenvalues of the symmetric linear transformation related to a lie algebra's representation?

Let $\mathfrak{g}$ be a quadratic (finite dimensional) lie algebra and $\rho:\mathfrak{g}\rightarrow \mathfrak{gl}(W)$ be an anti-symmetric representation of $\mathfrak{g}$ on a finite dimensional ...
1
vote
0answers
148 views

Replacing the Lie commutator with something else [closed]

Take a vector space $V={A,B,C,...}$ (of matrices), and the commutator $[A,B]=AB-BA$, then a Lie algebra of $V$ is characterized by $[V,V]$ staying in $V$. (Loosely speaking.) What happens ...
1
vote
1answer
228 views

labeling state vectors in representation space of a simple lie algebra

Given a simple lie algebra (over ${\mathbb C}$ or ${\mathbb R}$). What is the number of operators such that their eigenvalues sufficiently label all state vectors in the algebra's representation ...
2
votes
0answers
379 views

Mathematica package for Lie algebra computations?

I am interested in performing Lie algebra computations in Mathematica. I did a bit of searching and found several packages (LieART, KILLING, SuperLie, maybe more), and wondered if anyone would ...
1
vote
0answers
45 views

Analytic vectors of elliptic elements of the enveloping algebra in a strongly continuous representation of a Lie group

Let $G$ be a semi-simple real Lie group, and $\rho$ a strongly continuous unitary representation of $G$ in a Hilbert space $H$. Let $\mathfrak{g}$ be its Lie algebra and $d\rho$ be the infinitesimal ...
5
votes
2answers
259 views

Heisenberg subalgebras of affine Lie algebras

It seems to be "well-known" that (infinite-dimensional) Heisenberg subalgebras of an affine Lie algebra $\hat{\mathfrak{g}}$ corresponding to a finite-dimensional simple Lie algebra $\mathfrak{g}$ of ...
4
votes
0answers
85 views

Adjoint orbit of two vectors

Let $G$ be a simple compact real Lie group and let $\mathfrak g$ be its Lie algebra. Let $u,v\in \mathfrak g$ be two distinct unit vectors and $H\subset \mathfrak g$ be a hyperplane with normal vector ...
1
vote
1answer
196 views

Finding the 2nd homotopy group $\pi_2(G^\mathbb{C}/P)$

Let $G$ be a compact connected and simply connected Lie group and $G^\mathbb{C}$ be the complexification of Lie group (with is diffeomorphic with $G^\mathbb{C}\cong T^*G$) then I am looking for ...
3
votes
0answers
121 views

Examples of divisible Lie algebras

We say that a nonzero Lie algebra $L$ is divisible, if for all elements $a$ and $b$ with $a\neq 0$, there exists $x\in L$ such that $[a, x]=b$. What are examples of divisible Lie algebras?
3
votes
2answers
239 views

Generalizations of Lie algebras

I often stumble over the term "Lie superalgebra" (= "Lie algebra with a $\mathbb{Z}_2$ grading"). Obvious question: What about $\mathbb{Z}_3$ grading (and so on)? Is a Lie algebra with $\mathbb{Z}_n$ ...
1
vote
1answer
149 views

Each coadjoint orbit of a compact connected Lie group $G$ admits a $G$-invariant generalized complex structure

I am looking for a proof or counterexample for following assertion Each coadjoint orbit of a compact connected Lie group $G$ admits a $G$-invariant generalized complex structure (In sense of ...
3
votes
0answers
120 views

Physical relevance of either fundamental identity generalizing Jacobi [closed]

There are two fundamental identities for n-ary generalizations of the Jacobi identity. One fundamental identity is right for Nambu mechanics and such, the other for L_\infty algebras as in CSFT. Which ...
6
votes
0answers
272 views

Injectivity of Lie group exponential function

If $G$ is a (finite-dimensional) Lie group, then the exponential function $\exp\colon\mathfrak{g}\to G$ is injective on some identity neighbourhood. If, moreover, $\mathfrak{g}$ is semi-simple and ...
5
votes
2answers
279 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
172 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
139 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
390 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
119 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
69 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
110 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
160 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
431 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
445 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
280 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
232 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
274 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
362 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 ...
5
votes
3answers
319 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
156 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
157 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
147 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
208 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
165 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 ...
5
votes
3answers
613 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, ...
7
votes
1answer
441 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 ...
12
votes
0answers
373 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 ...
5
votes
3answers
384 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
173 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 ...
4
votes
1answer
364 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
149 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
303 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
314 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
221 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
118 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 ...