Lie group (original) (raw)

One can equivalently define a Lie group G using the following easy characterization

Proposition 1

Next, we describe a natural construction that associates a certain Lie algebra 𝔤 to every Lie group G. Let e∈G denote theidentity element of G. For g∈G let λg:G→G denote thediffeomorphisms corresponding to left multiplication by g.

Definition 2

A vector field V on G is called left-invariant if V isinvariant with respect to all left multiplications. To be more precise, V is left-invariant if and only if

(see push-forward of a vector-field) for allg∈G.

Proposition 3

The Lie bracket of two left-invariant vector fields is again, a left-invariant vector field.

Proof.Let V1,V2 be left-invariant vector fields, and let g∈G. The bracket operation is covariant with respect to diffeomorphism, and in particular

Q.E.D.

Definition 4

The Lie algebra of G, denoted hereafter by g, is the vector spaceof all left-invariant vector fields equipped with the vector-field bracket.

Now a right multiplication is invariant with respect to all left multiplications, and it turns out that we can characterize a left-invariant vector field as being an infinitesimal right multiplication.

Proposition 5

Let a∈Te⁢G and let V be a left-invariant vector-field such thatVe=a. Then for all g∈G we have

The intuition here is that agives an infinitesimal displacement from the identity element and thatVg gives a corresponding infinitesimal right displacement away from g. Indeed consider a curve

passing through the identity element with velocity a; i.e.

The above proposition is then saying that the curve

passes throughg at t=0 with velocity Vg.

Thus we see that a left-invariant vector field is completely determined by the value it takes at e, and that therefore 𝔤 isisomorphic, as a vector space to Te⁢G.

Of course, we can also consider the Lie algebra of right-invariant vector fields. The resulting Lie-algebra is anti-isomorphic (the order in the bracket is reversed) to the Lie algebra of left-invariant vector fields. Now it is a general principle that the group inverseoperation gives an anti-isomorphism between left and right group actions. So, as one may well expect, the anti-isomorphism between the Lie algebras of left and right-invariant vector fields can be realized by considering the linear action of the inverse operation on Te⁢G.

Finally, let us remark that one can induce the Lie algebra structure directly on Te⁢G by considering adjoint action of G on Te⁢G.

History and motivation.

Examples.

Notes.

1. 1. No generality is lost in assuming that a Lie group has analytic, rather than C∞ or even Ck,k=1,2,… structure. Indeed, given a C1 differential manifold with a C1multiplication rule, one can show that the exponential mapping endows this manifold with a compatible real-analytic structure.
      Indeed, one can go even further and show that even C0 suffices. In other words, a topological group that is also a finite-dimensionaltopological manifold possesses a compatible analytic structure. This result was formulated by Hilbert as his http://www.reed.edu/ wieting/essays/LieHilbert.pdffifth problem, and proved in the 50’s by Montgomery and Zippin.
2. 1. One can also speak of a complex Lie group, in which case G and the multiplication mapping are both complex-analytic. The theory of complex Lie groups requires the notion of a holomorphic vector-field. Not withstanding this complication, most of the essential features of the real theory carry over to the complex case.
3. 1. The name “Lie group” honours the Norwegian mathematician Sophus Lie who pioneered and developed the theory of continuous transformation groups and the corresponding theory of Lie algebras of vector fields (the group’s infinitesimal generators, as Lie termed them). Lie’s original impetus was the study of continuous symmetry of geometric objects and differential equations.
      The scope of the theory has grown enormously in the 100+ years of its existence. The contributions of Elie Cartan and Claude Chevalley figure prominently in this evolution. Cartan is responsible for the celebrated ADE classification of simple Lie algebras, as well as for charting the essential role played by Lie groups in differential geometry and mathematical physics. Chevalley made key foundational contributions to the analytic theory, and did much to pioneer the related theory of algebraic groups. Armand Borel’s book “Essays in the History of Lie groups and algebraic groups” is the definitive source on the evolution of the Lie groupconcept. Sophus Lie’s contributions are the subject of a number of excellent articles by T. Hawkins.