# CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =

Size: px
Start display at page:

Download "CALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M ="

Transcription

1 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. Prove this and construct an atlas of charts on T M. Recall that each bilinear form B : R n R n R can be made into a quadratic form Q: R n R by restricting on the diagonal, Q(v) = B(v, v). Conversely, any quadratic form Q can be polarized to a symmetric bilinear form B(u, v) = 1 2 (Q(u+v) Q(u) Q(v)). It is positive definite, if Q(v) 0 and Q(v) = 0 v = Riemannian manifolds: definitions. Definition 1. A Riemannian metric on a manifold M is a smooth function g : T M R + which, when restricted on any tangent space T a M, is a positive definite quadratic form. A Riemannian manifold is a manifold equipped with a specific Riemannian metric. Example 2. The Euclidean space R n equipped with the same standard quadratic form g(v) = v, v = n i=1 v2 i for any v = (v 1,..., v n ) T a R n R n. The vast source of examples is provided by the induced structures: if M is a Riemannian manifold and N M is a submanifold. Then T N T M, and the restriction of g on T N is a Riemannian metric making N into a Riemannian manifold. Thus any smooth submanifold of R n, say, the unit sphere S n 1 inherits the structure of a Riemannian manifold. The same manifold can be equipped with different Riemannian metrics. For instance, the torus obtained by rotation of a circle around an axis in R 3 is embedded in R 3 in the natural way and so inherits the Riemannian structure. On the other hand, if we consider the quotient T 2 a,b = R2 /az + bz for a pair of linear independent vectors a, b R 2, then it is naturally equipped by the Riemann metric in R 2, since all translations preserve the scalar product. These are called flat tori. Definition 2. Two Riemannian manifolds (M, g) and (N, h) are isometric, if there exists a diffeomorphism F between them, which transforms one Riemannian metric into another. 1

2 2 CALCULUS ON MANIFOLDS If F : (M, g) (N, h) is a differentiable injective 1 map such F h = g, then we say that M is isometrically embedded in N What can be done with a Riemannian metric? First, it allows to identify X (M) with Ω 1 (M): a vector field X and a 1-form ξ are dual, if for any other vector field Y X (M) one has g(x, Y ) = ξ(y ). Example 3. The vector field grad f is dual to the 1-form df. A huge generalization of this example is the Hodge star operator making Ω k (M) and Ω n k (M) into dual spaces. Will be discussed later. Second, we can measure lengths of the smooth curves and angles between them: by definition, the length of a smooth curve γ : [0, 1] M is the integral 1 L(γ) = g( γ(t), γ(t)) dt > 0. 0 Note that the length is not given by the integral of a 1-form, so L(γ) = L( γ), but is independent of the parametrization of the curve. A similar expression is given by the action 2, the integral 1 A(γ) = g( γ(t), γ(t)) dt = ξ γ, ξ γ = i γ g = g( γ, ) Ω 1 (M), 0 γ where ξ γ is the 1-form dual to the velocity vector vector field γ defined along γ. The advantage of action is differentiability of the integrand, disadvantage is the explicit dependence on parametrization. Having lengths, one can meaningfully talk about shortest curves connecting two given endpoints. Such curves are called geodesic curves. An smooth infinite curve is called geodesic, if it can be split into shortest curves (spell out the formal definition!). Example 4. In the Euclidean space the shortest curves are line segments, and infinite geodesics are straight lines. One can use simple geometric arguments to show that on the standard round sphere S 2 R 3 the shortest curves are arcs of the large circles (sections of the sphere by planes through the origin): it is enough to verify that such curves must be planar. The arc of length > π is not shortest anymore (its complement is), and large circles (without the endpoints) are geodesics. There are no non-closed geodesics on the sphere! There are no topological obstructions for a manifold to be Riemannian. Theorem 1. Any smooth manifold can be equipped with a Riemannian metric. 1 Why there cannot be isometric maps which decrease the dimension? 2 Sometimes this integral is referred to as the energy and preceded by the coefficient 1 2.

