2 - Differential geometry

Summary

The spacetime structure is that of a manifold with a Lorentz metric and associated affine connection.

We introduce in §2.1 the concept of a manifold and in §2.2 vectors and tensors, which are the natural geometric objects defined on the manifold. A discussion of maps of manifolds in §2.3 leads to the definitions of the induced maps of tensors, and of sub-manifolds. The derivative of the induced maps defined by a vector field gives the Lie derivative defined in §2.4; another differential operation which depends only on the manifold structure is exterior differentiation, also defined in that section. This operation occurs in the generalized form of Stokes’ theorem.

The connection is introduced in §2.5, defining the covariant derivative and the curvature tensor. The connection is related to the metric on the manifold in §2.6; the curvature tensor is decomposed into the Weyl tensor and Ricci tensor, which are related to each other by the Bianchi identities.

The induced metric and connection on a hypersurface are discussed in §2.7, and the Gauss–Codacci relations are derived. The volume element defined by the metric is introduced in §2.8, and used to prove Gauss’ theorem.