Covariant Derivative

Differential Geometry · Axiom Academy

Understanding differentiation of vector fields on curved manifolds 1. Definition: The Covariant Derivative The covariant derivative ∇ₓY measures how a vector field Y changes in the direction of another vector field X. Unlike ordinary differentiation, it accounts for the manifold's curvature. The notation ∇ₓY represents "the covariant derivative of Y with respect to X" or "how Y changes as we move in the X direction." 2. Formula Using Christoffel Symbols In local coordinates, the covariant derivative is expressed using Christoffel symbols Γ, which encode the manifold's connection structure. The Christoffel symbols Γᵏᵢⱼ are the "correction terms" that account for how basis vectors change from point to point on the curved manifold. They depend on the metric tensor and its derivatives. 3. Difference from Ordinary Derivative The covariant derivative differs fundamentally from the ordinary partial derivative because it accounts for the geometry of the underlying space. The partial derivative ∂ᵢVʲ only captures how the components change. The covariant derivative adds correction terms (involving Christoffel symbols) that account for how the basis vectors themselves vary across the manifold. 4. Product Rule for Covariant Derivative The covariant derivative satisfies a Leibniz (product) rule, similar to ordinary differentiation. This is crucial for working with tensor products.

This is the written version of the interactive lesson above. See the full Differential Geometry course.