1 |
20.09 |
Introduction and motivation for differential and Riemannian geometry. Regular curves in \(\mathbb R^n\), their arclength, unit tangent vector and curvature vector. Specialize to curves in \(\mathbb R^2\).
|
2 |
25.09. |
More on curves in \(\mathbb R^2\): curvature of a curve determines curve up to rigid motion, rotation number. Curves in \(\mathbb R^3\): binormal vector, Frenet frame, torsion vector. |
27.09. |
Statement of Fenchel's and Milnor's Theorem. Surfaces in \(\mathbb R^3\): Overview how to define curvature of surfaces. (A) Geometric definition of the curvature using curvature of curves. |
3 |
02.10. |
End of proof that definition (A) is well-defined. (B) Definition of curvature using Hessian of a function in well-chosen coordinates, 2nd fundamental form. Examples. |
04.10. |
Principal directions for surface with symmetry. Vector fields on a surface. (C) Definition of curvature using directional derivative of the normal, the Weingarten map. |
4 |
09.10. |
Proof of equivalence of formulas from (B) and (C). Eyeglasses. |
11.10. |
Overview of (D), (E): Formulas for parametrized surfaces and graphs. Intrinsic geometry, first fundamental form, (local) isometries. 3 Theorems: Theorema Egregium, Gauss-Bonnet Theorem, Uniformization Theorem. |
5 |
16.10. |
Overview of differentiable manifolds. Topological spaces. Charts, parametrizations, overlaps and transition maps, compatible charts. |
18.10. |
Atlas, lots of examples including different atlases on spheres, the real projective space. Maximal atlas and theorem of existence. Definition of a differentiable manifold. |
6 |
23.10. |
Proof of maximal atlas theorem. Cunstruction of smooth manifolds: open subsets, product manifolds. Smooth maps, diffeomorphisms. Motivation abtract tangent vectors. |
25.10. |
Four characterizations of tangent vectors. Definition of the tangent space at a point. |
7 |
30.10. |
Differential of a map, coordinate expression for differentials. Chain rule. The tangent bundle of a manifold. |
01.11. |
Vector fields, number of pointwise linearly independent vector fields. Submanifolds. Next goal: When is the image or the preimage of a smooth map a submanifold? |
8 |
06.11. |
Immersions, submersions, embeddings, local diffeomorphisms. Covering maps. Properly discontinuous and free actions produce covering maps. |
08.11. |
Orientations, orientation double cover. |
9 |
13.11. |
Local immersion theorem. Embedding criterion. Proper maps. |
15.11. |
Sketch of steps to prove embedding theorem for proper maps by stating relevant lemmas. Countability definitions: second countable, paracompact, sigma-compact and relations between them. Ordinals. |
10 |
20.11. |
Bump functions, cutoff functions, partitions of unity. Different flavours of the Whitney embedding theorem. |
22.11. |
Proof of the Whitney embedding theorem for compact manifolds. The submersion theorems. Critical point, critical values. |
11 |
27.11. |
Sard's Theorem. Derivatives of vector fields, Lie bracket. |
29.11. |
Properties of the Lie bracket. Lie algebras. Flows: Definition, existence and uniquness theorems. |
12 |
04.12. |
Complete vector fields, maximum interval of existence, sublinear vector fields are complete. Group property of flows. |
06.12. |
No class. |
13 |
11.12. |
Incomplete flows: Group property, domain of definition is open. Straightening vector fields. Definition pullback and pushforward of vector fields. |
13.12. |
Properties of pullback and pushforward. Definition Lie derivative. |
14 |
18.12. |
Lie derivative equals Lie bracket. |
20.12. |
Commuting flows and vector fields.Commutation error. Parking |