Lecture Notes a posteriori for Math 201

Transcription

1 Lecture Notes a posteriori for Math 201 Jeremy Kahn September 22, Tuesday, September 13 We defined the tangent space T p M of a manifold at a point p, and the tangent bundle T M. Zev Choroles gave the following elegant definition of T p M: We let D p be the functions that are differentiable at p. Then an element of T p M is a linear function L: D p R such that L(fg) = L(f)g(p) + f(p)l(g). For example, let M = R n, and let p be the origin. We (essentially) proved that T p M = R n where (x 1,..., x n ) acts on D 0 by D (x 1,...,x n )f = n i=1 f x i. We then observed that if x: U M is a chart, and x(x) = p, then we can define Dx: T x R n T p M by Dx(v)(f) = v(f x). This induces an isomorphism from T x R n = R n to T p M. We can then define the tangent bundle T M as the union of T p M over all p M. For every chart x: U M, there is a chart ˆx: U R n M, defined by ˆx(x, v) = (x(x), Dx(v)). We can easily verify that the overlap maps are smooth, so T M is a smooth manifold. 1

2 A vector field on M is a smooth map : M T M where (p) T p M for all p M. Any such vector field defines a map : C (M) C (M) defined by (f)(p) = (p)f. Then (fg) = (f)g +f(g), and any linear map from C (M) C (M) that satisfies this equation is f f for some. We let V be the space of all vector fields. We proved (twice) that for all, Y V, there is a unique Z V such that (Y f) Y (f) = Zf for every smooth map f. This defines the Lie bracket [, Y ]. We then observe that for every there is a unique flow φ t defined (for t near 0) on M such that dφ t (p) dt = (φ t (p)). We then claimed (and did not prove) that (φ t ) Y Y [, Y ] = lim. 2 Thursday, September 20 We proved that (φ t ) Y Y [, Y ] = lim. (1) but first we spent a large part of the class defining g Y (and g Y ) for a diffeomorphism g : M M. Suffice it to say that g Y (p) = (Dg) 1 p (Y (p)). We also observed that if and Y are vector fields in R n, then [, Y ] = D Y D Y. To prove equation??, we work in R n and write (φ t ) Y Y = (φ t ) Y Y φ t + Y φ t Y, where by Y φ we mean the vector field defined by (Y φ)(p) = Y (g(p)). We can only do this in R n, because in general, we have no way of translating the vector at g(p) to the vector at p, without using the derivative (Dg) p. We then write (φ t ) Y Y φ = ( (Dφ t ) 1 1 ) (Y φ t ), 2

3 and therefore (φ t ) Y Y φ lim ( (Dφ = lim t ) 1 1 ) (Y φ t ) t 0 t (Dφ t ) 1 1 = lim lim(y φ t ) t 0 = d dt (Dφ t ) 1 Y = d ( dt Dφ t ) Y = d ( dt Dφ t ) Y ( = D d ) ( dt φ t ) Y = D Y = D Y. On the other hand, Y φ t lim Y = d dt Y φ t = D Y So (φ t ) Y Y φ lim = D Y + D Y = [, Y ]. 3 Tuesday, September 20 We defined a Riemannian metric on a smooth manifold M: it is a choice of inner product, p on T p M for each point p M, such that (p), Y (p) p is a smooth function of p whenever and Y are smooth vector fields on M. We will also write the function, Y (p), Y (p) p as g(, Y ), and we will refer to g as the metric tensor: it is a symmetric 2-tensor (bilinear form) 3

