Worksheet on Vector Fields and the Lie Bracket
|
|
- Chrystal Ferguson
- 5 years ago
- Views:
Transcription
1 Worksheet on Vector Fields and the Lie Bracket Math 6456 Differential Geometry January 8, 2008 Let M be a differentiable manifold and T M := p M T p M Definition 8 A smooth vector field is a mapping w : M T M such that p w p T p M, and for every f F(M), the mapping p w p [f] is in F(M) Exercise 1 Given a local coordinate ξ : V R n with p V, the coordinate basis vectors v 1,, v n form a basis for T p M (we showed this in the last lecture) Show that when an arbitrary w p T p M is expressed as this defines functions w 1,, w n F(V ) w p = w j v j, (1) Exercise 2 Show that a mapping w : M T p M such that p w p T p M is smooth (ie, represents a smooth locally defined vector field) if and only if for every local coordinate ξ : V R n the coefficients w j in the representation (1) are (locally) in F(V ) Note: We are only considering smooth vector fields; when we refer to a vector field, it is always assumed to be smooth Exercise 3 Let V be open in M and p V Show that V is a differentiable manifold Note: T M sometimes refers to a different (equivalent) set: T M = {(p, v) : p M, v T p M} This collection of all tangent vectors on M (identified with their base points) is also called the tangent bundle Exercise 4 Show that the tangent bundle T M is a differentiable manifold of dimension 2n 1
2 The collection of all smooth vector fields on M is denoted by X(M) Exercise 5 1 Given a vector field w X(M), show that f w[f] defines a linear operator on F(M) Is this operator onto? (The space of all linear operators on the ring F(M) is sometimes denoted by L(F(M))) 2 Show that X(M) is isomorphic to a subspace (or a submodule) of L(F(M)) when considered as a vector space over R (or a module over F(M)) 3 Given v, w X(M), show that u p [f] := w p [v[f]] defines a linear map on F(M), ie, Λ(f) = u[f] F(M) and Λ L(F(M)) 4 find conditions under which u p [f] := w p [v[f]] defines a vector field u (When we write v[f] without any subscript p, we are considering the image of f under the image of v under isomorphism discussed in 1 and 2 above, ie, v[f] F) Hint: In light of 3 above, the only thing to check is the Leibnizian condition Show that u p [fg] = u p [f]g(p) + w p [f]v p [g] + v p [f]w p [g] + f[p]u p [g] Definition 10 If v, w X(M), the Lie bracket, [v, w] : F(M) F(M), of w with respect to v is defined by [v, w] p [f] := v p [w[f]] w p [v[f]] Exercise 6 Show that [v, w] X(M) Exercise 7 1 Let u p be the functional defined in Exercise 5, and compute an expression for u p in local coordinates 2 Compute an expression for [v, w] in local coordinates Show that this can be used as an approach to Exercise 6 Definition 11 A linear operator D L(F(M)) is a derivation if D(fg) = D(f)g + fd(g) Given v X(M), the Lie derivative L v : F(M) X(M) F(M) X(M) is defined by L v (f) = v[f] L v (w) = [v, w] if f F(M), if w X(M) Exercise 8 Show that L v (fw) = L v (f)w + fl v (w) 2
3 This kind of packaging together of different (Leibnizian/product related) operators on different spaces is typical of Riemannian geometry Exercise 9 Calculate L v iv j where v 1,, v n are the natural coordinate basis vectors (Hint: Consider the case of a surface in R 3 and recall that v 1,, v n correspond to the tangent vectors X 1, X 2 R 3 What vector in R 3 would correspond to L v iv j?) Exercise 10 If u, v, w X(M), a, b r, and f, g F(M), then 1 [v, w] = [w, v] This is called anticommutativity 2 [av + bw, u] = a[v, u] + b[w, u] This, of course, is linearity (and holds in both slots) 3 [[u, v], w] + [[w, u], v] + [[v, w], u] = 0 This is known as the Jacobi identity 4 [fv, gw] = fg[v, w] + fv[g]w + gw[f]v This is a kind of Leibniz identity The Flow Associated to a Vector Field In order to describe an interpretation of [v, w] as a derivative of the vector field w with respect to the vector field v, we consider a number of topics which are important in their own right Note that any open interval in the real line is a one-dimensional differentiable manifold with the identity map as global chart Let us, for the moment, use the notation I to denote this kind of particular manifold Definition 12 (smooth curve) A smooth map γ : I M is called a smooth curve in M The derivative or tangent vector of such a curve is defined by γ (t)[f] := d(f γ) (t) dt Notice that this is the same as d(f γ id 1 )/dt where id is the identity chart for I A smooth curve is called regular if γ 0 Exercise 11 Let v X(M) be a smooth vector field and p M Show that for some ɛ > 0, there is a smooth curve γ : ( ɛ, ɛ) M such that γ (t) = v γ(t) and γ(0) = p Show that γ is unique in the sense that if α : ( δ, δ) M satisfies α (t) = v α(t) and α(0) = p, then γ(t) = α(t) for t ( min{ɛ, δ}, min{ɛ, δ}) Hint: Use the existence and uniqueness theorem for ordinary differential equations 3
4 Definition 13 (integral curve) Given v X(M) and γ : I M any function defined on an open interval I We say that γ is an integral curve of v if γ (t) = v γ(t) The vector field v X(M) is called complete if every integral curve γ of v may be extended to the interval I = R In this case, we define the flow associated with v to be the mapping Φ : M R M satisfying 1 Φ(p, 0) p 2 Φ t (p, t) = v Φ(p,t) On the left of this equation, we are interpreting the partial derivative as the tangent vector to the curve t Φ(p, t) Exercise 12 Show that given any vector field v X(M) and a point p M, there is a complete vector field v 0 X(M) which agrees with v in a neighborhood of p In light of the last exercise, we will not hesitate to talk about the flow of any smooth vector field as long as we restrict attention to the locality of a point Exercise 13 Let v X(M) and let ξ : V R n be a local coordinate at p 1 Show that dξ may be used to define a smooth (classical) vector field w on U = ξ(v ) Hint: w(x) w x = dξ ξ 1 (x)(v ξ 1 (x)) 2 Consider the ordinary differential equation { ẋ = wx x(0) = x 0 for x 0 U Apply the existence and uniqueness theorem from ordinary differential equations to show the existence of a local flow for w 3 What is the relation between the flow of w on U and the flow of v on M? Exercise 14 Notice that M R is a manifold Show that the flow Φ of a complete vector field is a smooth map Exercise 15 Given any function f F(M) and any vector field v X(M) with local flow Φ at p M show that f Φ(p, t) f(p) lim = v p [f] h 0 t 4
5 At this stage, we can describe the Lie derivative of w with respect to v as follows: Let p be a point in M and take a complete vector field which agrees with v in a neighborhood of p Then we have a flow Φ and we can consider the (partial) differential map dφ : T M R T M which we get by thinking of t as fixed and taking the differential of the mapping p Φ(p, t) Exercise 16 Show that dφ is a smooth map If we wish to compare w p T p M and w Φ(p,t) T Φ(p,t) M, and we do, then we have some trouble since they are in different tangent spaces As a compromise, we will transfer w p over into T Φ(p,t) using the differential map; then we can form the difference quotient w Φ(p,t) dφ p (w p ) t The limit of this vector as t 0 is an alternative definition of the Lie derivative: w Φ(p,t) dφ p (w p ) L v w = lim To verify that this is correct, we need to see that this limit gives [v, w] = vw wv Let us start by applying the difference quotient to a function, using the definition of the differential, and using the linearity of w: 1 t (w Φ(p,t)[f] dφ p (w p )[f]) = 1 t (w Φ(p,t)[f] w p [f Φ]) = 1 t (w Φ(p,t)[f] w p [f]) + 1 t (w p[f] w p [f Φ]) = 1 t (w Φ(p,t)[f] w p [f]) w p [ 1 t (f Φ f) ] Of course, there is t dependence in the expression f Φ which we will have to deal with later, but notice that the first term has as limit w Φ(p,t) [f] w p [f] lim = t w Φ(p,t)[f] t=0 = Φ (p, 0)[w[f]] t = v p [w[f]] by definitions 12 and 13 For the same reason, it is clear that f Φ f lim = v[f] 5
6 at least pointwise The convergence of the interchanged limits 1 to compute [ ] f Φ f lim w p must, however, be justified We will address this in a more general context later, but for now, let us simply expand in local coordinates and argue directly: Lemma 6 [ ] f Φ f lim w p = w p [v[f]] Proof: Taking a local coordinate ξ about p and setting g(x, t) = f Φ(ξ 1 (x), t) on U R, we have [ ] f Φ f { } lim w p = lim wp [ξ j f Φ(ξ 1, t) f Φ(ξ 1, 0) ] t 0 x j t x=ξ(p) = lim wp [ξ j ] 1 ( g (x, t) g ) (x, 0) x j x j x=ξ(p) = w p [ξ j 2 g ] lim (x, t j t 0 t x ) j = w p [ξ j 2 g ] (x, 0) t x j where we have used the mean value theorem so that t j On the other hand, we may write is on the interval between 0 and t f Φ(ξ 1, h) f ξ 1 v ξ 1[f] = lim h 0 h 1 This interpretation of the Lie bracket may be found in do Carmo s Riemannian Geometry, but the overall proof is more complicated, while the issue of interchange of limits is ignored If we are to accept do Carmo s assertion that w p [g(, t)] w p [g(, 0)] as t 0, then our proof would simply read (1/t)(w Φ(p,t) [f] dφ p (w p )[f]) = (1/t)(w Φ(p,t) [f] w p [f]) w p [(1/t)(f Φ f)] v p [w[f]] w p [v[f]] 6
7 Therefore, This establishes the lemma w p [v[f]] = w p [ξ j ] v ξ 1[f] x j = w p [ξ j f Φ(ξ 1, h) f ξ 1 ] lim x j h 0 h = w p [ξ j ] lim x j t (x, h j ) = w p [ξ j g ] x j t (x, 0) = w p [ξ j 2 g ] x j t (x, 0) h 0 g x=ξ(p) Corollary 7 w Φ(p,t) dφ p (w p ) [v, w] = lim 7
TANGENT VECTORS. THREE OR FOUR DEFINITIONS.
TANGENT VECTORS. THREE OR FOUR DEFINITIONS. RMONT We define and try to understand the tangent space of a manifold Q at a point q, as well as vector fields on a manifold. The tangent space at q Q is a real
More information0.1 Diffeomorphisms. 0.2 The differential
Lectures 6 and 7, October 10 and 12 Easy fact: An open subset of a differentiable manifold is a differentiable manifold of the same dimension the ambient space differentiable structure induces a differentiable
More informationLecture Notes a posteriori for Math 201
Lecture Notes a posteriori for Math 201 Jeremy Kahn September 22, 2011 1 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
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 informationLECTURE 5: SMOOTH MAPS. 1. Smooth Maps
LECTURE 5: SMOOTH MAPS 1. Smooth Maps Recall that a smooth function on a smooth manifold M is a function f : M R so that for any chart 1 {ϕ α, U α, V α } of M, the function f ϕ 1 α is a smooth function
More informationMath 600 Day 10: Lee Brackets of Vector Fields
Math 600 Day 10: Lee Brackets of Vector Fields Ryan Blair University of Pennsylvania Thursday October 14, 2010 Ryan Blair (U Penn) Math 600 Day 10: Lee Brackets of Vector Fields Thursday October 14, 2010
More informationVector fields Lecture 2
Vector fields Lecture 2 Let U be an open subset of R n and v a vector field on U. We ll say that v is complete if, for every p U, there exists an integral curve, γ : R U with γ(0) = p, i.e., for every
More informationMath Geometry/Topology 2
Math 318 - Geometry/Topology 2 Lectures by Madhav Nori Notes by Zev Chonoles The University of Chicago, Winter 2013 Lecture 1 (2013-02-15) 1 Lecture 2 (2013-02-18) 3 Lecture 3 (2013-02-20) 6 Lecture 5
More informationMath 598 Feb 14, Geometry and Topology II Spring 2005, PSU
Math 598 Feb 14, 2005 1 Geometry and Topology II Spring 2005, PSU Lecture Notes 7 2.7 Smooth submanifolds Let N be a smooth manifold. We say that M N m is an n-dimensional smooth submanifold of N, provided
More informationDefinition 5.1. A vector field v on a manifold M is map M T M such that for all x M, v(x) T x M.
5 Vector fields Last updated: March 12, 2012. 5.1 Definition and general properties We first need to define what a vector field is. Definition 5.1. A vector field v on a manifold M is map M T M such that
More informationMath 426H (Differential Geometry) Final Exam April 24, 2006.
Math 426H Differential Geometry Final Exam April 24, 6. 8 8 8 6 1. Let M be a surface and let : [0, 1] M be a smooth loop. Let φ be a 1-form on M. a Suppose φ is exact i.e. φ = df for some f : M R. Show
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationLECTURE 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 3 MATH 261A LECTURES BY: PROFESSOR DAVID NADLER PROFESSOR NOTES BY: JACKSON VAN DYKE Office hours are now settled to be after class on Thursdays from 12 : 30 2 in Evans 815, or still by appointment.
More informationMath 6455 Nov 1, Differential Geometry I Fall 2006, Georgia Tech
Math 6455 Nov 1, 26 1 Differential Geometry I Fall 26, Georgia Tech Lecture Notes 14 Connections Suppose that we have a vector field X on a Riemannian manifold M. How can we measure how much X is changing
More informationLecture 11 Hyperbolicity.
Lecture 11 Hyperbolicity. 1 C 0 linearization near a hyperbolic point 2 invariant manifolds Hyperbolic linear maps. Let E be a Banach space. A linear map A : E E is called hyperbolic if we can find closed
More informationLecture 8. Connections
Lecture 8. Connections This lecture introduces connections, which are the machinery required to allow differentiation of vector fields. 8.1 Differentiating vector fields. The idea of differentiating vector
More informationDIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES. September 25, 2015
DIFFERENTIAL GEOMETRY CLASS NOTES INSTRUCTOR: F. MARQUES MAGGIE MILLER September 25, 2015 1. 09/16/2015 1.1. Textbooks. Textbooks relevant to this class are Riemannian Geometry by do Carmo Riemannian Geometry
More informationBASIC DIFFERENTIAL GEOMETRY: CONNECTIONS AND GEODESICS
BASIC DIFFERENTIAL GEOMETRY: CONNECTIONS AND GEODESICS WERNER BALLMANN Introduction I discuss basic features of connections on manifolds: torsion and curvature tensor, geodesics and exponential maps, and
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
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 informationGEOMETRY MID-TERM CLAY SHONKWILER
GEOMETRY MID-TERM CLAY SHONKWILER. Polar Coordinates R 2 can be considered as a regular surface S by setting S = {(, y, z) R 3 : z = 0}. Polar coordinates on S are given as follows. Let U = {(ρ, θ) : ρ
More informationRiemannian geometry of surfaces
Riemannian geometry of surfaces In this note, we will learn how to make sense of the concepts of differential geometry on a surface M, which is not necessarily situated in R 3. This intrinsic approach
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationCALCULUS ON MANIFOLDS
CALCULUS ON MANIFOLDS 1. Manifolds Morally, manifolds are topological spaces which locally look like open balls of the Euclidean space R n. One can construct them by piecing together such balls ( cells
More informationLECTURE 11: TRANSVERSALITY
LECTURE 11: TRANSVERSALITY Let f : M N be a smooth map. In the past three lectures, we are mainly studying the image of f, especially when f is an embedding. Today we would like to study the pre-image
More informationIsometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields
Chapter 15 Isometries, Local Isometries, Riemannian Coverings and Submersions, Killing Vector Fields The goal of this chapter is to understand the behavior of isometries and local isometries, in particular
More informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
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 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 informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationChapter 1. Smooth Manifolds
Chapter 1. Smooth Manifolds Theorem 1. [Exercise 1.18] Let M be a topological manifold. Then any two smooth atlases for M determine the same smooth structure if and only if their union is a smooth atlas.
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 informationSymplectic and Poisson Manifolds
Symplectic and Poisson Manifolds Harry Smith In this survey we look at the basic definitions relating to symplectic manifolds and Poisson manifolds and consider different examples of these. We go on to
More informationLECTURE 9: THE WHITNEY EMBEDDING THEOREM
LECTURE 9: THE WHITNEY EMBEDDING THEOREM Historically, the word manifold (Mannigfaltigkeit in German) first appeared in Riemann s doctoral thesis in 1851. At the early times, manifolds are defined extrinsically:
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 informationLECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
More informationCoordinate Systems and Canonical Forms
Appendix D Coordinate Systems and Canonical Forms D.1. Local Coordinates Let O be an open set in R n. We say that an n-tuple of smooth realvalued functions defined in O, (φ 1,...,φ n ), forms a local coordinate
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationCS 468, Lecture 11: Covariant Differentiation
CS 468, Lecture 11: Covariant Differentiation Adrian Butscher (scribe: Ben Mildenhall) May 6, 2013 1 Introduction We have talked about various extrinsic and intrinsic properties of surfaces. Extrinsic
More informationLECTURE 10: THE PARALLEL TRANSPORT
LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be
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 information7.1 Tangent Planes; Differentials of Maps Between
Chapter 7 Tangent Planes Reading: Do Carmo sections 2.4 and 3.2 Today I am discussing 1. Differentials of maps between surfaces 2. Geometry of Gauss map 7.1 Tangent Planes; Differentials of Maps Between
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationLecture 6: Principal bundles
Lecture 6: Principal bundles Jonathan Evans 6th October 2010 Jonathan Evans () Lecture 6: Principal bundles 6th October 2010 1 / 12 Jonathan Evans () Lecture 6: Principal bundles 6th October 2010 2 / 12
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
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 informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationManifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds
MA 755 Fall 05. Notes #1. I. Kogan. Manifolds and tangent bundles. Vector fields and flows. 1 Differential manifolds, smooth maps, submanifolds Definition 1 An n-dimensional C k -differentiable manifold
More informationThe theory of manifolds Lecture 2
The theory of manifolds Lecture 2 Let X be a subset of R N, Y a subset of R n and f : X Y a continuous map. We recall Definition 1. f is a C map if for every p X, there exists a neighborhood, U p, of p
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationDifferential Geometry (preliminary draft) Massimiliano Mella
Differential Geometry (preliminary draft) Massimiliano Mella Introduction These notes are intended for an undergraduate level third year. It is a pleasure to thank C. Bisi for a carefull reading. CHAPTER
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 informationLECTURE NOTES ON DIFFERENTIABLE MANIFOLDS
LECTURE NOTES ON DIFFERENTIABLE MANIFOLDS JIE WU Contents 1. Tangent Spaces, Vector Fields in R n and the Inverse Mapping Theorem 2 1.1. Tangent Space to a Level Surface 2 1.2. Tangent Space and Vectors
More information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationLIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES
LIE ALGEBROIDS AND POISSON GEOMETRY, OLIVETTI SEMINAR NOTES BENJAMIN HOFFMAN 1. Outline Lie algebroids are the infinitesimal counterpart of Lie groupoids, which generalize how we can talk about symmetries
More informationNotes on the Riemannian Geometry of Lie Groups
Rose- Hulman Undergraduate Mathematics Journal Notes on the Riemannian Geometry of Lie Groups Michael L. Geis a Volume, Sponsored by Rose-Hulman Institute of Technology Department of Mathematics Terre
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 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 informationOr, more succinctly, lim
Lecture 7. Functions and Stuff PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 7. Functions and differentiable and analytic manifolds. The implicit function theorem, cotangent spaces
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 informationMath 423 Course Notes
Math 423 Course Notes David Rose October 18, 2003 Contents 1 Smooth Manifolds 3 1.1 Definitions and Examples.................... 3 1.2 Morphisms of Manifolds..................... 5 1.3 Partitions of Unity........................
More informationMath 40510, Algebraic Geometry
Math 40510, Algebraic Geometry Problem Set 1, due February 10, 2016 1. Let k = Z p, the field with p elements, where p is a prime. Find a polynomial f k[x, y] that vanishes at every point of k 2. [Hint:
More informationclass # MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS
class # 34477 MATH 7711, AUTUMN 2017 M-W-F 3:00 p.m., BE 128 A DAY-BY-DAY LIST OF TOPICS [DG] stands for Differential Geometry at https://people.math.osu.edu/derdzinski.1/courses/851-852-notes.pdf [DFT]
More informationVector fields and one forms. v : M TM
Vector fields and one forms Definition 1. A C k vector field on M is a C k map so that for all p M, v(p) T p M. v : M TM You should think of this as a C k choice of vector in T p M for all p M. We can
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 information= Spec(Rf ) R p. 2 R m f gives a section a of the stalk bundle over X f as follows. For any [p] 2 X f (f /2 p), let a([p]) = ([p], a) wherea =
LECTURES ON ALGEBRAIC GEOMETRY MATH 202A 41 5. Affine schemes The definition of an a ne scheme is very abstract. We will bring it down to Earth. However, we will concentrate on the definitions. Properties
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 informationVortex Equations on Riemannian Surfaces
Vortex Equations on Riemannian Surfaces Amanda Hood, Khoa Nguyen, Joseph Shao Advisor: Chris Woodward Vortex Equations on Riemannian Surfaces p.1/36 Introduction Yang Mills equations: originated from electromagnetism
More informationBACKGROUND IN SYMPLECTIC GEOMETRY
BACKGROUND IN SYMPLECTIC GEOMETRY NILAY KUMAR Today I want to introduce some of the symplectic structure underlying classical mechanics. The key idea is actually quite old and in its various formulations
More information8 Further theory of function limits and continuity
8 Further theory of function limits and continuity 8.1 Algebra of limits and sandwich theorem for real-valued function limits The following results give versions of the algebra of limits and sandwich theorem
More informationJacobi fields. Introduction to Riemannian Geometry Prof. Dr. Anna Wienhard und Dr. Gye-Seon Lee
Jacobi fields Introduction to Riemannian Geometry Prof. Dr. Anna Wienhard und Dr. Gye-Seon Lee Sebastian Michler, Ruprecht-Karls-Universität Heidelberg, SoSe 2015 July 15, 2015 Contents 1 The Jacobi equation
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
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 informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationSolutions to Problem Set 5 for , Fall 2007
Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationMonotone Point-to-Set Vector Fields
Monotone Point-to-Set Vector Fields J.X. da Cruz Neto, O.P.Ferreira and L.R. Lucambio Pérez Dedicated to Prof.Dr. Constantin UDRIŞTE on the occasion of his sixtieth birthday Abstract We introduce the concept
More informationSome aspects of the Geodesic flow
Some aspects of the Geodesic flow Pablo C. Abstract This is a presentation for Yael s course on Symplectic Geometry. We discuss here the context in which the geodesic flow can be understood using techniques
More informationHOMEWORK 2 - RIEMANNIAN GEOMETRY. 1. Problems In what follows (M, g) will always denote a Riemannian manifold with a Levi-Civita connection.
HOMEWORK 2 - RIEMANNIAN GEOMETRY ANDRÉ NEVES 1. Problems In what follows (M, g will always denote a Riemannian manifold with a Levi-Civita connection. 1 Let X, Y, Z be vector fields on M so that X(p Z(p
More informationRemark Grassmann algebra Λ V is clearly supercommutative.
Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have a perfect score, a student
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
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 informationF (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous
7: /4/ TOPIC Distribution functions their inverses This section develops properties of probability distribution functions their inverses Two main topics are the so-called probability integral transformation
More informationCHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.
CHAPTER 3 Gauss map In this chapter we will study the Gauss map of surfaces in R 3. 3.1. Surfaces in R 3 Let S R 3 be a submanifold of dimension 2. Let {U i, ϕ i } be a DS on S. For any p U i we have a
More informationTangent bundles, vector fields
Location Department of Mathematical Sciences,, G5-109. Main Reference: [Lee]: J.M. Lee, Introduction to Smooth Manifolds, Graduate Texts in Mathematics 218, Springer-Verlag, 2002. Homepage for the book,
More informationAn Introduction to Riemannian Geometry
An Introduction to Riemannian Geometry with Applications to Mechanics and Relativity Leonor Godinho and José Natário Lisbon, 2004 Contents Chapter 1. Differentiable Manifolds 3 1. Topological Manifolds
More informationModelling and Control of Mechanical Systems: A Geometric Approach
Motivation Mathematical preliminaries Submanifolds Optional Modelling and Control of Mechanical Systems: A Geometric Approach Ravi N Banavar banavar@iitb.ac.in 1 1 Systems and Control Engineering, IIT
More information274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan
274 Microlocal Geometry, Lecture 2 David Nadler Notes by Qiaochu Yuan Fall 2013 2 Whitney stratifications Yesterday we defined an n-step stratified space. Various exercises could have been but weren t
More informationMath 147, Homework 1 Solutions Due: April 10, 2012
1. For what values of a is the set: Math 147, Homework 1 Solutions Due: April 10, 2012 M a = { (x, y, z) : x 2 + y 2 z 2 = a } a smooth manifold? Give explicit parametrizations for open sets covering M
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More information13. Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products.
13 Symmetric and Alternating Products We want to introduce some variations on the theme of tensor products The idea is that one can require a bilinear form to be either symmetric or alternating Definition
More informationDistributions, Frobenious Theorem & Transformations
Distributions Frobenious Theorem & Transformations Harry G. Kwatny Department of Mechanical Engineering & Mechanics Drexel University Outline Distributions & integral surfaces Involutivity Frobenious Theorem
More informationSurfaces JWR. February 13, 2014
Surfaces JWR February 13, 214 These notes summarize the key points in the second chapter of Differential Geometry of Curves and Surfaces by Manfredo P. do Carmo. I wrote them to assure that the terminology
More informationTopics in Representation Theory: Roots and Complex Structures
Topics in Representation Theory: Roots and Complex Structures 1 More About Roots To recap our story so far: we began by identifying an important abelian subgroup of G, the maximal torus T. By restriction
More informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
More informationz x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables.
Chapter 2 First order PDE 2.1 How and Why First order PDE appear? 2.1.1 Physical origins Conservation laws form one of the two fundamental parts of any mathematical model of Continuum Mechanics. These
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationALEXEY V. GAVRILOV. I p (v) : T p M T Expp vm the operator of parallel transport along the geodesic γ v. Let E p be the map
THE TAYLOR SERIES RELATE TO THE IFFERENTIAL OF THE EXPONENTIAL MAP arxiv:205.2868v [math.g] 3 May 202 ALEXEY V. GAVRILOV Abstract. In this paper we study the Taylor series of an operator-valued function
More information