On when a Riemannian manifold of dimension ≥ 3 is conformally flat
In the mathematical field of differential geometry, the existence of isothermal coordinates for a (pseudo-)Riemannian metric is often of interest. In the case of a metric on a two-dimensional space, the existence of isothermal coordinates is unconditional. For higher-dimensional spaces, the Weyl–Schouten theorem (named after Hermann Weyl and Jan Arnoldus Schouten) characterizes the existence of isothermal coordinates by certain equations to be satisfied by the Riemann curvature tensor of the metric.
Existence of isothermal coordinates is also called conformal flatness, although some authors refer to it instead as local conformal flatness; for those authors, conformal flatness refers to a more restrictive condition.
Theorem
In terms of the Riemann curvature tensor, the Ricci tensor, and the scalar curvature, the Weyl tensor of a pseudo-Riemannian metric g of dimension n is given by
The Schouten tensor is defined via the Ricci and scalar curvatures by
As can be calculated by the Bianchi identities, these satisfy the relation that
The Weyl–Schouten theorem says that for any pseudo-Riemannian manifold of dimension n:
- If n ≥ 4 then the manifold is conformally flat if and only if its Weyl tensor is zero.
- If n = 3 then the manifold is conformally flat if and only if its Schouten tensor is a Codazzi tensor.
As known prior to the work of Weyl and Schouten, in the case n = 2, every manifold is conformally flat. In all cases, the theorem and its proof are entirely local, so the topology of the manifold is irrelevant.
There are varying conventions for the meaning of conformal flatness; the meaning as taken here is sometimes instead called local conformal flatness.
Sketch of proof
The only if direction is a direct computation based on how the Weyl and Schouten tensors are modified by a conformal change of metric. The if direction requires more work.
Consider the following equation for a 1-form ω:
Let Fω,g denote the tensor on the right-hand side. The Frobenius theorem[4] states that the above equation is locally solvable if and only if
is symmetric in i and k for any 1-form ω. A direct cancellation of terms[5] shows that this is the case if and only if
for any 1-form ω. If n = 3 then the left-hand side is zero since the Weyl tensor of any three-dimensional metric is zero; the right-hand side is zero whenever the Schouten tensor is a Codazzi tensor. If n ≥ 4 then the left-hand side is zero whenever the Weyl tensor is zero; the right-hand side is also then zero due to the identity given above which relates the Weyl tensor to the Schouten tensor.
As such, under the given curvature and dimension conditions, there always exists a locally defined 1-form ω solving the given equation. From the symmetry of the right-hand side, it follows that ω must be a closed form. The Poincaré lemma then implies that there is a real-valued function u with ω = du. Due to the formula for the Ricci curvature under a conformal change of metric, the (locally defined) pseudo-Riemannian metric eug is Ricci-flat. If n = 3 then every Ricci-flat metric is flat, and if n ≥ 4 then every Ricci-flat and Weyl-flat metric is flat.
See also
References
Notes.
- ^ For the direct version being used, see Abraham, Marsden & Ratiu 1988, Example 6.4.25D; Lee 2013, Proposition 19.29; Warner 1983, Remarks 1.61.
- ^ This uses the identity
Sources.