3 CALCULUS ON MANIFOLDS 3 Proof. Let {U i } be a locally finite covering of M by charts x i : U i R n and 1 = i ψ i the subordinate partition of unity, C (M) ψ 0, supp ψ i U i. In each chart we have metric g i pulled back from R n. The sum ψ i g i yields a Riemannian metric which is nondegenerate. Note that this argument would fail if instead of the positive definite quadratic form we were looking for a metric with a different signature! 1.3. Parallel transport and covariant derivation. There is a rather large group of isometries of the Euclidean space (R n, g), g(x, v) = v, v, containing the subgroup (isomorphic to R n ) of parallel translations. The existence of the parallel transport allows one to calculate the derivative of a vector field Y along any smooth curve as follows: if the curve is given by the parametrization γ : [0, 1] R n, t x(t) = (x 1 (t),..., x n (t)) and the vector field is given by its coordinate functions (Y 1 (x),..., Y n (t)), then we can take a composition Y (γ(t)): [0, 1] R n and compute the velocity d dγ Y = d dty (γ(t)). By the chain rule, it can be expressed through the differential operator X Y = (L X Y 1,..., L X Y n ), X, Y, X Y X (R n ), (1) as the derivation along the velocity vector γ, d dγ Y = γy. Looking at the operator, we immediately see that it satisfies a number of properties: (1) is R-linear in both arguments X, Y, (2) X respects the Leibniz rule: X (fy ) = ( X f)y +f( X Y ). There is only one way to interpret X f for f C (M) as L X f. (3) fx Y = f X Y, that is, the operator acts on vector fields in the same way as L X acts on functions (such behavior is called tensorial). (4) Moreover, if Y, Z X (R n ) are two vector fields, then the Leibniz rule holds for the scalar product, : X Y, Z = L X Y, Z = X Y, Z + Y, X Z. (2) By definition, X acts on vector fields in the same way as X = L X acts on scalar functions. In particular, X Y Y X = [X, Y ]. (3) Definition 3. A differential operator : X (M) X (M) X (M) satisfying the properties (1) (3) above, is called the covariant derivation. The image X Y is the covariant derivative of the vector field Y along the vector field X. If γ is a (piecewise)-smooth curve, than the vector field Y defined only on the image of γ, is called constant along γ, if γ Y = 0. For any such field the value Y (γ(1)) is called the parallel transport of Y (γ(0)) along γ.

4 4 CALCULUS ON MANIFOLDS We say that defines a connexion on the manifold M. It is called symmetric, if (3) holds. If M is a Riemannian manifold and (2) holds, we say about the Riemannian connexion. The property (2) means that the parallel transport in R n is an isometry between T γ(0) R n and T γ(1) R n Induced covariant derivation. We will show how the derivation X Y can be restricted to vector fields tangent to a hypersurface M R n, producing a vector field which is also tangent to M. If M n 1 R n is a smooth hypersurface, then the parallel transport in R n does not map tangent subspaces into themselves. On the infinitesimal level, the covariant derivative X Y for two vector fields X, Y X (M) tangent to M is not necessarily tangent to M. The required correction is both natural and minimal. Definition 4. The covariant derivative X Y of a vector field Y X (M) along X X (M) is the orthonormal projection of X Y X (R n ) onto T M T R n R n R n. Of course, it depends on the hypersurface M. A vector field Y X (M) is said to be parallel along a curve γ : [0, 1] M, if γ Y = 0. This defines the linear operator between T γ(0) R n and T γ(1) R n, called the parallel transport. Example 5. Let E 1,..., E n X (M) be (locally) linear independent vector fields on M, say, coming from the derivations x1,..., xn in some chart. Then we can define n 3 functions on M by the conditions, Ei E j = n Γ k ije k, (4) k=1 expanding the covariant derivatives in the basis {E i }. The functions Γ k ij are called the Christoffel symbols. If the connexion is symmetric, then Γ k ij = Γk ji. Assume that the curve γ is given by its smooth parametric equation t γ(t). Then a vector field Y = y i (t)e i (t) is parallel along γ, if and only if γ Y = 0. Expanding this identity using the Leibniz rule, we obtain a system of linear homogeneous ODEs for the functions y i (t), which can be solved with any initial condition. The fundamental question is as follows. Embedding of M into R n induces the Riemannian metric on M. The parallel transport and covariant derivation are explicitly defined in terms of the embedding (which is much more information). Can one determine the result of the transport in terms of the induced metric only? The answer obtained by Gauss, the celebrated Theorema Egregium, is affirmative. We outline the steps towards explaining this result.

