Lecture 3 - Lie Groups and Geometry

Similar documents
Lecture 4 - The Basic Examples of Collapse

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

0.1 Diffeomorphisms. 0.2 The differential

Qualifying Exams I, Jan where µ is the Lebesgue measure on [0,1]. In this problems, all functions are assumed to be in L 1 [0,1].

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

Math Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:

How curvature shapes space

CLASSICAL GROUPS DAVID VOGAN

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

274 Curves on Surfaces, Lecture 4

Exercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1

MATRIX LIE GROUPS AND LIE GROUPS

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

Topics in Representation Theory: Lie Groups, Lie Algebras and the Exponential Map

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups

QUATERNIONS AND ROTATIONS

1: Lie groups Matix groups, Lie algebras

SEMISIMPLE LIE GROUPS

Left-invariant Einstein metrics

Math 210C. A non-closed commutator subgroup

1 Hermitian symmetric spaces: examples and basic properties

Problems in Linear Algebra and Representation Theory

CHARACTERISTIC CLASSES

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

LECTURE 10: THE PARALLEL TRANSPORT

1 v >, which will be G-invariant by construction.

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

Exercises on chapter 1

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

Lecture 4 - Lie Algebra Cohomology I

Killing Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

These notes are incomplete they will be updated regularly.

ROTATIONS, ROTATION PATHS, AND QUANTUM SPIN

MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES

Detecting submanifolds of minimum volume with calibrations

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

TWISTORS AND THE OCTONIONS Penrose 80. Nigel Hitchin. Oxford July 21st 2011

REPRESENTATION THEORY WEEK 7

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

Some notes on Lie groups

Math 215B: Solutions 1

A crash course the geometry of hyperbolic surfaces

Spherical three-dimensional orbifolds

Two simple ideas from calculus applied to Riemannian geometry

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

Highest-weight Theory: Verma Modules

zi z i, zi+1 z i,, zn z i. z j, zj+1 z j,, zj 1 z j,, zn

ON SUBMAXIMAL DIMENSION OF THE GROUP OF ALMOST ISOMETRIES OF FINSLER METRICS.

TRANSITIVE HOLONOMY GROUP AND RIGIDITY IN NONNEGATIVE CURVATURE. Luis Guijarro and Gerard Walschap

L 2 Geometry of the Symplectomorphism Group

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

William P. Thurston. The Geometry and Topology of Three-Manifolds

The Real Grassmannian Gr(2, 4)

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES

Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups

Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit

Bott Periodicity. Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel

Changing sign solutions for the CR-Yamabe equation

Groups up to quasi-isometry

H-projective structures and their applications

EQUIVARIANT COHOMOLOGY IN ALGEBRAIC GEOMETRY LECTURE FOUR: LOCALIZATION 1

SYMPLECTIC GEOMETRY: LECTURE 5

Geodesic Equivalence in sub-riemannian Geometry

Lecture Notes a posteriori for Math 201

Lecture 5. Lie Groups

Differential Geometry Exercises

OBSTRUCTION TO POSITIVE CURVATURE ON HOMOGENEOUS BUNDLES

Differential Topology Final Exam With Solutions

DIFFERENTIAL GEOMETRY HW 7

Clifford Algebras and Spin Groups

Complex manifolds, Kahler metrics, differential and harmonic forms

TEST CODE: PMB SYLLABUS

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

Math 147, Homework 1 Solutions Due: April 10, 2012

Subgroups of Lie groups. Definition 0.7. A Lie subgroup of a Lie group G is a subgroup which is also a submanifold.

LECTURE 3 MATH 261A. Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.

LECTURE 26: THE CHERN-WEIL THEORY

The Geometrization Theorem

LECTURE 5: SURFACES IN PROJECTIVE SPACE. 1. Projective space

Tangent bundles, vector fields

The Laplacian ( ) Matthias Vestner Dr. Emanuele Rodolà Room , Informatik IX

Holonomy groups. Thomas Leistner. School of Mathematical Sciences Colloquium University of Adelaide, May 7, /15

Hamiltonian Systems of Negative Curvature are Hyperbolic

