Manifolds & coordinates
Describe spaces locally by Euclidean charts while allowing globally non-Euclidean topology.
Side 217Side Studies / Research
Subject
Differential Geometry
Purpose
Smooth curves, surfaces and manifolds studied through tangent spaces, metrics, curvature and geometric invariants.
Structure
05 movesFormal systemV0
Definitions → structures → relations → proof → application
Do geometry locally with calculus, globally with structure.
Differential geometry turns curved spaces into objects that can be analyzed locally by linearization while preserving global geometric constraints.
Tangent spaces
Represent local directions and derivatives intrinsically rather than depending on one embedding.
Metrics & geodesics
Define lengths, angles and shortest paths through a metric tensor.
Curvature
Measure how geometry departs from flatness and how curvature constrains geodesics and volume.
Forms & global invariants
Use differential forms and integration to connect local derivatives with global topological information.
Keep the boundaries visible.
coordinate ≠ point
geodesic ≠ globally shortest path
curvature ≠ visual bending
Questions that organize the Side.
What geometric statements remain unchanged under a change of coordinates?
How does local curvature influence global structure?
Why are differential forms natural objects for integration on manifolds?
What should carry weight here?
Proofs should distinguish coordinate expressions from invariant statements; diagrams of curved surfaces are intuition, not definitions.