Space of Riemannian metrics

Definition

Given data

A differential manifold $M$.

Definition part

The space of Riemannian metrics on $M$ is the set of all Riemannian metrics on $M$. Since each Riemannian metric can be viewed as a $(0,2)$-tensor (viz a section of the $(0,2)$-tensor bundle), the space of Riemannian metrics can be viewed as a subset of the space of all sections of the $(0,2)$-tensor bundle.

The space of Riemannian metrics is important because we are interested in studying evolutions of Riemannian metrics under flow equations, and the manifold over which these flow equations are considered is precisely the space of Riemannian metrics.

Quotients and moduli

Riemannian metrics upto conformal equivalence

We declare two Riemannian metrics to be conformally equivalent if there is a scalar, everywhere nonzero function that multiplied with one Riemannian metric, gives the other. This is essentially equivalence under the action of the multiplicative group of everywhere positive functions, on the tensor bundle. The quotient of the space of Riemannian metrics under the equivalence relation of conformal equivalence, is termed the space of conformal classes of Riemannian metrics.

Riemannian metrics upto diffeomorphism equivalence

We declare two Riemannian metrics to be diffeomorphically equivalent if there is a diffeomorphism of the underlying manifold that takes one Riemannian metric to the other. The moduli space obtaiend by quotienting out by this equivalence relation is termed the space of Riemannian metrics up to diffeomorphism.