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

Similar documents
Spring, 2012 CIS 515. Fundamentals of Linear Algebra and Optimization Jean Gallier

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

Fall, 2003 CIS 610. Advanced geometric methods. Homework 3. November 11, 2003; Due November 25, beginning of class

Differential Topology Final Exam With Solutions

Algebra I Fall 2007

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

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

Lie Groups, Lie Algebras and the Exponential Map

The Cartan Decomposition of a Complex Semisimple Lie Algebra

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

Symmetric Spaces Toolkit

Algebraic Topology I Homework Spring 2014

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

Problems in Linear Algebra and Representation Theory

1: Lie groups Matix groups, Lie algebras

Rings and groups. Ya. Sysak

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

ALGEBRA 8: Linear algebra: characteristic polynomial

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

THE EULER CHARACTERISTIC OF A LIE GROUP

5.3 The Upper Half Plane

Introduction to Lie Groups

Algebraic Topology Homework 4 Solutions

Conformal Mappings. Chapter Schwarz Lemma

Representation Theory

The Lorentz group provides another interesting example. Moreover, the Lorentz group SO(3, 1) shows up in an interesting way in computer vision.

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.

Introduction to Matrix Algebra

Properties of Linear Transformations from R n to R m

MANIFOLD STRUCTURES IN ALGEBRA

Chapter 10: Rational Functions and the Riemann Sphere. By a rational function we mean a function f which can be expressed in the form

Throughout these notes we assume V, W are finite dimensional inner product spaces over C.

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

ROTATIONS, ROTATION PATHS, AND QUANTUM SPIN

Cartan s Criteria. Math 649, Dan Barbasch. February 26

8. COMPACT LIE GROUPS AND REPRESENTATIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

Homework in Topology, Spring 2009.

REPRESENTATION THEORY WEEK 7

book 2005/1/23 20:41 page 132 #146

Exercises on chapter 1

Math 215B: Solutions 1

Review problems for MA 54, Fall 2004.

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

Master Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed

Part IA. Vectors and Matrices. Year

LECTURE VI: SELF-ADJOINT AND UNITARY OPERATORS MAT FALL 2006 PRINCETON UNIVERSITY

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

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

Math 462: Homework 2 Solutions

Lie Algebras. Shlomo Sternberg

Manifolds, Lie Groups, Lie Algebras, with Applications. Kurt W.A.J.H.Y. Reillag (alias Jean Gallier) CIS610, Spring 2005

Representation Theory

MATH 215B HOMEWORK 5 SOLUTIONS

Branching rules of unitary representations: Examples and applications to automorphic forms.

Part II. Algebraic Topology. Year

Part II. Geometry and Groups. Year

HOMEWORK PROBLEMS FROM STRANG S LINEAR ALGEBRA AND ITS APPLICATIONS (4TH EDITION)

Quantum Computing Lecture 2. Review of Linear Algebra

Highest-weight Theory: Verma Modules

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)

Linear Algebra- Final Exam Review

Notes 10: Consequences of Eli Cartan s theorem.

Exercises on chapter 4

Math 210C. A non-closed commutator subgroup

Review of linear algebra

Lemma 1.3. The element [X, X] is nonzero.

Topics in Representation Theory: SU(n), Weyl Chambers and the Diagram of a Group

1 Differentiable manifolds and smooth maps. (Solutions)

IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1

Eigenvalues and Eigenvectors

Algebraic groups Lecture 1

Final A. Problem Points Score Total 100. Math115A Nadja Hempel 03/23/2017

Recall that any inner product space V has an associated norm defined by

Math 113 Solutions: Homework 8. November 28, 2007

1 Hermitian symmetric spaces: examples and basic properties

Contents. Preface for the Instructor. Preface for the Student. xvii. Acknowledgments. 1 Vector Spaces 1 1.A R n and C n 2

Rigidity of certain solvable actions on the torus

Metrics, Connections, and Curvature on Lie Groups

5 Quiver Representations

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

30 Surfaces and nondegenerate symmetric bilinear forms

Review 1 Math 321: Linear Algebra Spring 2010

The Geometry of Conjugacy Classes of Nilpotent Matrices

Hopf Fibrations. Consider a classical magnetization field in R 3 which is longitidinally stiff and transversally soft.

MATH 211 review notes

ALGEBRAIC GROUPS J. WARNER

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

A PRIMER ON SESQUILINEAR FORMS

Bare-bones outline of eigenvalue theory and the Jordan canonical form

Subgroups of Linear Algebraic Groups

LIE ALGEBRAS: LECTURE 7 11 May 2010

A Little Beyond: Linear Algebra

Geometry of the Special Unitary Group

Spring, 2006 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 1

Jean Gallier Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA

