CHAPTER 3 SUBMANIFOLDS

Similar documents
Math 215B: Solutions 1

MATRIX LIE GROUPS AND LIE GROUPS

The theory of manifolds Lecture 2

Changing coordinates to adapt to a map of constant rank

Introduction to Computational Manifolds and Applications

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

THE EULER CHARACTERISTIC OF A LIE GROUP

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

Defn 3.1: An n-manifold, M, is a topological space with the following properties:

10. The subgroup subalgebra correspondence. Homogeneous spaces.

Math 396. Bijectivity vs. isomorphism

Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds

Chapter 1. Smooth Manifolds

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

Math 598 Feb 14, Geometry and Topology II Spring 2005, PSU

Geometry 2: Manifolds and sheaves

Math 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim

INVERSE FUNCTION THEOREM and SURFACES IN R n

LECTURE 26: THE CHERN-WEIL THEORY

Differentiable Topology and Geometry

is holomorphic. In other words, a holomorphic function is a collection of compatible holomorphic functions on all charts.

(1) Let π Ui : U i R k U i be the natural projection. Then π π 1 (U i ) = π i τ i. In other words, we have the following commutative diagram: U i R k

DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015

Integration and Manifolds

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

Lecture III: Neighbourhoods

1 Smooth manifolds and Lie groups

Notes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California

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

Differential Topology Solution Set #2

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

Math 6455 Oct 10, Differential Geometry I Fall 2006, Georgia Tech. Integration on Manifolds, Volume, and Partitions of Unity

Basic Concepts of Group Theory

Math 423 Course Notes

4. The concept of a Lie group

LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

Lie Groups, Lie Algebras and the Exponential Map

M4P52 Manifolds, 2016 Problem Sheet 1

Review of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)

Let X be a topological space. We want it to look locally like C. So we make the following definition.

Differential Geometry

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

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

LECTURE NOTES ON DIFFERENTIABLE MANIFOLDS

Notes for Functional Analysis

General Topology. Summer Term Michael Kunzinger

1 z. = 2 w =. As a result, 1 + u 2. 2u 2. 2u u 2 ) = u is smooth as well., ϕ 2 ([z 1 : z 2 ]) = z 1

Math 205C - Topology Midterm

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

Math 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.

Topological properties

MANIFOLD STRUCTURES IN ALGEBRA

Foliations of Three Dimensional Manifolds

Lecture Fish 3. Joel W. Fish. July 4, 2015

Corrections to Introduction to Topological Manifolds (First edition) by John M. Lee December 7, 2015

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Math 190: Fall 2014 Homework 4 Solutions Due 5:00pm on Friday 11/7/2014

SMSTC (2008/09) Geometry and Topology.

CHAPTER 1. Basic Analysis

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

LECTURE 3 Functional spaces on manifolds

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

An Introduction to Riemannian Geometry

Lie Matrix Groups: The Flip Transpose Group

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

THE STRATIFIED STRUCTURE OF SPACES OF SMOOTH ORBIFOLD MAPPINGS

We have the following immediate corollary. 1

3 Hausdorff and Connected Spaces

Real Analysis Prelim Questions Day 1 August 27, 2013

Or, more succinctly, lim

MA651 Topology. Lecture 9. Compactness 2.

The theory of manifolds Lecture 3. Tf : TR n TR m

LOCAL FIELDS AND p-adic GROUPS. In these notes, we follow [N, Chapter II] most, but we also use parts of [FT, L, RV, S].

AN INTRODUCTION TO ARITHMETIC AND RIEMANN SURFACE. We describe points on the unit circle with coordinate satisfying

Degree of circle maps and Sard s theorem.

Differential Topology Solution Set #3

REAL AND COMPLEX SMOOTH MANIFOLDS

MAT 530: Topology&Geometry, I Fall 2005

Riemannian Geometry. Eckhard Meinrenken. Lecture Notes, University of Toronto, Spring 2002

Solve EACH of the exercises 1-3

Lecture Notes for MA455 Manifolds

Rings and groups. Ya. Sysak

Solutions to Problem Set 5 for , Fall 2007

Terse Notes on Riemannian Geometry

NOTES ON MANIFOLDS ALBERTO S. CATTANEO

Math 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm

Differential Topology Final Exam With Solutions

Notes on Real and Complex Analytic and Semianalytic Singularities

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

MA455 Manifolds Solutions 1 May 2008

