Algebra I Fall 2007

Similar documents
Geometry of the Special Unitary Group

REPRESENTATION THEORY WEEK 7

Review of Linear Algebra Definitions, Change of Basis, Trace, Spectral Theorem

Linear Algebra: Matrix Eigenvalue Problems

MATH 423 Linear Algebra II Lecture 33: Diagonalization of normal operators.

MATH 583A REVIEW SESSION #1

Lecture 13 The Fundamental Forms of a Surface

18.06 Problem Set 8 - Solutions Due Wednesday, 14 November 2007 at 4 pm in

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

Representation theory and quantum mechanics tutorial Spin and the hydrogen atom

ROTATIONS OF THE RIEMANN SPHERE

Quantum Computing Lecture 2. Review of Linear Algebra

Introduction to Lie Groups

Spectral Theorem for Self-adjoint Linear Operators

Linear Algebra Review. Vectors

Math 108b: Notes on the Spectral Theorem

A PRIMER ON SESQUILINEAR FORMS

Math 215B: Solutions 1

Physics 129B, Winter 2010 Problem Set 4 Solution

Spring 2018 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 3

THE EULER CHARACTERISTIC OF A LIE GROUP

Math 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.

Problems in Linear Algebra and Representation Theory

Linear Algebra. Min Yan

Introduction to Group Theory

Linear algebra 2. Yoav Zemel. March 1, 2012

Linear Algebra Review

Linear algebra and applications to graphs Part 1

conventions and notation

Lecture notes: Applied linear algebra Part 1. Version 2

Part IA. Vectors and Matrices. Year

Symmetric and self-adjoint matrices

MATRIX LIE GROUPS AND LIE GROUPS

1. General Vector Spaces

q n. Q T Q = I. Projections Least Squares best fit solution to Ax = b. Gram-Schmidt process for getting an orthonormal basis from any basis.

MATRICES ARE SIMILAR TO TRIANGULAR MATRICES

Topics in linear algebra

A Lie Group. These notes introduce SU(2) as an example of a compact Lie group. SU(2) = { A A a 2 2 complex matrix,deta = 1,AA = A A = 1l }

Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

Honors Linear Algebra, Spring Homework 8 solutions by Yifei Chen

1. Foundations of Numerics from Advanced Mathematics. Linear Algebra

3.024 Electrical, Optical, and Magnetic Properties of Materials Spring 2012 Recitation 1. Office Hours: MWF 9am-10am or by appointment

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

CLASSICAL GROUPS DAVID VOGAN

Matrix Lie groups. and their Lie algebras. Mahmood Alaghmandan. A project in fulfillment of the requirement for the Lie algebra course

Lecture 10: Eigenvectors and eigenvalues (Numerical Recipes, Chapter 11)

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

Chapter Two Elements of Linear Algebra

Representation Theory

Final Review Sheet. B = (1, 1 + 3x, 1 + x 2 ) then 2 + 3x + 6x 2

UNDERSTANDING THE DIAGONALIZATION PROBLEM. Roy Skjelnes. 1.- Linear Maps 1.1. Linear maps. A map T : R n R m is a linear map if

Vectors To begin, let us describe an element of the state space as a point with numerical coordinates, that is x 1. x 2. x =

Symmetric and anti symmetric matrices

Lecture notes on Quantum Computing. Chapter 1 Mathematical Background

The Hurewicz Theorem

OHSx XM511 Linear Algebra: Solutions to Online True/False Exercises

4 Group representations

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

Distance Between Ellipses in 2D

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

Math 443 Differential Geometry Spring Handout 3: Bilinear and Quadratic Forms This handout should be read just before Chapter 4 of the textbook.

Linear Algebra 2 Spectral Notes

Numerical Linear Algebra

REPRESENTATION THEORY OF S n

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

Linear Algebra Exercises

Review of Linear Algebra

FFTs in Graphics and Vision. Groups and Representations

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

LINEAR ALGEBRA REVIEW

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

j=1 u 1jv 1j. 1/ 2 Lemma 1. An orthogonal set of vectors must be linearly independent.

The groups SO(3) and SU(2) and their representations

Lecture 10: A (Brief) Introduction to Group Theory (See Chapter 3.13 in Boas, 3rd Edition)

18.06SC Final Exam Solutions

WOMP 2001: LINEAR ALGEBRA. 1. Vector spaces

Math 408 Advanced Linear Algebra

Stat 159/259: Linear Algebra Notes

Introduction to Matrix Algebra

Math Linear Algebra II. 1. Inner Products and Norms

Schur s Triangularization Theorem. Math 422

The Real Grassmannian Gr(2, 4)

A geometric proof of the spectral theorem for real symmetric matrices

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

ABSTRACT ALGEBRA 1, LECTURES NOTES 5: SUBGROUPS, CONJUGACY, NORMALITY, QUOTIENT GROUPS, AND EXTENSIONS.

