225A DIFFERENTIAL TOPOLOGY FINAL

Similar documents
Math 225A: Differential Topology, Final Exam

DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM

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

(FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM >

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

Introduction to Computational Manifolds and Applications

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

THE EULER CHARACTERISTIC OF A LIE GROUP

Math 147, Homework 5 Solutions Due: May 15, 2012

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

1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0

Math 225B: Differential Geometry, Final

Differential Topology Solution Set #2

Transversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2

Integration and Manifolds

Multivariable Calculus

DEVELOPMENT OF MORSE THEORY

Math 215B: Solutions 3

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))

Geometry Qualifying Exam Notes

We have the following immediate corollary. 1

Math 215B: Solutions 1

LECTURE 11: TRANSVERSALITY

Differential Topology Solution Set #3

INVERSE FUNCTION THEOREM and SURFACES IN R n

On the Diffeomorphism Group of S 1 S 2. Allen Hatcher

Chapter 1. Smooth Manifolds

DIFFERENTIAL TOPOLOGY: MORSE THEORY AND THE EULER CHARACTERISTIC

Notes on Differential Topology

Theorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero.

THE JORDAN-BROUWER SEPARATION THEOREM

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

4-MANIFOLDS: CLASSIFICATION AND EXAMPLES. 1. Outline

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

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

Polynomial mappings into a Stiefel manifold and immersions

Lifting Smooth Homotopies of Orbit Spaces of Proper Lie Group Actions

Math 147, Homework 6 Solutions Due: May 22, 2012

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

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

HARTSHORNE EXERCISES

LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES

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

THE EXISTENCE PROBLEM

MATH 320: PRACTICE PROBLEMS FOR THE FINAL AND SOLUTIONS

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

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

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

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

10. The subgroup subalgebra correspondence. Homogeneous spaces.

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.

MATH 23a, FALL 2002 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Solutions to Final Exam (in-class portion) January 22, 2003

Cup product and intersection

Bordism and the Pontryagin-Thom Theorem

H-PRINCIPLES FOR HYPERSURFACES WITH PRESCRIBED PRINCIPLE CURVATURES AND DIRECTIONS

1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3

M4P52 Manifolds, 2016 Problem Sheet 1

Course 212: Academic Year Section 1: Metric Spaces

Math 225A: Differential Topology, Homework 4

Changing coordinates to adapt to a map of constant rank

Algebraic Topology European Mathematical Society Zürich 2008 Tammo tom Dieck Georg-August-Universität

1 The Local-to-Global Lemma

Math 141 Final Exam December 18, 2014

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

THE POINCARE-HOPF THEOREM

The theory of manifolds Lecture 2

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

NOTES ON DIFFERENTIAL FORMS. PART 3: TENSORS

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

Differential Geometry (preliminary draft) Massimiliano Mella

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

Course Summary Math 211

Lecture 2. x if x X B n f(x) = α(x) if x S n 1 D n

Differential Topology Final Exam With Solutions

Math 205C - Topology Midterm

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

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

The Hodge Star Operator

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

INTRODUCTION TO ALGEBRAIC GEOMETRY

NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n

TOPOLOGY HW 8 CLAY SHONKWILER

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

