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.

7105 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
  • 468,795
40
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,206
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.…
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…
34
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…
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…
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,175
  • 4
  • 45
  • 93
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$. Then,…
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
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…
28
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
  • 671
27
votes
2 answers

What are applications of Lie groups/algebras in mathematics?

I studied Lie Groups and Lie Algebras as part of my Masters back in the 1970s. Although very elegant and beautiful, it seemed to its own little world, I never saw the connection with other branches of mathematics (or at least from my course). Can…
1
2 3
99 100