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
0answers
26 views

Compactness and noncompactness of Lie groups [on hold]

I have read that if one complexifies a Lie group, (i.e. a group which has elements written as $G=e^{i\lambda_a T^a}$, where $T^a$ are the Lie algebra elements which generate the group, and $\lambda_a$ ...
2
votes
1answer
158 views

Simultaneous integral equation on $SU(n)$

Consider a smooth curve $U_s:[0,T] \rightarrow SU(4)$ which solves: $\frac{d U_s}{ds} = (a + w(s)b)U_s$ for some given $a,b \in \mathfrak{su}(4)$ (which generate $\mathfrak{su}(n)$) and a smooth ...
2
votes
0answers
85 views

Lie algebra of holomorphic vector fields

It's well known that the holomorphic vector fields on a complex manifold form a Lie algebra. In simplest situations, this Lie algebra can be described explicitly. For example, take $X=\mathbb{P}^n$, ...
1
vote
1answer
118 views

Curves on $SU(4)$ whose adjoint action on $\mathfrak{su}(4)$ integrates to $0$

Given $\xi \in \mathfrak{su}(4)$ and positive $T \in \mathbb{R}$, is it possible to find all smooth curves $U_s \in SU(4)$ with $U_0 = I$ such that $$\int_0^T U_s \xi U_s^{\dagger} ds =0\; ?$$
0
votes
2answers
107 views

Does an analytic tensorial Lie structure on $S^2$ gives a fiberwise Abelian Lie algebra structure?

Motivated by the answer to this question we ask: Is it true to say that for every real analytic tensorial Lie algebra structure $\alpha$ on $\chi^{\infty}(S^2)$, all fibers are necessarily ...
1
vote
1answer
116 views

Manifold_Lie algebra compatibility

In this question we try to improve some parts of this post as follows: What is an example of a manifold $M$ and a Lie algebra $L$ (with the same dimension) such that $M$ does not admit ...
6
votes
1answer
299 views

Some questions about the Malcev completion

Let $G$ be an abstract group. The Malcev completion $\widehat{G}$ of $G$ (over $\mathbb{Q}$) is the set of group-like elements in the complete Hopf algebra $\widehat{\mathbb{Q}[G]} = \lim_n ...
3
votes
1answer
119 views

Faithful linear representation of a nilpotent Lie algebra

Let \begin{align} \mathfrak{g} = Span_{\mathbb{C}}\{ e_1, e_2, e_3, e_4, e_5: \text{ non-zero brackets are } [e_1, e_i]=e_{i+1}, i=2,3,4, [e_2, e_3]=e_5 \} \end{align} be a $5$-dimensional Lie ...
0
votes
0answers
52 views

Outer automorphisms of semi-simple Lie algebras [migrated]

It is known that outer automorphisms of semi-simple Lie algebras are automorphisms of their corresponding Dynkin diagrams. But would it be correct to say that for a semi-simple Lie algebra all outer ...
1
vote
1answer
74 views

Normalized invariant form on a Kac-Moody Algebra

For a symmetrizable Kac-Moody Algebra, we can define a normalized invariant form that performs the same role as the Killing form in the finite dimensional case. My question is, do these forms ...
0
votes
1answer
162 views

Meaning of $[A,B]$ when $A$, $B$ are self-adjoint

This is just a question about notation, but it got no useful answers on math.stackexchange. Let $L$ be the Lie algebra of $n\times n$ Hermitian matrices, with Lie bracket $(A,B)\mapsto i(AB-BA)$. ...
3
votes
1answer
231 views

A question about $O(3,1)$

Recall that $O(3,1)$ is the collection of matrices $A\in M_4(\mathbb R)$ such that $$A\begin{pmatrix}1 ...
16
votes
1answer
332 views

What is the homomorphism between the third exterior and third symmetric power of the adjoint representation of a simple Lie algebra?

Let $\mathfrak{g}$ be the adjoint representation of a simple Lie algebra (which is not of type $A$). Then the space of intertwiners between the third exterior power of $\mathfrak{g}$ and the third ...
4
votes
1answer
140 views

Matrix from a homomorphism of simply connected groups

Let $H$ be a simple algebraic group of type $\mathbf{G}_2$ over $\mathbb{C}$. Let $\rho$ be the standard 7-dimensional complex representation $$ \rho\colon H=\mathbf{G}_2\to \mathrm{SO}_7.$$ We ...
2
votes
1answer
72 views

Do the values of the differential of a function on a Lie group with a single maximum span the Lie algebra?

Consider: a vector field $X=\nabla \phi$ on a compact, semi-simple, connected matrix Lie group $G$ where $\phi$ as a smooth scalar field on $G$ possessing only a single maxima which topologically is a ...
4
votes
1answer
172 views

Check symplectomorphism property on infinitesimal generators

I stumbled over the following question: First, let me give the basic definition of a symplectic group action: Let $(M, \omega)$ be a symplectic manifold and $G$ a Lie group. A smooth action $\Phi:G ...
3
votes
0answers
123 views

What does “control of a deformation problem” mean?

Is the expression "control of a deformation problem' ever defined? There are of course many examples relating a dg-Lie or L-infty algebra to a deformation problem, and the phrase is evocative. Is it ...
1
vote
1answer
68 views

Classification of finite dimensional Lie subalgebras of $\mathbb R[q^1,\dots,q^n,p_1,\dots,p_n]$

Do there exist results towards answering the following question? Consider the Poisson algebra of regular functions $A=\mathbb R[V]$ on the symplectic vector space $V:=T^* \mathbb R^n$. Using ...
0
votes
0answers
79 views

Poincare inequality for connected Lie groups

Let $G$ be a compactly generated second countable locally compact group, and let $\mu$ be a probability measure which is: symmetric, adapted (in the sense that there is no proper subgroup $H$ such ...
5
votes
2answers
125 views

Lie Algebras over DVRs and basechange to the completion

Let $R$ be a discrete valuation ring containing an algebraically closed field $K$ of characteristic zero and let $L$ be a Lie algebra over $R$ whose underlying $R$-module is finitely generated and ...
5
votes
2answers
167 views

Permutable (Lie) subgroups

Let's recall that, a group $G$ being given, two subgroups $A,B\subset G$ are called permutable iff $AB=BA$ for the Minkowski law. It is straightforward to see that $(A,B)$ are permutable iff $AB$ ...
0
votes
1answer
71 views

Solving $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$ [closed]

Given an $A \in \mathfrak{su}(n)$, is it always possible to solve for $U,V \in SU(n)$ and $\lambda \in \mathbb{C}$ such that $\lambda U^{\dagger}V -\bar{\lambda} V^{\dagger}U = A$? Cross posted from ...
1
vote
1answer
117 views

A proof of the Ibragimov et al. commutation relation

Let $u_a(x),\,a=1,2,\ldots n$ be a $n$-component field in Minkowski spacetime $x^\mu,\,\mu=0,1,2,3$ and let $u_{a,\,\mu}=\frac{du_a}{dx^\mu}$. Let us introduce two operators (we use Einstein ...
4
votes
2answers
177 views

What are the “tensor-closed” object of the BGG category $\mathcal{O}$ of a semisimple Lie algebra $\mathfrak{g}$?

Let $\mathfrak{g}$ be a finite dimensional complex semisimple Lie algebra and we can consider its BGG category $\mathcal{O}$. It is well-known that $\mathcal{O}$ is not closed under tensor product, ...
0
votes
1answer
99 views

Gradient on $SU(n)$

I'm trying to calculate the gradient (wrt to the bi-invariant metric) of the following functions $F_1, F_2 : SU(n) \rightarrow \mathbb{R}$ defined by $F_1(U) = | Tr (G^{\dagger} U) |^2$, $F_2(U) = \Re ...
3
votes
0answers
61 views

Homological dimension of Joseph quotients

Let $\mathfrak g$ be a simple Lie algebra over $\mathbb C$ not isomorphic to $sl(n)$. Let $\mathcal O$ be the minimal nilpotent orbit in $\mathfrak g^*$. Joseph proved that there exists unique ...
4
votes
1answer
131 views

Infinite-dimensional admissible representations of SL(2,C)

I'm working in my research with the infinite dimensional (admissible) irreducible representations of $\mathrm{SL}(2,\mathbb{C})$ introduced by Harish-Chandra in his paper "Infinite Irreducible ...
3
votes
3answers
243 views

Jacobson-Morozov theorem

Jacobson-Morozov theorem for a semisimple algebraic group $G$ (presumably I am working over algebraically closed field) states that: given a unipotent u, there exists a homomorphism $\phi$ from $SL_2$ ...
4
votes
1answer
112 views

Restricted Burnside Problem: Lower bound nilpotency class

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$ of exponent $p$ has a maximal finite quotient ...
5
votes
1answer
168 views

What is Jantzen's formula for the determinant of the Shapovalov form in the case of generalized Verma modules?

The best reference I found is [Kac, Kazhdan '79] which extends the results of Shapovalov and Jantzen to the case of infinite dimensional Lie algebras. Theorem 1 of this paper gives the Shapovalov ...
2
votes
0answers
88 views

Is there an E8 symmetry in the zero-field Ising model?

In the paper On classification of modular tensor categories by Rowell, Stong and Wang, they list the Ising modular category $I$ as having 3 objects $1$, $\sigma$ and $\psi$, with fusion rules ...
3
votes
1answer
167 views

Is every weight of an integrable highest weight module in the Tits cone?

Let $\mathfrak{g}$ be a Kac-Moody algebra with Cartan subalgebra $\mathfrak{h}$, Weyl group $W$, and simple roots and coroots $\alpha_i, \check{\alpha_i}, i \in I$, respectively. Let $L$ be an ...
0
votes
0answers
45 views

Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action

I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
3
votes
0answers
165 views

Can the product of a simple and a non-simple indecomposable representation be semisimple?

Consider two (possibly infinite-dimensional) representations $\rho$, $\pi$ of a semisimple Lie algebra $\mathfrak{g}$, with $\rho$ irreducible and $\pi$ indecomposable but not irreducible (i.e., not ...
2
votes
1answer
172 views

Understanding the Weyl Character Formula

Let $G$ be a compact (connected) Lie group with a maximal torus $T$. For each (analytically) integral weight $\lambda$ the Weyl character formula $$\Theta_{\lambda}(H)=\frac{\sum_{w\in ...
0
votes
2answers
236 views

Representation Theory of $U(N)$

(1) Is it true that the category of representations of $U(n)$ is equivalent to the category of representations of $SU(N) \times U(1)$? If so, how is it proved, or what is a good reference. (I guess ...
2
votes
0answers
354 views

Differential and pre-differential of Jacobi identity

Let M be a manifold. To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied? That is a Lie algebra structure for which $[X,fY]=f[X,Y]$. (For ...
2
votes
0answers
59 views

Vanishing of finite difference operators by composition under a cyclic condition

Consider $n$ finite difference operators $D_1, \ldots, D_n$ acting on real-valued functions $f_1 (y), \ldots , f_n (y)$ of a variable $y$, with the following properties: (i) $D_i f_i (y) = 0$ for ...
5
votes
1answer
128 views

How to embed $U(1)$ into a bigger group, using Dynkin diagrams

I am trying to find the embedding and the branching rules for some group decompositions. For example, I consider $E_7$ and its maximally compact subgroup $SU(8)$ and I want to "see" how the Dynkin ...
0
votes
0answers
64 views

Equivalent definitions of positive root system

$\bullet$ I begin with a definition of positive root systems of a root system over Euclidean space. A subset $\Delta$ of root system $\Phi$ is called a simple root system (or base) in $\Phi$ if (1) ...
0
votes
1answer
74 views

Non-graded representations over Lie superalgebra $\mathfrak{gl}(m,n)$

I have the following questions: Let $m,n$ be positive integers. Consider representations over the general linear Lie super-algebra $\mathfrak{gl}(m,n)$. Namely, modules over the associative algebra ...
3
votes
0answers
134 views

The special embedding $\mathfrak{so}(7)\subset\mathfrak{so}(8)$

It is commonly known that we have a chain of embeddings $$SU(4)\subset Spin(7)\subset SO(8)$$ (there is more than one possible $Spin(7)$, just take one). Which is the explicit analog for the Lie ...
0
votes
1answer
209 views

Lie Algebra, counterexample [closed]

I am trying to find an example of an algebra over a field of characteristic p (prime) which satisfies anti-symmetry and Jacobi identity but is not a lie algebra. i.e., [x,x] is not zero. Can one ...
9
votes
2answers
196 views

What's the most simple proof of Kostant's version of Borel-Weil-Bott for Lie Algebra cohomology?

Besides Kostant's original proof (in http://www.math.tamu.edu/~jml/kostant61.pdf) of the above mentioned theorem (using the Lie Algebra Laplacian), there are a few other approaches: ...
9
votes
3answers
291 views

Real and Quaternionic Representations according to Weights

According to this question, it is easy to know whether a representation is self dual or not: just check if the weight distribution in space is symmetric about the origin. Now, for self dual ...
5
votes
0answers
112 views

Root-theoretic formulation of characteristic polynomial

Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra of rank $n$ over $\mathbb{C}$. Let $G$ denote the corresponding simple simply connected algebraic group. By Chevalley's Theorem, ...
4
votes
0answers
81 views

Polynomials invariant with respect to a nilpotent Lie algebra

Let $\mathfrak{u}$ be a nilpotent Lie algebra and let $\mathbb{C}[\mathfrak{u}]$ be the space of polynomials with the natural coadjoint action of $\mathfrak{u}$. Can one describe ...
2
votes
0answers
72 views

When the Lie algebra of matrices with zero last rows is Frobenius?

Let $\mathcal{A}_{n,k}$ be the Lie algebra of $n \times n$ matrices over $\mathbb{C}$ for which the last $k$ rows are equal to zero. Suppose that $k$ does not divide $n$. How to prove that ...
1
vote
0answers
46 views

General quantum highest-weights dimension formulas

The formulas hold modulo typos :-) It is well known (tl;dr fun fact: not well enough for me, I forgot where I saw it so I guess-computed it from the data in the Hayashi paper; promptly I found it in ...
1
vote
0answers
28 views

artinian quotients of U(g)

Suppose that $G$ is a connected Lie Group with Lie algebra $\mathfrak{g}$ and $\Gamma$ is a cocompact lattice, and you choose a left-invariant metric on $G/\Gamma$ and let $\Delta$ be the Laplacian. ...