Gauss Theorem Egregium, Gauss-Bonnet etc. We know that for a simple closed curve in the plane. kds = 2π.

Similar documents
Part IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016

M435: INTRODUCTION TO DIFFERENTIAL GEOMETRY

Part IB. Geometry. Year

Final Exam Topic Outline

A PROOF OF THE GAUSS-BONNET THEOREM. Contents. 1. Introduction. 2. Regular Surfaces

SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013

CHAPTER 3. Gauss map. In this chapter we will study the Gauss map of surfaces in R 3.

Lecture 13 The Fundamental Forms of a Surface

d F = (df E 3 ) E 3. (4.1)

Differential Geometry II Lecture 1: Introduction and Motivation

arxiv: v2 [math.dg] 12 Mar 2018

Practice Final Solutions

MATH 52 FINAL EXAM SOLUTIONS

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that

The Minimum Speed for a Blocking Problem on the Half Plane

Mostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and

Geometric Modelling Summer 2016

Math 5378, Differential Geometry Solutions to practice questions for Test 2

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

Euler Characteristic of Two-Dimensional Manifolds

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

+ dxk. dt 2. dt Γi km dxm. . Its equations of motion are second order differential equations. with intitial conditions

HOMEWORK 4 - GEOMETRY OF CURVES AND SURFACES

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

ν(u, v) = N(u, v) G(r(u, v)) E r(u,v) 3.

Final exam (practice 1) UCLA: Math 32B, Spring 2018

MTHE 227 Problem Set 2 Solutions

HOMEWORK 3 - GEOMETRY OF CURVES AND SURFACES. where ν is the unit normal consistent with the orientation of α (right hand rule).

7a3 2. (c) πa 3 (d) πa 3 (e) πa3

From the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )

Part IB GEOMETRY (Lent 2016): Example Sheet 1

Chapter 5. The Second Fundamental Form

MA3D9. Geometry of curves and surfaces. T (s) = κ(s)n(s),

Packing, Curvature, and Tangling

Contents. MATH 32B-2 (18W) (L) G. Liu / (TA) A. Zhou Calculus of Several Variables. 1 Multiple Integrals 3. 2 Vector Fields 9

FROM LOCAL TO GLOBAL. In this lecture, we discuss Cayley s theorem on flecnodes and ruled surfaces.

MATH DIFFERENTIAL GEOMETRY. Contents

Practice Problems for the Final Exam

LECTURE 22: THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS

j=1 ωj k E j. (3.1) j=1 θj E j, (3.2)

GEOMETRY HW 7 CLAY SHONKWILER

Rudin Real and Complex Analysis - Harmonic Functions

How curvature shapes space

Exercises for Multivariable Differential Calculus XM521

GEOMETRY Notes Easter 2002

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

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

THE EULER CHARACTERISTIC OF A LIE GROUP

Calculus III. Math 233 Spring Final exam May 3rd. Suggested solutions

Lecture 11. Geodesics and completeness

Geometry and Motion Selected answers to Sections A and C Dwight Barkley 2016

One side of each sheet is blank and may be used as scratch paper.

Complete Surfaces of Constant Gaussian Curvature in Euclidean Space R 3.

Riemannian geometry of surfaces

Outline of the course

MATH H53 : Final exam

SOME PROBLEMS YOU SHOULD BE ABLE TO DO

LECTURE 15: COMPLETENESS AND CONVEXITY

Lecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces

Lecture 8: Curved Spaces

Relative Isoperimetric Inequality Outside Convex Bodies

Phys 122 Lecture 3 G. Rybka

Geodesics. (Com S 477/577 Notes) Yan-Bin Jia. Nov 2, 2017

Lectures in Discrete Differential Geometry 2 Surfaces

Integral Theorems. September 14, We begin by recalling the Fundamental Theorem of Calculus, that the integral is the inverse of the derivative,

The Gauss Bonnet Theorem

Introduction to Algebraic and Geometric Topology Week 14

Geometric inequalities for black holes

1 Introduction: connections and fiber bundles

274 Curves on Surfaces, Lecture 4

1 + f 2 x + f 2 y dy dx, where f(x, y) = 2 + 3x + 4y, is

SOLUTIONS TO SECOND PRACTICE EXAM Math 21a, Spring 2003

Stratification of 3 3 Matrices

A crash course the geometry of hyperbolic surfaces

DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES 5. The Second Fundamental Form of a Surface

Smooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2

The Theorem of Gauß-Bonnet in Complex Analysis 1

Hyperbolic Geometry on Geometric Surfaces

Maxwell s equations for electrostatics

1 First and second variational formulas for area