Part II. Riemann Surfaces. Year

1. Classifying Spaces. Classifying Spaces

Lecture 2. Smooth functions and maps

satisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).

An Introduction to Riemannian Geometry

Geometry Qualifying Exam Notes

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS

LECTURE 22: INTEGRATION ON MANIFOLDS. 1. Orientations

Transcription:

CHAPTER 3 SUBMANIFOLDS One basic notion that was not addressed in Chapter 1 is the concept of containment: When one manifold is a subset on a second manifold. This notion is subtle in a manner the reader may have experienced in general topology. We give an example. Example 3.1. Let Q d be the rational numbers with the discrete topology and R the usual real numbers. The inclusion ι : Q d R is a one-to-one continuous map. Is Q d a subspace of R? The usual answer is no, it is only a subspace if ι is a homeomorphism to its image, ι(q d ) = Q. This map is not a homeomorphism to its image since the topology on Q, the subspace topology, is not discrete. the same issue arises in manifold theory. In fact Q d is a 0-dimensional manifold and ι is a smooth map. We, however, will not refer to Q d as a submanifold of R, i.e., submanifold is not quite the correct relationship of Q d to R. This relationship will be studied in Chapter 6*** (immersed submanifold). For the notion N is a submanifold of M, we require that N inherits its differential structure from M. Some authors refer to this relationship as embedded submanifold. We give the definition of submanifold in Definition 3.***. At first glance, it may appear to be overly restrictive, however, it turns out not to be the case. It is analogous to the notion of subspace topology. This assertion is justified in a later chapter, Theorem 6.3***. Definition 3.***. Suppose m > n and write R m = R n R m n. Let M be an m- manifold and N M. Suppose that for each x N there is a chart of M (1) (U, φ) centered at x such that φ 1 (R n {0}) = U N Then N is an n-dimensional submanifold of M. Charts that satisfy property (1) from Definition 3.*** are called slice charts or slice coordinate neighborhoods. We next observe that if N M is an n-dimensional submanifold, then N is an n- manifold. Proposition 3.3***. Suppose that N is an n-dimensional submanifold of the m-manifold M. Then N is an n-manifold and is an atlas for N. A ={(U x N, φ U N ) (U x, φ) is a chart of M centered at x N such that φ 1 (R n {0}) = U N} Proof. We first show that N is a topological manifold in the induced topology on N. The topology on N is the subspace topology. Therefore, N is Hausdorff and second countable copyright c 00 Typeset by AMS-TEX 1

CHAPTER 3 SUBMANIFOLDS since M is Hausdorff and second countable. Also since the topology on N is the subspace topology, U x N is an open set in N. The set φ(u x N) = φ(u x ) (R n {0}), since (U x, φ) is a slice neighborhood. The map φ is a homeomorphism to its image, so φ Ux N is a homeomorphism to its image. Now, since there is a neighborhood U x N around any x N, the requirements of Definition.1*** are shown and N is a topological manifold. To show that N is an n-manifold, we must show that the charts satisfy the compatibility condition of Definition.3*** item. Suppose (U y, ψ) is another coordinate neighborhood in the potential atlas A. Then ( φ Ux N(ψ Uy N)) 1) ψ(ux U y N) = (φψ 1 ) ψ(ux U y N) is C since it is the composition of the inclusion of R n into R m composed with φψ 1, two C functions. This completes the proof. Theorem 3.4***. Suppose O R n+m is an open set and f : O R m is a C map. Let q R m and M = f 1 (q). If Df(x) has rank m for all x M, then M is an n-dimensional submanifold of R n+m. Proof. For each x M, there is a neighborhood of x, U x R n+m ; an open set U 1 R n ; an open set U R m ; and a diffeomorphism H : U x U 1 U such that H(M U x ) = U 1 {0} as was laid out in the Rank Theorem. The pair (U x, H) is a chart for the smooth manifold R n+m since H is a diffeormorphism, Proposition.1***. This chart satisfies the required property given in Definition 3.***. Hence, M is an n-dimensional submanifold of R n+m. Example 3.5***. S n is a submanifold of R n+1. Let l : R n+1 R by l(x 1, x,, x n+1 ) = x 1 + x n+1. Then Sn = l 1 (1). The map l is C on R n+1 \ 0. In fact, each partial derivative is a rational function of l x 1,, x n+1, and l, i.e., x i = x i l. Therefore the partial derivative of a rational function of x 1,, x n+1, l is another such function and l is C. To check that the rank of D v l(x) is one, it is enough to show that some directional derivative is not zero. Hence, for x S n, we compute, D x l(x) = d dt l(x + tx) t=0 = d x dt (1 + t) 1 + x n+1 t=0 = d dt (1 + t) t=0 = 1. Since l has rank 1 on S n, Theorem 3.4*** applies. Proposition 3.3*** along with the Rank Theorem*** gives instructions for computing an atlas. The atlas essentially comes from the Implicit Function Theorem. The charts include the atlas in Example.9b***. The reader should check this fact.

