Corrections and additions for 2nd Edition of Riemannian Geometry
|
|
- Russell Tyler
- 6 years ago
- Views:
Transcription
1 Corrections and additions for nd Edition of Riemannian Geometry I d like to thank Victor Alvarez, Igor Belegradek, Gil Cavalcanti, Or Hershkovits, Mayer Amitai Landau, Pablo Lessa, Ciprian Manolescu, Jiayin Pan, Jake Solomon, Fred Wilhelm for finding several mistakes in my book : Replace section 3.4. with the following more general exposition. I have now also added an elementary article about warped products on the webpage. It covers the issues addresses here in an even more elegant fashion. In the rotationally symmetric examples we haven t discussed what happens when '(t) =. In the revolution case, the curve clearly needs to have a vertical tangent in order to look smooth. To be specific, assume that we have dt + ' (t)d, ' :[,b)! [, 1), where '() = and '(t) > for t>. Allother situations can be translated or reflected into this position. More generally we wish to consider metrics on I S n 1 of the type dt + ' (t)ds n 1, where ds n 1 is the canonical metric on S n 1 (1) R n. These are the rotationally symmetric metrics. If we assume that ' () = and ' (t) > for t> we want to check that the metric extends smoothly near t =to give asmoothmetriconr n. The natural coordinate change to make is x = tz where x R n and t> and z S n 1 (1) R n. Thus ds n 1 = nx i=1 dz i, Keeping in mind that the constraint X z i =1 implies the relationship X z i dz i = between the restriction of the differentials to S n 1 (1). The standard metric on R n can now be written as X dx i = X z i dt + tdz i = X z i dt + t dz i +(tdt) z i dz i + z i dz i (tdt) = dt + t ds n 1 when switching to polar coordinates. In the general situation we have to do this calculation in reverse and check that the expression becomes smooth at the origin corresponding to x i =. So 1
2 we have to calculate dt and dz i in terms of x i. In fact we only need to observe that tdt = X x i dx i, dt = 1 X x i dx i t and then from our knowledge of the Euclidean metric that This gives us ds n 1 = P dx i dt t dt + ' (t)ds n 1 = dt + ' (t) = 1 = 1 t ' (t) t ' (t) t 4 Thus we have to ensure that the functions ' (t) 1 t and t P dx i dt t dt + ' (t) X dx i t X x i dx i ' (t) X + dx i t ' (t) t 4 q P are smooth, keeping in mind that t = (xi ) is not differentiable at the origin. Assuming that ' () = is necessary for the first function to be continuous at t =, while we have to additionally assume that ' () = 1 for the second function to be continuous. Next we note that if ' (t) =t + a k t k+1 then the two functions reduce to and 1 t ' (t) t = 1+! a k t k ' (t) t 4 = 1 1! 1 t t + X a k t k 1 = t = a k t k 1 + a k t k +! a k t k 1! a k t k 1
3 Showing that they are smooth. These conditions are all satisfied by the metrics dt +sn k (t)ds n 1, where t [, 1) when k apple and t [, pk ] for k>. It is possible to show that in general the two functions are smooth iff ' (even) () = and '() = 1, but will only need to use the real analytic case we established : extend should be extent 3 9 :(L X ij ) should be (L X ij ) dx i dx j 5 5 : [X, Y ] should be [Y,Z] :(Y,Z) should be (X, Y ) 31 4 : ij,k should be ij,l 33 4 k l : ij should be ij : r Y r X should be r Y r X Z : Z should be V. 4 : Replace the calculation of div (Ric) by div (Ric) = (n 1) div (f I) 4 15 : Replace calculation by = (n 1) df +(n 1) fdiv (I) = (n 1) df dscal (W ) p = D W scal = X (r W R)(E i,e j,e j,e i ) = X r Ej R (E i,w,e j,e i ) X (rei R)(E j,w,e j,e i ) = X r Ej R (E i,w,e j,e i ) = X r Ej R (E j,e i,e i,w) = X r Ej (R (E j,e i,e i,w)) = X r Ej g (Ric (E j ),W) = X g r Ej Ric (W ),E j = div (Ric) (W )(p) : In view of how the exterior derivative is defined in the appendix it is worth mentioning that Theorem 4 can be stated more succinctly as follows: 9 1 : Should be R (X, Y r = d r S (X, Y ). h k (v 1,v,v 3,v 4 ) = h (v 1,v 4 ) k (v,v 3 )+h (v,v 3 ) k (v 1,v 4 ) h (v 1,v 3 ) k (v,v 4 )+h (v,v 4 ) k (v 1,v 3 ) 3
4 9 16 : Should be R = scal n (n 1) g g + 1 n Ric scal n g g + W :Replace v() = v with v(a) =v : Replace by v and () with v () : Lemma 1 can also be proven by showing that dr apple1 (with equality only on vectors proportional to rr) and then noting `( ) = ˆ b ˆ b ˆ b dt dr ( ) dt d (r ) dt = r(q) r(p) : Instead of the sentence: "A careful...proved" Insert: Note that in coordinates this can be written as g x i,v j = ij x i v j Since dr (v) = ij x i v j we note that this can only be true if rr r = x i, which is our version of the Gauss lemma : The proof of Theorem 15 should be simplified as follows: Proof. We use polar coordinates around p M and the asymptotic behavior of g r and Hessr near p that was just established. We shall also use the fundamental equations g = Hessr Hessr)(X, Y ) Hess r (X, Y ) = R r,@ r,y). that were introduced in chapter. Our assumption that the curvature is constant implies that the second equation becomes Hessr Hess r = kg r. We wish to show that g = dr + g r = dr +sn k (r) ds n 1, Hessr = sn k (r) sn k (r) g r. 4
5 This is almost automatic as the right hand sides both have the same initial conditions as g and Hessr as we approach p and also simultaneously solve the two equations g = Hessr, Hessr Hess r = kg r :...integralcurvesforr... should be...integral curves r : The last = in the display is incorrect. Use the law of cosines to find cos \ (v, w). 149: Exercise 1: Assume that (M,g) has the property that all unit speed geodesics : Exercise 4: Incorrect as stated. Should read: Let r : U! R be a distance function on an open set U (M,g) and r = rr. OnU change the metric g to a new metric ĝ such that g (@ r,v)=ĝ (@ r,v) for all v TU. Show that r is still a distance function with respect to the new metric. 149: Exercise 5: Also incorrectly stated. It is T that vanishes at p, the vector X can be anything : There is a sign mistake in the last line of the displayed inequality: (d(p, (t)) (d(p, ()) +g (rf,p, ()) t + t : The display should read (d(p, ()) +(d( (), (t)) + (d(p, ()) (d( (), (t)) cos \ (rf,p, ()) inj (M) p or inj (M) = 1 (length of shortest closed geodesic) K 187 : Much in Chapter 7 has been completely revised. Look at the link to Bochner-Lichnerowicz-Weitzenböck Formulas. 4: Index mistakes in Lemma 7. The claim is that k 1 =( 1) (k+1)(n k)+1 d n k And the proof is 5
6 If! 1 k (M),! k 1 (M), then ( k 1! 1,! ) = (! 1,d k 1! ) = ( 1) k(n k) (! 1,d k 1! ) ˆ = ( 1) k(n k)! 1 ^ d k 1! M ˆ = ( 1) n k+k(n k) d n 1 (! 1 ^! ) Mˆ ( 1) n k+k(n k) (d n k! 1 ) ^! M ˆ = ( 1) n k+k(n k) (d n k! 1 ) ^! = ( 1) (n k)(k+1)+1 ( d n k! 1,! ). 41 :Moreprecisely:Fix ( ) Iso p Fix ( ) 56 7 : The display should be R (v, w) =lim t! I P t t 6 :replace closed by exact : Change the proof of Theorem 63 to be Proof. First observe that for k> there is nothing to prove, as we know that b 1 =from Myers theorem. Suppose we have chosen a covering M of M with torsion-free Abelian Galois group of deck transformations =h 1,..., b 1 i such that for some x M we have M d (x, i (x)) apple diam (M), d (x, (x)) > diam (M), 6= 1. Then we clearly have that all of the balls B (x), diam(m) are disjoint. Now set I r = { : = l l b1 b 1, l 1,..., l b1 appler}. Note that for B I r we have diam (M) (x), B x, r diam (M)+ diam (M). All of these balls are disjoint and have the same volume, as acts isometrically. We can therefore use the relative volume comparison theorem to conclude that the cardinality of I r is bounded from above by volb x, r diam (M)+ diam(m) v n, k, r diam (M)+ diam(m) apple. volb x, diam(m) v n, k, diam(m) 6
7 This shows that b 1 apple I 1 v n, k, diam (M)+ diam(m) apple, v n, k, diam(m) which gives us a general bound for b 1. To get a more refined bound we have to use I r for larger r. If r is an integer, then I r =(r + 1) b1. The upper bound for I r can be reduced to v n, k, b 1 r diam (M)+ diam(m) apple v n, k, b 1 r + 1 D v n, k, diam(m) v n, k, D (b 1 r + 1 )D sinh( p n 1 kt) p k dt = 1 D sinh( p n 1 kt) p k dt where in the last step we assume that D p taking logarithms this is equivalent to or (b 1 r + 1 )D p k sinh n 1 (t) dt = 1 Dp k sinh n 1 (t) dt = n b 1 r + 1 n + apple(b 1 5 r) n, b 1 log (r + 1) apple n log (b 1 5 r), or b 1 n apple log (b 1 5 r) log (r + 1) apple log (5b 1) + log r log + log r = log(5b 1) log r +1 log log r +1 apple log (5b 1) log r k is very small relative to r. By If b 1 n +1, this is not possible when r =(6b 1 ) n. Thus select r =(6b 1 ) n and the assume D p k is small enough that (b 1 r + 1 )D p k sinh n 1 (t) dt 1 apple (b 1 5 r) n Dp k sinh n 1 (t) dt 7 +1
8 in order to force b 1 apple n : In the definition of pointed G-H convergence it is necessary to have more flexibility on the radius. Thus we need to have a sequence R i! R such that: B (x i,r i ),x i,d i! B (x, R),x,d 99 8 : The proposition needs an added assumption and should be stated as: For a class C (M,d G H ) of metric spaces all of whose diameters are bounded by D<1, the following statements are equivalent: :Shouldbe Cap X (") Cap Y (" +4 ) : In the definition of pointed C m, convergence we also need to have that F i (p) =p i. 38: In the definition of C m, norms on Riemannian manifolds condition n4 should be deleted as it complicates several formulas and is not strictly necessary. As stated, it also invalidates Proposition 45. It could be replaced by a different type of estimate. However, n and n3 actually imply that ' 1 s ' t C m+1, apple C (n, r, Q) The only place where n4 becomes important is in the proof of Theorem 7. There it is used to conclude that the limit space has smooth transition functions and thus is a smooth manifold (bottom of page 313 and top of 314.) That fact is in fact automatic as a classic Theorem of Calabi and Hartman shows that an isometry between Hölder continuous Riemannian metrics is C 1. The transition functions are as it stands bi-lipschitz with respect to the Euclidean metrics, but also Riemannian isometries if we use the metric coefficients in the respective coordinates. These exist using the arguments in the second paragraph on page : In the definition of of convergence of functions and tensors on a fixed manifold, it is best to assume that the coordinates used are bi-lipschitz :...anysegmentfromx 1 to x... should be...any segment from ' (x 1 ) to ' (x ) :Shouldbe Aslongas"< :Shouldbe Ric appler i Replace with:...to see this consider B (x, R/1) B (p, R/5) B (x.r/) B (p, R) Since B (p, R) is assumed to be incompressible it follows that B (x, R/) does not deformation retract onto B (x, R/1). Otherwise, rank (H (B (x, R/1)! B (x.r/))) = rank (H (B (p, R/5)! B (x.r/))) rank (H (B (p, R/5)! B (p.r))) 8
9 This would imply that contb (p, R) apple contb (x, R/) and thus contradict incompressibility of B (p, R). We can now : Change X n to X p on right hand side. The appendix on de Rham cohomology has been reworked. You can find a corrected version by going to my essay on manifold theory. The only mistakes where some confusion on the degrees of cohomology groups when proving Poincaré duality. Nevertheless I felt that many things should be reworked and hopefully clarified. 9
WARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationWarped Products. by Peter Petersen. We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion
Warped Products by Peter Petersen De nitions We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion a function the di erential v = dx i (v) df = f dxi We
More informationLECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS
LECTURE 24: THE BISHOP-GROMOV VOLUME COMPARISON THEOREM AND ITS APPLICATIONS 1. The Bishop-Gromov Volume Comparison Theorem Recall that the Riemannian volume density is defined, in an open chart, to be
More informationVOLUME GROWTH AND HOLONOMY IN NONNEGATIVE CURVATURE
VOLUME GROWTH AND HOLONOMY IN NONNEGATIVE CURVATURE KRISTOPHER TAPP Abstract. The volume growth of an open manifold of nonnegative sectional curvature is proven to be bounded above by the difference between
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationIntroduction to Algebraic and Geometric Topology Week 3
Introduction to Algebraic and Geometric Topology Week 3 Domingo Toledo University of Utah Fall 2017 Lipschitz Maps I Recall f :(X, d)! (X 0, d 0 ) is Lipschitz iff 9C > 0 such that d 0 (f (x), f (y)) apple
More information1.4 The Jacobian of a map
1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p
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 information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
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 informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
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 informationLecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces
Lecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces Ben Andrews Mathematical Sciences Institute, Australian National University Winter School of Geometric
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationHow curvature shapes space
How curvature shapes space Richard Schoen University of California, Irvine - Hopf Lecture, ETH, Zürich - October 30, 2017 The lecture will have three parts: Part 1: Heinz Hopf and Riemannian geometry Part
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 informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationThe Hodge Star Operator
The Hodge Star Operator Rich Schwartz April 22, 2015 1 Basic Definitions We ll start out by defining the Hodge star operator as a map from k (R n ) to n k (R n ). Here k (R n ) denotes the vector space
More informationNote: all spaces are assumed to be path connected and locally path connected.
Homework 2 Note: all spaces are assumed to be path connected and locally path connected. 1: Let X be the figure 8 space. Precisely define a space X and a map p : X X which is the universal cover. Check
More informationMath 341: Convex Geometry. Xi Chen
Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry
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 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 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 informationTHE GEOMETRY OF OPEN MANIFOLDS OF NONNEGATIVE CURVATURE. Ph.D. Thesis, University of Pennsylvania, Kristopher R. Tapp
THE GEOMETRY OF OPEN MANIFOLDS OF NONNEGATIVE CURVATURE Ph.D. Thesis, University of Pennsylvania, 1999 Kristopher R. Tapp Acknowledgments I wish to thank Wolfgang Ziller for showing me the beauty of Differential
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
More informationHomework for Math , Spring 2012
Homework for Math 6170 1, Spring 2012 Andres Treibergs, Instructor April 24, 2012 Our main text this semester is Isaac Chavel, Riemannian Geometry: A Modern Introduction, 2nd. ed., Cambridge, 2006. Please
More informationLecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.
Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationInfinitesimal Einstein Deformations. Kähler Manifolds
on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds
More informationExercise 1 (Formula for connection 1-forms) Using the first structure equation, show that
1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral
More informationLECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationRicci curvature and the fundamental group
University of Toronto University of Toronto Structure of the talk 1 Toponogov Short basis. Bishop-Gromov volume Equivariant Yamaguchi s fibration theorem Semiconcave functions Topological results for sectional
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationTransport Continuity Property
On Riemannian manifolds satisfying the Transport Continuity Property Université de Nice - Sophia Antipolis (Joint work with A. Figalli and C. Villani) I. Statement of the problem Optimal transport on Riemannian
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 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 informationModern Geometric Structures and Fields
Modern Geometric Structures and Fields S. P. Novikov I.A.TaJmanov Translated by Dmitry Chibisov Graduate Studies in Mathematics Volume 71 American Mathematical Society Providence, Rhode Island Preface
More informationMath 225B: Differential Geometry, Final
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
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More information612 CLASS LECTURE: HYPERBOLIC GEOMETRY
612 CLASS LECTURE: HYPERBOLIC GEOMETRY JOSHUA P. BOWMAN 1. Conformal metrics As a vector space, C has a canonical norm, the same as the standard R 2 norm. Denote this dz one should think of dz as the identity
More informationFoliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary
Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary David Chopp and John A. Velling December 1, 2003 Abstract Let γ be a Jordan curve in S 2, considered as the ideal
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationNotes on Cartan s Method of Moving Frames
Math 553 σιι June 4, 996 Notes on Cartan s Method of Moving Frames Andrejs Treibergs The method of moving frames is a very efficient way to carry out computations on surfaces Chern s Notes give an elementary
More informationSYNGE-WEINSTEIN THEOREMS IN RIEMANNIAN GEOMETRY
SYNGE-WEINSTEIN THEOREMS IN RIEMANNIAN GEOMETRY AKHIL MATHEW Abstract. We give an exposition of the proof of a few results in global Riemannian geometry due to Synge and Weinstein using variations of the
More informationMath 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015
Math 30-: Midterm Practice Solutions Northwestern University, Winter 015 1. Give an example of each of the following. No justification is needed. (a) A metric on R with respect to which R is bounded. (b)
More informationDifferential Geometry Exercises
Differential Geometry Exercises Isaac Chavel Spring 2006 Jordan curve theorem We think of a regular C 2 simply closed path in the plane as a C 2 imbedding of the circle ω : S 1 R 2. Theorem. Given the
More informationLECTURE 21: THE HESSIAN, LAPLACE AND TOPOROGOV COMPARISON THEOREMS. 1. The Hessian Comparison Theorem. We recall from last lecture that
LECTURE 21: THE HESSIAN, LAPLACE AND TOPOROGOV COMPARISON THEOREMS We recall from last lecture that 1. The Hessian Comparison Theorem K t) = min{kπ γt) ) γt) Π γt) }, K + t) = max{k Π γt) ) γt) Π γt) }.
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationThe harmonic map flow
Chapter 2 The harmonic map flow 2.1 Definition of the flow The harmonic map flow was introduced by Eells-Sampson in 1964; their work could be considered the start of the field of geometric flows. The flow
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationTHE FUNDAMENTAL GROUP OF NON-NEGATIVELY CURVED MANIFOLDS David Wraith The aim of this article is to oer a brief survey of an interesting, yet accessib
THE FUNDAMENTAL GROUP OF NON-NEGATIVELY CURVED MANIFOLDS David Wraith The aim of this article is to oer a brief survey of an interesting, yet accessible line of research in Dierential Geometry. A fundamental
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationHadamard s Theorem. Rich Schwartz. September 10, The purpose of these notes is to prove the following theorem.
Hadamard s Theorem Rich Schwartz September 10, 013 1 The Result and Proof Outline The purpose of these notes is to prove the following theorem. Theorem 1.1 (Hadamard) Let M 1 and M be simply connected,
More informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 3 August, 2012 Einstein equations (vacuum) The spacetime is a four dimensional manifold M with
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationComparison Geometry for Ricci Curvature
Comparison Geometry for Ricci Curvature Xianzhe Dai Guofang Wei 1 1 Partially supported by NSF grant DMS-08 2 A Ricci curvature bound is weaker than a sectional curvature bound but stronger than a scalar
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 informationDIFFERENTIAL GEOMETRY HW 9
DIFFERENTIAL GEOMETRY HW 9 CLAY SHONKWILER 2. Prove the following inequality on real functions (Wirtinger s inequality). Let f : [, π] R be a real function of class C 2 such that f() f(π). Then f 2 dt
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
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 informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
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 information2 JOSE BURILLO It was proved by Thurston [2, Ch.8], using geometric methods, and by Gersten [3], using combinatorial methods, that the integral 3-dime
DIMACS Series in Discrete Mathematics and Theoretical Computer Science Volume 00, 1997 Lower Bounds of Isoperimetric Functions for Nilpotent Groups Jose Burillo Abstract. In this paper we prove that Heisenberg
More informationHeat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan
Heat Kernel and Analysis on Manifolds Excerpt with Exercises Alexander Grigor yan Department of Mathematics, University of Bielefeld, 33501 Bielefeld, Germany 2000 Mathematics Subject Classification. Primary
More informationLecture 11. Geodesics and completeness
Lecture 11. Geodesics and completeness In this lecture we will investigate further the metric properties of geodesics of the Levi-Civita connection, and use this to characterise completeness of a Riemannian
More informationCORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS
CORRIGENDUM: THE SYMPLECTIC SUM FORMULA FOR GROMOV-WITTEN INVARIANTS ELENY-NICOLETA IONEL AND THOMAS H. PARKER Abstract. We correct an error and an oversight in [IP]. The sign of the curvature in (8.7)
More informationLecture 1. Introduction
Lecture 1. Introduction In Differential Geometry we study spaces which are smooth enough to do calculus. These include such familiar objects as curves and surfaces in space. In its earliest manifestation,
More informationarxiv: v1 [math.dg] 25 Jan 2016
April 15, 2018 Embeddedness of spheres in homogeneous three-manifolds William H. Meeks III, Pablo Mira, and Joaquín Pérez arxiv:1601.06619v1 [math.dg] 25 Jan 2016 ABSTRACT. Let X denote a metric Lie group
More informationVectors. January 13, 2013
Vectors January 13, 2013 The simplest tensors are scalars, which are the measurable quantities of a theory, left invariant by symmetry transformations. By far the most common non-scalars are the vectors,
More informationthe neumann-cheeger constant of the jungle gym
the neumann-cheeger constant of the jungle gym Itai Benjamini Isaac Chavel Edgar A. Feldman Our jungle gyms are dimensional differentiable manifolds M, with preferred Riemannian metrics, associated to
More informationCorrections of typos and small errors to the book A Course in Metric Geometry by D. Burago, Yu. Burago, and S. Ivanov
Corrections of typos and small errors to the book A Course in Metric Geometry by D. Burago, Yu. Burago, and S. Ivanov December 6, 2013 We are grateful to many mathematicians, especially M. Bonk and J.
More informationDIAMETER, VOLUME, AND TOPOLOGY FOR POSITIVE RICCI CURVATURE
J. DIFFERENTIAL GEOMETRY 33(1991) 743-747 DIAMETER, VOLUME, AND TOPOLOGY FOR POSITIVE RICCI CURVATURE J.-H. ESCHENBURG Dedicated to Wilhelm Klingenberg on the occasion of his 65th birthday 1. Introduction
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationAn Introduction to Riemann-Finsler Geometry
D. Bao S.-S. Chern Z. Shen An Introduction to Riemann-Finsler Geometry With 20 Illustrations Springer Contents Preface Acknowledgments vn xiii PART ONE Finsler Manifolds and Their Curvature CHAPTER 1 Finsler
More informationAn upper bound for curvature integral
An upper bound for curvature integral Anton Petrunin Abstract Here I show that the integral of scalar curvature of a closed Riemannian manifold can be bounded from above in terms of its dimension, diameter,
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
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 informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationTHE DOUBLE COVER RELATIVE TO A CONVEX DOMAIN AND THE RELATIVE ISOPERIMETRIC INEQUALITY
J. Aust. Math. Soc. 80 (2006), 375 382 THE DOUBLE COVER RELATIVE TO A CONVEX DOMAIN AND THE RELATIVE ISOPERIMETRIC INEQUALITY JAIGYOUNG CHOE (Received 18 March 2004; revised 16 February 2005) Communicated
More informationICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber
Outline of Talk Background and Limit Spaces Structure of Spaces with Lower Ricci Regularity of Spaces with Bounded Ricci Characterizing Ricci Background: s (M n, g, x) n-dimensional pointed Riemannian
More informationDIFFERENTIAL GEOMETRY HW 12
DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),
More informationSection 6. Laplacian, volume and Hessian comparison theorems
Section 6. Laplacian, volume and Hessian comparison theorems Weimin Sheng December 27, 2009 Two fundamental results in Riemannian geometry are the Laplacian and Hessian comparison theorems for the distance
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationINTRODUCTION TO GEOMETRY
INTRODUCTION TO GEOMETRY ERIKA DUNN-WEISS Abstract. This paper is an introduction to Riemannian and semi-riemannian manifolds of constant sectional curvature. We will introduce the concepts of moving frames,
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More information1 Euclidean geometry. 1.1 The metric on R n
1 Euclidean geometry This chapter discusses the geometry of n-dimensional Euclidean space E n, together with its distance function. The distance gives rise to other notions such as angles and congruent
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationPREISSMAN S THEOREM ALEXANDER GRANT
PREISSMAN S THEOREM ALEXANDER GRANT Abstract. This paper presents a proof of Preissman s Theorem, a theorem from the study of Riemannian Geometry that imposes restrictions on the fundamental group of compact,
More informationarxiv: v2 [math.dg] 25 Oct 2014
GAP PHENOMENA AND CURVATURE ESTIMATES FOR CONFORMALLY COMPACT EINSTEIN MANIFOLDS GANG LI, JIE QING AND YUGUANG SHI arxiv:1410.6402v2 [math.dg] 25 Oct 2014 Abstract. In this paper we first use the result
More informationCOMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM
COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,
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 informationVolume comparison theorems without Jacobi fields
Volume comparison theorems without Jacobi fields Dominique Bakry Laboratoire de Statistique et Probabilités Université Paul Sabatier 118 route de Narbonne 31062 Toulouse, FRANCE Zhongmin Qian Mathematical
More information