(Notes) When is a metric conformal to Ricciflat?
This question arose when I was discussing with Kaća Bradonjić, who has done work on gravity theories where conformal geometry plays a different role than in general relativity.
Just to be precise, here’s the question again. Let’s say we have an ndimensional manifold M, and somebody hands you the metric . In all generality, the Riemann curvature of (the LeviCivita connection of g) can have nonzero Ricci curvature and nonzero Weyl part (details below). Given this metric, can there exist a conformal factor such that the conformally transformed metric, , has zero Ricci curvature for its connection ?
First let’s recall the Ricci/Weyl decomposition of the Riemann tensor,
where the symbol was one I used in this post to mean “project onto the algebraic symmetries of the Riemann tensor” by antisymmetrizing on ab, antisymmetrizing on cd, then symmetrizing on the two pairs. In Young tableau language, that means projecting with the Young symmetrizer that looks like
Next we have to crack open a textbook and look up how tensors that depend on are determined by their counterparts from and various derivatives of . You can find these in e.g. Appendix D of Wald.^{1} The easy ones are
From Eq. \eqref{eq:confC} we immediately see that you can never get rid of Weyl curvature by conformal transformations (why the Weyl tensor is sometimes called the conformal tensor). Hence the most you can hope for is to be able to get rid of Ricci curvature through a conformal transformation.
The relationship between the Ricci tensors and is nastier. It’s slightly nicer to focus on a “traceadjusted” version of Ricci called the Schouten tensor, which in components is
This happens to make the Ricci/Weyl decomposition \eqref{eq:Rdecompproj} slightly simpler,
It also has a somewhat straightforward relationship under conformal transformations,
Notice that the trace of Schouten is determined by the trace of Ricci, , so the vanishing of the Schouten tensor is equivalent to the vanishing of the Ricci tensor. Thus we can restate the original question to ask: when does there exist an such that ? And this immediately becomes a question of “integrability” of the system of equations
which are n(n+1)/2 partial differential equations for the single scalar field . For a gentle introduction to the theory of integrability from a geometric viewpoint, I recommend the sections on Frobenius’ theorem from Schutz’s little geometry book.^{2}
To start with, we recast the secondorder system \eqref{eq:integ0} in first order form by adjoining an auxiliary oneform
which must satisfy the integrability condition
by the commutativity of (torsionfree) covariant derivatives on a scalar field (i.e. the oneform is closed). In terms of this new oneform, Eq. \eqref{eq:integ0} becomes the firstorder system of PDEs
If we can solve \eqref{eq:integomega1} for which satisfies \eqref{eq:integomega}, and there is no topological obstruction (i.e. is not just closed but exact; a question in de Rham cohomology), then it can immediately be integrated up into a solution for
Now to find the integrability of this firstorder system, let’s take a further derivative of Eq. \eqref{eq:integomega1} and antisymmetrize over the [cb] index pair. On the lefthand side, this gives a commutator of covariant derivatives, which means we can convert it into a curvature tensor. The price is that on the righthand side, we will be taking derivatives of the ’s. But if solutions exist, then we can just reuse \eqref{eq:integomega1} to replace with P and products of without derivatives. I encourage you to do these manipulations with xAct/xTensor, of course.
The resulting integrability condition is the amazingly simple
As an easy consequence, when the Weyl tensor vanishes, is conformal to Ricciflat (and indeed conformal to flat) if and only if . This result was already known to Schouten back in 1920,^{3} but I’m interested in the more general case when the Weyl tensor is nonvanishing.
So, we have succeeded in turning integrability of \eqref{eq:integ0} into an algebraic test. In words, this condition is: Treat the Weyl tensor as a linear map from to ; then a necessary (but not yet sufficient) condition for \eqref{eq:integ0} to be integrable is that must be in the image of this linear map.
At this point I would be remiss in my duties if I neglected to tell you that has a perhaps more familiar expression. Start from the Bianchi identity and decompose Riemann into the Weyl and Schouten tensors. After performing a contraction, we find the identity
So we can see that lives in the representation labeled by the Young diagram In fact you could have seen this from the index symmetries without knowing identity \eqref{eq:divWeyl}.
Thus it is at least algebraically possible for to live in the image of . If it actually does (which is the real question) then there is a space of potential solutions (unique up to elements of the kernel of Weyl). We then need there to be a solution in this space which satisfies the integrability condition . If all of these conditions are satisfied, then the closed oneform exists; and if there is no topological obstruction, is also exact, so may be integrated up, and finally can be found, which will be Ricciflat.
References

J A Schouten, Über die konforme Abbildung ndimensionaler Mannigfaltigkeiten mit quadratischer Maßbestimmung auf eine Mannigfaltigkeit mit euklidischer Maßbestimmung, Math Z (1921) 11: 58. Thanks to Uli Sperhake for helping me try to understand some of the German in this old paper! ↩