21 Symmetric and skew-symmetric matrices

Solutions to Problem Set 1

Linear Algebra. Paul Yiu. 6D: 2-planes in R 4. Department of Mathematics Florida Atlantic University. Fall 2011

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88

Abstract Algebra Study Sheet

Introduction to Modern Quantum Field Theory

4. Linear transformations as a vector space 17

THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS

The Symmetric Space for SL n (R)

z, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1

Linear Algebra Lecture Notes-II

Symmetric Spaces Toolkit

a(b + c) = ab + ac a, b, c k

EXERCISES ON DETERMINANTS, EIGENVALUES AND EIGENVECTORS. 1. Determinants

Chapter 8. Rigid transformations

Transcription:

MIT OpenCourseWare http://ocw.mit.edu 18.701 Algebra I Fall 007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

18.701 007 Geometry of the Special Unitary Group 1. The group The elements of SU are the unitary matrices with determinant 1. They have the form a (1.1) b, b ā with āa + bb = 1. (This is the transpose of the matrix in the text.) Group elements also correspond to points on the 3-dimensional unit sphere S 3 in R 4, the locus of points (x 0, x 1, x, x 3 ) with x 0 + x 1 + x + x 3 = 1. The correspondence between SU and S 3 is given by a = x 0 + x 1 i and b = x + x 3 i. We pass informally between these two sets, considering the matrix and the vector as two notations for the same element of the group. So a group element can represented by a matrix or by a point of the unit 3-sphere. (1.) P = SU S 3 a b (x b ā 0, x 1, x, x 3 ) = X algebra geometry It is possible to write everything in terms of vectors. The real and imaginary parts of a product P Q can be computed as functions of the entries of the vectors that correspond to the matrices, but I haven t been able to get much insight from the formulas. We ll use mainly the matrix notation. The rule a = x 0 + x 1 i and b = x + x 3 i provides a bijective correspondence (1.) between matrices and vectors also when the conditions āa + bb = 1 and x 0 + + x 3 = 1 are dropped. The matrices (1.1) with aa + bb arbitrary form a four dimensional real vector space that we denote by V. We make V into a euclidean space by carrying over the dot product form from R 4. If Q is another matrix in V, say c d (1.3) Q = (y 0, y 1, y, y 3 ) = Y, d c where c = y 0 + y 1 i and d = y + y 3 i, we define (1.4) P, Q = x 0 y 0 + x 1 y 1 + x y + x 3 y 3 = X t Y. This form makes V into a euclidean vector space. It has a nice expression in matrix notation that will be useful: Proposition 1.5. (i) If P, Q are elements of the space V, P, Q = 1 trace(p Q). (ii) If U is a unitary matrix, UP U, UQU = P, Q. Lemma 1.6. Let a = x 0 + x 1 i and c = y 0 + y 1 i be complex numbers. Then 1 (āc + ac ) = x 0y 0 + x 1 y 1. Proof of Proposition 1.5. (i) This is a simple computation: P Q = ā b c d ac + bd = b a d c bd + ac 1.