4 that is everywhere positive definite (which means that g p (v, v) > 0 for any nonzero v T p M). If x α : U α M is a chart, we can define a (Riemannian) metric on U α by If we let g ij (x) = d dx i, d dx j x, then v, w x = dx α (v), dx α (w) xα(x). V (x), W (x) x = g ij V i W j, where V = V i d and W = W i d and we follow the Einstein convention of dx i dx i summing over indices that appear as both subscripts and superscripts. (Note that the i in d appears as a subscript, because it is in a superscript in the dx i denominator). The standard inner product is a Riemannian metric on R n : if v, w T x R n, then we let v, w x = v w, where we have identified T x R n with R n, and v w = i v iw i is the standard inner product on R n. If f : M N is an immersion, we can pull back a Riemannian metric on N to a Riemannian metric on M, by writing v, w p = df p (v), df(p) f(p). In particular, if N = R n, we can pull back the Euclidean Riemannian metric (defined above) to M. Thus we have defined a Riemannian metric on every imbedded (or immersed) manifold in R n. We observed that the following are equivalent (for an n-manifold M): 1. There is a nonvanishing n-form ω on M. 2. We can find charts x α : U α M such that det D(x 1 β x α) > 0 wherever it is defined. 3. For each point p M, we can define a function Sgn p that maps bases of T p M to 1 and 1, such that if 1,... n are (smooth) vector fields defined on an open subset U of M, and 1 (p),... n (p) form a basis of T p (M) for every p M, then Sgn p ( 1 (p),..., n (p)) is a continuous function of p (and hence constant if U is connected). If any of these three hold we say that M is orientable, and we call the choice we make in 1, 2, or 3 (the n-form, the charts, or the function Sgn) an orientation for M. Note that there are only two choices for the function Sgn on any orientable manifold M. (There are two choices even if M is a point). 4

5 We also observed that if v 1,... v n are n vectors in R n, then the volume of the parallelpiped they span is given by and det(v 1,..., v n ), det(a ij ) = (det(v 1,..., v n )) 2, where a ij = v i, v j. Therefore(?!) we can define a volume form dv on an oriented n-dimensional Riemannian manifold M by dv p (v 1,... v n ) = Sgn p (v 1,... v n ) det(a ij ), where a ij = v i, v j p. If x α : U α M is an orientation preserving chart for M, then x αdv = det(g ij ) dx 1..., dx n. 4 Thursday, September 22 Let M and N be k- and l-manifolds with Riemannian metrics, and suppose that g : M N is a submersion. Then for any p in M, we let W g p M be the orthogonal complement of the kernel of Dg p : T p M T g(p) N. Then W g p M is a subspace of T p M of dimension l. We say that g is a Riemannian submersion if Dg p : W g p M T g(p) M is an isometry. Now let a Lie group G act on M freely and properly discontinuously by isometries. There is a unique metric on M/G for which the projection map π : M M/G is a Riemannian submersion. We can define it by observing that π is a submersion, defining W π p M as above, and defining, for q = π(p), v, w q = Dπ 1 Wp π Mv, Dπ 1 Wp πmw. This will be well-defined (independent of the choice of q) because π(p) = π(p ) implies that p = g p for some g G, and Dg p : Wp π M Wp π M is an isometry. One application of this is the Fubini-Study metric on CP n. We let S 1 = U(1) act on S 2n+1 C n+1 by ω (z 0,..., z n ) = (ωz 0,..., ωz n ). Then the quotient is CP n, and it has a unique metric for which the projection from S 2n+1 CP n is an isometry. 5

6 We say that a Riemannian manifold M is a homogeneous space if the group of isometries of M is transitive: for every x, y M, we can find an isometry g : M M such that g(x) = y. The group of isometries of M is always a Lie group, and we can write M = Isom M/ Stab p, where Stab p < Isom M is the group of isometries stabilizing a point p. Question 1 Suppose that M, g 0 is a homogeneous space. What is the space of Riemannian metrics g 1 on M that is invariant under Isom M? What conditions on Isom M are sufficient to insure that g 1 is a (constant) rescaling of g 0? Exercise 1 Prove that CP n is a homogeneous space (with the Fubini-Study metric) and find the stabilizer of a point. We say that M is isotropic if M for every p, q M, and any two orthonormal bases (x 1,... x n ), (y 1,..., y n ) of T p M and T q M respectively, we can find an isometry φ: M M such that φ(p) = q, and Dφ(x i ) = y i for i = 1,..., n. Here are the three standard examples of isotropic spaces: 1. R n with the standard metric 2. S n with the standard metric, taken from the standard metric on R n The hyperbolic space H n. We can define H n as follows. We consider the pseudo-metric on R n+1 given by (x 0,..., x n ), (y 0,..., y n ) = x 0 y 0 + x 1 y x n y n. We then restrict this pseudo-metric to the hyperboloid H n R n+1, defined by x, x = 1, and x 0 > 0 (where x = (x 0,..., x n )). We leave it to the reader to check that the restricted pseudo-metric is positive definite, and that H n is isotropic in this metric. We will prove, some time in this class, that these are the only examples of isotropic spaces, up to isometry and rescaling the metric. 6