Manifolds 26 | Ricci Calculus

Ricci (tensor) calculus is introduced as a coordinate-based toolkit for doing differentiation and integration on manifolds—especially useful in physics because it compresses long expressions into index notation. The key shift from ordinary vector calculus is that indices carry geometric meaning: whether an index sits upstairs (superscript) or downstairs (subscript) affects how objects transform. In practice, a manifold point is handled via a local chart (a parameterization into ^n), but Ricci calculus keeps track of components using indices, turning geometric operations into algebraic ones.

The transcript builds the notation from the ground up. Starting with a chart map H: U  M  R^n, Ricci calculus focuses on the component functions of H, written as maps from U into R. Coordinate vector fields then appear through the pushed-forward canonical basis: the tangent space T_pM is spanned by basis vectors tied to the coordinate system, and tangent vectors are written as linear combinations of these basis elements. The components of a tangent vector are denoted with superscripts, and the basis vectors are associated with coordinate derivatives (via the same operator convention used earlier for partial derivatives).

To shorten repeated sums, the Einstein summation convention is emphasized: whenever an index name appears once upstairs and once downstairs, summation over that index is automatic, so explicit -signs are omitted. This convention is the engine behind the compactness of Ricci calculus, and it also explains why index placement matters. Vectors with superscript components are called contravariant vectors, while vectors with subscript components are called covariant vectors—names tied to how they transform under coordinate changes.

The transcript then connects the notation to familiar geometry. An inner product on a tangent space becomes a bilinear map that outputs a real number, and in index form it is computed using components V^j and W^k together with a metric tensor G. The metric’s components are placed with indices downstairs, so the summation convention produces the correct double sum. In this framework, the metric tensor is treated as a tensor (with its precise definition deferred), but the practical takeaway is clear: geometry like lengths and angles becomes matrix-like algebra in coordinates.

Finally, the dual of a contravariant vector is described. A covector (dual vector) has subscript components, and the corresponding dual basis uses superscripts so that the Einstein convention again triggers the right implicit sums. The transcript identifies the resulting dual objects as one-forms: linear maps from the tangent space to R. In coordinates, the one-form dx^j acts on a tangent vector and returns 1 or 0 depending on whether the relevant indices match, producing the Kronecker delta _{jk}. This coordinate pairing is presented as the foundation for later integration on manifolds, with the formal definition of one-forms promised for the next segment.