∇ MemoLearning Differential Geometry

Curves, surfaces, manifolds, and the geometry of smooth spaces

← Back to Mathematics

Curriculum Overview

10
Total Units
~130
Key Concepts
6
Core Units
4
Advanced Units
1

Curves in Euclidean Space

Study parametric curves, curvature, and fundamental properties in ℝ² and ℝ³.

  • Parametric curves and arc length
  • Tangent vectors and unit tangent vector
  • Curvature and radius of curvature
  • Frenet-Serret formulas
  • Normal and binormal vectors
  • Torsion of space curves
  • Fundamental theorem of space curves
  • Examples: helix, cycloid, catenary
2

Surfaces in ℝ³

Learn the local theory of surfaces embedded in three-dimensional space.

  • Parametric surfaces and coordinate patches
  • Tangent planes and normal vectors
  • First fundamental form
  • Second fundamental form
  • Principal curvatures
  • Mean and Gaussian curvature
  • Geodesics on surfaces
  • Examples: sphere, cylinder, torus
3

Intrinsic Geometry of Surfaces

Study geometric properties that depend only on the surface itself.

  • Gauss's Theorema Egregium
  • Christoffel symbols
  • Covariant derivatives
  • Parallel transport
  • Geodesic curvature
  • Gauss-Bonnet theorem
  • Isometries and conformal maps
  • Developable surfaces
4

Introduction to Manifolds

Learn the foundations of smooth manifold theory and coordinate systems.

  • Topological manifolds
  • Smooth manifolds and atlases
  • Coordinate charts and transitions
  • Smooth maps between manifolds
  • Tangent spaces and tangent vectors
  • Differential of a smooth map
  • Immersions and embeddings
  • Examples: spheres, projective spaces
5

Vector Fields and Differential Forms

Study vector fields, differential forms, and exterior calculus on manifolds.

  • Vector fields on manifolds
  • Lie brackets of vector fields
  • Flows and integral curves
  • Differential 1-forms and cotangent space
  • Exterior algebra and wedge products
  • Exterior derivative
  • de Rham cohomology
  • Integration of differential forms
6

Riemannian Geometry

Study manifolds equipped with Riemannian metrics and their geometric properties.

  • Riemannian metrics
  • Length and distance on manifolds
  • Levi-Civita connection
  • Covariant derivatives of vector fields
  • Parallel transport and holonomy
  • Geodesics and exponential map
  • Curvature tensor
  • Sectional and Ricci curvature
7

Curvature and Topology

Explore the deep connections between curvature and topological properties.

  • Riemann curvature tensor
  • Bianchi identities
  • Scalar curvature
  • Einstein tensor
  • Spaces of constant curvature
  • Gauss-Bonnet theorem in higher dimensions
  • Chern-Gauss-Bonnet theorem
  • Index theorems
8

Lie Groups and Lie Algebras

Study continuous symmetry groups and their infinitesimal structure.

  • Definition of Lie groups
  • Matrix Lie groups
  • Lie algebras and exponential map
  • One-parameter subgroups
  • Adjoint representation
  • Killing form
  • Homogeneous spaces
  • Applications to geometry
9

Fiber Bundles and Connections

Learn about fiber bundles and connections in modern differential geometry.

  • Fiber bundles and vector bundles
  • Principal bundles
  • Connections on bundles
  • Curvature of connections
  • Characteristic classes
  • Chern classes
  • Yang-Mills theory
  • Gauge theory
10

Advanced Topics and Applications

Explore modern developments and applications of differential geometry.

  • Complex manifolds
  • Kähler geometry
  • Minimal surfaces
  • General relativity applications
  • Morse theory
  • Symplectic geometry
  • Contact geometry
  • Applications to physics

Unit 1: Curves in Euclidean Space

Study the differential geometry of curves in ℝ² and ℝ³, building intuition for higher-dimensional concepts.

Parametric Curves

Learn curves as functions γ: I → ℝⁿ. Study regular curves where γ'(t) ≠ 0, and compute arc length s = ∫|γ'(t)|dt.

Tangent Vectors

Define tangent vector T(t) = γ'(t) and unit tangent vector T(t) = γ'(t)/|γ'(t)|. Understand geometric interpretation as velocity and direction.

Curvature

Learn curvature κ(t) = |T'(t)|/|γ'(t)| measuring how fast the curve turns. Study radius of curvature R = 1/κ and osculating circle.

Frenet-Serret Formulas

