Differential Geometry
: Math 561 (Spring 2012)
-
Lectures
Lectures are by
Jeff Viaclovsky on Tuesdays and Thursdays
at 1:00-2:15 PM in Van Vleck B231. I will have office hours on Tuesdays
in Van Vleck 803 from 4 - 5 PM.
-
Textbooks
Differential Geometry of Curves and Surfaces by Do Carmo is the required text.
-
Graders
The grader is Michael Lock (lock at math.wisc.edu).
-
Examinations and Homework
There will be several homework assignments and
1 in-class test. The homework and
exams will carry equal weight for the final class score,
each worth approximately 50 percent.
The first exam will be held on Thursday, March 22.
There will be no final exam.
- HW #1: Due Thursday, May 10. There will be no late homework
accepted!! Absolutely no exceptions!
Note: the starred problems are required only for honors students.
However, all students can get extra credit by attempting these.
- Ch 2.2: 12, 13.
- Ch 2.3: 1, 3, 4.
- Ch 2.4: 1, 3, 12, 13.
- Ch 2.5: 1, 3, *14.
- Ch 3.2: 8.
- Ch 3.3: 1, 5, *7, *21.
- Ch 3.5: *14.
-
Brief Lecture notes
- Lecture 1: Tuesday, January 24
- Introduction and Outline.
- Lecture 2: Thursday, January 26
- Curves in R^n.
- 1-5: Curvature and torsion of curves in R^3.
- 1-5: Fundamental theorem of the local theory of curves.
- Lecture 3: Tuesday, January 31
- 1-6: Local canonical form.
- Wirtinger's Inequality.
- Lecture 4: Thursday, February 2
- 1-7: Isoperimetric Inequality.
- Lecture 5: Tuesday, February 7
- Chapter 2, Appendix A: Continuity in R^n.
- Lecture 6: Thursday, February 9
- Continuity: Inverse image of open sets are open.
- Connectedness.
- Connected subsets of real line are intervals.
- Intermediate Value Theorem.
- Lecture 7: Tuesday, February 14
- Appendix: Point-Set topology of Euclidean spaces.
- Closed sets and limit points.
- Continuity: Inverse image of closed sets are closed.
- Lecture 8: Thursday, February 16
- Closure of connected set is closed.
- Path Connectedness.
- Topologist's sine curve.
- Lecture 9: Tuesday, February 21
- Compactness: every finite cover has a finite subcover.
- Closed subspace of compact space is compact.
- Compact subset of R^n is closed.
- Image of compact space under continuous map is compact.
- Heine-Borel Theorem (a closed interval [a,b] is compact).
- Lecture 10: Thursday, February 23
- Subset A in R is compact <-> A is closed and bounded.
- Extreme Value Theorem.
- A closed cube in R^n is compact.
- Subset A in R^n is compact <-> A is closed and bounded.
- Product of compact subsets of R^n is compact.
- Let A be compact, if f : A -> R^n is bijective and continuous,
then f is a homeomorphism.
- Examples of f: S^1 -> R^2, f: [a,b] -> R^2, f: [a,b) -> R^2.
- Lecture 11: Tuesday, February 28
- Chapter 2, Appendix B: Differentiability in R^n.
- The differential of a map in higher dimensions.
- Jacobian matrix.
- Chain Rule.
- Lecture 12: Thursday, March 1
- Basic rules of differentiation (constant maps, linear maps, sums, products, etc.).
- Lecture 13: Tuesday, March 6
- Partial derivatives.
- Example of function whose partial derivatives exist, but not differentiable
(partials are not continuous).
- Lecture 14: Thursday, March 8
- Mean value theorem from calculus.
- Theorem: if partial derivatives exists, and are
continuous, then differentiable.
- Maximum principle: differentiable and p and maximum achieved, then Df(p) =0.
- Df = 0 everywhere in U implies constant on connected components.
- Lecture 15: Tuesday, March 13
- Inverse function theorem.
- Lecture 16: Thursday, March 15
- Chapter 2: 2-dimensional surfaces in R^3.
- Lecture 17: Tuesday, March 20
- Exam Review.
- Thursday, March 22
- Exam I.
- Lecture 18: Tuesday, March 27
- Section 2.2: Intro to Regular surfaces.
- Critical and regular values.
- Proposition 2: Inverse image of a regular value is a regular surface.
- Lecture 19: Thursday, March 29
- Section 2.2, Example 6: Coordinate systems on a torus.
- Minimal number of coordinate systems possible for a torus: 3 (not in book).
- Tuesday, April 3
- Spring Break.
- Thursday, April 5
- Spring Break
- Lecture 20: Tuesday, April 10
- Section 2.3: Change of Parameters and Differentiable functions on surfaces.
- Overlap maps are diffeomorphisms.
- Example 4: Surfaces of revolution.
- Lecture 21: Thursday, April 12
- Section 2.4: Tangent Plane and differential of a map between surfaces..
- Lecture 22: Tuesday, April 17
- Section 2.5: First Fundamental Form and Area.
- Using the first fundamental form to find length
- Using the first fundamental form to find angle between coordinate
curves
- Examples of these on a sphere
- Lecture 23: Thursday, April 19
- Section 2.5: The first fundamental form and area.
- Torus example.
- Section 2.6: Orientation.
- Theorem: S orientable if and only if there exists differentiable
field of unit normal vectors.
- Sphere example, Mobius strip example.
- Lecture 24: Tuesday, April 24
- Chapter 3: Appendix on self-adjoint maps
- Section 3.2: Gauss map.
- Differential of Gauss map.
- Sphere example and intuitive torus example.
- Lecture 25: Thursday, April 26
- Section 3.2: Differential of Gauss map is self-adjoint
- Second fundamental form and normal curvature
- Sphere example, rotation of z=y^4 example, curved plane example
- Principal curvature and principal directions
- Normal curvature for any tangent v in terms of principal
curvatures
- Definition 6: Determinant and trace of differential of Gauss map
- Lecture 26: Tuesday, May 1
- Definitions of I, II, E, F, G, e, f, g, K, and H.
- Lecture 27: Thursday, May 3
- Notes click here.
- Lecture 28: Tuesday, May 8
- Review of last few weeks.
- First fundamental Form.
- Gauss map.
- Second fundamental form.
- Gaussian and mean curvatures.
- How to compute all the above in coordinates.
- Lecture 29: Thursday, May 10
- TBA.