Algebraic structures I

Transcription:

Spring 2018 CIS 610 Advanced Geometric Methods in Computer Science Jean Gallier Homework 3 March 20; Due April 5, 2018 Problem B1 (80). This problem is from Knapp, Lie Groups Beyond an Introduction, Introduction, page 21. Recall that the group SU(2) consists of all complex matrices of the form ( ) α β A = α, β C, αα + ββ = 1, β α and the action : SU(2) (C { }) C { } is given by A w = αw + β βw + α, w C { }. This is a transitive action. Using the stereographic projection σ N from S 2 onto C { } and its inverse σ 1 N, we can define an action of SU(2) on S2 by A (x, y, z) = σ 1 N (A σ N(x, y, z)), (x, y, z) S 2, and we denote by ρ(a) the corresponding map from S 2 to S 2. (1) If we write α = a + ib and β = c + id, prove that ρ(a) is given by the matrix a 2 b 2 c 2 + d 2 2ab 2cd 2ac + 2bd ρ(a) = 2ab 2cd a 2 b 2 + c 2 d 2 2ad 2bc. 2ac + 2bd 2ad 2bc a 2 + b 2 c 2 d 2 Prove that ρ(a) is indeed a rotation matrix which represents the rotation whose axis is the line determined by the vector (d, c, b) and whose angle θ [ π, π] is determined by cos θ 2 = a. Hint. Recall that the axis of a rotation matrix R SO(3) is specified by any eigenvector of 1 for R, and that the angle of rotation θ satisfies the equation tr(r) = 2 cos θ + 1. 1

(2) We can compute the derivative dρ I : su(2) so(3) of ρ at I as follows. Recall that su(2) consists of all complex matrices of the form ( ) ib c + id, b, c, d R, c + id ib so pick the following basis for su(2), ( ) i 0 X 1 =, X 0 i 2 = ( ) 0 1, X 1 0 3 = ( ) 0 i, i 0 and define the curves in SU(2) through I given by ( ) ( ) ( ) e it 0 cos t sin t cos t i sin t c 1 (t) = 0 e it, c 2 (t) =, c sin t cos t 3 (t) =. i sin t cos t Prove that c i(0) = X i for i = 1, 2, 3, and that 0 1 0 0 0 1 0 0 0 dρ I (X 1 ) = 2 1 0 0, dρ I (X 2 ) = 2 0 0 0, dρ I (X 3 ) = 2 0 0 1. 0 0 0 1 0 0 0 1 0 Thus, we have dρ I (X 1 ) = 2E 3, dρ I (X 2 ) = 2E 2, dρ I (X 3 ) = 2E 1, where (E 1, E 2, E 3 ) is the basis of so(3) given in Section 2.5. Conclude that dρ I is an isomorphism between the Lie algebras su(2) and so(3). (3) Recall from Proposition 2.37 that we have the commutative diagram SU(2) exp su(2) ρ dρ I SO(3) exp so(3). Since dρ I is surjective and the exponential map exp: so(3) SO(3) is surjective, conclude that ρ is surjective. Prove that Ker ρ = {I, I}. Problem B2 (20). (a) Let A be any invertible (real) n n matrix. Prove that for every SVD, A = V DU, of A, the product V U is the same (i.e., if V 1 DU1 = V 2 DU2, then V 1 U1 = V 2 U2 ). What does V U have to do with the polar form of A? (b) Given any invertible (real) n n matrix, A, prove that there is a unique orthogonal matrix, Q O(n), such that A Q F is minimal (under the Frobenius norm). In fact, prove that Q = V U, where A = V DU is an SVD of A. Moreover, if det(a) > 0, show that Q SO(n). 2

What can you say if A is singular (i.e., non-invertible)? Problem B3 (40 pts). Consider the action of the group SL(2, R) on the upper half-plane, H = {z = x + iy C y > 0}, given by z = az + b c d cz + d. (a) Check that for any g SL(2, R), I(g z) = I(z) cz + d 2, and conclude that if z H, then g z H, so that the action of SL(2, R) on H is indeed well-defined (Recall, R(z) = x and I(z) = y, where z = x + iy.) (b) Check that if c 0, then az + b cz + d = 1 c 2 z + cd + a c. Prove that the group of Möbius transformations induced by SL(2, R) is generated by Möbius transformations of the form 1. z z + b, 2. z kz, 3. z 1/z, where b R and k R, with k > 0. Deduce from the above that the action of SL(2, R) on H is transitive and that transformations of type (1) and (2) suffice for transitivity. (c) Now, consider the action of the discrete group SL(2, Z) on H, where SL(2, Z) consists of all matrices, ad bc = 1, a, b, c, d Z. c d Why is this action not transitive? Consider the two transformations associated with associated with ( ) 0 1 and 1 0 ( ) 1 1. 0 1 S : z 1/z T : z z + 1 3