LECTURE Itineraries We start with a simple example of a dynamical system obtained by iterating the quadratic polynomial

Choice of Riemannian Metrics for Rigid Body Kinematics

LECTURE 14: LIE GROUP ACTIONS

THREE-MANIFOLDS OF CONSTANT VECTOR CURVATURE ONE

Lecture 4 Super Lie groups

Relation of the covariant and Lie derivatives and its application to Hydrodynamics

GEOMETRY HW 8. 1 x z

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

DIFFERENTIAL GEOMETRY HW 12

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

1. Classifying Spaces. Classifying Spaces

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

Vortex Equations on Riemannian Surfaces

Many of the exercises are taken from the books referred at the end of the document.

1 M3-4-5A16 Assessed Problems # 1: Do all three problems

Transcription:

Lecture 3 - Lie Groups and Geometry July 29, 2009 1 Integration of Vector Fields on Lie Groups Let M be a complete manifold, with a vector field X. A time-dependent family of diffeomorphisms ϕ t : M M is called the flow of X if, for any function f and any time τ, we have d f ( ( ϕ t ϕ 1 τ (p) )) = X p (f) (1) dt t=τ The path t ϕ t (p) is called the flow line, or integral curve, of X through p. Now let G be a Lie group, and assume X is a left-invariant vector field. The flow line of X through e is, by definition, the path t Exp(tX). Moving this by left-translation to any point a G, the flow line through a is Thus the flow of X is therefore t L a Exp(tX). ϕ t (a) = a Exp(tX) = R Exp(tX) a. Thus ϕ t = R Exp(tX), so that left-invariant vector fields integrate out to smooth families of right translations. Similarly right-invariant fields integrate out to left translations. 2 Riemannian Geometry on Lie Groups 2.1 Left-invariant metrics If g e is an inner product on the tangent space at the identity, we can extend g e to a metric g on G by left translation. That is, if a G and X a, Y a are vectors at a, then g(x a, Y a ) g(l a 1 X a, L a 1 Y a ). (2) 1

Note that a left-invariant metric g is constant when evaluated against left-invariant fields Y and Z. Thus (L X g) (Y, Z) = g([x, Y ], Z) g(y, [X, Z]) (3) Note that [X, W ] = 0 whenever X is right-invariant and W is left-invariant; this is from an exercise from a previous lecture. When g is a left-invariant metric, then right-invariant fields are Killing. 2.2 Bi-invariant metrics A metric is called bi-invariant if it is both left- and right-invariant. If X is a left-invariant field and g is a right-invariant metric, then L X g = 0. Therefore if g is bi-invariant and X, Y, Z are left-invariant, then 0 = g([x, Y ], Z) + g(y, [X, Z]). () Most Lie groups do not have bi-invariant metrics, although all compact Lie groups do. From (3) it is easy to see that semi-simple Lie groups have a bi-invariant metric, as the Killing form automatically satisfies () and is definite on semi-simple algebras. 2.3 Connection and curvature in a bi-invariant metric If a Lie group has a bi-invariant metric, the Lie algebra entirely determines the Riemannian structure. If g is left-invariant and X 1,..., X n are left-invariant fields that form an orthonormal basis at e (and therefore at all points), the Koszul formula reduces to 2 Xi X j, X k = [X i, X j ], X k [X j, X k ], X i + [X k, X i ], X j If g is bi-invariant, by () the last 2 terms cancel and we get 2 Xi X j, X k = [X i, X j ], X k, so that Using the Jacobi identity and (), we easily find Xi X j = 1 2 [X i, X j ]. (5) Rm(X, Y ) Z = 1 [[X, Y ], Z] Rm(X, Y ) Z, W = 1 [X, Y ], [W, Z] sec(x, Y ) = 1 [X, Y ] 2 X 2 Y 2. (6) Sectional curvatures are therefore all non-negative. 2

