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

2
votes
2answers
104 views

Invariant planes of a nilpotent matrix with two Jordan blocks of size two

Describe all the invariant 2-dimensional subspaces of $\mathbb{C}^4$ (or $\mathbb{R}^4$) of the nilpotent map $$ N = \begin{pmatrix} 0 & 1 & & \\ 0 & 0 & & \\ & & 0 ...
0
votes
0answers
161 views

PBW proof proposal

One version of the PBW theorem states: $\omega $:$\mathfrak {S} \mapsto \mathfrak {E} $ is an isomorphism of algebras. I am curious if this is a possible proof for the PBW theorem, part is taken ...
0
votes
1answer
51 views

equation for geodesics of a right invairant Finsler metric on $SU(n)$ which are parallel to a linear affine distribution

I am looking for an equation analogous to the Euler-Poincare equations for a right invariant Finlser metric except I want the geodesics which are parallel to a linear affine distribution on $SU(n)$. ...
10
votes
2answers
325 views

Who originated the standard symbols for Lie groups GL, SL, SU, etc.?

Who was first to use symbols GL, SL, O, SO, U, SU, Sp and their projective versions, and how did this notation become standard? The notation appears in fairly modern form in Weyl's "The Classical ...
5
votes
3answers
304 views

Characterising the adjoint representation of SU(N)

One can show that the adjoint representation of $\mathrm{SU}(n)$, the image of the map $\mathrm{Ad}:\mathrm{SU}(n) \rightarrow \mathrm{Aut}(\mathrm{su(n)})\subset \mathrm{GL}(\mathrm{su}(n))$, is an ...
1
vote
1answer
40 views

Bi-invariant one forms on compact Lie groups

