Lie Groups
[110/93%]A (global) group of matrices is compact if it is a bounded, closed subset of the set of all matrices. A set of matrices is bounded if there exists a constant such that for and all . The set is closed provided every Cauchy sequence in converges to a matrix in . A sequence of matrices is a Cauchy sequence if each of the sequences of matrix elements , is Cauchy. The orthogonal group consists of all matrices over with . Show that the orthogonal group is compact.
The Lie group consists of the set of all pseudo-unitary matrices (of determinant ) preserving the quadratic form
Show that the matrix
preserves the quadratic form , where .
Show that .
Give the inverse of .
Show that with is again a matrix of the form (1).
The underlying field is the real numbers . The elements of the Lie group satisfy and . Given any rotation matrix, . If does not admit as an eigenvalue, then there is a unique skew symmetric matrix, , () so that
The matrix is called the Cayley transform of . Let and
Find .
The group commutator of two elements and of a group is defined by
The commutator is a kind of measure as to how near and come to commuting, being the identity element of if and only if .
Consider a matrix group with matrix multiplication as composition. Calculate .
The Lie group consists of all unitary matrices , i.e. . Now
are elements of . Calculate .
The rotation matrix
is an element of , i.e. and . Is the matrix
an element of ?
Let . The matrix
is an element of the Lie group . Find a matrix such that .
Consider the matrix
where and . Thus . Let , , be the Pauli spin matrices. We define for .
Calculate
Find the matrix from the relation
where is defined as
Let
Show that can be written as
Consider the Lie group . Let
Thus . Show that the so called Mobius transformation
of the extended complex plane forms a group under function composition.
Show that this group is isomorphic to the quotient of by its center.
Show that the Mobius group is isomorphic to .
Let , i.e. . Show that
Let . Show that .
. Show that .
Let . Show that
Show that
where and are Chebyshev’s polynomial of the second kind defined by
Apply the Cayley-Hamilton theorem. The Cayley-Hamilton theorem states that every matrix over a commutative ring (such as , , ) satisfies its own characteristic equation.
Consider the Lie group and its Lie algebra . The Lie algebra consists of all matrices over with trace equal to . Let
with eigenvalues (twice). Note that the matrix is not normal, i.e. . Show that . This shows that the map is not surjective although the Lie group is connected.
Given the invertible matrix
Find two non-diagonal matrices over such that . Such transformations are known as Lorentz transformations.
The group consists of all real matrices which obey the condition
where is the skew-symmetric matrix
with the identity matrix and the zero matrix. Let be a real symmetric positive definite matrix. Show that there exists an such that
Consider the trace-less matrices
Let . Show that the matrices
are elements of the Lie group .
The group of complex rotations is defined as the group of all complex matrices , such that , where means transpose. These transformations preserve the real scalar product
so that , where and are complex vectors in general, i.e. .
Show that the matrix ()
is an element of .
Find the partial derivatives under complex orthogonal transformations
i.e. with .
The non-compact Lie group consists of all matrices over with determinant equal to . Give a matrix which is an element of but not an element of the compact Lie group .
The maximal compact Lie subgroup of is the Lie group . Give an element which is in but not in .
Consider the Lie group . Give a compact and non-compact subgroup of .
Consider the Lie group , i.e. the set of all real matrices with determinant equal to . A dynamical system in can be defined by
with the initial matrices . Let . Show that
The Lie group consists of all real matrices that satisfy
where and with 's and 's. Let be a real symmetric positive definite matrix of dimension . Show that for any choice of partition , there exists an such that
The compact Lie group has a realization as the group of all real matrices such that and . This is the natural realization of as the group of all rotations in the vector space which leave the origin fixed. One convenient parameterization of is in terms of the Euler angles. A rotation through angle about the -axis is given by
and rotations through angle about the and axis are given by
respectively. Differentiate each of these matrices with respect to and set to find a basis , , of the simple Lie algebra . Calculate the commutators. Find , , .
Consider the symplectic group, , consisting of real matrices satisfying
These matrices can also be characterized by the condition, , i.e. is identical with the group of all real matrices of determinant .
Show that the matrix
is an element of . Find .
An element has the decomposition
where , , . Find the conditions on .
We know that all unitary matrices form the Lie group under matrix multiplication. Let be an unitary matrix. Is unitary? Is unitary?
Consider the Lie group . The eigenvalues of a unitary matrix take the form , where . Consider the unitary matrix
Find the eigenvalues of and the group generated by the eigenvalues under multiplication.
Let be a skew-hermitian matrix, i.e. , and . Then
is a unitary matrix. The unitary matrices form a Lie group under matrix multiplication. Given reconstruct the skew-hermitian matrix .
Apply the reconstruction technique to the unitary matrix
Apply the reconstruction technique to the unitary matrix
Consider the semisimple Lie group . Let . Then . Show that and have the same eigenvalues.
Is this still true for ?
Consider the matrices
and the matrices
Obviously, these matrices are elements of the Lie group .
Calculate the inverse matrices , .
Calculate the matrix products
Let be real Banach spaces. Let be the space of bounded linear operators. If the operator is differentiable at then for every
This is called the directional derivative (Gateaux derivative) of at in the direction of . In the following we have . Consider the Banach space of all real matrices with the norm induced by the scalar product
Let be the map in the Lie group . Show that
Show that is isomorphic to .
Show that is the double covering group of .
Let . Consider the matrices
which are elements in the Lie groups . Find matrices (infinitesimal generators) such that
The following three matrices are elements of the Lie group with
Find matrices such that
Calculate the commutators , , .
One-parameter subgroups of the Lie group are given by
Find the infinitesimal generators.
Consider the subgroups of the Lie group
where . Find the infinitesimal generators.
Consider the subgroups of the Lie group
where . Find the infinitesimal generators.
Consider real matrices satisfying the following two conditions. First is a rotation matrix, i.e. its rows (and therefore its columns) are pairwise orthonormal. Second we impose . Find all these matrices.
Let . The matrices
form a Lie group. Find the infinitesimal generator.
Let . Let be the unitary diagonal matrix
Find the condition on a unitary matrix such that
Consider the compact Lie group . Let
be an element of . Find a matrix such that is diagonal. To find calculate the eigenvalues and normalized eigenvectors of . Is an element of the Lie group ?
Consider the Lie group . Let
be an element of . Find a matrix such that is diagonal. To find calculate the eigenvalues and normalized eigenvectors of . Is an element of the Lie group ?
Consider the Lie group . Show that the Lie group is a normal subgroup of . The group elements of have determinant . Apply the theorem:
A subgroup of the group is normal in if and only if for all in .
Consider the Lie group . Show that each element of can be generated by the two matrices
where .
Find an invertible matrix , i.e. , such that
Find an invertible matrix , i.e. , such that
The Pauli spin matrices are elements of the Lie group . Additionally they are hermitian.
Let . Find
Find
The Pauli spin matrices are elements of the Lie group . Additionally they are hermitian. Let be the Kronecker product. Then , , are elements of the Lie group . The matrices are also hermitian. Let . Find
Consider also the exponential functions of the terms , , , where is the direct sum. These terms are also elements of the Lie group .
Consider the Lie group of the unitary matrices. Let be the -torus of diagonal unitary matrices. Obviously is a subgroup of . Describe the homogeneous space .
Let be a semisimple Lie group and a maximal compact Lie subgroup of . Give an example for and .
Find the maximal compact subgroup of .
Let be matrices over . If , then . Let . Consider the matrices
Then is an element of and is a diagonal matrix with determinant , i.e. is an element of .
Show that .
Calculate
Discuss.
Given two matrices
in the Lie group , i.e. , . The Kronecker product of and is given by the matrix
The action of an matrix on a polynomial may be defined by setting
where is the multiplication of the row -vector by the matrix . Thus is a row vector again. We denote by
the ring of polynomials in that are invariant under the action of for all pairs , i.e.
The action preserves degree and homogeneity. Consider
and
Show that .
Let . Show that is a subgroup of .
Consider the compact Lie groups and . Show that we have a homeomorphism .
The circle
is a -manifold which is a one-dimensional submanifold of the vector space . An atlas is given by
Show that the overlap functions are differentiable.
Consider the Lie group . The connected component of is defined by
and is itself a differentiable manifold of dimension . Show that is a subgroup of .
We define
where stands for transpose. This is the real orthogonal group. Show that is a subgroup of . Give the condition .
Consider the Lie group . Show that the -sphere
is diffeomorphic to .
Consider the linear action of on the vector space . This maps complex lines into complex lines and therefore passes to an action on the complex projective space which is defined to be the vector space of all such lines in . Let , i.e. we consider . Find an element in such that
Consider the matrix
(parity reversal) where but . Show that every , can be written as with .
Let
i.e. . Find the conditions on the entries such that
Do these matrices form a subgroup of under matrix multiplication?
The Lie groups and have isomorphic Lie algebras and , respectively. A basis for the Lie algebra is given by
with , , . Construct a homomorphism
Let and
Obviously, .
Find , where denotes the transpose.
Let . Find , where denotes the Kronecker product.
A quandle, , is a set with a binary operation such that
-
For any , .
-
For any , there is a unique such that .
-
For any , we have . Examples of quandles are: (1) A group with conjugation as the quandle operation . We denote by the quandle defined for a group by . Any subset that is closed under such conjugation is also a quandle. (2) Any -module is a quandle with , where , that is called an Alexander quandle. (3) Let be a positive integer, and for elements , define
Then defines a quandle structure called the dihedral quandle.
Let with
Calculate and . Is ?
Let be the multiplicative group of nonzero complex numbers also denoted by . Show that is a Lie group.
is the set of nondegenerate (determinant nonzero) matrices with matrix multiplication for its group operation. Show that is a Lie group.
Let , and . Show that there exists and diagonal and positive definite such that
where is the zero matrix. The matrices and are unique up to a permutation of the elements of .
The -sphere defined by
is a manifold of dimension . Find two different atlases.
Consider the manifold . Consider the analytic function
Show that satisfies the conditions of the inverse function theorem on , but the function is not on .
Let . Consider the invertible matrices
Find matrices such that
Consider the rotation matrix around the -axis
Let
Find . Discuss.
The Lie group consists of all linear transformations of which preserves a non-degenerate hermitian form with two positive and two negative eigenvalues. For a suitable choice of basis in we can characterize a by
If we write the matrix in a block matrix form we have
where
Is
an element of ?
Is
an element of ?
Let and be positive real number. Consider the vector
For we have and for we have . Let be the Pauli spin matrices. We define the matrix
Calculate the matrix .
Let . Let , where are real. Calculate
Calculate . Discuss.
Consider the Lie group . Consider the Jacobi elliptic functions , , , where and .
Show that the matrix ()
is an element of . Find the inverse of the matrix.
Study the limiting cases with and . Are the matrix elements bounded?
Consider the Lie group . Consider the Jacobi elliptic functions , , , where and .
Show that the matrix ()
is an element of . Find the inverse of the matrix.
Study the limiting cases with and . Are the matrix elements bounded?
Consider the Lie group and the matrix ()
where and are Airy functions which are solutions of the linear second order differential equation and denotes the derivative. The Airy functions are defined by the improper integrals
The matrix is an element of since
Find the inverse of .
Find .
Find for using the asymptotic expansion
Consider the group of real matrices under matrix addition. Show that this is an -dimensional Lie group.
Let be the vector space of all matrices over the real number . Show that the real general linear group
which is the group of all non-singular real matrices is a Lie group.
Consider the group of upper triangular real matrices under matrix multiplication with nonzero determinants. Show that this is an -dimensional Lie group. Describe its group manifold.
Let
Show that can be considered as a subset of ()
The Hopf map is defined by
Find the parameterization of , i.e. find , and thus show that indeed maps onto .
Show that if and only if () and .
Consider the compact differentiable manifold
An element can be written as
where and . The stereographic projection is a map
given by
Let and arbitrary. Find . Give a geometric interpretation.
Find the inverse of the map, i.e., find
One natural parameterization of the Lie algebra as a sub Lie algebra of is given by the matrices
with , , . Find , where and .
Find the factor group .
The unitary matrices form a Lie group. Do the unitary matrices satisfying the additional condition form a sub Lie group?
The unitary matrices form a Lie group under matrix multiplication. Let be the zero matrix. Do the matrices
form a group under matrix multiplication?
Let be a fixed element of a group . The centralizer of in , , is the set of all elements in that commute with , i.e.
Consider the Lie group and
Then since . Find the centralizer of .
The kernel of a homomorphism from a group with identity is the set
The kernel of is denoted by . Let be the abelian group of nonzero real numbers under multiplication. Let . The mapping (determinant) is a homomorphism from to . Find the kernel.
Consider the compact Lie group . Let . Find the Frobenius norm
Find the norm
The vector space of all matrices over form a Hilbert space with the scalar product
This implies a norm .
Let be a unitary matrix. Find .
Consider the unitary matrices
Find the norm .
Let be a unitary matrix. Let . Find the norm .
Consider the Lie group of all unitary matrices. Let be an skew-hermitian matrix with eigenvalues (counted according to multiplicity) and the corresponding normalized eigenvectors , where for . Then can be written as
and for and . Note that the matrices are projection matrices and
Calculate .
Every unitary matrix can be written as , where is a skew-hermitian matrix. Find from a given .
Use the result from (ii) to find for a given a possible .
Apply the result from (ii) and (iii) to the unitary matrix
Apply the result from (ii) and (iii) to the unitary matrix
Every hermitian matrix can be written as , where is a skew-hermitian matrix. Find for the examples given above.
An action or realization of a group on a set is defined as map
where and . An element of the manifold is a fixed point if
Find the fixed points for the Lie group on .
Find the fixed points for on .
Consider the subgroups of the Lie group
where . The Lie group acts as a linear group of transformations of linear vector space . Find the infinitesimal generators of the group as vector fields.
The representation of the Lie group by matrices is
Show that the quadratic form (Euclid's metric) is an invariant of the group action of on vectors on the plane.
The representation of the Lie group group by matrices is
Show that the quadratic form (Minkowski's metric) is an invariant of the group action of on vectors on the plane.
Let . Consider the complex form of the group
Show that is an abelian subgroup of . Show that is isomorphic to a subgroup of .
Let be the polynomial ring in two variables over the field . Let be a positive integer and be the sub vector space of polynomials which are homogeneous of degree . Then has the basis
and dimension . An element of
operates on by the transformation , and is the representation space for for each under this operation. We could also write in matrix form
Let , . Show that the images of under the transformation by
are given by
Let . Show that the matrix
has an inverse and find . is an element of .
The symmetric space can be identified with the space of positive matrices with determinant
i.e. . The group action is defined by
Find .
Show that on the hyperboloid , the matrix only changes the coordinates and .
Find an abelian Lie subgroup of the Lie group .
We consider the Lie groups , and the corresponding Lie algebras , , respectively. We define the matrix
Then
where is the vector space of the matrices over the complex numbers.
Show that
is an element of and .
Let . Calculate to find an element of .
Show that the Lie group is connected.
Consider the Lie group consisting of all matrices
Find the inverse .
Find the product .
Find a basis for the Lie algebra of the Lie group and the commutators.
Consider the vector space of homogeneous polynomials of two complex variables. An element of this vector space can be written as
The compact Lie group acts on this vector space through the action of as a linear transform on the vector by
Show that this a group homomorphism.
Consider all matrices with , i.e., . Then can be written as
with the constraint . Let
Show that
Consider
Show that , where is the exterior product and the exterior derivative. Note that is linear.
Consider the matrix
Let . Find .
Consider the vector field
defined on . Let . Calculate
Use the results from either (i) or (ii) to solve the initial value problem of the system of linear first order differential equations
Consider the vector fields
The manifold is , i.e. . Calculate
Consider the nonlinear ordinary differential equation
with the initial condition . Find the solution of the initial value problem using the exponential map (Lie series)
where is the corresponding vector field
Consider the matrix
where , , . Write a Computer algebra program in SymbolicC++ that calculates
and thus finds the generators
Thus
Let . Given the matrix
Write a SymbolicC++ program that calculates the vector
and shows that is invariant.
Show that the compact Lie groups and have isomorphic Lie algebras. A basis for is given by the skew-symmetric matrices
A basis for is given by skew-hermitian matrices
Thus , , , where denote the Pauli spin matrices.
Let . We define the -sphere
Show that
For one has .
Consider the Pauli spin matrices
Let . Calculate
Discuss.
A basis for is given by the skew-symmetric matrices
Let . Calculate
Discuss.
Show that any element of can be diagonalized by an unitary matrix and the diagonal elements are given by .
The Pauli matrices and the identity matrix are elements of the Lie group . What is the condition on () such that
is an invertible matrix, i.e. an element of ?
The matrix
is an element of the Lie group . Find a unitary matrix such that is a diagonal matrix.
Show that the group is isomorphic to the group of complex matrices with determinant . The quotient means that two matrices differing by an overall sign are identified.
Show that is isomorphic to the group of complex Mobius transformations in the extended complex plane .
Let denote the five-dimensional manifold with multiplication defined as follows
where is a fixed irrational number and , . Show that is a Lie group.