5 CALCULUS ON MANIFOLDS 5 Let M n 1 R n be a smooth hypersurface and N a unit normal vector field on it: a M N(a) T a R n, N(a), N(a) = 1, N(a), TaM = 0. The map a N(a) is sometimes called the Gauss map M S n 1 R n. For any X X (M) the ambient covariant derivative X N is tangent to M. Indeed, by the Leibniz rule X N, N = 1 2 L X N, N = 0, hence N X N X (M). Definition 5. The Weingarten operator is the linear operator W a : T a M T a M which sends a vector v into v N (since is a covariant derivative, one can choose any X X (M) such that X(a) = v, and compute X N). For a vector field X X (M) we denote by W X the field a W a X(a) T a M. The Weingarten operator W a is the Jacobian (derivative) of the Gauss map at a point a M. Example 6. For the round unit sphere S n 1 R n the Gauss map is the identity, so the Weingarten operator is also identical. Lemma 1. The Weingarten operator is self-adjoint in the induced metric on T a M. Proof. Let X, Y X (M) be any two vector fields tangent to M. We want to prove that W X, Y = X, W Y. Without loss of generality we may assume that X, Y, N are defined in a neighborhood of M. Then, using twice the Leibniz rule (2) and the symmetry condition (3) of, we conclude that W X, Y X, W Y = X N, Y X, Y N = ( X Y, N X Y, N ) ( Y X, N N, Y X ) = 0 0 N, X Y Y X = N, [X, Y ]. But the commutator of two vector fields X, Y tangent to M, is again tangent to M, hence the result is zero. Definition 6. The eigenvalues λ 1 (a),..., λ n 1 (a) of the Weingarten operator L a are called the principal curvatures of the hypersurface. By construction, they are functions of the point on M. While the principal curvatures themselves may be non-smooth, their symmetric combinations (coefficients of the characteristic polynomial det(λ L a )), are smooth. In particular, smooth are the determinant K(a) = n 1 1 λ i (a), called the Gaussian curvature, and the trace H(a) = n 1 1 λ i (a) called the mean curvature of M. The corresponding eigenspaces of T p M are called directions of curvature (they are pairwise orthogonal for different eigenvalues).

6 6 CALCULUS ON MANIFOLDS Note that all these definitions are still non-intrinsic: they explicitly depend on the embedding of M into R n. The meaning of the curvatures can be seen from the following construction. Let X i (a) T a M be the eigenvector of W = W a, corresponding to the eigenvalue λ i (a). Consider the 2-plane Π i (a) in R n spanned by N(a) and X i (a). Then the Gauss map restricted on the 1-dimensional subspace RX i (a) T a M and its derivative can be instantly computed in terms of the osculating circle of the section Π i (a) M as the inverse radius of this circle The Gauss equation. Using the Weingarten operator, one can easily express the induced covariant derivative as it was defined in Definition 4: to compute the orthogonal projection, one has to add to X Y the normal vector N with a suitable coefficient, X Y = X Y X Y, N N = X Y + Y, X N N = X Y + W X, Y N, since 0 = X Y, N = X Y, N + Y, X N = Y, W X Curvature and the Codazzi Mainardi equations. We start with the obvious identity X Y Y X = [X,Y ] between first order differential operators: it is true when applied to functions, hence to vector fields in R n. Substituting into this identity the Gauss identity X = X W X, N, applying the result to a third vector field Z X (R n ) and using several times the Leibniz rule and linearity of the Weingarten operator W, we can separate at the end the normal and tangential components of the result. These will yield us two identities: ( X Y Y X [X,Y ] ) Z = W Y, Z W X W X, Z W Y, (5) and another identity valid for any Z, which implies that X (W Y ) Y (W X) = W [X, Y ]. (6) The identity (5) is very remarkable: it asserts that a certain differential operator that could apriori be of order 2 with respect to Z and of order 1 with respect to X, Y, is of order zero with respect to all arguments! In the classical language, it is a tensor, called the curvature tensor, usually considered as a multilinear scalar function of four vector arguments R(X, Y, Z, V ) = ( ) X Y Y X [X,Y ] Z, V = W Y, Z W X W X, Z W Y, V = W Y, Z W X, V W X, Z W Y, V. (7) Note that the Weingarten operator is self-adjoint, which means that the curvature tensor has a very rich symmetry with respect to permutations of the arguments. The least obvious of these is the so called (the first) Bianchi