Derive T' = κN, N' = -κT + τB, B' = -τN for the moving frame {T, N, B} along space curves. Understand geometric significance.

Normal and Binormal

Define principal normal N = T'/|T'| and binormal B = T × N. Learn how these form an orthonormal frame called the Frenet frame.

Torsion

Study torsion τ = (γ' × γ'' · γ''')/ |γ' × γ''|² measuring how much the curve twists out of its osculating plane.

Fundamental Theorem

Learn that curvature κ(s) and torsion τ(s) uniquely determine a curve up to rigid motions. Understand reconstruction from invariants.

Classical Examples

Study helix (constant curvature and torsion), cycloid (generated by rolling circle), catenary (hanging chain), and their geometric properties.

Unit 2: Surfaces in ℝ³

Learn the local differential geometry of surfaces embedded in three-dimensional Euclidean space.

Parametric Surfaces

Study surfaces as r(u,v) = (x(u,v), y(u,v), z(u,v)). Learn coordinate patches, regular surfaces, and non-degenerate parameterizations.

Tangent Planes

Define tangent vectors rᵤ = ∂r/∂u and rᵥ = ∂r/∂v. Learn tangent plane spanned by {rᵤ, rᵥ} and normal vector N = rᵤ × rᵥ.

First Fundamental Form

Study metric tensor I = E du² + 2F du dv + G dv² where E = rᵤ·rᵤ, F = rᵤ·rᵥ, G = rᵥ·rᵥ. Learn length and angle measurements.

Second Fundamental Form

Learn II = L du² + 2M du dv + N dv² where L, M, N involve second derivatives. Understand how this measures bending of the surface.

Principal Curvatures

Find principal curvatures κ₁, κ₂ as eigenvalues of the shape operator S = I⁻¹II. Learn principal directions as corresponding eigenvectors.

Mean and Gaussian Curvature

Define mean curvature H = (κ₁ + κ₂)/2 and Gaussian curvature K = κ₁κ₂. Understand geometric interpretation and computational formulas.

Geodesics

Study curves on surfaces with zero geodesic curvature. Learn geodesic equations and that geodesics locally minimize distance on surfaces.

Classical Examples

Compute curvatures for sphere (K = 1/R², H = 1/R), cylinder (K = 0, H = 1/2R), and torus. Understand different geometric behaviors.

Unit 3: Intrinsic Geometry of Surfaces

Study properties of surfaces that depend only on their intrinsic metric, not their embedding in ℝ³.

Theorema Egregium

Learn Gauss's remarkable theorem: Gaussian curvature depends only on the first fundamental form, not on how the surface sits in space.

Christoffel Symbols

Compute Christoffel symbols Γᵢⱼᵏ from the metric tensor. Understand their role in describing how coordinate bases change from point to point.

Covariant Derivatives

Learn covariant derivative ∇ as the intrinsic derivative operator on surfaces. Understand how it measures rate of change along the surface.

Parallel Transport

Study parallel transport of vectors along curves on surfaces. Learn that parallel transport generally depends on the path taken.

Geodesic Curvature

Define geodesic curvature κₘ measuring how much a curve deviates from being a geodesic. Learn its relationship to normal curvature.

Gauss-Bonnet Theorem

Learn ∮κₘds + ∬K dA = 2πχ(S) relating curvature to topology. Understand this fundamental connection between geometry and topology.

Isometries

Study maps that preserve distances and angles. Learn local isometry theorem and understand when surfaces can be "unrolled" without distortion.

Developable Surfaces

Study surfaces with zero Gaussian curvature: cylinders, cones, and tangent developables. Learn their special geometric properties.

Unit 4: Introduction to Manifolds

Learn the foundations of smooth manifold theory, generalizing curves and surfaces to arbitrary dimensions.

Topological Manifolds

Learn n-dimensional manifolds as spaces locally homeomorphic to ℝⁿ. Understand charts, atlases, and compatibility conditions.

Smooth Structure

Define smooth manifolds using smoothly compatible coordinate charts. Learn maximal atlases and equivalent smooth structures.

Coordinate Charts

Master coordinate charts φ: U → ℝⁿ and transition maps. Understand how smoothness is defined using local coordinates.

Smooth Maps

Define smooth maps f: M → N between manifolds. Learn that smoothness is checked using coordinate representations.

Tangent Spaces

Define tangent space TₚM as space of tangent vectors at p. Learn equivalence of geometric, algebraic, and kinematic definitions.

Differential Maps

Study differential dfₚ: TₚM →