3 Examples 3.1 The 3-sphere Again the fundamental example is the 3-sphere. We have seen that S 3 is a Lie group in two equivalent ways, as the group of unit quaternions, and as the matrix group SU(2). We have seen that its Lie algebra has two equivalent formulations, as the Lie algebra of purely imaginary quaternions, and as the span of i times the Pauli matrices. In the metric inherited from R, the tangent vectors {i, j, k} T 1 S 3 are orthonormal. It is a simple matter to verify that the inherited metric is bi-invariant. Letting v i, v j, and v k be the left-invariant fields on S 3 with v i (1) = i, v j (1) = j and v k (1) = k, then with the Lie algebra structure [v i, v j ] = 2v k and cyclic permutations, we compute the connections vi v i = vj v j = vk v k = 0 the curvatures and the sectional curvatures vi v j = v k vj v k = v i vk v i = v j, Rm(v i, v j )v k = 0 Rm(v i, v j )v j = v i etc., (7) (8) sec(v i, v j ) = 1, sec(v j, v k ) = 1, sec(v i, v k ) = 1. (9) As we already know to be the case, S 3 has constant curvature +1. 3.2 The Hopf Fibration Note that H is isomorphic to C C, for instance by writing q = a + bi + cj + dk as q = (a + bi) + (c + di)j. (10) Let X L, Y L, and Z L be the vector fields obtained by left-translating the vectors i, j, k T 1 S 3. The corresponding integral curves through 1 are t e it, t e jt, and t e kt. Lefttranslating to any q S 3, the flow ϕ t : S 3 S 3 of X L is ϕ t = R e it. (11) Through a point q = a + bi + cj + dk, this is ϕ t (q) = q e it = e it (a + bi) + e it (c + di)j. (12) 3

Viewing this via stereographic projection from 1, it is easy to see that this is a left-handed (clockwise) screw motion (assuming S 3 is oriented with the outward normal). If i is extended instead to a right-invariant field X R, then the flow is q e it q = e it (a + bi) + e it (c + di)j (13) which is a flow by left-translations, and a right-handed (counterclockwise) screw motion. 3.3 Nilpotent groups The set of upper-triangular n n matrices with 1 s along the diagonal is a nilpotent group under matrix multiplication. From its importance in physics, the group of upper-triangular 3 3 matrices H = 1 x z 0 1 y 0 0 1 x, y, z R is given the name the Heisenberg group. Of course it it topologically just R 3. Its Lie algebra consists of the strictly upper-triangular matrices h = span R P =, Q =, h = (15) where we see 0 1 0 0 0 1 0 0 1 (1) [P, Q] = h, [P, h] = 0, [Q, h] = 0. (16) With the left-invariant metric, the Koszul formula gives and we compute P P = 0 P Q = 1 2 h Q P = 1 2 h QQ = 0 hp = 1 2 Q h Q = 1 2 P P h = 1 2 Q Qh = 1 2 P hh = 0 (17) Rm(P, Q)Q = 3 P Rm(P, h)h = 1 P Rm(Q, h)h = 1 Q Rm(Q, P )P = 3 Q (18) Rm(h, P )P = 1 h Rm(h, Q)Q = 1 h with all other curvatures, such as Rm(P, Q)h, being zero. Therefore sec(p, Q) = 3, sec(p, h) = 1, sec(q, h) = 1, (19) so H has both positive and negative sectional curvatures. We easily compute 1 2 0 0 Ric = 0 1 2 0 (20) 1 0 0 2 so scalar curvature is negative: R = 1 2.

Exercises 1) Let G be a connected Lie group with a bi-invariant metric, and Lie algebra g. Prove that the representation Ad : G GL(g) reduces to a representation Ad : G SO(T e g). 2) Identifying the Heisenberg group H with R 3, what are expressions (in (x, y, z)-coordinates) of the left- and right-invariant vector fields that extend P, Q, and h? 3) Is the metric on H that was given in the text a bi-invariant metric? ) Let V be the infinite-dimensional vector space of polynomials in x. Let λ be a constant. Prove that sending P to the operator λ d dx, Q to the operator that multiplies by x, and h to the operator that multiplies by λ, is a representation of H on V (in physics normally λ = i ). 5) The simplest non-trivial Lie algebra has two generators A and B with [A, B] = B. Obviously it is nilpotent. What is the corresponding Lie Group G? Given the leftinvariant metric with A = B = 1 and A, B = 0, what is the curvature? Prove that G has no bi-invariant metric. 5