Welcome to the homepage for Differential Geometry (Math 4250/6250)!
In Spring 2021, this is a self-paced course taught in the “hybrid asynchronous” format. This webpage hosts a complete collection of course materials: readings, notes, videos, and related homework assignments. Each of these units corresponds roughly to a day or two of the old lecture-and-in-class work time class schedule. The class is fully asynchronous, so there are no simultaneous Zoom sessions during class time; everything you need to know for the course is in the materials posted below.
As a philosophical decision, since UGA is a public, taxpayer supported institution, I’ve decided to make all of these materials available freely on this webpage rather than putting them behind a university paywall.
In-person course attendance is optional and requires advance booking because of limited classroom capacity. The online materials and online office hours are intended to be just as good as the in-person sessions. In-person sessions will be offered Tuesdays and Thursdays from 9:35-10:50 in Marine Sciences/Dance Room 304. Because of social distancing rules at UGA, no more than 20 of the 40 students enrolled can attend any given session. Therefore, I need you to let me know that you plan to come by booking an in-person class session online before showing up in order to make sure there’s a (safe) seat for you.
Online office hours require booking as well. After consulting with the class about times, I will shortly put up a booking schedule for online office hours. I’ve discovered that I can’t effectively Zoom with more than 5 people at once for office hours. So I’ll have times with a capacity limit of 5 and also times for one-on-one appointments online.
The course textbook is by Ted Shifrin, which is available for free online here. The course will cover the geometry of smooth curves and surfaces in 3-dimensional space, with some additional material on computational and discrete geometry. By the end of the semester, I hope to discuss some applications of differential geometry in machine learning and applied math.
Homework will be submitted (and exams returned) via Gradescope with course entry code 866J4X. The schedule for completion of the material is in Gradescope: each homework assignment has a due date (and a late date). There is no penalty for submitting homework “late”. That said, it will help you pace yourself if you complete as many assignments as you can by the original due date. No-penalty extensions are available after the late due date if you need them; just get in touch with me so that I can be sure you’re ok.
We also have a course syllabus.
- Parametrized curves, the dot product, cross product, and triple product.
- Reading: OpenStax physics chapter 2 (vectors and scalars)
- Optional video: 3Blue1Brown “Essence of linear algebra” series
- Note: The video playlist is basically an entire course on linear algebra. So I certainly don’t expect anyone to watch the whole thing. However, it’s a really good resource– if you feel like you want to refresh your memory on a particular topic– you can just watch that particular video.
- Minihomework: Scalar and vector products.
- Minihomework: Getting comfortable again with linear algebra
- Video: A Tale of Two Matrices
- Minihomework: A tale of two matrices
- Video: Of symmetries, solids and coordinates
- Minihomework: The Dot Product, Point Groups, and the Regular Solids
- Constructing Parametrized Curves.
- Arclength and Rectifiability.
- Variations and curves.
- Video: The brachistochrone.
- (Coming soon!) Minihomework: Calculus of variations.
- Framed curves and the Frenet frame.
- How to find the Frenet frame of a curve.
- How to compute curvature and torsion.
- More on Curvature and Torsion.
- The Tangent Indicatrix.
- Integralgeometric measure.
- Geometric Inequalities for Curves.
- The Fabricius-Bjerre Theorem.
- Review of linear algebra. Gradient and Hessian. Quadratic forms. Eigenvalues and Eigenvectors.
- Surfaces and the First Fundamental Form.
- The Gauss Map and the Second Fundamental Form.
- Reading. Shifrin 2.2. pages 44-47
- Minihomework: Shape operator identity implies sphere.
- Graduate material and minihomework: None.
- The Second Fundamental Form (2)
- Reading. Shifrin 2.2 pages 47-49.
- Minihomework: Symmetric Linear Maps and Matrices
- A (lengthy) Example.
- Reading. Shifrin 2.2 Example 6. pages 49-50.
- Minihomework: Quadratic surfaces.
- Graduate material and minihomework: General form for surfaces.
- Graduate reading: The Implicit and Inverse Function Theorems: Easy Proofs, Oliveira.
- Classification of Points and Meusnier’s Formula.
- Reading. Shifrin 2.2 pages 50-53.
- The Codazzi and Gauss Equations.
- Reading. Shifrin 2.3 pages 57-59.
- Codazzi and Gauss Equations (2)
- Reading. Shifrin 2.3 pages 59-60.
- Global Geometry of (Compact) Surfaces
- Reading. Shifrin 2.3 pages 61-63
- Recovering the Embedding of a Surface
- Reading. Shifrin 2.3 pages 63-64.
- Covariant Differentiation and Parallel Transport
- Reading. Shifrin 2.4 pages 66-69
- Geodesics as Straightest Paths
- Reading. Shifrin 2.4 pages 70-72
- Clairaut’s Relation
- Reading. Shifrin 2.4 pages 73-75.
- Holonomy and Gauss-Bonnet (I).
- Reading. Shifrin 3.1 pages 79-82.
- Holonomy and Gauss-Bonnet (II).
- Reading. Shifrin 3.1 pages 82-89.
We will offer several different time slots for in-person, open book, written exams for the midterm and plan to have an in person final on Tues., May 11, from 8:00 – 11:00 am. (If you’re ill or in quarantine on exam day, we’ll find a solution, but this means you should plan to be physically present on campus at least twice during the semester.)
You may bring up to 350 pages of text with you. In addition, you can bring any calculator permitted for the SAT Math Subject test.
Some optional additional reading.
These papers should be readable after you’ve taken the class. Especially if you’re graduate-school bound, you may enjoy reading them (and I’ll be happy to discuss them with you!)
- An Inequality for Closed Space Curves. G.D. Chakerian, 1962.
- Curves and Surfaces in Euclidean Space. S.S. Chern, 1967. Section 1 or Section 5.
- A Geometric Inequality for Plane Curves with Restricted Curvature. G.D. Chakerian, H.H. Johnson, A. Vogt. 1976.
- A Spherical Fabricius-Bjerre Formula with Applications to Closed Space Curves. J. Weiner. 1987.
- Curves of Constant Precession. P. Scofield. 1995.
- Tantrices of Spherical Curves. B. Solomon. 1996.
- A Four Vertex Theorem for Polygons. S. Tabachnikov. 2000.
- There is more than one way to frame a curve . R. Bishop.
- h-Principles for Curves and Knots of Constant Curvature . M. Ghomi.
Some optional additional notes.
Here are links to lecture notes for the course on additional material, or on Do Carmo’s book. I’m leaving them up as a source of other perspectives for you, and also to draw from for extra credit assignments.
- Crofton’s Formula and Buffon’s Needle.
- Crofton’s Formula and the Indicatrices.
- The Four Vertex Theorem.
- The Bishop Frame.
Do Carmo Notes.
- Introduction and Overview .
- The Frenet Frame .
## Homework 1.
- Curves of constant curvature and torsion .
- The Bishop Frame .
- Link, Twist, and Writhe . Correction: The integrals for Link and Writhe should be multiplied by 1/(4 pi) in these notes. Thanks to Matt Mastin for pointing this out!
- The Four-Vertex Theorem .
## Homework 2.
- The Fabricius-Bjerre Theorem .
- An Introduction to Integral Geometry .
- Integral Geometry II .
- Stuff turning inside out .
## Homework 3.
- Introduction to Regular Surfaces .
- Regular Surfaces as Level Sets of Smooth Functions .
- Tangent planes and differentials. Review of quadratic forms. .
- The first fundamental form. How to measure lengths, angles, and areas in the uv plane.
## Homework 4.
- The Gauss map and the second fundamental form. Defining the form.
- The geometric meaning of the second fundamental form. The definition of Gauss and Mean curvature.
## Homework 5.
- The meaning of the second fundamental form, part II. Umbilic points, Asymptotic and Conjugate directions, the Dupin indicatrix. <br /> Sorry about the scan quality– these came out really light.
- Computing with the second fundamental form in local coordinates. e, f, g, formulas for Gauss and Mean curvature.
- Extracting geometric information from the Second Fundamental Form. Differential equations for asymptotic curves and lines of curvature. Surfaces of revolution. Graphs.
## Homework 6.
- Isometries, proof that Helicoid and Catenoid are isometric. There is no scan of these notes. Read 4.1 in DoCarmo.
- The Christoffel symbols, proof of the Theorema Egregium, Mainardi-Codazzi equations and Gauss Formula, compatibility equations and theorem of Bonnet.
- Theory of Geodesics, Geodesics on Surfaces of Revolution. Note: This is really different than the corresponding chapter in DoCarmo, so you won’t be able to match it up as easily as you did the previous lecture notes.
## Some examples of geodesics near a black hole
## (pdf version of the relativity examples)
## Homework 7.
- (Signed) geodesic curvature and the local Gauss-Bonnet theorem. (These notes have everything there, but could make more sense. Read with a bit of caution. The reference here is McCleary, Geometry from the Differentiable Viewpoint, p. 173-177.)
- The global Gauss Bonnet theorem, Euler characteristic, applications of G-B, conclusion.