When studying and formulating Albert Einstein's theory of general relativity, various mathematical structures and techniques are utilized. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.

Note: General relativity articles using tensors will use the abstract index notation.

The principle of general covariance was one of the central principles in the development of general relativity. It states that the laws of physics should take the same mathematical form in all reference frames. The term 'general covariance' was used in the early formulation of general relativity, but the principle is now often referred to as 'diffeomorphism covariance'.

Diffeomorphism covariance is not the defining feature of general relativity,^[1] and controversies remain regarding its present status in general relativity. However, the invariance property of physical laws implied in the principle, coupled with the fact that the theory is essentially geometrical in character (making use of non-Euclidean geometries), suggested that general relativity be formulated using the language of tensors. This will be discussed further below.

Most modern approaches to mathematical general relativity begin with the concept of a manifold. More precisely, the basic physical construct representing gravitation — a curved spacetime — is modelled by a four-dimensional, smooth, connected, Lorentzian manifold. Other physical descriptors are represented by various tensors, discussed below.

The rationale for choosing a manifold as the fundamental mathematical structure is to reflect desirable physical properties. For example, in the theory of manifolds, each point is contained in a (by no means unique) coordinate chart, and this chart can be thought of as representing the 'local spacetime' around the observer (represented by the point). The principle of local Lorentz covariance, which states that the laws of special relativity hold locally about each point of spacetime, lends further support to the choice of a manifold structure for representing spacetime, as locally around a point on a general manifold, the region 'looks like', or approximates very closely Minkowski space (flat spacetime).

The idea of coordinate charts as 'local observers who can perform measurements in their vicinity' also makes good physical sense, as this is how one actually collects physical data — locally. For cosmological problems, a coordinate chart may be quite large.

An important distinction in physics is the difference between local and global structures. Measurements in physics are performed in a relatively small region of spacetime and this is one reason for studying the local structure of spacetime in general relativity, whereas determining the global spacetime structure is important, especially in cosmological problems.