Lecture 20. The Gauss-Bonnet Theorem
|
|
- Brice Dean
- 6 years ago
- Views:
Transcription
1 Lecture 0. The Gauss-Bonnet Theorem In this lecture we will prove two important global theorems about the geometr and topolog of two-dimensional manifolds. These are the Gauss-Bonnet theorem and the Poincaré-Hopf theorem. Let us begin with a special case: Suppose is a compact oriented -dimensional manifold, and assume that there eists a vector field V on which is nowhere zero. Now let g be an Riemannian metric on. Then we can produce an orthonormal frame globall on b taking e = V/g(V,V ) /, and taking e to be the unique unit vector orthogonal to e such that e and e are an oriented basis at each point. The dual basis ω, ω is then also globall defined, and we have a globall defined -form ω on such that dω = ω ω and dω = ω ω. Then we have K(g)ω ω = dω. Stokes Theorem then applies to give K(g)dV ol(g) = Ω =0. So we have the remarkable conclusion that the integral of the Gauss curvature over is zero for ever Riemannian metric on. Remark. In fact the eistence of a non-vanishing vector field implies is diffeomorphic to a torus S S.Acorollar of the computation above is that S does not admit a nonvanishing vector field (as we have alread seen), since if it did the integral of Gauss curvature would be zero for an metric, but we know that the standard metric on S has Gauss curvature.. The result we proved above is a special case of the famous Gauss-Bonnet theorem. The general case is as follows: Theorem 0. The Gauss-Bonnet Theorem Let be acompact oriented two-dimensional manifold. Then for an Riemannian metric g on, K(g) dv ol(g) =πχ() where ξ() is the Euler characteristic of.
2 8 Lecture 0. The Gauss-Bonnet Theorem Here the Euler characteristic is an integer associated to which depends onl on the topological tpe of. If admits a triangulation (i.e. a decomposition into diffeomorphic images of closed triangles, such that the intersection of an two is either empt, a common verte, or a common edge) then the Euler characteristic is equal to V +F E, where V is the number of vertices in the triangulation, F is the number of faces, and E is the number of edges. The second important theorem we will prove gives an alternative method of computing the Euler characteristic. To state the result we first need to introduce some new definitions. Definition 0. Let be a two-dimensional oriented manifold, and V a vector field on. Suppose, and assume that there eists an open set U containing such that there are no zeroes of V in U\{}. Then the inde I(V,) ofv about is equal to the winding number of V around the boundar of a simpl connected neighbourhood of in U. Eample 0.3 Here are some vector fields in the plane with nontrivial inde about 0: 0 V =(, ), I(V,0) = + 0 V =(, ), I(V,0) = 0 V =(, ), I(V,0) = +
3 Lecture 0. The Gauss-Bonnet Theorem 83 0 V =(, ), I(V,0) = 0 V =( 3 3, 3 3 ), I(V,0) = +3 0 V =( 3 3, 3 3 ), I(V,0) = 3 Now we can state the Poincaré-Hopf theorem: Theorem 0.4 Let be a compact oriented two-dimensional manifold, and let V be an vector field on which has all zeroes isolated that is, if is an zero of V then there is a neithbourhood U of in such that V is nonzero on U\{}. Label the zeroes of V as,..., N. Then I(V, i )=χ(). i= We will prove that the sum of the indices of the vector field V at its zeroes is independent of V, and the result can then be taken to define the Euler characteristic. To see that this definition of the Euler characteristic agrees with the one given above in terms of triangulations, suppose that we are given a triangulation of. Then choose a vector field as sketched below with zeroes at the centre of each face, the middle of each edge, and at each verte. This vector field points outwards from the centre of each face, so has inde there, and points inwards at each verte, so also has inde there. At the middle of each edge the vector field has inde. Therefore the sum of the indices equals F + V E, agreeing with our previous definition of the Euler characteristic.
4 84 Lecture 0. The Gauss-Bonnet Theorem We will prove the Gauss-Bonnet theorem and the Poincaré-Hopf theorem at the same time, b showing that for an Riemannian metric g on and an vector field V with isolated zeroes, we have K(g) dv ol(g) =π I(V, i ). If we keep V fied and var g,wededuce that the left-hand side is independent of g, and if we keep g fied and var V,wededuce that the right-hand side is independent of V,sowecan define the Euler characteristic and deduce both results. So let V and g be given, and let,..., N be the zeroes of V.About each of these zeroes we can choose a small neighbourhood U i of i (sa, given b the image of a ball under some chart) such that V is nonvanishing on = \ N i= U i. Let γ i be the boundar of U i, parametrised anticlockwise in some oriented chart. Now is a compact oriented manifold with boundar, and V is nonvanishing on. Define e = V/g(V,V ) /, and take e to be the unit vector orthogonal to e which is given b a positive right-angle rotation of e. Denote the dual frame b ω and ω, and let ω be the corresponding connection one-form. Then we have Ω = dω, and Stokes theorem gives K(g) dv ol(g) = Ω = ω. i=
5 Lecture 0. The Gauss-Bonnet Theorem 85 The boundar of is the union of the circles γi, parametrized clockwise. Therefore K(g) dv ol(g) = ω. i= γ i Now on each of the regions U i we can choose a non-vanishing frame ē (i) ē (i). This gives a corresponding connection one-form ω(i) each i K(g) dv ol(g) = Ω = U i U i Combining these results, we get K(g) dv ol(g) = i= U i d = γ i ω.,, and we have for γ i. To interpret the integral of ω around γ i,weneed to consider the relationship between the frames e and ē (i). Since these are both unit vectors, the are related b a rotation. Therefore there eists a map from γ i to SO() S R,sa z =(α, β) S, such that ē (i) = αe + βe ē (i) = βe + αe. Then we have = αω + βω = βω + αω. Since α + β =,wehave β dα = α dβ = dθ. Appling the eterior derivative we find d = dα ω + αdω + dβ ω + βdω = (ω β dα) βω +(ω + α dβ) αω =(ω + dθ). and similarl d = (ω + dθ). It follows that ω = dθ, and so ω = dθ γ i γ i is π times the winding number of the map z : γ i S. This is equal to the difference betweeen I(ē (i), i) and I(e, i ). But ē (i) is nonvanishing in U i,so I(ē (i), i)=0, and b construction I(e, i )=I(V, i ). Thus
6 86 Lecture 0. The Gauss-Bonnet Theorem ω = I(V, i ). γ i We have proved K(g) dv ol(g) = π I(V, i ), and the proofs of the Gauss Bonnet and Poincaré-Hopf theorems are complete. i=
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
More informationEuler Characteristic of Two-Dimensional Manifolds
Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several
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 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 informationSome Results about the Classification of Totally Real Minimal Surfaces in S 5
Int. J. Contemp. Math. Sciences, Vol. 2, 2007, no. 24, 1175-1181 Some Results about the Classification of Totally Real Minimal Surfaces in S 5 Rodrigo Ristow Montes Departamento de Matemática Universidade
More informationAN INTRODUCTION TO DIFFERENTIAL FORMS, STOKES THEOREM AND GAUSS-BONNET THEOREM
AN INTRODUCTION TO DIFFERENTIAL FORS, STOKES THEORE AND GAUSS-BONNET THEORE ANUBHAV NANAVATY Abstract. This paper serves as a brief introduction to differential geometry. It first discusses the language
More informationSOME EXERCISES IN CHARACTERISTIC CLASSES
SOME EXERCISES IN CHARACTERISTIC CLASSES 1. GAUSSIAN CURVATURE AND GAUSS-BONNET THEOREM Let S R 3 be a smooth surface with Riemannian metric g induced from R 3. Its Levi-Civita connection can be defined
More informationLecture 2. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
More informationIdentifying second degree equations
Chapter 7 Identifing second degree equations 71 The eigenvalue method In this section we appl eigenvalue methods to determine the geometrical nature of the second degree equation a 2 + 2h + b 2 + 2g +
More informationUNIVERSIDAD CARLOS III DE MADRID MATHEMATICS II EXERCISES (SOLUTIONS )
UNIVERSIDAD CARLOS III DE MADRID MATHEMATICS II EXERCISES (SOLUTIONS ) CHAPTER : Limits and continuit of functions in R n. -. Sketch the following subsets of R. Sketch their boundar and the interior. Stud
More information8. THE FARY-MILNOR THEOREM
Math 501 - Differential Geometry Herman Gluck Tuesday April 17, 2012 8. THE FARY-MILNOR THEOREM The curvature of a smooth curve in 3-space is 0 by definition, and its integral w.r.t. arc length, (s) ds,
More informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More informationGames on Manifolds. Noah Stein
Games on Manifolds Noah Stein Outline Previous work Background about manifolds Game forms Potential games Equilibria and existence Generalizations of games Conclusions MIT Laboratory for Information and
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 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 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 informationFrom the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )
3 Riemann surfaces 3.1 Definitions and examples From the definition of a surface, each point has a neighbourhood U and a homeomorphism ϕ U from U to an open set V in R 2. If two such neighbourhoods U,
More informationTHE EXISTENCE PROBLEM
THE EXISTENCE PROBLEM Contact Geometry in High Dimensions Emmanuel Giroux CNRS ENS Lyon AIM May 21, 2012 Contact forms A contact form on a manifold V is a non-vanishing 1-form α whose differential dα at
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 informationRelation of the covariant and Lie derivatives and its application to Hydrodynamics
Relation of the covariant and Lie derivatives and its application to Hydrodynamics Yang Cao TU Darmstadt March 12, 2010 The Euler hydrodynamic equation on manifolds Let M denote a compact oriented Riemannian
More informationz-axis SUBMITTED BY: Ms. Harjeet Kaur Associate Professor Department of Mathematics PGGCG 11, Chandigarh y-axis x-axis
z-ais - - SUBMITTED BY: - -ais - - - - - - -ais Ms. Harjeet Kaur Associate Proessor Department o Mathematics PGGCG Chandigarh CONTENTS: Function o two variables: Deinition Domain Geometrical illustration
More informationLecture III: Neighbourhoods
Lecture III: Neighbourhoods Jonathan Evans 7th October 2010 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 1 / 18 Jonathan Evans () Lecture III: Neighbourhoods 7th October 2010 2 / 18 In
More informationTRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES
TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND G-MANIFOLDS LECTURE NOTES KEN RICHARDSON Abstract. In these lectures, we investigate generalizations of the ordinary Dirac operator to manifolds
More informationsatisfying the following condition: If T : V V is any linear map, then µ(x 1,,X n )= det T µ(x 1,,X n ).
ensities Although differential forms are natural objects to integrate on manifolds, and are essential for use in Stoke s theorem, they have the disadvantage of requiring oriented manifolds in order for
More informationDiscrete Euclidean Curvature Flows
Discrete Euclidean Curvature Flows 1 1 Department of Computer Science SUNY at Stony Brook Tsinghua University 2010 Isothermal Coordinates Relation between conformal structure and Riemannian metric Isothermal
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 informationM435: INTRODUCTION TO DIFFERENTIAL GEOMETRY
M435: INTODUCTION TO DIFFNTIAL GOMTY MAK POWLL Contents 7. The Gauss-Bonnet Theorem 1 7.1. Statement of local Gauss-Bonnet theorem 1 7.2. Area of geodesic triangles 2 7.3. Special case of the plane 2 7.4.
More informationTHE POINCARE-HOPF THEOREM
THE POINCARE-HOPF THEOREM ALEX WRIGHT AND KAEL DIXON Abstract. Mapping degree, intersection number, and the index of a zero of a vector field are defined. The Poincare-Hopf theorem, which states that under
More informationConstant 2-labelling of a graph
Constant 2-labelling of a graph S. Gravier, and E. Vandomme June 18, 2012 Abstract We introduce the concept of constant 2-labelling of a graph and show how it can be used to obtain periodic sphere packing.
More informationThe Geometrization Theorem
The Geometrization Theorem Matthew D. Brown Wednesday, December 19, 2012 In this paper, we discuss the Geometrization Theorem, formerly Thurston s Geometrization Conjecture, which is essentially the statement
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More 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 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 informationPart IB. Geometry. Year
Part IB Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 17 Paper 1, Section I 3G Give the definition for the area of a hyperbolic triangle with interior angles
More informationTHE POINCARÉ HOPF THEOREM FOR LINE FIELDS REVISITED arxiv: v2 [math.at] 21 Mar 2017
THE POINCARÉ HOPF THEOREM FOR LINE FIELDS REVISITED arxiv:1612.04073v2 [math.at] 21 Mar 2017 DIARMUID CROWLEY AND MARK GRANT Abstract. A Poincaré Hopf Theorem for line fields with point singularities on
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds
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 informationarxiv:math/ v1 [math.gm] 14 Mar 2007
arxiv:math/0703400v1 [math.gm] 14 Mar 2007 A Generalization of Stokes Theorem on Combinatorial Manifolds Linfan Mao (Chinese Academy of Mathematics and System Science, Beijing 100080, P.R.China) E-mail:
More informationDifferential Forms, Integration on Manifolds, and Stokes Theorem
Differential Forms, Integration on Manifolds, and Stokes Theorem Matthew D. Brown School of Mathematical and Statistical Sciences Arizona State University Tempe, Arizona 85287 matthewdbrown@asu.edu March
More informationINTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM
INTEGRATION ON MANIFOLS and GAUSS-GREEN THEOREM 1. Schwarz s paradox. Recall that for curves one defines length via polygonal approximation by line segments: a continuous curve γ : [a, b] R n is rectifiable
More informationTHE ASYMPTOTIC BEHAVIOUR OF HEEGAARD GENUS
THE ASYMPTOTIC BEHAVIOUR OF HEEGAARD GENUS MARC LACKENBY 1. Introduction Heegaard splittings have recently been shown to be related to a number of important conjectures in 3-manifold theory: the virtually
More informationTopology III Home Assignment 8 Subhadip Chowdhury
Topology Home Assignment 8 Subhadip Chowdhury Problem 1 Suppose {X 1,..., X n } is an orthonormal basis of T x M for some point x M. Then by definition, the volume form Ω is defined to be the n form such
More informationA 21st Century Geometry: Contact Geometry
A 21st Century Geometry: Contact Geometry Bahar Acu University of Southern California California State University Channel Islands September 23, 2015 Bahar Acu (University of Southern California) A 21st
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationA FEW APPLICATIONS OF DIFFERENTIAL FORMS. Contents
A FEW APPLICATIONS OF DIFFERENTIAL FORMS MATTHEW CORREIA Abstract. This paper introduces the concept of differential forms by defining the tangent space of R n at point p with equivalence classes of curves
More informationA Characterization of Minimal Surfaces in the Lorentz Group L 3
International Mathematical Forum, Vol. 7, 2012, no. 20, 993-998 A Characterization of Minimal Surfaces in the Lorentz Group L 3 Rodrigo Ristow Montes Departament of Mathematics Federal University of Parana
More informationLecture 4: Harmonic forms
Lecture 4: Harmonic forms Jonathan Evans 29th September 2010 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 1 / 15 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 2 / 15
More informationTHE UNIFORMISATION THEOREM OF RIEMANN SURFACES
THE UNIFORISATION THEORE OF RIEANN SURFACES 1. What is the aim of this seminar? Recall that a compact oriented surface is a g -holed object. (Classification of surfaces.) It can be obtained through a 4g
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationV = 1 2 (g ijχ i h j ) (2.4)
4 VASILY PESTUN 2. Lecture: Localization 2.. Euler class of vector bundle, Mathai-Quillen form and Poincare-Hopf theorem. We will present the Euler class of a vector bundle can be presented in the form
More informationarxiv: v3 [math.ds] 1 Feb 2018
Existence of common zeros for commuting vector fields on 3-manifolds II. Solving global difficulties. Sébastien Alvarez Christian Bonatti Bruno Santiago arxiv:1710.06743v3 [math.ds] 1 Feb 2018 Abstract
More informationPoisson geometry of b-manifolds. Eva Miranda
Poisson geometry of b-manifolds Eva Miranda UPC-Barcelona Rio de Janeiro, July 26, 2010 Eva Miranda (UPC) Poisson 2010 July 26, 2010 1 / 45 Outline 1 Motivation 2 Classification of b-poisson manifolds
More informationDifferential 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
More informationh-principles for the curvature of (semi-)riemannian metrics
Marc Nardmann (marc.nardmann@math.uni-hamburg.de) London, 2013 March 14 h-principles for the curvature of (semi-)riemannian metrics M E + = Sym 2 + T M smooth manifold fibre bundle over M sections in E
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 informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationTHE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES
THE GAUSS-BONNET THEOREM FOR VECTOR BUNDLES Denis Bell 1 Department of Mathematics, University of North Florida 4567 St. Johns Bluff Road South,Jacksonville, FL 32224, U. S. A. email: dbell@unf.edu This
More information9.3 Path independence
66 CHAPTER 9. ONE DIMENSIONAL INTEGRALS IN SEVERAL VARIABLES 9.3 Path independence Note:??? lectures 9.3.1 Path independent integrals Let U R n be a set and ω a one-form defined on U, The integral of ω
More informationSMSTC Geometry and Topology
SMSTC Geometry and Topology 2013-2014 1 Andrew Ranicki http://www.maths.ed.ac.uk/ aar SMSTC Symposium Perth, 9th October, 2013 http://www.smstc.ac.uk http://www.maths.ed.ac.uk/ aar/smstc/gt34info.pdf http://www.maths.ed.ac.uk/
More informationMath 230a Final Exam Harvard University, Fall Instructor: Hiro Lee Tanaka
Math 230a Final Exam Harvard University, Fall 2014 Instructor: Hiro Lee Tanaka 0. Read me carefully. 0.1. Due Date. Per university policy, the official due date of this exam is Sunday, December 14th, 11:59
More informationHARMONIC FORMS ON NON-COMPACT RIEMANNIAN MANIFOLDS
L 2 HARONIC FORS ON NON-COPACT RIEANNIAN ANIFOLDS GILLES CARRON First, I want to present some questions on L 2 - harmonic forms on non-compact Riemannian manifolds. Second, I will present an answer to
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 informationKä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
More information(0,2) L 1 L 2 R (-1,0) (2,0) MA4006: Exercise Sheet 3: Solutions. 1. Evaluate the integral R
MA6: Eercise Sheet 3: Solutions 1. Evaluate the integral d d over the triangle with vertices ( 1, ), (, 2) and (2, ). Solution. See Figure 1. Let be the inner variable and the outer variable. we need the
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationSpherical three-dimensional orbifolds
Spherical three-dimensional orbifolds Andrea Seppi joint work with Mattia Mecchia Pisa, 16th May 2013 Outline What is an orbifold? What is a spherical orientable orbifold? What is a fibered orbifold? An
More informationEva Miranda. UPC-Barcelona. (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February
From b-poisson manifolds to symplectic mapping torus and back Eva Miranda UPC-Barcelona (joint with Victor Guillemin and Ana Rita Pires) Zaragoza, February 8 2011 Eva Miranda (UPC) Poisson Day February
More informationDefinition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.
13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which
More informationzi z i, zi+1 z i,, zn z i. z j, zj+1 z j,, zj 1 z j,, zn
The Complex Projective Space Definition. Complex projective n-space, denoted by CP n, is defined to be the set of 1-dimensional complex-linear subspaces of C n+1, with the quotient topology inherited from
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 8: More characteristic classes and the Thom isomorphism
Lecture 8: More characteristic classes and the Thom isomorphism We begin this lecture by carrying out a few of the exercises in Lecture 1. We take advantage of the fact that the Chern classes are stable
More informationENGI 4430 Advanced Calculus for Engineering Faculty of Engineering and Applied Science Problem Set 3 Solutions [Multiple Integration; Lines of Force]
ENGI 44 Advanced Calculus for Engineering Facult of Engineering and Applied Science Problem Set Solutions [Multiple Integration; Lines of Force]. Evaluate D da over the triangular region D that is bounded
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationNew York Journal of Mathematics. The Index of Discontinuous Vector Fields
New York Journal of Mathematics New York J. Math.1 (1995) 130 148. The Index of Discontinuous Vector Fields Daniel H. Gottlieb and Geetha Samaranayake Abstract. The concept of the index of a vector field
More informationIndex theory on manifolds with corners: Generalized Gauss-Bonnet formulas
Index theory on singular manifolds I p. 1/4 Index theory on singular manifolds I Index theory on manifolds with corners: Generalized Gauss-Bonnet formulas Paul Loya Index theory on singular manifolds I
More information1 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
More informationGauss Bonnet theorem for compact and orientable surfaces: a proof without using triangulations
arxiv:1709.09040v2 [math.dg] 1 Feb 2018 Gauss Bonnet theorem for compact and orientable surfaces: a proof without using triangulations Romero Solha February 2, 2018 Abstract The aim of this note is to
More informationGLOBAL GEOMETRY OF REGIONS AND BOUNDARIES VIA SKELETAL AND MEDIAL INTEGRALS
GLOBAL GEOMETRY OF REGIONS AND BOUNDARIES VIA SKELETAL AND MEDIAL INTEGRALS JAMES DAMON Department of Mathematics University of North Carolina at Chapel Hill, Chapel Hill, NC 27599-3250, USA PRELIMINARY
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 informationHelicoidal Surfaces and Their Relationship to Bonnet Surfaces
Advances in Pure Mathematics, 07, 7, -40 http://wwwscirporg/journal/apm ISSN Online: 60-084 ISSN Print: 60-068 Helicoidal Surfaces and Their Relationship to Bonnet Surfaces Paul Bracken Department of Mathematics,
More informationLECTURE 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.
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationMath 550 / David Dumas / Fall Problems
Math 550 / David Dumas / Fall 2014 Problems Please note: This list was last updated on November 30, 2014. Problems marked with * are challenge problems. Some problems are adapted from the course texts;
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationUNIQUENESS RESULTS ON SURFACES WITH BOUNDARY
UNIQUENESS RESULTS ON SURFACES WITH BOUNDARY XIAODONG WANG. Introduction The following theorem is proved by Bidaut-Veron and Veron [BVV]. Theorem. Let (M n, g) be a compact Riemannian manifold and u C
More information1. 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
More informationA NOTE ON FISCHER-MARSDEN S CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 3, March 1997, Pages 901 905 S 0002-9939(97)03635-6 A NOTE ON FISCHER-MARSDEN S CONJECTURE YING SHEN (Communicated by Peter Li) Abstract.
More informationHomework for Math , Spring 2008
Homework for Math 4530 1, Spring 2008 Andrejs Treibergs, Instructor April 18, 2008 Please read the relevant sections in the text Elementary Differential Geometry by Andrew Pressley, Springer, 2001. You
More informationTriple Integrals in Cartesian Coordinates. Triple Integrals in Cylindrical Coordinates. Triple Integrals in Spherical Coordinates
Chapter 3 Multiple Integral 3. Double Integrals 3. Iterated Integrals 3.3 Double Integrals in Polar Coordinates 3.4 Triple Integrals Triple Integrals in Cartesian Coordinates Triple Integrals in Clindrical
More informationGeometry Qualifying Exam Notes
Geometry Qualifying Exam Notes F 1 F 1 x 1 x n Definition: The Jacobian matrix of a map f : N M is.. F m F m x 1 x n square matrix, its determinant is called the Jacobian determinant.. When this is a Definition:
More informationSurfaces with zero mean curvature vector in 4-dimensional space forms
Surfaces with zero mean curvature vector in 4-dimensional space forms Naoya Ando Abstract Equations for minimal surfaces in 4-dimensional Riemannian space forms and space-like surfaces in 4-dimensional
More informationThe Theorem of Gauß-Bonnet in Complex Analysis 1
The Theorem of Gauß-Bonnet in Complex Analysis 1 Otto Forster Abstract. The theorem of Gauß-Bonnet is interpreted within the framework of Complex Analysis of one and several variables. Geodesic triangles
More informationLine Bundles. Honours 1999
Line Bundles. Honours 1999 Michael Murray September 18, 2002 Contents 1 Introduction 2 1.1 Definition of a line bundle and examples................... 2 1.2 Isomorphism of line bundles..........................
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationTutorial on Surface Ricci Flow, Theory, Algorithm and Application
Tutorial on Surface Ricci Flow, Theory, Algorithm and Application 1 1 Department of Computer Science University of New York at Stony Brook Graduate Summer School: Computer Vision, IPAM, UCLA Collaborators
More informationClassical 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
More informationRoger Johnson Structure and Dynamics: The 230 space groups Lecture 3
Roger Johnson Structure and Dnamics: The 23 space groups Lecture 3 3.1. Summar In the first two lectures we considered the structure and dnamics of single molecules. In this lecture we turn our attention
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More information