Lie algebra/representation

In mathematics, more specific algebra, a Representation of a Lie algebra is a simplification of the abstract Lie algebra to a simpler matrix Lie algebra. A representation of a Lie algebra g is a homomorphism from the Lie algebra to the endomorphisms (linear maps) of some vector space.

Examples

Given a matrix Lie algebra g⊆End(V) of some vector space V, then i:g⊆End(V) is a representation. If the dimension of V is minimal, this is called the fundamental representation of the matrix Lie algebra.

Note that for so(3) this is the representation via Pauli matrices, i.e. on C² as su(2).

Adjoint representation

Let g be a Lie algebra. Consider the vector space V=g and construct the linear maps ad_X:V→V: Y→[X,Y], then ad:g→End(V): X→ad_X is a representation of g called the adjoint representation.

Direct sum and tensor product

Given two representations ρ_i:g→End(V_i) we can consider its direct sum ρ₁⊕ρ₂:g→End(V₁⊕V₂): X→ρ₁(X)⊕ρ₂(X).

Conversely, given a Lie algebra representation ρ we can ask whether it can non-trivially be written as direct sum of two representations. If it cannot and is not the 0-representation, then ρ is called irreducible. The goal of classification of representations is thus to decompose representations into irreducible ones. Given the root system of a Lie algebra it is easy to write down all its irreducible representations.

Given two representations of the same Lie algebra g as above, we can also construct a new representation as

\rho _{1}\otimes \rho _{2}\colon \mathbf {g} \to \operatorname {End} (V_{1}\otimes V_{2}):X\mapsto \rho _{1}(X)\otimes {\boldsymbol {1}}+{\boldsymbol {1}}\otimes \rho _{2}(X)

.

The meaning of fundamental representation of a Lie algebra g is that all irreducible representations of g occur as irreducible factors of tensor products of the fundamental representation.

Other methods to construct new representations is by taking exterior powers of a representation. This is analog to the tensor product with an addional relative minus sign between the two summands.

Universal enveloping algebra

Given a Lie algebra g we can ask for homomorphisms to associative algebras (endowed with the commutator bracket). The universal enveloping algebra U(g) is now defined as an associative algebra together with an embedding of g fulfilling the following universal property:

Every homomorphism φ from the Lie algebra g to an associative algebra A extends uniquely to a homomorphism φ' from the universal enveloping algebra U(g) to A.

The existence of universal envelopping algebras follows from the quotient of the tensor algebra by the ideal generated by

\{X\otimes Y-Y\otimes X-[X,Y]:X,Y\in \mathbf {g} \}

.

Unfortunately the tensor algebra as well as the quotient are infinite dimensional (except in the trivial case g=0) even if g is finite dimensional.

Ado's theorem

Given an abstract Lie algebra g we can ask whether we can write it as a subalgebra of a matrix algebra. In terms of representations we are asking for a faithful representation. For arbitrary fields the answer is no.

Ado's theorem states however that every finite dimensional Lie algebra over an algebraically closed field has a faithful finite dimensional representation.

References

Workgroups are no longer used for group communications, but they still are used to group articles into fields of interest. Each article is assigned to 1-3 Workgroups via the article's Metadata.

Mathematics Workgroup

Mathematics article

All articles (900)

To Approve (0)

Editors: active (2) / inactive (15)
and
Authors: active (280) / inactive (0)

Workgroup Discussion

Recent changes

Citable Articles (16)

Subgroups (1)

Checklist-generated categories:

Underlinked (427)
Cat Check (266)
Cleanup (0)

Subpage categories:

Missing subpage categories:

Article statuses:

46 Developed (status=1)
435 Developing (status=2)
388 Stub (status=3)
3 External (status=4)
61 Advanced (status 0-1)
496 Nonstub (status 0-2)
884 Internal (status 0-3)

Below is a listing of articles within the scope of the Mathematics Workgroup.

Articles related to Mathematics