CHAPTER 3 SUBMANIFOLDS 3 Example 3.6***. Let SL(n, R) = {A Mat n n deta = 1}. Then (1) If A SL(n, R), then Ddet(A) has rank 1. () SL(n, R) is an (n 1)-manifold. First, det : R n R is a polynomial (as shown in Example.1***) and so C. To show that Ddet(A) has rank 1 it is only necessary to show that some directional derivative D B det(a) is nonzero. We compute for A SL(n, R), D A det(a) = d dt det(a + ta) t=0 = d dt (1 + t)n det(a) t=0 = d dt (1 + t)n t=0 = n. Hence item 1 is shown. To see item, we use Theorem 3.4***. The set GL(n, R) R n 1 R is an open set and det : GL(n, R) R is a C map. The set det 1 (1) = SL(n, R), and Ddet(A) has rank 1 for each A SL(n, R). Therefore, by Theorem 3.4***, SL(n, R) is an (n 1)-manifold. Example 3.7***. Let O(n, R) = {A Mat n n AA T = I} and let SO(n, R) = {A Mat n n AA T = I and deta = 1}. Also let f : Mat n n Mat n n by f(a) = AA T (1) f(a) Sym n n and f is C. n(n + 1) () If A O(n, R), then Df(A) has rank. (3) O(n, R) and SO(n, R) are -manifolds. First note that AA T = I implies that (det(a)) = 1 so A is invertible. The map f is a composition the identity cross the transpose and multiplication. These maps are C maps by Proposition.13***. Since f is the composition of C maps, it is C. Since f(a) = AA T and (AA T ) T = AA T, f(a) Sym n n. This argument shows item 1. To show item, it is enough to show that Df(A) is surjective since dimsym n n = n(n + 1). Now, Hence Df(A) is a composition of two maps Df(A)(M) = d dt (A + tm)(a + tm)t t=0 = AM T + MA T = AM T + (AM T ) T Mat n n Mat n n M MA T and Mat n n Sym n n X X + X T

4 CHAPTER 3 SUBMANIFOLDS The first map is onto if A T is invertible, which it is if A f 1 (I). The second map is onto, since, if Y Sym n n then Y = Y T and Y = 1 Y + ( 1 Y )T, i.e., if X = 1 Y, then Y = X + X T n(n + 1). Therefore, Df(A) is a surjection and has rank. The third item follows from Theorem 3.4***. Since f 1 (I) = O(n, R), O(n, R) is a manifold of dimension n n(n + 1) =. The determinant function is continuous on Mat n n and O(n, R) Mat n n. If AA T = I, then deta = ±1. Therefore SO(n, R) is an open subset of O(n, R) and hence a manifold of dimension, by Proposition.11***. The next example requires notation and a lemma. Lemma 3.8***. Suppose that n is even and let J be the n n matrix ( ) 0n/ n/ I J = n/ n/ Then J T = J = J 1. I n/ n/ 0 n/ n/ Proof. Just compute the transpose, the negative, and the inverse.. Example 3.9***. Suppose that n is even and let Sp(n, R) = {A Mat n n AJA T = J}. Also let f : Mat n n Mat n n by f(a) = AJA T (1) f(a) Skew n n and f is C. () If A Sp(n, R), then Df(A) has rank (3) Sp(n, R) is an n(n + 1) -manifold.. First note that AJA T = J implies that (det(a)) = 1 so A is invertible. The map f is a composition the identity cross the transpose and multiplication. These maps are C maps by Proposition.13***. Since f is the composition of C maps, it is C. Since f(a) = AJA T and (AJA T ) T = AJ T A T = AJA T by Lemma 3.8***, f(a) Skew n n. This argument shows item 1. To show item, it is enough to show that Df(A) is surjective since dimskew n n =. Now, Hence Df(A) is a composition of two maps Df(A)(M) = d dt (A + tm)j(a + tm)t t=0 = AJM T + MJA T = AJM T (AJM T ) T Mat n n Mat n n M MJA T and Mat n n Sym n n X X X T