(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

1. Bounded linear maps. A linear map T : E F of real Banach

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

DIFFERENTIAL GEOMETRY 1 PROBLEM SET 1 SOLUTIONS

LECTURE 9: THE WHITNEY EMBEDDING THEOREM

MA455 Manifolds Solutions 1 May 2008

LECTURE 5: SMOOTH MAPS. 1. Smooth Maps

Extra exercises Analysis in several variables

INTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM

Analysis II: The Implicit and Inverse Function Theorems

FAMILIES OF ALGEBRAIC CURVES AS SURFACE BUNDLES OF RIEMANN SURFACES

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

SMSTC (2017/18) Geometry and Topology 2.

Chapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves

Introduction to Topology

On the K-category of 3-manifolds for K a wedge of spheres or projective planes

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

Transcription:

225A DIFFERENTIAL TOPOLOGY FINAL KIM, SUNGJIN Problem 1. From hitney s Embedding Theorem, we can assume that N is an embedded submanifold of R K for some K > 0. Then it is possible to define distance function. Now we use ε-neighborhood Theorem. There exists an open neighborhood U = M ε = {w N : w y < ε(y)} y M where ε : M R is a smooth positive function on M, and π : U M is a submersion defined by π(w) being the unique closest point from w to M. Then, we claim that the inclusion i : M U is proper. For, let K U be a compact set in U. e have compactness of π(k) by continuity of π, and i 1 (K) = K M π(k) is a closed subset of a compact set, thus i 1 (K) is compact. Hence, i : M U is proper. Problem 2. First, we remark that M(n, p; k+), the set of matrices in M(n, p) whose rank is at least k, is an open subset of M(n, p). This can be shown by considering the function f : M(n, p) R given by: f(a) = B A k k (detb) 2 where A k k is the set of all k k submatrices of A. Indeed, M(n, p; k+) = {A M(n, p) f(a) > 0}, and the continuity of f gives the result. Define the sets of matrices M(n, p; k) 1, and M(n, p; k+) 1, whose determinant of the first k k submatrix is nonzero. These sets form an open subset of M(n, p; k), and M(n, p; k+) respectively, by the continuity of determinant. e claim that M(n, p; k) 1 is a np (n k)(p k) dimensional submanifold of M(n, p; k+) 1. Then, the global result will follow from this local result. Now, define a map g : M(n, p; k+) 1 R (n k)(p k) by g(a) = (deta ij ) k+1 i n k+1 j p where A ij is a (k + 1) (k + 1) submatrix obtained by attaching the column vector a 1j. a kj to the right of the first k k submatrix A k of A, the row vector ( ) ai1 a ik to the bottom, and (aij ) to the right bottom corner, where A = (a uv ) 1 u n. Then, clearly g is a smooth function, and M(n, p; k) 1 = g 1 (0). e 1 v p 1

2 KIM, SUNGJIN claim that 0 R (n k)(p k) is a regular value of g, then the result will follow from the preimage theorem. To show this, we find the jacobian of g. ( ) Jg = deta ij k+1 i n. a uv k+1 j p 1 u n 1 v p For each (i, j) with k + 1 i n, k + 1 j p, we have { deta k 0 if u = i, v = j deta ij = a uv 0 if k + 1 u n, k + 1 v p, u i, v j. This shows that the Jg has rank (n k)(p k), so 0 is the regular value of g. By the preimage theorem, M(n, p; k) 1 = g 1 (0) is a dimm(n, p; k+) 1 (n k)(p k) dimensional submanifold of M(n, p; k+) 1. Since M(n, p; k+) 1 is an open subset of M(n, p), we have dimm(n, p; k+) 1 = dimm(n, p) = np. Hence, we have the global result M(n, p; k) is a np (n k)(p k) dimensional submanifold of M(n, p). Problem 3. (Green s Formula) Let be a compact domain in R 2 with smooth boundary = γ. Then, ( g fdx + gdy = γ x f ) dxdy. y Proof. Let w = fdx + gdy, then dw = df dx + dg dy ( ) ( ) f f g = dx + x y dy g dx + dx + x y dy dy = f g dy dx + dx dy y x ( g = x f ) dx dy. y By the generalized Stokes theorem, we have fdx + gdy = w = dw = γ ( g x f ) dxdy. y (Stokes Theorem) Let S be a compact oriedted two-manifold in R 3 with boundary, and let F = (f 1, f 2, f 3 ) be a smooth vector field in a neighborhood of S. Then, (curlf n)da = f 1 dx 1 + f 2 dx 2 + f 3 dx 3. S S Proof. Let w = f 1 dx 1 + f 2 dx 2 + f 3 dx 3, then by the similar calculation above, we have: dw = g 1 dx 2 dx 3 + g 2 dx 3 dx 1 + g 3 dx 1 dx 2, where g 1 = f 3 f 2, g 2 = f 1 f 3, g 3 = f 2 f 1. x 2 x 3 x 3 x 1 x 1 x 2 e need a lemma: Let n = (n 1, n 2, n 3 ) be the outward pointing normal. Then, da = n 1 dx 2 dx 3 + n 2 dx 3 dx 1 + n 3 dx 1 dx 2

225A DIFFERENTIAL TOPOLOGY FINAL 3, and n 1 da = dx 2 dx 3 n 2 da = dx 3 dx 1 n 3 da = dx 1 dx 2. For, the first formula is equivalent to v da(v, w) = det w n where v, w T x S, and this is precisely the definition of da. To prove other equations, let z R 3. Since v w = α n for some α R, we have z, n v w, n = z, n α = z, α n = z, v w. By plugging in e 1, e 2, e 3 in place of z, we obtain above three formulae. Thus, we have dw = g 1 dx 2 dx 3 + g 2 dx 3 dx 1 + g 3 dx 1 dx 2 = (g 1, g 2, g 3 ) nda = (curl F n)da By the generalized Stokes theorem, we have (curlf n)da = dw = w = S S S S f 1 dx 1 + f 2 dx 2 + f 3 dx 3. (Divergence Theorem) Let be a compact domain in R 3 with smooth boundary, and let F = (f 1, f 2, f 3 ) be a smooth vector field on. Then (divf )dxdydz = ( n F )da. Proof. Let w = f 1 dx 2 dx 3 + f 2 dx 3 dx 1 + f 3 dx 1 dx 2. Then, ( f1 dw = + f 2 + f ) 3 dx 1 dx 2 dx 3 = (divf x 1 x 2 x )dx 1 dx 2 dx 3 3 Now, we use the lemma in the proof of Stokes theorem, we have w = ( n F )da. By the generalized Stokes theorem, we have (divf )dxdydz = dw = w = ( n F )da. Problem 4. Topological and differential structure on G(k, n): Let P G(k, n), and denote P the orthogonal complement of P in R n, and let U P = { G(k, n) P = (0)}. Let L(P, P ) denote the vector space of linear maps from P to P. Define a map φ P : L(P, P ) U P by: A L(P, P ) = {x + Ax x P }. Then, it follows from the definition of U P, that φ P is bijective for each P. Now, we claim that {(U P, φ 1 P ) P G(k, n)} forms a topological and smooth structure on G(k, n). e can define a topological structure to be the smallest topology that makes every φ P homeomorphism. In particular, we have {φ P (V ) P G(k, n), V L(P, P ) is open} as a basis for this topology. It remains to show that if U P U Q is nonempty, then φ 1 Q φ P : φ 1 P (U P U Q )

4 KIM, SUNGJIN φ 1 Q (U P U Q ) is smooth. For, let U P U Q, and A = φ 1 Q φ P (A). Then, we have = {x + Ax x P } = {x + A x x Q}. Let I A : P R n denote the map I A (x) = x + Ax, and π Q : R n Q the projection onto Q. Note that π Q I A : P Q is an isomorphism. If x Q then, we can find x P such that x + A x = x + Ax. and π Q I A (x) = x. From this, we have A x = I A (π Q I A ) 1 (x ) x. Now, plugging in the orthonormal basis for Q in place of x gives the smoothness of φ P. Hence, {(U P, φ 1 ) P G(k, n)} defines a smooth structure on G(k, n). φ 1 Q P Since L(P, P ) is isomorphic to M(k, n k) R k(n k), it follows that G(k, n) is k(n k) dimensional smooth manifold. Compactness of G(k, n): Let O(n) be the group of real n n orthogonal matrices. e define Ψ : O(n) G(k, n) by: A O(n) span{a 1,, A k } G(k, n), where A 1,, A k are the first k columns of A. e claim that Ψ is continuous. ithout loss of generality, it suffices to show that there exists an open set B I O(n) containing I with φ 1 I Ψ BI : B I U Ik L(I k, I k ) is continuous at I where I k = span{i 1,, I k }. This follows from the continuity of the determinant of the first k k block. Thus, we have proved the claim. Since O(n) is a compact manifold and Ψ is continuous, we have Ψ(O(n)) is compact. By Gram-Schmidt process, it follows that Ψ is surjective. Hence, G(k, n) is compact manifold. G(k, n) is diffeomorphic to G(n k, n): Define Φ : G(k, n) G(n k, n) by Φ(P ) = P. Consider the following compositions, L(P, P ) φ P G(k, n) Φ G(n k, n) φ 1 P L(P, P ) A A. If = {x + Ax x P }, then we have = {x A T x x P }. Thus, Φ(A) = A = A T is an isomorphism of L(P, P ) and L(P, P ). Hence, G(k, n) is diffeomorphic to G(n k, n). Problem 5. e need the following two propositions: Proposition1: Suppose f : X Y is transversal to Z. If X =, is compact, f : X Y extends to F : Y, and F is transversal to Z, then I(f, Z) = 0. Proposition2: Homotopic maps always have the same intersection numbers. (i) Under our assumptions, we can extend u : M N S n 1 to v : D N S n 1 defined by: F (x) g(y) v(x, y) = F (x) g(y). Since we have (D N) = ( D) N = M N, we can use proposition1 with Z = {y} S n 1. Hence, by proposition1, I(u, {y}) = deg(u) = L(f, g) = 0. (ii) Let f t, g t be homotopy of f 0, and g 0 respectively. In addition, suppose we have im(f t ) does not intersect im(g t ) for each t [0, 1]. Then, u t = f t(x) g t (y) f t (x) g t (y).

225A DIFFERENTIAL TOPOLOGY FINAL 5 is a homotopy of u 0. Hence, by proposition2, we have L(f 1, g 1 ) = I(u 1, {y}) = I(u 0, {y}) = L(f 0, g 0 ). Problem 6. (i) (ii) (iii) Problem 7. (I) e claim that there exists a natural orientation on some neighborhood of the diagonal in X X. Proof. e can cover a neighborhood of by local parametrizations φ φ : U U X X, where φ : U X is a local parametrization of X. e can give a product orientation on X X by the orientation of φ φ, and this does not depend on a specific choice of orientation of X. (II) Let Z be a compact submanifold of Y, both oriented, with dimz = 1 2 dimy. e have I(Z, Z) = I(Z Z, ), where is the diagonal of Y. Proof. I(Z, Z) = I(i, Z) = I(i, i) = ( 1) dimz I(i i, ) = ( 1) dimz I(Z Z, ), and if dimz is odd, then I(Z, Z) = ( 1) dimz I(Z Z, ) = 0. (III) If Z is a compact submanifold of Y with dimz = 1 2dimY, and Z is not oriented. By (I) we have an open neighborhood Y of the diagonal in Z Z. Then, we have dimz = 1 2dimY. e define the Euler Characteristic χ(z) = I(Z Z, ). This is well defined, since Y is orientable by (I). Also, this definition fits in orientable case, by (II). Problem 8. (I) e claim that if a vector field v on R l has finitely many zeros, and the sum of the indices of its zeros is 0. Then there exists a vecter field that has no zeros, yet equals v outside a compact set. To prove this, we need a series of lemmas: (1) Let f : U R k be any smooth map defined on an open subset U of R k, and let x be a regular point, with f(x) = z. Let B be a sufficiently small closed ball centered at x, and define f : B R k to be the restriction of f to the boundary of B. Then ( f, z) = +1 if f preserves orientation at x and ( f, z) = 1 if f reverses orientation at x. Proof. For simplicity, take x = 0 = z, and set A = df 0. By regularity, A is bijective. rite f(x) = Ax+ɛ(x), where ɛ(x)/ x 0 as x 0(This is possible by multivariable Taylor s Theorem). Take B small enough that the map F : B I R k defined by F (x, t) = (Ax + tɛ(x))/ Ax + tɛ(x) is a homotopy. Since homotopic maps have the same intersection numbers, we have (A, 0) = ( f, 0). Here, (A, 0) = +1 if deta is positive, and 1 otherwise, which is precisely the same conditions whether f preserves orientation, or otherwise. (2) Let f : B R k be a smooth map defined on some closed ball B in R k. Suppose that z is a regular value of f that has no preimages on the boundary sphere on the boundary sphere B, and consider f : B R k. Then the number of preimages of z, counted with our usual orientation convention, equals the winding number ( f, z). Proof. Circumscribe small balls B t around each preimage points. then the degree of the directional map u on the boundary of B = B t B t is zero(since u extends to all of B ). i.e. (f B, z) = 0. Thus, ( f, z) = t (f B t, z t ), where z t are

6 KIM, SUNGJIN the center of B t. By (1), the preimages z t are counted with our usual orientation convention. (3) Let B be a closed ball in R k, and let f : R k Int(B) Y be any smooth map defined outside the open ball Int(B). If the restriction f : B Y is homotopic to a constant, then f extends to a smooth map defined on all of R k into Y. Proof. Assume B is centered at 0, let g t : B Y be homotopy with g 1 = f, g 0 = const. Then a continuous extension of f through B is given by f(tx) = g t (x), x B and t [0, 1]. To extend smoothly, we use the smooth function ρ : R R with ρ(t) = 0 if t 1/4, and ρ(t) = 1 if t 3/4. (4) Let f : R k R k be a smooth map with 0 as a regular value. Suppose that f 1 (0) is finite and the number of preimage points in f 1 (0) is zero when counted with the usual orientation convention. Assuming the special case in dimension k 1, there exists a mapping g : R k R k {0} such that g = f outside a compact set. Proof. l = 1 is a trivial case, for l > 1, we use induction. Take a large ball B around the origin that contains all of f 1 (0). (2) implies that f : B R k {0} has winding number zero. The inductive hypothesis(any smooth map f : S l R l+1 {0} having winding number 0 with respect to the origin is homotopic to a constant, here l = k 1) implies that f : B R k {0} is homotopic to a constant. By (3), f can be extended to all B. e can use this extended f to prove the case l = k. (Proof of the claim) Use f = v in (4). (II) e also claim that any compact manifold X there exists a vector field with only finitely many zeros. Proof. Assume that X R N, and let T (X) be its tangent bundle. Define ρ : X R N T (X) by making ρ(x, v) be the orthogonal projection of the vector v into T x (X). Then ρ is a submersion since it is a projection. e apply the Transversality Theorem with S = R N, Y = T (X), and Z = X {0}. For some v, the vector field x ρ(x, v) is transversal to X {0}. Thus, its inverse image of X {0} is 0 dimensional submanifold of X. Since X is compact, it follows that this preimage is finite. (III) e use a varient of isotopy lemma(given points y i and z i, i = 1,, n in a connected manifold Y, we can find a diffeomorphism h : Y Y isotopic to identity, with h(y i ) = z i for i = 1, n), to pull the vector field back to R N. Here, we require an additional condition that the finitely many zeros of the vector field are all contained in an open set U. Then, we use (I) to obtain a vector field without zero. (IV) Now, we construct an isotopy of identity without fixed points using the nonvanishing vector field on M. To do this, we use a theorem about the flow of a given vector field. Theorem 1. Let X be a smooth vector field on a smooth manifold M. For each m M there exists a(m) and b(m) in R {± }, and a smooth curve such that (a) 0 (a(m), b(m)) and γ m (0) = m. (b) γ m is an integral curve of X. γ m : (a(m), b(m)) M

225A DIFFERENTIAL TOPOLOGY FINAL 7 (c) (a(m), b(m)) is maximal that γ m can be extended. (d) For each m M, there exists an open neighborhood V of m and an ε > 0 such that the map (t, p) X t (p) is defined and is smooth from ( ε, ε) V into M. (e) Let D t = {m M t (a(m), b(m))}, then D t is open for each t. (f) t>0 D t = M. (g) Let X t (m) = γ m (t), then X t : D t D t is a diffeomorphism with inverse X t. Since M is compact in our case, we can find some t 0 > 0 such that M = D t0, and X t has no fixed points for each t < t 0. Hence, we have X tt0/2 is the desired isotopy of identity without fixed points(e have X 0 = id).