Discrete Euclidean Curvature Flows

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

GEOMETRY HW (t, 0, e 1/t2 ), t > 0 1/t2, 0), t < 0. (0, 0, 0), t = 0

Solutions for the Practice Final - Math 23B, 2016

NOTES FOR MATH 5520, SPRING Outline

arxiv:math/ v1 [math.gt] 8 Jun 2004

MATH20411 PDEs and Vector Calculus B

THE PERIMETER-MINIMIZING ENCLOSURE OF TWO AREAS IN S 2

4.7 The Levi-Civita connection and parallel transport

1. Find and classify the extrema of h(x, y) = sin(x) sin(y) sin(x + y) on the square[0, π] [0, π]. (Keep in mind there is a boundary to check out).

Homework for Math , Spring 2008

2 General Relativity. 2.1 Curved 2D and 3D space

INTRODUCTION TO ALGEBRAIC TOPOLOGY. (1) Let k < j 1 and 0 j n, where 1 n. We want to show that e j n e k n 1 = e k n e j 1

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES

Phys102 General Physics II. Chapter 24: Gauss s Law

MATH2000 Flux integrals and Gauss divergence theorem (solutions)

MAC2313 Final A. (5 pts) 1. How many of the following are necessarily true? i. The vector field F = 2x + 3y, 3x 5y is conservative.

Estimates in surfaces with positive constant Gauss curvature

612 CLASS LECTURE: HYPERBOLIC GEOMETRY

ANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS. 0. Introduction

Transcription:

Gauss Theorem Egregium, Gauss-Bonnet etc. We know that for a simple closed curve in the plane kds = 2π. Now we want to consider a simple closed curve C in a surface S R 3. We suppose C is the boundary of a set Y S homeomorphic to a disc. The local Gauss-Bonnet formula is: k g ds = 2π K da, C Y where K is the Gauss curvature. Set-up: we use standard polar co-ordinates (r, θ) in the plane. We suppose we have a local parametrisation f of S mapping the unit disc to Y and the unit circle to C. Then we may regard r, θ as local co-ordinates on S, in the obvious way. For r 1 we let be the closed curve in S which is the image under f of the circle of radius r.. We set I(r) = k g ds, where k g is the geodesic curvature of (with a suitable sign convention). We let S be the image of the disc of radius r. We compute d dr (I(r) + K da). We will use two simple algebraic lemmas in the proof. Let P R 3 be a plane through the origin and N be a unit normal to P. For x, y P set x y = (x y).n Then Lemma 1 For any three vectors x, y, z in P : (x y)z + (y z)x + (z x)y =. Lemma 2 If L : P P is a linear map then L(x) L(y) = det(l)(x y). Proofs are exercises for the reader. Let t be the tangent to the curves C ρ and n be the normal to S. Thus t, n are vector-valued functions of r, θ with t.n = everywhere. We use suffixes t ρ, t θ etc. to denote partial derivatives with respect to ρ, θ. Then 2π I(r) = k g ds = (t θ t).ndθ. 1

Thus Now consider dr = r [t θ t).n] dθ. S = r [(t θ t).n] θ [(t r t).n]. Then S = [(t θ t r ).n + (t θr t).n + (t θ t).n r ] [(t r t θ )bn + (t rθ t).n + (t r t).n θ ]. Using the symmetry of second partial derivatives and the skew-symmetry of the cross-product, this is S = 2(t θ t r ).n + (t θ t).n r (t r t).n θ. Now t is a unit vector, so the vectors t r, t θ are orthogonal to t, as is the normal n. Thus these three vectors lie in a plane and the triple product (t θ t r ).n is zero. So S = (t θ t).n r (t r t).n θ. By the cyclic symmetry of the triple product this is S = t θ.(t n r ) t r.(t n θ ). Since the three vectors t, n r, n θ are all orthogonal to n this can be written as In the notation above this is Then we can write By Lemma 1 this is and hence S = (t θ.n)n.(t n r ) (t r.n)n.(t n θ ). S = (t θ.n)(t n r ) (t r.n)(t n θ ). S = t. [(t n θ )n r (t n r )n θ ]. S = t. [(n θ n r )t], S = (n θ n r ). Now let f r, f θ be the usual basis vectors for the tangent space to S corresponding to the local co-ordinates r, θ. Then n r = L(f r ), n θ = L(f θ ) where L : T S T S is the linear map introduced in lectures (the derivative of the Gauss map). Lemma 2 gives S = det(l)(f r f θ ). 2

