Advanced Geometry 2

Main references:

• Introduction to Smooth manifolds, by John M. Lee (note, two editions are available).

• Lecture notes on basic differential topology, by A. Lerario

Note: the reference by Lee is huge and hyper-detailed. We did not follow it uniformly for what concerns the level of detail (in the sense the some proofs were left as exercise, some readapted or simplified at the price of lesser generality). A selection has to be made, but you should have at the end of the course a solid working knowledge of smooth manifolds and basic differential topology.

Syllabus:

From the book Introduction to Smooth manifolds, by John M. Lee, FIRST EDITION:

• Chapter 1. Smooth manifolds. Skip connectivity and fundamental groups). Problems 1-1, 1-2, 1-5

• Chapter 2. Smooth Maps. (we assumed continuity in definition of smooth map to simplify exposition). Only the definition of Lie groups. Skip smooth coverings and  proper maps (but you should know the definitions). Partition of unity: only statement of existence (thm 2.25, no proof), existence of bump funcionts (prop. 2.26), and extension lemma 2.27

• Chapter 3. Tangent Vectors. We did not treat in detail the tangent space of manifolds with boundary. We only mentioned with no details the alternative definitions of tangent spaces.

• Chapter 4. Vector Fields. skip vector fields on manifolds with boundary, Lie algebra of a Lie group.

• Chapter 5. Vector Bundles. (skip categories and functors.

• Chapter 6. The Cotangent Bundle. Skip line integrals and conservative vector fields.

• Chapter 7. Submersions, Immersions, and Embeddings. Skip the proof of inverse/rank/implicit function on R^n which was given for granted.

• Chapter 8. Submanifolds. Skip submanifolds of manifolds with boundary, skip Lie subgroups

From the book Introduction to Smooth manifolds, by John M. Lee, SECOND EDITION:

• Chapter 6. Sard's theorem. Sets of measure zero, Sard Theorem, Whitney embedding theorem, Whitney approximation theorem, Transversality. This chapter contains some of the most importan theorems in the course.

• Chapter 12. Tensors. Skip Lie derivative of tensor fields. Lemma 12.24 is not necessary. Be aware of different notation for pullback (the book uses the notation dF^*_p for the "pointwise pullback" which we never used during the course and may be confusing)

• Chapter 14. Differential forms. Note that we used Einsein notation everywhere so, when dealing with k-forms, we sum over non-ordered indices. Keep this in mind when comparing with the notes. Skip sections: Exterior Derivatives and Vector Calculus in R3 and Lie Derivatives of Differential Forms

• Chapters 15/16. Orientations and Integration on manifolds. In class we actually followed the more succinct presentation as in section 4.9-4.10 of A. Lerario's lecture notes, which is more streamlined than Lee's chapters 15/16 (second edition). Pay attention to the special case m=0, which we did in class and is absent in the lecture notes. This is important to define orientation and induced orientation on the boundary in a consistent way, and for the proof and formulation of Stokes theorem.

• Chapter 17. De Rham Cohomology

Exercises:

List of exercises solved during the exercise session (numbers from Lerario's lecture notes). 86, 87, 88, 89, 29, 45, 47, 78, 53, 54, 57, 58, 59, the absolute value is not an immersed manifold, embedding of product of spheres, 88

You should be able, at least in principle, to do all exercises in the book by J. Lee, corresponding to the chapters/sections we treated. Of course this is not necessary for passing the exam, but it is an exhaustive collection of problems on the material we have done in class.

The lecture notes by A. Lerario also contain a good selection of exercises, a selection of them was done or presented in class.

Exam:

Written exam (around 3/4 hours) with a selection of exercises/problems and possibly a few quick questions from the theory

Oral exam (optional, the mark can increase or decrease): correction of the written exam + questions from the theory (with proofs of main theorems)