Math 225B: Differential Geometry, Final
|
|
- Phebe Wilcox
- 6 years ago
- Views:
Transcription
1 Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of p, then there is a coordinate system defined in a neighbourhood of p, say (x,..., x n ), such that on a neighbourhood of p, X = (x i ). If X p is nonzero at p, then it is also nonzero in a neighbourhood of p. Let U be such a neighbourhood, and let ψ : U R n be a diffeomorphism. It suffices to prove this claim in R n at the point p = 0. Notice that at 0, the vector X 0 T 0 R n can be extended to a basis of T 0 R n. This yields a system of coordinates (t i ) so that 0 = X t 0. Let φ t be the flow of X. We will use this to extend t to a system of coordinates in a neighbourhood V of 0. Define a map ψ on V by ψ(x,..., x n ) = φ x (0, x 2,..., x n ). Then at a point x = (x i ) V, we have ( ) x ψ (f) = x (f ψ) t t For i >, we have = lim h 0 h [f(ψ(x + h, x 2,..., x n )) f(ψ(x))] = lim h 0 h [f(φ x +h(0, x 2,..., x n )) f(ψ(x))] = lim h [f(φ h(ψ(x))) f(ψ(x))] = (L X f)(ψ(x)). h 0 ( ) x ψ (f) = 0 (f ψ) t i t i = lim [f(ψ(0,..., h,..., 0)) f(0)] h h 0 = lim [f(0,..., h,..., 0) f(0)] h = f 0. t i h 0
2 Therefore the coordinate system y = ψ is a coordinate system in a neighbourhood of 0, which satisfies X = since ψ y ( ) = X ψ. t Problem Spring 20, 2. (a) Demonstrate the formula L X = d i X + i X d, where L is the Lie derivative and i is the interior product. (b) Use this formula to show that a vector field X on R 3 has a flow (locally) that preserves volume if and only if the divergence of X is everywhere 0, where the divergence of X = f + g + h f is + g + h. x y z x y z (a) We can assume that X = use this on a basis form ω = f dy and extend by linearity x and through the wedge product. We know that L X ω = L X f dy + f L X dy = f x dy + f f dy = x x dy + f δ i(j). This is exactly the formula required. Since the Lie derivate follows the same Leibniz rule (i.e. with the introduced ( ) k ) as the inner product, it extends through the wedge product. Therefore this is the proper formula. (b) Let ω = dx dy dz be the standard volume form on R 3. A vector field X preserves volume if and only if L X ω = 0. We use Cartan s magic formula above L X ω = d(i X ω) + i X (dω) = d(i X ω), where the last term vanishes since ω is a top form. Let X have the form as above. Then i X ω = f dy dz + g dz dx + h dx dy. Hence d(i X ω) = ( f x + g y + h ) dx dy dz. z Hence X preserves volume if and only if div X = f required. + g + h x y z = 0 everywhere, as Problem Spring 20, 3. (a) Explain some systematic reason why there is a closed 2-form on R 3 \ {0} that is not exact. You may do this by exhibiting such a form explicitly and checking that it is closed but not exact or you may argue using theorems that such a form must exist. (b) With φ such a form, discuss why, for any smooth map F : S 2 S 2, F φ S deg F = S 2 φ. 2 This includes explaining why the denominator cannot be 0. 2
3 (a) First, note that the cohomology on R 3 \ {0} is that of S 2, since there is a homotopy retract from the former manifold to the latter. Therefore we need only define a closed 2-form on S 2 that is not exact. If we have an exact 2-form, then by Stokes theorem, dω = d 2 ω = 0, S 2 D 2 where D 2 is the solid unit ball. Therefore demonstrating a 2-form with positive integral is sufficient in our case. Let p be a point of S 2 in a local chart U. Then we can define a closed form on U such that ω 0, and moreover we may let ω be compactly U supported in U. Then we can extend ω to all of S 2 via a partition of unity, which we may make subordinate to U and furthermore finite since S 2 is compact. Hence ω = ω 0. Further, since the partition of unity is finite, it commutes with the U S 2 derivative, so that dω = 0 as well, so it is closed. (b) For this proof, we will need F to be a proper map. But this is always satisfied on a closed manifold, so it works in our case. We will use the stack of records theorem: Lemma. First, we know the denominator is not zero since nonexact forms have nonzero integral, as proved above. Hence we aim to show deg F ω = S 2 F ω. S 2 Now, Let F : M N be a smooth map between manifolds of the same dimension, M compact. Let y N be a regular value. Then F (y) is finite, and there is a neighbourhood V of y such that F (V ) is a disjoint union of open sets U i in M such that F Ui : U i V is a diffeomorphism. Our F satisfies these conditions. Then for any point q and chart V, its preimage is a finite set p i in charts U pi where U pi = V. Also, in this case, deg F Upi = ± since it is a diffeomorphism. Let ω Ω 2 c(v ), and view ω as a form on Ω 2 (S 2 ) in the natural way (since it is compactly supported). We have F ω = F Up ω. Therefore we have S 2 F ω = p F (q) p F (q) U p F Up ω = p F (q) ε(p) V ω = deg F ω, S 2 where ε(p) = ± depending on the orientation of the local diffeomorphism at p. Since every form on S 2 may be written as a finite sum of forms on local charts, extending by linearity this holds for all forms. 3
4 Problem Spring 20, 4. Show without using De Rham s Theorem (but you may use the Poincaré Lemma without proof) that a 2-form φ on S 2 that has integral 0 is exact. Let I be the integration function from Ω k+ ([0, ] M) Ω k (M), and let J t : M [0, ] M be the inclusion function. Then the Poincaré Lemma tells us that closed forms are exact on contractible manifolds. First, we can separate S 2 into two contractible manifolds U and D by moving the south pole and north pole respectively. Then we have φ U = dθ U and φ D = dθ D. Let T denote the top hemisphere of the circle and B the bottom, each with boundary S but with opposite orientations. Using Stokes theorem, 0 = ω = dθ U + dθ D = θ U θ D. S 2 T B S Hence θ U θ D is exact on U D, so let it be df for some function f. Consider ρ a partition of unity subordinate to U and D so that ρ = ρ D + ρ U, each supported on the appropriate subscript. Define functions f U = ρ D f, f D = ρ U f. Then define θ = { θ U df U on U θ D + df D on D. Then by construction, dθ = ω. And indeed, we have θ U = θ D + d(f U + f D ) = θ D + df on U D. Hence we have shown that ω is an exact form. Problem Fall 202, 5. Assume that = {X,..., X k } is a k-dimensional distribution spanned by vector fields on an open set Ω M n in an n-dimensional manifold. For each open subset V Ω define Z V = {u C (V ) : X i u = 0 for all i {,..., k}}. Show that the following two statements are equivalent: (a) The distribution is integrable. (b) For each x Ω there exists an open neighbourhood x V Ω and n k functions u,..., u n k Z V such that the differentials du,..., du n k are linearly independent at each point in V. 4
5 If is integrable, then for each x Ω there is a k-dimensional submanifold N Ω so that T x N = locally. Since T x N T x Ω, this means that there are n k coordinate vectors in (T x N) which span this complement. Their derivatives are also linearly independent, so (b) is satisfied. For the converse, we use the Frobenius theorem. is an integrable distribution if and only if the ideal of forms (with respect to the wedge product) annihilating is closed under exterior differentiation. Let l( ) be this ideal. Indeed, we see that Z V generates l( ). Assume that (b) holds. We claim that du,..., du n k generate l( ), i.e. u i span Z V. Let g be a form such that dg is not in the span of du i. Then in, we must have g j dx j 0, where the x j are coordinate functions with respect to the X j by dimensionality. Therefore there is an element X j of that is not annihilated by dg, which corresponds to the term g j dx j 0 above. Hence l( ) is generated by du i. Therefore it is closed under exterior derivative, so applying the Frobenius theorem we are done. Problem Fall 202, 6. On R n \ {0}, define the (n )-forms σ = i= ( ) i x i dx dx i dx n, ω = x n σ. (a) Show that ω = r i (σ), where i : S n R n \ {0} is the natural inclusion of the unit sphere and r(x) = x x : Rn \ {0} S n is the natural retraction. (b) Show that σ is not a closed form. (c) Show that ω is a closed form that is not exact. (a) On some vector fields X,..., X n, we have r i σ(x,..., X n ) = σ(di dr(x ),..., di dr(x n )) = σ(x / x,..., X n / x ). But then ω = / x n σ is clear since we have σ(x / x,..., X n / x ) = ( ) i x i (x/ x )d(x / x ) d(x i / x ) d(x n / x ) i= = x n ( ) i x i dx dx i dx n. i= (b) dσ = dx dx n = n dx dx n 0. i= 5
6 (c) As above, dσ is the scalar of a volume form. r d(i σ) = dω = 0. However, d(i σ) is evidently 0, so To show ω is not exact, we use Stokes theorem as in 3(a) above. If ω were exact, then its integral would be 0. But we know that i ω = i σ. S n S n But dσ is a scalar multiple of a volume form, so we have i σ = dσ 0. S n D n Therefore i ω is not exact, so ω cannot be exact either. Problem Fall 202, 7. Let n 0 be an integer. Let M be a compact, orientable, smooth manifold of dimension 4n + 2. Show that dim H 2n+ (M; R) is even. Consider the map F : H 2n+ (M) H 2n+ (M) H 4n+2 (M) given by (ω, η) ω η. Let dim k = H 2n+, and since M is compact and orientable, we have dim H 4n+2 (M) = R. This this map is R-bilinear, so induces a map G : H 2n+ (M) H 2n+ (M) = Hom R (H 2n+ (M), R). where ω ω. By Poincaré duality (or linear algebra), dim H 2n+ (M) = k as well, and in particular this map is an isomorphism. G is representable by a matrix α M k (R). Since the wedge product is skew symmetric, α is a skew symmetric matrix as well. Hence we have det α = det α = det α = ( ) k det α. If det α 0, then we must have k is even so that ( ) k =. But we know that this is always the case, since the map G is an isomorphism. This completes the proof. Problem Fall 202, 9. Consider the coordinate axes in R n : L i = {(x,..., x n ) : x j = 0 for all j i}. Calculate the homology groups of the complement R n \ (L L n ). Let M n be this manifold. Note that since we have removed the origin, we may smoothly retract this manifold to S n In this case, removing the coordinate axes is homotopy equivalent to removing 2n distinct points. 6
7 First, in the case n =, the manifold obtained is the empty manifold, so there is nothing to compute. In the case n = 2, we have S with four points removed is homotopy equivalent to four disconnected unit intervals. Hence H 0 (M 2 ) = R 4 and H (M ) = 0 as each interval is contractible. In higher dimensions, removing points from S n does not disconnect it, so we proceed with a general lemma. Lemma. If M is a connected manifold of dimension n 2, then for any point p M, H k (M \ {p}) = H k (M) for k < n, and H n (M \ {p}) = 0. Additionally, if M is compact and orientable, then H n (M \ {p}) = H n (M). Otherwise, dim H n (M \ {p}) = + dim H n (M). Proof. This follows Spivak.2(a). Since n 2, M \ {p} is connected. Let U be a chart around the point {p}, so that U M \ {p} = M. Then U R n, and U M \ {p} S n. Therefore we have a sequence H k (S n ) H k (M) H k (R n ) H k (M \ {p}) H k (S n ) H k+ (M), where k > 0 since we know what H 0 (M \ {p}) is since we assumed it was connected. For k < n, we have 0 H k (M) H k (M \ {p}) 0 so H k (M) = H k (M \ {p}). The last part of this sequence, starting at k = n, is 0 H n (M) H n (M \ {p}) R H n (M) H n (M \ {p}) 0 If M is nonorientable or noncompact, then H n (M) = 0, so we obtain 0 H n (M) H n (M \ {p}) R 0 H n (M \ {p}) 0, so H n (M \{p}) = 0 as well and dim H n (M \{p}) = +dim H n (M). If M is compact and orientable, then H n (M) = R. However M \{p} is not compact anymore, so H n (M \{p}) = 0. Hence we obtain 0 H n (M) H n (M \ {p}) R R 0. Since R R 0 is surjective, H n (M \ {p}) R must be the zero map. Hence we again have 0 H n (M) H n (M \ {p}) 0 so H n (M) = H n (M \ {p}). For simplicity we compute the homology of M n+, for n 2. Then this reduces to S n minus 2(n + ) points. Removing the first point, by the lemma, yields the same homology as S n except for the top homology is now 0. By induction now on noncompact manifolds, removing 2n + points gives k = 0 dim H k (S n \ {2n + 2 points}) = 0 k =,..., n 2, n. 2n + k = n This completes the classification. 7
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
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationEilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )
II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups
More informationMath 225B: Differential Geometry, Homework 8
Math 225B: Differential Geometry, Homewor 8 Ian Coley February 26, 204 Problem.. Find H (S S ) by induction on the number n of factors. We claim that H (T n ) ( n ). For the base case, we now that H 0
More informationMath 225A: Differential Topology, Final Exam
Math 225A: Differential Topology, Final Exam Ian Coley December 9, 2013 The goal is the following theorem. Theorem (Hopf). Let M be a compact n-manifold without boundary, and let f, g : M S n be two smooth
More informationSurvey on exterior algebra and differential forms
Survey on exterior algebra and differential forms Daniel Grieser 16. Mai 2013 Inhaltsverzeichnis 1 Exterior algebra for a vector space 1 1.1 Alternating forms, wedge and interior product.....................
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationfy (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))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationB 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 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationDifferential Geometry qualifying exam 562 January 2019 Show all your work for full credit
Differential Geometry qualifying exam 562 January 2019 Show all your work for full credit 1. (a) Show that the set M R 3 defined by the equation (1 z 2 )(x 2 + y 2 ) = 1 is a smooth submanifold of R 3.
More informationNOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n
NOTES ON DIFFERENTIAL FORMS. PART 1: FORMS ON R n 1. What is a form? Since we re not following the development in Guillemin and Pollack, I d better write up an alternate approach. In this approach, we
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationGeometry Qualifying Exam Notes
Geometry Qualifying Exam Notes F 1 F 1 x 1 x n Definition: The Jacobian matrix of a map f : N M is.. F m F m x 1 x n square matrix, its determinant is called the Jacobian determinant.. When this is a Definition:
More informationLet V, W be two finite-dimensional vector spaces over R. We are going to define a new vector space V W with two properties:
5 Tensor products We have so far encountered vector fields and the derivatives of smooth functions as analytical objects on manifolds. These are examples of a general class of objects called tensors which
More informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
More informationGEOMETRY HW 12 CLAY SHONKWILER
GEOMETRY HW 12 CLAY SHONKWILER 1 Let M 3 be a compact 3-manifold with no boundary, and let H 1 (M, Z) = Z r T where T is torsion. Show that H 2 (M, Z) = Z r if M is orientable, and H 2 (M, Z) = Z r 1 Z/2
More informationNOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY
NOTES ON DIFFERENTIAL FORMS. PART 5: DE RHAM COHOMOLOGY 1. Closed and exact forms Let X be a n-manifold (not necessarily oriented), and let α be a k-form on X. We say that α is closed if dα = 0 and say
More informationTheorem 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.
Now we investigate the measure of the critical values of a map f : M N where dim M = dim N. Of course the set of critical points need not have measure zero, but we shall see that because the values of
More informationIntegration and Manifolds
Integration and Manifolds Course No. 100 311 Fall 2007 Michael Stoll Contents 1. Manifolds 2 2. Differentiable Maps and Tangent Spaces 8 3. Vector Bundles and the Tangent Bundle 13 4. Orientation and Orientability
More informationLECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY
LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in
More informationis the desired collar neighbourhood. Corollary Suppose M1 n, M 2 and f : N1 n 1 N2 n 1 is a diffeomorphism between some connected components
1. Collar neighbourhood theorem Definition 1.0.1. Let M n be a manifold with boundary. Let p M. A vector v T p M is called inward if for some local chart x: U V where U subsetm is open, V H n is open and
More information225A DIFFERENTIAL TOPOLOGY FINAL
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.
More informationIntroduction to finite element exterior calculus
Introduction to finite element exterior calculus Ragnar Winther CMA, University of Oslo Norway Why finite element exterior calculus? Recall the de Rham complex on the form: R H 1 (Ω) grad H(curl, Ω) curl
More informationChap. 1. Some Differential Geometric Tools
Chap. 1. Some Differential Geometric Tools 1. Manifold, Diffeomorphism 1.1. The Implicit Function Theorem ϕ : U R n R n p (0 p < n), of class C k (k 1) x 0 U such that ϕ(x 0 ) = 0 rank Dϕ(x) = n p x U
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationDE RHAM COHOMOLOGY, CONNECTIONS, AND CHARACTERISTIC CLASSES
DE RHAM COHOMOLOGY, CONNECTIONS, AND CHARACTERISTIC CLASSES PATRICK GREENE Abstract. The de Rham cohomology is a cohomology based on differential forms on a smooth manifold. It uses the exterior derivative
More informationMath 225A: Differential Topology, Homework 4
Math 225A: Differential Topology, Homework 4 Ian Coley February 10, 2014 Problem 1.5.4. Let X and Z be transversal submanifolds of Y. Prove that if y X Z, then T y (X Z) = T y (X) T y (Z). Since X Z is
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationMath 147, Homework 6 Solutions Due: May 22, 2012
Math 147, Homework 6 Solutions Due: May 22, 2012 1. Let T = S 1 S 1 be the torus. Is it possible to find a finite set S = {P 1,..., P n } of points in T and an embedding of the complement T \ S into R
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More information4-MANIFOLDS: CLASSIFICATION AND EXAMPLES. 1. Outline
4-MANIFOLDS: CLASSIFICATION AND EXAMPLES 1. Outline Throughout, 4-manifold will be used to mean closed, oriented, simply-connected 4-manifold. Hopefully I will remember to append smooth wherever necessary.
More informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More informationHARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES
HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES OLIVER EBNER AND STEFAN HALLER Abstract. We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationDIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM
DIFFERENTIAL TOPOLOGY AND THE POINCARÉ-HOPF THEOREM ARIEL HAFFTKA 1. Introduction In this paper we approach the topology of smooth manifolds using differential tools, as opposed to algebraic ones such
More informationCohomology and Vector Bundles
Cohomology and Vector Bundles Corrin Clarkson REU 2008 September 28, 2008 Abstract Vector bundles are a generalization of the cross product of a topological space with a vector space. Characteristic classes
More informationTransversality. Abhishek Khetan. December 13, Basics 1. 2 The Transversality Theorem 1. 3 Transversality and Homotopy 2
Transversality Abhishek Khetan December 13, 2017 Contents 1 Basics 1 2 The Transversality Theorem 1 3 Transversality and Homotopy 2 4 Intersection Number Mod 2 4 5 Degree Mod 2 4 1 Basics Definition. Let
More informationThe Borsuk-Ulam Theorem
The Borsuk-Ulam Theorem Artur Bicalho Saturnino June 2018 Abstract I am going to present the Borsuk-Ulam theorem in its historical context. After that I will give a proof using differential topology and
More informationM4P52 Manifolds, 2016 Problem Sheet 1
Problem Sheet. Let X and Y be n-dimensional topological manifolds. Prove that the disjoint union X Y is an n-dimensional topological manifold. Is S S 2 a topological manifold? 2. Recall that that the discrete
More informationMath 147, Homework 5 Solutions Due: May 15, 2012
Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very non-linear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More information1 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
KOÇ UNIVERSITY FALL 011 MATH 554 MANIFOLDS MIDTERM 1 OCTOBER 7 INSTRUCTOR: BURAK OZBAGCI 180 Minutes Solutions by Fatih Çelik PROBLEM 1 (0 points): Let N = (0 0 1) be the north pole in the sphere S R 3
More informationThe Borsuk Ulam Theorem
The Borsuk Ulam Theorem Anthony Carbery University of Edinburgh & Maxwell Institute for Mathematical Sciences May 2010 () 1 / 43 Outline Outline 1 Brouwer fixed point theorem 2 Borsuk Ulam theorem Introduction
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationChapter 2 Differential Forms
Chapter 2 Differential Forms This chapter discusses integration on differentiable manifolds. Because there is no canonical choice of local coordinates, there is no natural notion of volume, and so only
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
More informationMath Topology II: Smooth Manifolds. Spring Homework 2 Solution Submit solutions to the following problems:
Math 132 - Topology II: Smooth Manifolds. Spring 2017. Homework 2 Solution Submit solutions to the following problems: 1. Let H = {a + bi + cj + dk (a, b, c, d) R 4 }, where i 2 = j 2 = k 2 = 1, ij = k,
More informationSMSTC (2017/18) Geometry and Topology 2.
SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture
More informationINTEGRATION OF FORMS. 3.1 Introduction. This is page 105 Printer: Opaque this CHAPTER 3
This is page 105 Printer: Opaque this CHAPTER 3 INTEGRATION OF FORMS 3.1 Introduction The change of variables formula asserts that if U and V are open subsets of R n and f : U V a C 1 diffeomorphism then,
More informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationPatrick Iglesias-Zemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationPractice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009.
Practice Qualifying Exam Questions, Differentiable Manifolds, Fall, 2009. Solutions (1) Let Γ be a discrete group acting on a manifold M. (a) Define what it means for Γ to act freely. Solution: Γ acts
More informationMULTILINEAR ALGEBRA MCKENZIE LAMB
MULTILINEAR ALGEBRA MCKENZIE LAMB 1. Introduction This project consists of a rambling introduction to some basic notions in multilinear algebra. The central purpose will be to show that the div, grad,
More information(FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM >
(FALL 2011) 225A - DIFFERENTIAL TOPOLOGY FINAL < HOPF DEGREE THEOREM > GEUNHO GIM 1. Without loss of generality, we can assume that x = z = 0. Let A = df 0. By regularity at 0, A is a linear isomorphism.
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationDierential geometry for Physicists
Dierential geometry for Physicists (What we discussed in the course of lectures) Marián Fecko Comenius University, Bratislava Syllabus of lectures delivered at University of Regensburg in June and July
More informationA REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM
A REMARK ON DISTRIBUTIONS AND THE DE RHAM THEOREM RICHARD MELROSE May 11, 2011 Abstract. We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial
More informationNotes on Differential Topology
Notes on Differential Topology George Torres Last updated January 18, 2018 Contents 1 Smooth manifolds and Topological manifolds 3 1.1 Smooth Structures............................................ 3 1.2
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY
INTRODUCTION TO ALGEBRAIC GEOMETRY WEI-PING LI 1 Preliminary of Calculus on Manifolds 11 Tangent Vectors What are tangent vectors we encounter in Calculus? (1) Given a parametrised curve α(t) = ( x(t),
More informationNotes for Math 535 Differential Geometry Spring Francis Bonahon. Department of Mathematics, University of Southern California
Notes for Math 535 Differential Geometry Spring 2016 Francis Bonahon Department of Mathematics, University of Southern California Date of this version: April 27, 2016 c Francis Bonahon 2016 CHAPTER 1 A
More informationMath 215B: Solutions 3
Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union
More informationWe have the following immediate corollary. 1
1. Thom Spaces and Transversality Definition 1.1. Let π : E B be a real k vector bundle with a Euclidean metric and let E 1 be the set of elements of norm 1. The Thom space T (E) of E is the quotient E/E
More informationE 0 0 F [E] + [F ] = 3. Chern-Weil Theory How can you tell if idempotents over X are similar?
. Characteristic Classes from the viewpoint of Operator Theory. Introduction Overarching Question: How can you tell if two vector bundles over a manifold are isomorphic? Let X be a compact Hausdorff space.
More informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More information1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0
1. Classification of 1-manifolds Theorem 1.1. Let M be a connected 1 manifold. Then M is diffeomorphic either to [0, 1], [0, 1), (0, 1), or S 1. We know that none of these four manifolds are not diffeomorphic
More informationLecture Notes for MA5NO Cohomology, Connections, Curvature and Characteristic Classes
Lecture Notes for MA5NO Cohomology, Connections, Curvature and Characteristic Classes David Mond October 27, 2006 1 Introduction Let s begin with a little vector analysis (also known as Physics ). Consider
More informationDifferential Forms JWR. May 2, 2005
Differential Forms JWR May 2, 2005 1 Algebra 1.1. For (real) vector spaces V and W denote by L(V, W ) the vector space of linear maps from V to W and by L k (V, W ) the space of k-multilinear maps from
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationDIFFERENTIAL FORMS AND COHOMOLOGY
DIFFERENIAL FORMS AND COHOMOLOGY ONY PERKINS Goals 1. Differential forms We want to be able to integrate (holomorphic functions) on manifolds. Obtain a version of Stokes heorem - a generalization of the
More informationLECTURE 26: THE CHERN-WEIL THEORY
LECTURE 26: THE CHERN-WEIL THEORY 1. Invariant Polynomials We start with some necessary backgrounds on invariant polynomials. Let V be a vector space. Recall that a k-tensor T k V is called symmetric if
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationL (2) -COHOMOLOGY OF ORBIT SPACES
L (2) -COHOMOLOGY OF ORBIT SPACES REYER SJAMAAR Abstract. Suppose that a compact Lie group acts on a smooth compact manifold and that the manifold is equipped with an invariant Riemannian metric. This
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationLECTURE 22: INTEGRATION ON MANIFOLDS. 1. Orientations
LECTURE 22: INTEGRATION ON ANIFOLDS 1. Orientations Let be a smooth manifold of dimension n, and let ω Ω n () be a smooth n-form. We want to define the integral ω. First assume = R n. In calculus we learned
More informationMath 225B: Differential Geometry, Homework 2
Math 225B: Differential Geometry, Homework 2 Ian Coley January 7, 204 Problem 5.0 (a) Prove that L X (f ω) = Xf ω + f L X ω L X [ω(y )] = (L X ω)(y ) + ω(l X Y ). (b) Reformulate Proposition 8 with the
More informationwith a given direct sum decomposition into even and odd pieces, and a map which is bilinear, satisfies the associative law for multiplication, and
Chapter 2 Rules of calculus. 2.1 Superalgebras. A (commutative associative) superalgebra is a vector space A = A even A odd with a given direct sum decomposition into even and odd pieces, and a map A A
More informationThe Hopf Bracket. Claude LeBrun SUNY Stony Brook and Michael Taylor UNC Chapel Hill. August 11, 2013
The Hopf Bracket Claude LeBrun SUY Stony Brook and ichael Taylor UC Chapel Hill August 11, 2013 Abstract Given a smooth map f : between smooth manifolds, we construct a hierarchy of bilinear forms on suitable
More informationDEVELOPMENT OF MORSE THEORY
DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined
More informationLECTURE 3: SMOOTH FUNCTIONS
LECTURE 3: SMOOTH FUNCTIONS Let M be a smooth manifold. 1. Smooth Functions Definition 1.1. We say a function f : M R is smooth if for any chart {ϕ α, U α, V α } in A that defines the smooth structure
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More informationA Simple Proof of the Generalized Cauchy s Theorem
A Simple Proof of the Generalized Cauchy s Theorem Mojtaba Mahzoon, Hamed Razavi Abstract The Cauchy s theorem for balance laws is proved in a general context using a simpler and more natural method in
More informationMATH 215B HOMEWORK 4 SOLUTIONS
MATH 215B HOMEWORK 4 SOLUTIONS 1. (8 marks) Compute the homology groups of the space X obtained from n by identifying all faces of the same dimension in the following way: [v 0,..., ˆv j,..., v n ] is
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday September 1, 2015 (Day 1) 1. (A) The integer 8871870642308873326043363 is the 13 th power of an integer n. Find n. Solution.
More informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationCup product and intersection
Cup product and intersection Michael Hutchings March 28, 2005 Abstract This is a handout for my algebraic topology course. The goal is to explain a geometric interpretation of the cup product. Namely,
More informationLECTURE 22: MAPPING DEGREE, POINCARE DUALITY
LECTURE 22: APPING DEGREE, POINCARE DUALITY 1. The mapping degree and its appliations Let, N be n-dimensional onneted oriented manifolds, and f : N a proper map. (If is ompat, then any smooth map f : N
More informationTHE POINCARE-HOPF THEOREM
THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationLecture 11: Hirzebruch s signature theorem
Lecture 11: Hirzebruch s signature theorem In this lecture we define the signature of a closed oriented n-manifold for n divisible by four. It is a bordism invariant Sign: Ω SO n Z. (Recall that we defined
More informationMath 114: Course Summary
Math 114: Course Summary Rich Schwartz September 25, 2009 General Information: Math 114 is a course in real analysis. It is the second half of the undergraduate series in real analysis, M113-4. In M113,
More informationMATH8808: ALGEBRAIC TOPOLOGY
MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.
More informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More information