But, by definition, det(l) is the Gauss curvature K. So we have S = Kf r f θ. Now go back to the definition of S and integrate around the circle. integral of the θ term vanishes, so we get The dr = 2π K(f r f θ )dθ. Let E, F, G be the components of the first fundamental form in the r, θ coordinates, as usual. Then But so dr = KdA = 2π r 2π d KdA = dr 2π EG F 2 dθ. K EG F 2 dρdθ, K EG F 2 dθ. Hence the two derivatives cancel and we conclude that I(r) + KdA is a constant, independent of r. Finally, it is not hard to see that the limit of I(r) as r tends to zero is 2π; since the geometry of the surface approximates that of the plane over very small regions. Thus the constant above must be 2π and we have proved the local version of Gauss-Bonnet. Consequences 1. Gauss Theorem Egregium: the Gauss curvature K depends only on the first fundamental form of the surface. For we can write 1 K(p) = lim Area( ) (2π k g ds), where is any family of circles shrinking down to p, and the RHS depends only on the first fundamental form (using our results on geodesic curvature). In fact we could there are many formulae of a similar nature that we can use to give an intrinsic characterisation of the Gauss curvature. For example let B(p, r) be 3

the set of points of distance (measured in S) less than r from p. Then one can show that the area of B(p, r) is Area(B(p, r)) = πr 2 K(p) 12 πr4 + O(r 6 ). The Gauss curvature is a measure of the deviation of the geometry in S from that of the plane. One can also find an explicit formula for K in terms of the co-efficients E, F, G in a local parametrisation K = 1 2J [ u ( EGu F E v JE ) v ( 2EFu F E u EE v JE )], where J = EG F 2. The formula becomes much simpler in a co-ordinate system chosen so that the first fundamental form has a convenient shape. For example in isothermal co-ordinates where F = and E = G = e f say, K = e f 2 (f uu + f vv ). 2.Polygons. Now let Y S be a polygonal region, homeomorphic to the disc, whose boundary is made up of a number of smooth curve segments Γ i meeting at corners. We can approximate the boundary of Y by smooth curves and arrive at the formula KdA = 2π k g ds (π φ j ), Γ i Y where φ j is the internal angle at corner j. In particular we find that the sum of the angles of a geodesic triangle T in S is π + KdA. T Especially interesting cases are the sphere, with K = 1 and the pseudosphere/upper half plane with K = 1. 3. The Global Gauss-Bonnet formula. Let S be a compact surface and suppose that S has a triangulation. Applying the formula above to each triangle and summing, using the fact that the sum of the angles at each vertex is 2π one finds that KdA = χ(s), where χ(s) is the Euler characteristic of the triangulation S χ(s) = V E + F 4

where V is the number of vertices, E the number of edges and F the number of faces. This shows that the LHS does not depend on the particular way the surface is embedded in R 3 and the RHS does not depend on the triangulation: it is a topological invariant of the surface. 4. Classification of flat surfaces Let S be a surface which is locally isometric to the plane. Gauss theorem shows that K =. This means that the linear map L has determinant zero at each point of S. Thus for each p in S there is a non-trivial kernel of L. If this kernel is the whole tangent space, at each point of S, the second fundamental form is zero and it is easy to show that S is contained in a plane. Suppose on the other hand that this kernel has dimension 1 (that is, the second fundamental from is not zero). We can choose local co-ordinates (u, v) so that this kernel is spanned by f u. Then if n is the unit normal we have n u =. By the symmetry of the second fundamental form n v.f u = n u.f v =. So n, n v are vectors orthogonal to f u and f u = λn n v, for some function λ. But now n vu = n uv = so n and n v are both independent of u. This means that the direction of f u does not vary with u. Thus the curves v = constant are a family of straight line segments in S. Now choose some curve σ(t) in S which meets each of these segments once (for example a curve u = constant). Let X(t) be a vector pointing along the line segment through σ(t). Then we have a new parametrisation g(r, t) = σ(t) + rx(t) of S. The condition that the normal be independent of r tells us that X must lie in the plane spanned by σ and X, so X = αx + βσ, for functions α(t), β(t). If β vanishes everywhere then the direction of X is constant and S is a cylinder. Suppose on the other hand that β does not vanish anywhere. Then put γ(t) = σ(t) f(t)x where f = β 1. We have γ = σ f X f(αx + βσ ) = (f + fα)x. Suppose f + fα vanishes everywhere. Then γ is constant and all the line segments pass through a fixed point: the surface S is a cone. Suppose on the other hand that f + fα does not vanish anywhere. Then X is a multiple of γ and the surface is the developable surface associated to the curve γ. Thus we see that the three types of flat surfaces we studied essentially include all the possibilities. (This is slightly imprecise because one ought to discuss what happens when the various functions vanish at some points but not everywhere.) 5