CHAPTER 3 SUBMANIFOLDS 5 The first map is onto if JA T is invertible, which it is if A f 1 (J). The second map is onto, since, if Y Skew n n then Y = Y T and Y = 1 Y ( 1 Y )T, i.e., if X = 1 Y, then Y = X X T. Therefore, Df(A) is a surjection and has rank. The third item follows from Theorem 3.4***. Since f 1 (I) = Sp(n, R), Sp(n, R) is a manifold of dimension n n(n + 1) =. Proposition 3.10***. Suppose that N is an n-dimensional submanifold of the m-manifold M. Suppose that U is an open neighborhood of N in M and g : U P is a smooth map to a manifold P. Then, g N : N P is a smooth map. Proof. Suppose x N is an arbitrary point and (O, η) is a chart of P about g(x). By Proposition.18***, it is enough to check that there is a chart of N, (V, ψ), with x V and η g M ψ 1 is C. By the definition of submanifold, Definition 3.***, we can always find a product chart (of M) centered at x. Suppose the chart is (W, φ), so we can take V = W N and ψ = φ W N. Then η g M ψ 1 = η g M (φ 1 ) R n {0} φ(w ), the restriction of a C function of m variables to its first n variables by setting the last m n variables to zero. This map is C. Example 3.11***. Suppose that M is either of O(n), SO(n), SL(n, R), or Sp(n, R). Then multiplication and inverse are smooth maps. M M M (A, B) AB M M A A 1 Just as M is a submanifold of GL(n, R), M M is also a submanifold of GL(n, R) GL(n, R). Both GL(n, R) and GL(n, R) GL(n, R) are open subsets of real spaces. Multiplication and inverse are C functions as explained in Example.13***. By Proposition 3.10***, these maps are smooth maps between manifolds.

6 CHAPTER 3 SUBMANIFOLDS Exercises Exercise 1***. Suppose O R n+m is an open set, f : O R m is a C map, q R m, and M = f 1 (q). Further suppose U R s+k is an open set, g : U R k is a C map, p R k, and n = g 1 (p). If Df(x) has rank m for all x M and Dg(x) has rank k for all x N, then show that M and N are manifolds; and, (f g) 1 (q, p) is the manifold M N. Exercise ***. Show that the atlas for S n constructed in Example 3.5*** does include the (n + 1) charts constructed in Example.9b***. Exercise 3***. Let M be defined by M = {(w, x, y, z) R 4 w 3 + x + y 3 + z = 0 and ye z = we x + }. Show that M is a two dimensional submanifold of R 4. The reader may wish to compare the following Exercise to Example.10***. Exercise 4***. Suppose U 1 R n and U R m are open sets. If f : U 1 U is a C function, then show the graph of f, G f = {(x, y) R n+m y = f(x)} is a submanifold of R n+m. In the exercise below, we use that R 4 = C under the isomorphism of real vector spaces, (w, x, y, z) (w + xi, y + zi). Exercise 5***. a. Suppose p and q are relatively prime integers. Let ω = e πi p. Show that τ : S 3 S 3 by τ(z 1, z ) = (ωz 1, ω q z ) is a smooth map. Let G = {τ, τ,, τ p }. Show that G is a subgroup of Diff(S 3 ). b. Show that S 3 is {(z 1, z ) C z 1 z 1 + z z = 1}, and a submanifold of C. c. Show that S 3 /G is a 3-manifold. It is denoted L(p, q) and is called a lens space.

CHAPTER 3 SUBMANIFOLDS 7 Warmup Exercises, Chapter 3 Exercise 1*. Let F : R R be defined by F (x, y) = x 3 + xy + y 3. Which level sets are embedded submanifolds of R. Exercise *. Consider the map F : R 4 R defined by F (x 1, x, x 3, x 4 ) = (x 1 + x, x 1 + x + x 3 + x 4 + x ). Show that F restricted to M = F 1 (0, 1) has rank at every point of M. Exercise 3*. Which level sets of f(x 1,..., x n+1 ) = x 1 x x n+1 + 1 are submanifolds, according to Theorem 3.4***.