7 CALCULUS ON MANIFOLDS 7 formula, which is obtained by substituting the symmetry assumption X Y Y X = [X, Y ] into the Jacobi identity [X, [Y, Z]]+[Y, [X, Z]]+[Z, [X, Y ]] = 0. Problem 1. Write down this identity explicitly. For the case of 2-surfaces in R 3, the geometric nature of this tensor can be described as follows. Let X, Y be two orthonormal vectors. Then R(X, Y, X, Y ) = W X, Y W Y, X W Y, X W Y, Y = det W = λ 1 λ 2 = R(X, Y, Y, X) (8) is the Gaussian curvature of the surface. This formula is important since the left hand side of (5) is defined in terms of the intrinsic geometry of the surface M (the connexion and the Riemannian metric), while the Weingarten operator depends on the embedding of the surface M into R How unique is the Riemannian connexion? There is only one covariant derivative which is compatible with a given Riemannian metric on a manifold. Recall that we conveniently denote the Lie derivation on functions as X = L X = X. Theorem 2. The covariant derivation on a Riemannian manifold, which is symmetric and preserves the Riemannian structure, i.e., X, Y, Z X (M) satisfying the conditions is unique. X Y Y X = [X, Y ], X Y, Z = X Y, Z + Y, X Z, Remark 1. The compatibility condition means that the parallel transport along any curve is an isometry between the respective tangent spaces. Indeed, if both X(t), Y (t) are parallel along γ, i.e., γ X = γ Y = 0, then X(1), Y (1) X(0), Y (0) = = γ X(t), Y (t) dt γ X, Y + X, γ Y dt = 0. Proof of the Theorem. Let X, Y, Z X (M) be any three commuting vector fields. We have the following identities: X Y, Z = X Y, Z + Y, X Z, Y X, Z = Y X, Z + X, Y Z, Z X, Y = Z X, Y + X, Z Y (9)

8 8 CALCULUS ON MANIFOLDS Adding the first two and subtracting the third identity, we have X Y, Z + Y X, Z Z X, Y = X Y, Z + Y, [X, Z] + Y X, Z + X, [Y, Z] = 2 X Y, Z Z, [X, Y ] = 2 X Y, Z. (10) Note that the left hand side depends only on the Riemannian metric, while the right hand side involves the covariant derivative X Y. Let E 1,..., E n X (M) be coordinate vector fields for any local coordinate system (commuting by definition), and apply the identity (10) to all triples E i, E j, E k. As a result, for any pair i, j one gets an expression of the covariant derivative Ei E j via its projections on each direction E k in terms of the Riemannian metric. This determines the covariant derivative uniquely, if the Riemannian metric is non-degenerate (it always is by definition). This implies what Gauss called Theorema Egregium and is the cartographer s nightmare : the surface of the Earth cannot be rendered isometrically on the flat paper. Indeed, the Gauss curvature of the sphere is positive (compute it for the sphere of radius r > 0), while that of the plane is zero. Yet the globus is perfect as a scaled image.

### Chapter 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

### DIFFERENTIAL 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

### 7 Curvature of a connection

