Questions tagged [lie-algebras]

For questions about Lie algebras, an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds.

In mathematics, a Lie algebra is an algebraic structure whose main use is in studying geometric objects such as Lie groups and differentiable manifolds. Lie algebras 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.

Concretely, a Lie algebra $\mathfrak{g}$ over a field $\mathbf{k}$ is a $\mathbf{k}$-vector space equipped with an alternating bilinear multiplication $[{-}\,{-}]\colon \mathfrak{g} \wedge \mathfrak{g} \to \mathfrak{g}$ called the Lie bracket that satisfies the Jacobi identity:

$$\big[x\,[y\,z]\big] + \big[z\,[x\,y]\big] + \big[y\,[z\,x]\big] = 0$$

Examples

  • $\mathbb{R}^3$ endowed with the cross product forms a Lie algebra.

  • For any any associative algebra $A$ with multiplication $\cdot$, you can define a Lie bracket on $A$ as a literal commutator between two elements, $[v\,w]= v\cdot w-w\cdot v\,,$ making $A$ into a Lie algebra.

7166 questions
66
votes
5 answers

Jacobi identity - intuitive explanation

I am really struggling with understanding the Jacobi Identity . I am not struggling with verifying it or calculating commutators.. I just can't see through it. I can't see the motivation behind it (as an axiom for defining a Lie algebra). Could…
aelguindy
  • 2,718
49
votes
3 answers

What is Lie Theory/ a Lie Group, simply?

I'm studying physics, and I continually come across mentions of "Lie Theory" and "Lie Groups" as they relate to such topics as particle physics and String Theory, as well as vague mentions of "symmetry". I've attempted to read some texts on the…
46
votes
4 answers

"Cayley's theorem" for Lie algebras?

Groups can be defined abstractly as sets with a binary operation satisfying certain identities, or concretely as a collection of permutations of a set. Cayley's theorem ensures that these two definitions are equivalent: any abstract group acts as a…
Qiaochu Yuan
  • 478,279
41
votes
2 answers

Meaning of Exponential map

I've been studying differential geometry using Do Carmo's book. There's the notion of exponential map, but I don't understand why it is called "exponential" map. How does it has something to do with our common notion of exponentiation? I read from…
Henry
  • 3,226
37
votes
3 answers

Lie algebra of a quotient of Lie groups

Suppose I have a Lie group $G$ and a closed normal subgroup $H$, both connected. Then I can form the quotient $G/H$, which is again a Lie group. On the other hand, the derivative of the embedding $H\hookrightarrow G$ gives an embedding of Lie…
user8766
35
votes
2 answers

Expression for the Maurer-Cartan form of a matrix group

I understand the definition of the Maurer-Cartan form on a general Lie group $G$, defined as $\theta_g = (L_{g^{-1}})_*:T_gG \rightarrow T_eG=\mathfrak{g}$. What I don't understand is the expression $\theta_g=g^{-1}dg$ when $G$ is a matrix group. In…
35
votes
3 answers

On surjectivity of exponential map for Lie groups

A recent question made me realize I didn't know any proof that exponential of a Lie algebra $\mathfrak g$ of a compact connected Lie group $G$ is surjective. After a bit of thinking I've come up with two proofs. First is based on relation between…
35
votes
2 answers

Geometric intuition behind the Lie bracket of vector fields

I understand the definition of the Lie bracket and I know how to compute it in local coordinates. But is there a way to "guess" what is the Lie bracket of two vector fields ? What is the geometric intuition ? For instance, if we take $U = x…
32
votes
3 answers

Under what conditions is the exponential map on a Lie algebra injective?

Let $G$ be a Lie group with Lie algebra $\mathfrak{g}$ and let $\exp :\mathfrak{g}\rightarrow G$ be the exponential map. In his blog, Terence Tao notes that if a Lie group is not simply-connected, then $\exp$ will not be injective. Conversely, is it…
32
votes
1 answer

Do Lie algebras "know" about their Lie groups?

An undergraduate in physics asked me this question, and I did not know the answer, so I thought I would ask here. It is well-known that the Lie algebra to a Lie group is the tangent space to the identity of the group. Furthermore, via the…
A. Thomas Yerger
  • 18,267
  • 4
  • 47
  • 96
29
votes
3 answers

Classsifying $1$- and $2$-Dimensional Lie Algebras, up to Isomorphism

I am trying to find all $1$ - or $2$ -dimensional Lie algebras $\mathfrak{a}$ up to isomorphism. This is what I have so far: If $\mathfrak{a}$ is $1$ -dimensional, then every vector (and therefore every tangent vector field) is of the form $cX$ .…
user7687
29
votes
2 answers

What is the relation between representations of Lie Groups and Lie Algebras?

If $G$ is a Lie Group, a representation of $G$ is a pair $(\rho,V)$ where $V$ is a vector space and $\rho : G\to GL(V)$ is a group homomorphism. Similarly, if $\mathfrak{g}$ is a Lie Algebra, a representation of $\mathfrak{g}$ is a Lie Algebra…
29
votes
3 answers

How do you find the Lie algebra of a Lie group (in practice)?

Given a Lie group, how are you meant to find its Lie algebra? The Lie algebra of a Lie group is the set of all the left invariant vector fields, but how would you determine them? My group is the set of all affine maps $x \rightarrow A.x+v$ from…
Zeophlite
  • 681
29
votes
1 answer

Exponential of powers of the derivative operator

A translation operator The Taylor series of a function $f$ is $$f(x)=\sum_{n=0}^\infty\frac{(\partial_x^nf)(a)}{n!}(x-a)^n$$ where $\partial_x$ is the derivative operator. Expanding about $x+b$:…
29
votes
10 answers

Prove that the Lie derivative of a vector field equals the Lie bracket: $\frac{d}{dt} ((\phi_{-t})_* Y)|_{t=0} = [X,Y]$

Let $X$ and $Y$ be vector fields on a smooth manifold $M$, and let $\phi_t$ be the flow of $X$, i.e. $\frac{d}{dt} \phi_t(p) = X_p$. I am trying to prove the following formula: $\frac{d}{dt} ((\phi_{-t})_* Y)|_{t=0} = [X,Y],$ where $[X,Y]$ is the…
user15464
  • 12,182
1
2 3
…
99 100