Define the subset, D, of H, as the set of points, z = x + iy, such that 1/2 x 1/2 and x 2 + y 2 1. Observe that D contains the three special points, i, ρ = e 2πi/3 and ρ = e πi/3. Draw a picture of this set, known as a fundamental domain of the action of G = SL(2, Z) on H. Remark: Gauss proved that the group G = SL(2, Z) is generated by S and T. Problem B4 (30 pts). Let J be the 2 2 matrix ( ) 1 0 J = 0 1 and let SU(1, 1) be the set of 2 2 complex matrices where A is the conjugate transpose of A. If SU(1, 1) = {A A JA = J, det(a) = 1}, (a) Prove that SU(1, 1) is the group of matrices of the form A =, with aa bb = 1. b a g = ( ) 1 i 1 i prove that the map from SL(2, R) to SU(1, 1) given by is a group isomorphism. A gag 1 (b) Prove that the Möbius transformation associated with g, z z i z + i is a bijection between the upper half-plane, H, and the unit open disk, D = {z C z < 1}. Prove that the map from SU(1, 1) to S 1 D given by (a/ a, b/a) b a is a continuous bijection (in fact, a homeomorphism). Conclude that SU(1, 1) is topologically an open solid torus. 4

(c) Check that SU(1, 1) acts transitively on D by z = az + b b a bz + a. Find the stabilizer of z = 0 and conclude that SU(1, 1)/SO(2) = D. Problem B5 (80 pts). Given a finite dimensional Lie algebra g (as a vector space over R), we define the function B : g g C by B(X, Y ) = tr(ad(x) ad(y )), X, Y g. (1) Check that B is R-bilinear and symmetric. (2) Let g = gl(2, R) = M 2 (R). Given any matrix A M 2 (R) with A =, c d show that in the basis (E 12, E 11, E 22, E 21 ), the matrix of ad(a) is given by a d b b 0 c 0 0 b c 0 0 b. 0 c c d a Show that det(xi ad(a)) = x 2 (x 2 ((a d) 2 + 4bc)). (3) Given A, A M 2 (R) with ( ) ( ) a b a A =, A b = c d c d, prove that B(A, A ) = 2(d a)(d a ) + 4bc + 4cb = 4tr(AA ) 2tr(A)tr(A ). (4) Next, let g = sl(2, R). Check that the following three matrices form a basis of sl(2, R): ( ) ( ) ( ) 1 0 0 1 0 0 H =, X =, Y =. 0 1 0 0 1 0 5

Prove that in the basis (H, X, Y ), for any A = sl(2, R), c a the matrix of ad(a) is Prove that 0 c b 2b 2a 0. 2c 0 2a det(xi ad(a)) = x(x 2 4(a 2 + bc)). (5) Given A, A sl(2, R) with ( ) ( ) a b a A =, A b = c a c a, prove that B(A, A ) = 8aa + 4bc + 4cb = 4tr(AA ). (6) Let g = so(3). For any A so(3), with 0 c b A = c 0 a, b a 0 we know from Proposition 2.39 that in the basis (E 1, E 2, E 3 ), the matrix of ad(a) is A itself. Prove that B(A, A ) = 2(aa + bb + cc ) = tr(aa ). (7) Recall that a symmetric bilinear form B is nondegenerate if for every X, if B(X, Y ) = 0 for all Y, then X = 0. Prove that B on gl(2, R) = M 2 (R) is degenerate; B on sl(2, R) is nondegenerate but neither positive definite nor negative definite; B on so(3) is nondegenerate negative definite. (8) Extra Credit (45) points. Recall that a subspace h of a Lie algebra g is a subalgebra of g if [x, y] h for all x, y h, and an ideal if [h, x] h for all h h and all x g. Check that sl(n, R) is an ideal in gl(n, R), and that so(n) is a subalgebra of sl(n, R), but not an ideal. Prove that if h is an ideal in g, then the bilinear form B on h is equal to the restriction of the bilinear form B on g to h. Prove the following facts: for all n 2: gl(n, R): B(X, Y ) = 2ntr(XY ) 2tr(X)tr(Y ) sl(n, R): B(X, Y ) = 2ntr(XY ) so(n): B(X, Y ) = (n 2)tr(XY ). 6