[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the

### MATH 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

### Practice 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

### 4 Riemannian geometry

Classnotes for Introduction to Differential Geometry. Matthias Kawski. April 18, 2003 83 4 Riemannian geometry 4.1 Introduction A natural first step towards a general concept of curvature is to develop

### DIFFERENTIAL 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,

### 1. Geometry of the unit tangent bundle

1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations

### Lectures in Discrete Differential Geometry 2 Surfaces

Lectures in Discrete Differential Geometry 2 Surfaces Etienne Vouga February 4, 24 Smooth Surfaces in R 3 In this section we will review some properties of smooth surfaces R 3. We will assume that is parameterized

### 4.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

### Classical differential geometry of two-dimensional surfaces

Classical differential geometry of two-dimensional surfaces 1 Basic definitions This section gives an overview of the basic notions of differential geometry for twodimensional surfaces. It follows mainly

### CALCULUS 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

### LECTURE 8: THE SECTIONAL AND RICCI CURVATURES

LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to

### DIFFERENTIAL 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

### Differential Geometry II Lecture 1: Introduction and Motivation

Differential Geometry II Lecture 1: Introduction and Motivation Robert Haslhofer 1 Content of this lecture This course is on Riemannian geometry and the geometry of submanifol. The goal of this first lecture

### Chapter 14. Basics of The Differential Geometry of Surfaces. Introduction. Parameterized Surfaces. The First... Home Page. Title Page.

Chapter 14 Basics of The Differential Geometry of Surfaces Page 649 of 681 14.1. Almost all of the material presented in this chapter is based on lectures given by Eugenio Calabi in an upper undergraduate

### LECTURE 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

### Lecture 13 The Fundamental Forms of a Surface

Lecture 13 The Fundamental Forms of a Surface In the following we denote by F : O R 3 a parametric surface in R 3, F(u, v) = (x(u, v), y(u, v), z(u, v)). We denote partial derivatives with respect to the

### 1 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

### Survey 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.....................

### Exercises 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

### MATH 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

### Hyperbolic 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

### 1 v >, which will be G-invariant by construction.

1. Riemannian symmetric spaces Definition 1.1. A (globally, Riemannian) symmetric space is a Riemannian manifold (X, g) such that for all x X, there exists an isometry s x Iso(X, g) such that s x (x) =

### A crash course the geometry of hyperbolic surfaces

Lecture 7 A crash course the geometry of hyperbolic surfaces 7.1 The hyperbolic plane Hyperbolic geometry originally developed in the early 19 th century to prove that the parallel postulate in Euclidean

### Math 433 Outline for Final Examination

Math 433 Outline for Final Examination Richard Koch May 3, 5 Curves From the chapter on curves, you should know. the formula for arc length of a curve;. the definition of T (s), N(s), B(s), and κ(s) for

### fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

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

### A 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

### MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

### Lecture 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

### The Symmetric Space for SL n (R)

The Symmetric Space for SL n (R) Rich Schwartz November 27, 2013 The purpose of these notes is to discuss the symmetric space X on which SL n (R) acts. Here, as usual, SL n (R) denotes the group of n n

### Hadamard 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,

### Minimizing properties of geodesics and convex neighborhoods

Minimizing properties of geodesics and convex neighorhoods Seminar Riemannian Geometry Summer Semester 2015 Prof. Dr. Anna Wienhard, Dr. Gye-Seon Lee Hyukjin Bang July 10, 2015 1. Normal spheres In the

### THEODORE 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

### Stratification 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 (

### A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS

UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds

### DIFFERENTIAL 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),

### CHAPTER 1 PRELIMINARIES

CHAPTER 1 PRELIMINARIES 1.1 Introduction The aim of this chapter is to give basic concepts, preliminary notions and some results which we shall use in the subsequent chapters of the thesis. 1.2 Differentiable

### INTRODUCTION 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,

### Integration 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

### How 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

### Math 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

### Affine Connections: Part 2

Affine Connections: Part 2 Manuscript for Machine Learning Reading Group Talk R. Simon Fong Abstract Note for online manuscript: This is the manuscript of a one hour introductory talk on (affine) connections.

### Differential 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

### Math 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

### Notes 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

### THEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009

[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was

### Choice of Riemannian Metrics for Rigid Body Kinematics

Choice of Riemannian Metrics for Rigid Body Kinematics Miloš Žefran1, Vijay Kumar 1 and Christopher Croke 2 1 General Robotics and Active Sensory Perception (GRASP) Laboratory 2 Department of Mathematics

### CHAPTER 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

### 1 Curvature of submanifolds of Euclidean space

Curvature of submanifolds of Euclidean space by Min Ru, University of Houston 1 Curvature of submanifolds of Euclidean space Submanifold in R N : A C k submanifold M of dimension n in R N means that for

### Math 302 Outcome Statements Winter 2013

Math 302 Outcome Statements Winter 2013 1 Rectangular Space Coordinates; Vectors in the Three-Dimensional Space (a) Cartesian coordinates of a point (b) sphere (c) symmetry about a point, a line, and a

### Final Exam Topic Outline

Math 442 - Differential Geometry of Curves and Surfaces Final Exam Topic Outline 30th November 2010 David Dumas Note: There is no guarantee that this outline is exhaustive, though I have tried to include

### Symmetric Spaces Toolkit

Symmetric Spaces Toolkit SFB/TR12 Langeoog, Nov. 1st 7th 2007 H. Sebert, S. Mandt Contents 1 Lie Groups and Lie Algebras 2 1.1 Matrix Lie Groups........................ 2 1.2 Lie Group Homomorphisms...................

### 1 The Differential Geometry of Surfaces

1 The Differential Geometry of Surfaces Three-dimensional objects are bounded by surfaces. This section reviews some of the basic definitions and concepts relating to the geometry of smooth surfaces. 1.1

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

Math 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

### Index. Bertrand mate, 89 bijection, 48 bitangent, 69 Bolyai, 339 Bonnet s Formula, 283 bounded, 48

Index acceleration, 14, 76, 355 centripetal, 27 tangential, 27 algebraic geometry, vii analytic, 44 angle at a corner, 21 on a regular surface, 170 angle excess, 337 angle of parallelism, 344 angular velocity,

### M4P52 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

### Theorema Egregium, Intrinsic Curvature

Theorema Egregium, Intrinsic Curvature Cartan s second structural equation dω 12 = K θ 1 θ 2, (1) is, as we have seen, a powerful tool for computing curvature. But it also has far reaching theoretical

### Part 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.

### (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

### Clifford Algebras and Spin Groups

Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of

### PICARD 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

### Chapter 12. Connections on Manifolds

Chapter 12 Connections on Manifolds 12.1 Connections on Manifolds Given a manifold, M, in general, for any two points, p, q 2 M, thereisno natural isomorphismbetween the tangent spaces T p M and T q M.

### 1 Differentiable manifolds and smooth maps

1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set

### As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).

An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted

### Gravitation: Tensor Calculus

An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013

### Introduction to Differential Geometry

More about Introduction to Differential Geometry Lecture 7 of 10: Dominic Joyce, Oxford University October 2018 EPSRC CDT in Partial Differential Equations foundation module. These slides available at

### INTRODUCTION 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),

### Detecting submanifolds of minimum volume with calibrations

Detecting submanifolds of minimum volume with calibrations Marcos Salvai, CIEM - FaMAF, Córdoba, Argentina http://www.famaf.unc.edu.ar/ salvai/ EGEO 2016, Córdoba, August 2016 It is not easy to choose

### Kähler manifolds and variations of Hodge structures

Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic

### Many of the exercises are taken from the books referred at the end of the document.

Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the

### Elements of differential geometry

Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and

### Course Summary Math 211

Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.

### PREISSMAN 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,

### CS 468 (Spring 2013) Discrete Differential Geometry

CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product

### Stereographic projection and inverse geometry

Stereographic projection and inverse geometry The conformal property of stereographic projections can be established fairly efficiently using the concepts and methods of inverse geometry. This topic is

### LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS

LECTURE 5: COMPLEX AND KÄHLER MANIFOLDS Contents 1. Almost complex manifolds 1. Complex manifolds 5 3. Kähler manifolds 9 4. Dolbeault cohomology 11 1. Almost complex manifolds Almost complex structures.

### Exercise 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

### Qualifying Exams I, Jan where µ is the Lebesgue measure on [0,1]. In this problems, all functions are assumed to be in L 1 [0,1].

Qualifying Exams I, Jan. 213 1. (Real Analysis) Suppose f j,j = 1,2,... and f are real functions on [,1]. Define f j f in measure if and only if for any ε > we have lim µ{x [,1] : f j(x) f(x) > ε} = j

### Linear Algebra. Min Yan

Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................

### Modern 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

### Definition 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

### ( sin(t), cos(t), 1) dt =

Differential Geometry MT451 Problems/Homework Recommended Reading: Morgan F. Riemannian geometry, a beginner s guide Klingenberg W. A Course in Differential Geometry do Carmo M.P. Differential geometry

### Manifolds 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

### LECTURE 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

### Bott Periodicity. Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel

Bott Periodicity Anthony Bosman Senior Honors Thesis Department of Mathematics, Stanford University Adviser: Eleny Ionel Acknowledgements This paper is being written as a Senior honors thesis. I m indebted

### Section 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

### Tangent 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,

### LECTURE 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

### LECTURE 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:

### Outline of the course

School of Mathematical Sciences PURE MTH 3022 Geometry of Surfaces III, Semester 2, 20 Outline of the course Contents. Review 2. Differentiation in R n. 3 2.. Functions of class C k 4 2.2. Mean Value Theorem

### CS 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

### HOMEWORK 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

### ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES. 1. Introduction

ESSENTIAL KILLING FIELDS OF PARABOLIC GEOMETRIES: PROJECTIVE AND CONFORMAL STRUCTURES ANDREAS ČAP AND KARIN MELNICK Abstract. We use the general theory developed in our article [1] in the setting of parabolic

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

### LECTURE 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

### Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)

Building Geometric Structures: Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) A geometric structure on a manifold is a cover

### Isometries, 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