Representations of Lie algebras
[39/82%]Define on the structure of an -module, using formulas (2), returning to the basis elements
and associating with them the linear operators .
Let be a simple Lie algebra with multiplication table (1) over an algebraically closed field of characteristic . Consider the square matrices of order
Verify that the correspondence , establishes an irreducible matrix representation of the Lie algebra , depending on three parameters . Here
(This entirely new situation is typical for representations over a field of finite characteristic.)
Consider the Lie algebra with basis and the commutators
Find the adjoint representation.
Give a Lie algebra which is semisimple, but not simple. Provide a matrix representation.
Classify all real two-dimensional Lie algebras, where . Denote the basis elements by and .
Find a representation of the non-abelian two-dimensional Lie algebra using differential operators.
Find a representation of the non-abelian two-dimensional Lie algebra using matrices.
The simple Lie algebra is spanned by the matrices
with , , . Show that the bracket relations are also satisfied by the matrices
and
Consider the Lie algebra . The matrices
form a basis of .
Find the adjoint representation.
Find the Killing form and the metric tensor for the Lie algebra. From these results decide whether the Lie algebra is semisimple.
Let be the generators of a three-dimensional Lie algebra with the commutation relation
Find the adjoint representation. Is the Lie algebra semisimple?
Let be the unit matrix. Consider the matrices
Find the commutators . Discuss.
Consider the vectors in
Then
Find eight matrices
such that the following commutation relations are satisfied
and . We can assume that are diagonal matrices.
Is the three dimensional Heisenberg algebra with the basis and the commutators , , nilpotent?
Find a matrix representation with matrices.
Let . Consider the vector fields
Find the commutators and show that we have a basis of a Lie algebra.
Consider the vector fields
Find the commutators and show that form a basis of a Lie algebra. Is the Lie algebra semisimple?
Consider the non-commutative two dimensional Lie algebra with and
Show that the matrices
also form a non-commutative Lie algebra under the commutator, where denotes the Kronecker product. Discuss.
We denote by the semisimple Lie algebra spanned by a basis with the Lie bracket defined by
Using matrices we have the representation
Let be the Kronecker product. Do the three matrices
form a basis of a Lie algebra? Calculate the commutators.
Consider the Lie algebra with
and the commutators , , . Consider
Find the three commutators
and thus show that we have a Lie algebra. Is this Lie algebra isomorphic to ?
The four matrices
form a basis of the Lie algebra . We have
and . Can one find an invertible matrix over such that
Consider the semisimple Lie algebra whose elements satisfy the commutation relations
Find the adjoint representation.
Let () be a basis for a Lie algebra. Then is called the metric tensor. From the adjoint representation find the metric tensor.
Consider the Lie algebra with the basis and the commutators
with
Assume that is an eigenvector of , i.e. , where is the eigenvalue. Calculate . Discuss.
Consider the differential operators
and
Find the commutators. Show that we have a basis for a semisimple Lie algebra.
Consider the differential operators
and
Find the commutators. Show that we have a basis for a semisimple Lie algebra. Are the two Lie algebras isomorphic?
Consider the spin-matrices (spin-1)
Find the commutators and thus show that we have a basis of a Lie algebra. Show that we have a faithful representation using differential operators by
Consider the Lie algebra with the basis and the commutators
Find the adjoint representation.
Calculate .
The matrices
form a basis for the Lie algebra with the commutators , , . Let . Do the matrices ()
satisfy the same commutation relations?
Let . The algebra is generated by and with deformed commutation relations
Show by direct computation of the commutators that this algebra has the same matrix representation as the undeformed Lie algebra , i.e.
Consider the Lie algebra . The ten generators and satisfy the commutation relations
\begin{aligned} [L_j, L_k] & = i \epsilon _{jk\ell } L_\ell \\[L_j, V] & = 0 \\[L_j, D_k] & = i \epsilon _{jk\ell } D_\ell \\[L_j, F_k] & = i \epsilon _{jk\ell } F_\ell \\[D_j, F_k] & = -i \delta _{jk} V \\[D_j, D_k] & = -i \epsilon _{jk\ell } L_\ell \\[F_j, F_k] & = -i \epsilon _{jk\ell } L_\ell \\[D_j, V] & = -i F_j \\[F_j, V] & = i D_j \end{aligned}where and . Find the adjoint representation of .
Find the Killing form . Then show that the Lie algebra is semisimple.
Find the two quadratic Casimir operators of . The Casimir operators commute with all elements of the Lie algebra.
Let be complex variables. Show that differential operators (vector fields)
form a basis of a Lie algebra under the commutator.
Let . Show that the differential operators
form a basis of a Lie algebra under the commutator.
Let . Show that the differential operators
form a basis of a Lie algebra under the commutator.
Consider the differential operators
where is an integer.
Calculate the commutators , , and thus show that we have a basis of the Lie algebra .
Find
Use the result form (ii) to calculate
Consider the vector fields
They satisfy the commutation relations
Thus we have a realization of the Lie algebra . Extend the vector fields to the operators
Find the condition on the analytic functions such that also satisfy the commutation relations
Let be Bose creation and annihilation operators with the commutation relations
where is the identity operator. Consider the operators
Find the commutators.
Show that there is a non-hermitian faithful representation by matrices
and
Note that the identity operator is not mapped into the identity matrix.
Consider the Lie algebra with the basis and the commutators
Give faithful representations of using (i) matrices, (ii) matrices, (iii) vector fields, (iv) second order differential operators, (v) Bose operators, (vi) Fermi operators.
Let be Bose creation operator and let be the identity operator. The semi-simple Lie algebra is generated by
with the commutation relations
We use the ordering for the basis. Write a computer algebra program that finds the ajoint representation for the Lie algebra.
The exceptional Lie algebra has rank 2 and dimension 14. A basis is given by
with the commutation relations and
Thus
Thus and each span the sub Lie algebra of . The commutator table for (Table 4.1) is, where entry gives for and is left blank (not part of the table) otherwise:
Note that is a sub Lie algebra of . Write a SymbolicC++ program that finds the adjoint representation.
Let be Bose annihilation operators. Show that
are a representation of the Lie algebra . Write a SymbolicC++ program that implements this representation.
Let be matrices over . We define
Consider the Lie algebra with the basis
Find , , . Calculate the commutators
Discuss.
Let . The spin generators of the Lie algebra at site are given by
Find the commutators.