Therefore trace P Q = āc + ac + bd + bd = x 0 y 0 + x 1 y 1 + x y + x 3 y 3. (ii) follows from (i): Because U is unitary, U = U 1. Then (UP U ) (UQU ) = U(P Q)U. Trace is invariant under conjugation, so trace(up QU (= trace(p Q). We think of the x 0 -axis of R 4 as the vertical axis. The identity matrix in V corresponds to the vector (1, 0, 0, 0) in R 4, and the matrices corresponding to the other standard basis vectors are i 0 (1.7) i = (0, 1, 0, 0) 0 i 0 1 k = 1 0 0 i j = i 0 So (I, i, j, k) is an orthonormal basis of the euclidean space V. (0, 0, 1, 0) (0, 0, 0, 1) An aside; we won t use this: The matrices i, j, k can be obtained by multiplying the Pauli matrices of quantum mechanics by ±i. They satisfy the relations i = j = k = I and ij = k = ji. These relations define what is called the quaternion algebra. So SU is the set of unit vectors in the quaternion algebra. The trace of the matrix (1.1) is a + ā = x 0, and its characteristic polynomial is the real polynomial (1.8) t x 0 t + 1. Because 1 x 0 1, the eigenvalues are complex conjugate numbers λ, λ whose product is 1. They lie on the unit circle. Proposition 1.9. Let P be an element of SU with eigenvalues λ, λ. There is an element U SU such that U 1 P U = U P U is the diagonal matrix λ 0 Λ =. 0 λ One can base a proof of the proposition on the Spectral Theorem for normal operators or check it directly as follows: Let (u, v) t be an eigenvector of P of length 1 with eigenvalue λ. Then ( v, u) t is an eigenvector with eigenvalue λ. The matrix u v (1.10) U = v ū is an element of SU, P U = UΛ, and Λ = U 1 P U. (Please check this.). Latitudes A latitude is defined to be a horizontal slice through the sphere, a locus of the form {x 0 = c}, with 1 c +1. In matrix notation, this slice is the locus {trace P = c}. Every element of the group is contained in a unique latitude. The next corollary restates Proposition 1.9.

3 Corollary.1. The latitudes are the conjugacy classes in SU. The equation for a latitude is obtained by substituting x 0 = c into the equation for the unit sphere: (.) x + x + x = (1 c ). 1 3 This locus is a two-dimensional sphere of radius r = 1 c in the three-dimensional horizontal space {x 0 = c}. In the extreme case c = 1, the latitude reduces to a single point, the north pole. Similarly, the latitude c = 1 is the south pole I. The equatorial latitude E is defined by the equation x 0 = 0, or by trace P = 0. We ll refer to this latitude simply as the equator. A point on the equator can be written as z (.3) A = 1i z + z 3 i (0, z z + z 3 i z 1, z, z 3 ) 1i with z 1 + z + z 3 = 1. If we drop the length one condition, the matrices (.3) form the three-dimensional subspace V 0 of V defined by the condition trace A = 0. When we restrict the form (1.4) to V 0, we obtain a three-dimensional euclidean space with orthonormal basis (i, j, k). The matrix A shown above is the linear combination z 1 i + z k + z 3 j. The equator is the unit sphere in V 0. A complex matrix A is skew hermitian if A = A, and the space V 0 consists of the skew hermitian matrices with trace zero. Aside: A matrix A is skew hermitian if and only if ia is hermitian. Proposition.4. The following are equivalent for a matrix A SU : (a) trace A = 0 (A is on the equator), (b) The eigenvalues of A are ±i, (c) A = I. Proof. It is clear from the form (1.8) of the characteristic polynomial that (a) and (b) are equivalent. Next, if λ is an eigenvalue of A, then λ is an eigenvalue of A. Since I is the only matrix in SU with an eigenvalue equal to 1, A = I if and only if λ = ±i. 3. Longitudes Let W be a two-dimensional subspace of V that contains the north pole I. The intersection L of W with the unit sphere SU is defined to be a longitude of SU. It is the unit circle in the plane W, and a great circle in the sphere S 3 a circle of maximal radius (equal to 1). Every element P SU except ±I lies on a unique longitude, because (I, P ) will be a basis of a two-dimensional subspace W. The matrices ±I lie on every longitude. Proposition 3.1. Let W be a two-dimensional subspace of V that contains I, and let L be the longitude of unit vectors in W. (i) L meets the equator E in two antipodal points, say ±A. (ii) (I, A) is an orthonormal basis of W. (iii) The longitude L has the parametrization P θ = cos λ I + sin λ A. (iv) The longitudes are conjugate subgroups of SU. Proof. (i) The intersection of the two-dimensional space W with the three-dimensional space V 0 has dimension 1. It contains two vectors of length one.

4 (ii) A unit vector orthogonal to I has the form (.3), so it is on E, and conversely. (iii) Using the fact that I, A are orthogonal unit vectors, one sees that P θ has length one for every λ. So P θ parametrizes the unit circle in W. (iv) Let L be the longitude that contains a point A on the equator. Proposition 1.9 tells us that A is conjugate to k, say k = U AU. Then U P θ U = cos λ I + sin λ k, which is the longitude L k that contains k. Therefore L is conjugate to L k. Moreover, L k consists of the real matrices in SU, the group SO of rotations of the plane: cos λ sin λ (3.) (cos λ, 0, sin λ, 0). sin λ cos λ Since L k is a subgroup of SU, so is the conjugate subset L = UL k U. (As an exercise, I recommend checking closure of P θ under multiplication directly.) The special longitude cos λ I + sin λ i is also worth noting. It consists of diagonal matrices in SU : e iθ 0 (3.3) 0 e iθ (cos λ, sin λ, 0, 0), The longitude that contains j is a subgroup that we haven t met before. 4. The orthogonal representation The equator E is a two-dimensional sphere. Since E is a conjugacy class in SU, the group SU operates on it by conjugation. We will show that conjugation by a group element U is a rotation of the sphere E. (In fact, conjugation by U rotates every latitude.) If B is a skew-hermitian matrix with trace zero and if U SU, then the conjugate UBU is also skew-hermitian with trace zero. You can check this. Therefore conjugation by SU defines an operation on the space V 0. Let π U denote the operation conjugate by U. So by definition, π U is the operator π U (B) = UBU on trace zero skew hermitian matrices B. Theorem 4.1. (i) For any U SU, π U is a rotation of the euclidean space V 0. (ii) The map π : SU SO 3 defined by U π U is a surjective group homomorphism, and its kernel is the center Z = {±I} of SU. (iii) Suppose that U = cos λi + sin λa, where A E. Then π U is the rotation through the angle λ about the axis containing the vector A. The First Isomorphism Theorem, together with part (ii) of the theorem, tells us that SO 3 is isomorphic to the quotient group SU /Z, the group of cosets of Z. The coset P Z consists of the two matrices ±P. Thus elements of SO 3 correspond to pairs of antipodal points of the 3-sphere SU. This identifies SO 3 as a real projective 3-space RP 3, and SU as a double covering of that space. Proof. (i) A rotation is an orthogonal linear operator with determinant 1. We must verify these things for π U. To show that π U is a linear operator, we must verify that π U (A + B) = π U (A) + π U (B), and that if r is a real number, π U (ra) = rπ U (A). This is easy. However, it isn t obvious that π U is orthogonal, and computing the matrix of π U, which is a fairly complicated real 3 3 matrix, is unpleasant. So to prove orthogonality, we will show instead that π U satisfies the criterion for orthogonality of a linear operator, which is (4.) π U (A), π U (B) = A, B

for all A, B V 0. This follows from Proposition 1.5 (ii), so π U is orthogonal as claimed. It remains to show that the determinant of π U is 1. Since we now know that π U is orthogonal, the determinant must be 1 or 1. Now the operator π U and its determinant vary continuously with U. When U = I, π U is the identity operator, which has determinant 1. The group SU is path connected, so the determinant is 1 for every U SU. (ii) The verification that π is a homomorphism is routine: We must show that for U, V SU, π UV (B) = π U (π V (B)). This translates to (UV )B(UV ) = U(V BV )U. We show next that the kernel of π is Z. If U is in the kernel, then conjugation by U fixes every element of E, which means that U commutes with every element of E. By Proposition 3.1, any element P of SU can be written in the form P = ci + sa with A E, and so U commutes with P as well. Therefore the kernel is the center of SU. An element is in the center if and only if its conjugacy class consists of a single element. The conjugacy classes are the latitudes, and the only ones that consist of a single element are {I} and { I}. So the center is Z = {±I}. Since every angle α has the form λ, the fact that f is surjective will follow once we prove part (iii) of the theorem. (iii) If U = c I + s A, then U commutes with A, so π U fixes ±A. The poles of π U are ±A. To determine the angle of rotation we procede this way: Let A be another element of E, and let U = c I + s A. Since E is a conjugacy class, there is an element Q SU such that π Q (A) = QAQ 1 = A and then it is also true that π Q (U) = QUQ 1 = U. Since π is a homomorphism, π Q π U π 1 = π U Q. Here the rotation π Q carries the pole A of π U to the pole A of π Therefore the conjugate π U U. = π Qπ U π 1 Q is a rotation through the same angle about the pole A. It follows that we only need to determine the angle for a single matrix A E. We choose A = k, and this reduces us to the case that U = ci + sk, which is the real matrix (3.). We compute the matrix R of π U with respect to our basis (i, j, k) in this case. Let c = cos λ and s = sin λ. Then (4.6) UiU = c i + s j, UjU = s i + c j, UkU = k. This determines the three columns of the matrix R: c s 0 (4.7) R = s c 0. 0 0 1 So R is the matrix of rotation about k through the angle λ, as claimed. 5. Spin The poles of a rotation of E (not the identity) are the two intersections of E with the axis of rotation, the points fixed by the rotation. The choice of pole for a rotation is called a spin. Thus every element of SO 3 except the identity has two spins. The parametrization of Proposition 3.1iii allows us to choose a spin for the rotation π P determined by an element P of SU (not ±I). The poles of a rotation α are the unit vectors in the axis of rotation, and a spin is the choice of one of its two poles. If P = cos λi + sin λa, the poles of π P are the points ±A. To make a consistent choice of a pole, we look at the formula P t = cos ti + sin ta. We choose as the spin of π P either λ or λ whichever lies in the interval (0, π). Geometrically, we orient the longitude L that contains P in the direction in which the spherical distance to P is less than π, and we choose as spin the first point at which L interesects the equator E. 5

6 Corollary 5.1. The homomorphism π defines a bijective map from the set of elements of SU not equal to ±I to the set of spins of nontrivial rotations of the sphere. Because of this corollary, SU is also called the spin group. There is an interesting consequence of the fact that SU is a group: we can multiply spins. Suppose that α and α are rotations of E about two arbitrary axes. Then because the rotations are the elements of the group SO 3, the composed operator αα is again a rotation, unless it is the identity. Now if we choose spins for the two rotations, it isn t clear geometrically how to determine a spin, a pole, for the product αα. But since SU is a group, a spin for αα is actually determined.