The covariant derivative is a way to differentiate vector fields and tensor fields in a manner that respects the geometric structure of the underlying manifold. It is a generalization of the concept of directional derivatives from vector calculus to curved spaces, ensuring that the differentiation has a consistent and meaningful geometric interpretation. ### Key Concepts: 1. **Manifold**: A manifold is a mathematical space that locally resembles Euclidean space and allows for the generalization of calculus in curved spaces.
Articles by others on the same topic
A covariant derivative differentiates a tensor field while accounting for the changing local basis. For a vector field, an affine connection gives . Each additional contravariant index contributes a plus connection term, and each covariant index contributes a minus term.
The correction makes the result a tensor, even under nonlinear changes of coordinates. For example, a constant Cartesian vector on a flat plane has varying components in polar coordinates; the connection terms cancel that coordinate variation. In general relativity, the Levi-Civita connection supplies the metric-compatible derivative. Parallel transport sets the derivative along a curve to zero, while the geodesic equation sets a freely falling body's tangent derivative to zero.[ref]
Lecture Notes on General Relativity by Sean M. Carroll. Sections 2–3: nonlinear coordinate derivatives, connections and parallel transport