I'm hoping to learn of a criterion for the existence of a bi-invariant one form on a Lie group $G$. I'm looking for a reference that there are no such one forms son $SU(n)$ (as long as this is in fact ...
2
votes
0answers
112 views

Can the commuting condition in Jordan-Chevalley decomposition be replaced with this global criterion?

Let $G$ be a reductive linear algebraic group defined over an algebraically closed field $k$ of arbitrary characteristic, and write $\mathfrak{g}$ for its Lie algebra. The Jordan-Chevalley ...
0
votes
0answers
55 views

deformation of Lie algebra

How can we deform a given Lie algebra? In particular, in the attachment file how can we arrive at the commutation relations (20) by starting from the commutation relation (19)? ...
6
votes
0answers
109 views

Construction of the Lie functor: left vs. right invariant vector fields on Lie groups and Lie groupoids

When constructing the Lie algebra $L(G)$ of a Lie group $G$, one usually uses the identification of the tangent space $T_1 G$ with left invariant vector fields $\mathcal{V}^l(G)$ to construct the Lie ...
0
votes
0answers
87 views

A special Lie subalgebra

Motivated by comments of the following post A question on involutions on the Lie algebra of vector fields we ask the following question: Let $L$ be a Lie algebra. We consider the Lie subalgebra ...
5
votes
1answer
149 views

Laplace-Beltrami operator on a Lie group

For an arbitrary Lie group, is it always possible to chose a left-invariant Riemannian metric such that the Laplace-Beltrami operator $\Delta$ is given by $$\Delta f = \delta^{i j} X_i X_j f$$ for ...
2
votes
1answer
237 views

Is every closed subgroup of $\text{GL}_n(K[[x]])$ finitely generated?

Let $n \in \mathbb{N}$, $K$ a finite field. Denote by $K[[x]]$ the (profinite) ring of formal power series over $K$. Note that $\text{GL}_n(K[[x]])$ is a profinite group. Is every closed subgroup of ...
3
votes
0answers
49 views

Explicit description of graded (counital) cofree cocommutative coalgebras

Let $k$ be a field of characteristic $p \neq 2$, and $V = \oplus V_{n}$ be a graded vector space over $k$. Then, can one compute the graded (counital) cofree cocommutative coalgebra $C(V)$ ...
1
vote
1answer
123 views

Euler-Poincare equations with constraints

It is well known that the stationary curves (say $\Xi(t)$) of a regular Lagrangian $\mathcal{L}$ on a compact, semi-simple Lie group $G$ have the property that $\xi(t) = \frac{d \Xi(t)}{dt} ...
0
votes
0answers
38 views

Prove the Weyl's Theorem by Kostant's $\mathfrak{n}$-cohomology result [migrated]

I've met an exercise in Kumar's book ("Kac-Moody Groups, their Flag Varieties and Representation Theory", Chapter III, page 89, Ex. 3.2. E, (1) & (2)). But I have no idea about its proof. Any ...
2
votes
0answers
82 views

(Co)Homology of groups vs. Lie algebras: polynomial rings

For Lie groups (or algebraic groups over fields) there is a strong relation between the cohomology of the group and the cohomology of its Lie algebra. Some MO-question where this is discussed can be ...
10
votes
2answers
421 views

Geodesics on $SU(4)$

Are the geodesics of the following metrics on $SU(4)$ known or easy (in a way not known to me!) to find? In the adjoint representation, one can express the Killing form as a matrix and consider it as ...
18
votes
1answer
277 views

Why should affine lie algebras and quantum groups have equivalent representation theories?

Let $\mathfrak{g}$ be a simple lie algebra over $\mathbb{C}$ and let $\hat{\mathfrak{g}}$ be the Kac-Moody algebra obtained as the canonical central extension of the algebraic loop algebra ...
0
votes
0answers
75 views

Isomorphic Dual and Conjugate Representations of a Lie Algebra [migrated]

Let $\frak{g}$ be a complex Lie algebra $\frak{g}$, and $R:\frak{g} \to $End$(V)$, a representation for some finite dimensional complex vector space $V$. As is well-known, we can construct from $R$ ...
0
votes
0answers
47 views

Involution on $\chi^{\infty}(\mathbb{R}^{n})$

Is there a Lie algebraic involution $\theta$ on $\chi^{\infty}(\mathbb{R}^{n})$ which restriction to linear vector fields is the involution $\theta(A)=-A^{tr}$ for $A\in M_{n}(\mathbb{R})$? ...
0
votes
0answers
96 views

A linear/Lie algebra problem

Let $\mathfrak{g}$ be a complex linear Lie algebra of dimension $n$. If there exists a basis $\{e_1,\dots,e_n\}$ of $\mathfrak{g}$ such that ...
22
votes
2answers
1k views

Why do Lie algebras pop up, from a categorical point of view?

Groups pop up as automorphism groups in any category. Rings pop up as endomorphism rings in any additive category. Is there a similar way to attach a Lie algebra to an object in a category of a ...
3
votes
2answers
149 views

A Lie algebra identity

Let $G$ be a Lie group and $\mathfrak{g}$ its Lie algebra. Fix a basis $e_1,\dots,e_n$ of $\mathfrak{g}$ and let $e^1,\dots,e^n$ be its dual basis. We also use $e^i$ to denote the left-invariant ...
7
votes
3answers
567 views

nth term in the Baker-Campbell-Hausdorff formula

I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...
1
vote
2answers
193 views

A question on involutions on the Lie algebra of vector fields

Edite According to the essential comment of Ian Agol I revise the question as follows For a smooth manifold $M$, is there a non identity involution $\theta$ on the lie algebra $\chi^{\infty}(M)$ ...
2
votes
0answers
54 views

Springer Isomorphisms for Adjoint Simple Exceptional Groups

I'm trying to understand explicitly a construction of Springer isomorphisms for adjoint exceptional groups given by Bardsley and Richardson. Their construction is as follows. Let $G$ be an adjoint ...
5
votes
1answer
286 views

The surjectivity of the exponential map for the isometry group

Little is known on general conditions guaranteeing that the exponential map between a Lie algebra and an associated Lie group is surjective. Let $M$ be a noncompact connected Riemann manifold, and ...
2
votes
1answer
37 views

Termination conditions for matrix Lie alebra basis generation via “P. Hall algorithm”

Suppose $g_1,...,g_n\in\mathbb{M}_{d\times d}(\mathbb{C})$ are matrices and we are interested in finding the smallest matrix Lie algebra containing them, that is, the matrix Lie algebra generated by ...
0
votes
0answers
98 views

Non-semisimple Lie algebra tensors

Let $\mathfrak{L}$ be a non-semisimple Lie algebra. Let $T_i$ be its generators. As usual, define the structure constants $C_{ij}^k$ by $[T_i,T_j]=C_{ij}^kT_k$ and the metric tensor $g_{jm}$ by ...
5
votes
1answer
174 views

Quadratic Casimir of fundamental irreps of simply-laced Lie algebras

I have the following question, motivated by the expression for the character of level 1 highest weight integrable representations of simply-laced affine algebras (in terms of the string function). It ...
5
votes
0answers
113 views

Generators for invariant tensors of lie algebras

EDITED FOR (hopeful) CLARITY: For a simple Lie algebra $\mathfrak{g}$ (over $\mathbb{C}$) and its adjoint group G, the $G$-invariant polynomials on $\mathfrak{g}$ are linear combinations of products ...
3
votes
1answer
165 views

Lie group GL(4) representation decomposition

Let $V$ be the defining representation of $GL(4,\mathbb C)\to GL(V)$ with $V=\mathbb{C}^4$. Let $Ext\;V$ be the exterior square of $V$ which is a 6-dim repsentation. My question: How does $$V\otimes ...
4
votes
1answer
105 views

PBW basis and canonical basis

Consider the example of $\mathfrak{g} = sl_3$. Then $$ \mathfrak{g} = \mathfrak{n} \oplus \mathfrak{h} \oplus \mathfrak{n}^{-}, $$ where $\mathfrak{n}$ is generated by $E_{12}, E_{13}, E_{23}$, ...
4
votes
1answer
144 views

About the construction of the Universal Enveloping Lie Algebroid

Let $X$ be a reasonable smooth scheme over some base $S$. The tangent sheaf $T_X$ is a Lie algebroid, locally free as a $\mathcal{O}_X$ module, and its Universal Enveloping Lie Algebroid ...
1
vote
0answers
65 views

Representations of $\mathfrak{so}(3)$ ($\mathfrak{so}(2,1)$) and $SO(3)$ ($SO(2,1)$)

(Apologies if this question is too basic!) I have explicit 5-dimensional real representations of $\mathfrak{so}(3)$ and $\mathfrak{so}(2,1)$, and I want to know whether it's necessarily true that the ...
1
vote
1answer
66 views

Smallest subalgebra of $\mathfrak{su}(4)$ arrising from a control problem on $SU(4)$

What is the smallest subalgebra of $\mathfrak{su}(4)$ containing the span of the set $A = \{A, B_1, B_2\}$ where: $A = i (J^x \sigma_x \otimes \sigma_x + J^y \sigma_y \otimes \sigma_y + J^z \sigma_z ...
2
votes
2answers
124 views

Which linear combinations of simple roots are roots

Let $\Delta$ be the root system of a complex simple Lie algebra, $\Delta^+$ be positive roots and $\Pi$ be simple roots. We view $\Pi$ as nodes of the Dynkin diagram. Then for any two simple roots ...
6
votes
1answer
94 views

Number of Richardson orbits in simple Lie algebras of types $E_n$?

This is a follow-up to my question about nilpotent orbits here asked in connection with an earlier discussion of symplectic resolutions. Leaving aside the connections with algebraic geometry and ...
1
vote
1answer
118 views

Understanding lie bracket of simple Lie algebra $W(2)$ [closed]

Please accept my apologies in advance for my simple question. Let $W(2)$ be a simple Lie algebra over $\mathrm{GF}(2)$. We know that it has a basis with three elements like ${w_1,w_2,w_3}$. I cannot ...
0
votes
1answer
66 views

A property of compact involutions of semi-simple Lie algebras?

I need to prove the statement below. Since my background on Lie theory is rather weak, I post it here. Let $\frak{g}$ be a complex semi-simple Lie algebra. Fix a Cartan subalgebra $\frak{h}$ with ...
2
votes
0answers
36 views

Locus maximizing the holomorphic sectional curvature in a non-compact Hermitian symmetric space

Is there a quick way to prove the following statement, if possible without resorting to the classification of simple Lie groups? Let $G$ be a simple Lie group of non-compact Hermitian type of rank ...
7
votes
1answer
274 views

Examples of Richardson orbit closures not having a symplectic resolution?

This is a follow-up to a recent question asked by Peter Crooks here. The answer by Ben Webster includes a helpful link to the corrected arXiv version of Baohua Fu's 2003 Invent. Math. paper ...
8
votes
4answers
407 views

Computing $\int_0^T e^{itA}Be^{-itA} dt$ without an infinite series

I'm hoping to compute the following integral: $\int_0^T e^{itA}Be^{-itA} dt$ where $iA, iB$ are traceless anti-Hermitian matrices (i.e. $\mathfrak{su}(n)$). I have found the following form for the ...
1
vote
0answers
58 views

Adjoint action of semi-direct product

Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions $\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
2
votes
1answer
171 views

R-linear representations of sl(2,C)

Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$? Equivalently, what ...
1
vote
1answer
63 views

A canonical G_m (or G) action on the Slodowy slice

Question By Slodowy slice I mean a transverse slice at a subregular nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ (in particular I am not intersecting with the nilpotent cone). Consider the ...
3
votes
0answers
301 views

Solving $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ equation

Is there a way to solve the equation: $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ for $T$? Here $\kappa$ is an arbitrary positive constant, $\hat{H}_0 \in \mathfrak{su}(N)$ ...
3
votes
1answer
247 views

Special Riemannian connections?

Assume that $E$ is a bundle of Lie Algebras. Let $g$ be an invariant metric on $E$, that is for all $p\in M$, $$g_p([x,y],z)+g_p(y,[x,z])=0,$$ where $x,y,z\in E_p$ are arbitrary. Is there a ...
4
votes
3answers
565 views

How many three dimensional real Lie algebras are there?

The main point of the question is: I would like to know whether there are only finitely many, countable infinitely many or even uncountable many isomorphism classes of $3$-dimensional real lie ...
0
votes
0answers
42 views

Special family of Metrics on Transitive Lie Algebroids?

Let $\rho:E\longrightarrow TM$ is a transitive Lie Algebroid, then $L=ker\rho$ is bundle of lie algebras. Suppose $\Gamma:TM\longrightarrow E$ be a linear splitting. Define $$\nabla_X ...