SYSTEMATIC MATHEMATICS

Differential Geometry & Manifolds

This course contains 35 visible knowledge chapters in seven content-sized units of lengths 5, 5, 5, 5, 4, 6, and 5. How can we measure how sharply a road bends, why a cylinder can be unrolled without stretching, and why the shortest route on a sphere is not a straight line in space? Begin with drawn curves, circles, helices, planes, cylinders, saddles, and spheres. Coordinates are temporary measuring tools; every symbol is read before use and every coordinate answer returns to length, angle, bending, shortest path, area, motion, or topology. The same ideas extend to smooth spaces of any dimension, where vector fields generate local flows and Lie brackets measure noncommuting motion before forms are integrated. Every coordinate computation returns to an invariant statement, and every global conclusion names its topology, compactness, orientation, completeness, and regularity boundary.

Before this course: Completed Multivariable Calculus, Vector Calculus, Linear Algebra, Differential Equations & Dynamical Systems, Real Analysis, Proof, Logic & Set Theory, and Topology. Calculus of Variations is used for the geodesic first variation, while Measure & Lebesgue Integration supports partitions and integration. Learners should be able to differentiate maps, solve smooth ODE initial-value problems, manipulate bases and bilinear forms, prove compactness and connectedness claims, and track orientation in line and surface integrals. No prior manifold, tensor, differential-form, Lie-group, algebraic-topology, or Riemannian-geometry course is assumed.

COURSE FACTSLevel, chapters, units, prerequisite, and outcome
Chapter 1

Parameterized curves, regularity, and reparameterization

Objective: Can two maps with the same trace define different parameterized curves?

A curve is a map, not merely its traced point set; regularity ensures a nonzero tangent direction and an admissible parameter change preserves geometric motion.

Objects and notation: A C^k curve is a map γ:I→R^n with k continuous derivatives; it is regular when γ′(t)≠0. A regular reparameterization is γ∘φ where φ is a C^k diffeomorphism between intervals. The result to establish is: Under an orientation-preserving reparameterization, tangent direction and all parameter-independent geometric quantities agree; an orientation-reversing change reverses the unit tangent. Read each component formula in a named parameter domain, chart, or frame, and distinguish the coordinate list from the geometric vector, form, metric, or curvature it represents.

The worked question is: For γ(t)=(cos 2t,sin 2t), 0<t<π, identify the traced set, speed, and orientation. Begin with “The identity x²+y²=1 shows that the trace lies on the unit circle, missing only the endpoint represented by t=0,π.” and finish with “At t=0 the velocity points upward, so the traversal is counterclockwise and covers one circuit.” Then compare with this nearby failure: The cusp γ(t)=(t²,t³) has γ′(0)=0, so its displayed trace does not provide a regular tangent through the origin. The comparison shows which part is coordinate-dependent and which conclusion survives every allowed change of coordinates.

Under an orientation-preserving reparameterization, tangent direction and all parameter-independent geometric quantities agree; an orientation-reversing change reverses the unit tangent.

Apply the chain rule: (γ∘φ)′(u)=γ′(φ(u))φ′(u).

Because φ′ never vanishes, regularity is preserved and the sign of φ′ records orientation.

Normalize the derivative; the positive scale cancels, while a negative scale contributes exactly one sign reversal.

For γ(t)=(cos 2t,sin 2t), 0<t<π, identify the traced set, speed, and orientation.

  1. The identity x²+y²=1 shows that the trace lies on the unit circle, missing only the endpoint represented by t=0,π.
  2. γ′(t)=(-2sin 2t,2cos 2t), so the speed is constantly 2 and never vanishes.
  3. At t=0 the velocity points upward, so the traversal is counterclockwise and covers one circuit.

Result: It is a regular counterclockwise unit-circle parameterization of speed 2 on the stated open interval.