Problem B6 (100 pts). As in Problem B5, consider a finite dimensional Lie algebra g, but this time a vector space over C, and define the function B : g g C by B(x, y) = tr(ad(x) ad(y)), x, y g. The bilinear form B is called the Killing form of g. Recall that a homomorphism ϕ: g g is a linear map such that ϕ([x, y]) = [ϕ(x), ϕ(y)] for all x, y g, or equivalently such that ϕ ad(x) = ad(ϕ(x)) ϕ, for all x g, and that an automorphism of g is a homomorphism of g that has an inverse which is also a homomorphism of g. (1) Prove that for every automorphism ϕ: g g, we have Prove that for all x, y, z g, we have B(ϕ(x), ϕ(y)) = B(x, y), for all x, y g. B(ad(x)(y), z) = B(y, ad(x)(z)), or equivalently B([y, x], z) = B(y, [x, z]). (2) Review the primary decomposition theorem, Section 16.3 of my notes Fundamentals of Linear Algebra and Optimization (linalg.pdf), especially Theorem 16.16. For any x g, we can apply the primary decomposition theorem to the linear map ad(x). Write m(x) = (X λ 1 ) r1 (X λ k ) r k for the minimal polynomial of ad(x), where λ 1,..., λ k are the distinct eigenvalues of ad(x), and let g λ i x = Ker (λ i I ad(x)) r i, i = 1,..., k. We know that 0 is an eigenvalue of ad(x), and we agree that λ 0 = 0. Then, we have a direct sum g = g λ i x. λ i It is convenient to define g λ x when λ is not an eigenvalue of ad(x) as g λ x = (0). Prove that [g λ x, g µ x] g λ+µ x, for all λ, µ C. 7

Hint. First, show that ((λ + µ)i ad(x))[y, z] = [(λi ad(x))(y), z] + [y, (µi ad(x))(z)], for all x, y, z g, and then that ((λ + µ)i ad(x)) n [y, z] = n p=0 ( ) n [(λi ad(x)) p (y), (µi ad(x)) n p (z)], p by induction on n. Prove that g 0 x is a Lie subalgebra of g. (3) Prove that if λ + µ 0, then g λ x and g µ x are orthogonal with respect to B (which means that B(X, Y ) = 0 for all X g λ x and all Y g µ x). Hint. For any X g λ x and any Y g µ x, prove that ad(x) ad(y ) is nilpotent. Note that for any ν and any Z g ν x, (ad(x) ad(y ))(Z) = [X, [Y, Z]], so by (2), [g λ x, [g µ x, g ν x]] g λ+µ+ν x. Conclude that we have an orthogonal direct sum decomposition g = g 0 x λ 0 (g λ x g λ x ). Prove that if B is nondegenerate, then B is nondegenerate on each of the summands. Problem B7 (60 pts). We can let the group SO(3) act on itself by conjugation, so that R S = RSR 1 = RSR. The orbits of this action are the conjugacy classes of SO(3). (1) Prove that the conjugacy classes of SO(3) are in bijection with the following sets: 1. C 0 = {(0, 0, 0)}, the sphere of radius 0. 2. C θ, with 0 < θ < π and the sphere of radius θ. C θ = {u R 3 u = θ}, 3. C π = RP 2, viewed as the quotient of the sphere of radius π by the equivalence relation of being antipodal. 8

(2) Give M 3 (R) the Euclidean structure where A, B = 1 2 tr(a B). Consider the following three curves in SO(3): cos t sin t 0 c(t) = sin t cos t 0, 0 0 1 for 0 t 2π, for π/2 θ π/2, and cos 2θ 0 sin 2θ α(θ) = 0 1 0, sin 2θ 0 cos 2θ 1 0 0 β(θ) = 0 cos 2θ sin 2θ, 0 sin 2θ cos 2θ for π/2 θ π/2. Check that c(t) is a rotation of angle t and axis (0, 0, 1), that α(θ) is a rotation of angle π whose axis is in the (x, z)-plane, and that β(θ) is a rotation of angle π whose axis is in the (y, z)-plane. Show that a log of α(θ) is 0 cos θ 0 B α = π cos θ 0 sin θ, 0 sin θ 0 and that a log of β(θ) is 0 cos θ sin θ B β = π cos θ 0 0. sin θ 0 0 (3) The curve c(t) is a closed curve starting and ending at I that intersects C π for t = π, and α, β are contained in C π and coincide with c(π) for θ = 0. Compute the derivative c (π) of c(t) at t = π, and the derivatives α (0) and β (0), and prove that they are pairwise orthogonal (under the inner product, ). Conclude that c(t) intersects C π transversally in SO(3), which means that T c(π) c + T c(π) C π = T c(π) SO(3). 9

This fact can be used to prove that all closed curves smoothly homotopic to c(t) must intersect C π transversally, and consequently c(t) is not (smoothly) homotopic to a point. This implies that SO(3) is not simply connected, but this will have to wait for another homework! TOTAL: 410 + 45 points. 10