In Riemannian geometry one has a manifold of dimension which admits a metric tensor whose signature is arbitrary. Let be the unique Levi-Civita connection on arising from and let be the associated curvature tensor with components . Of importance in Riemannian geometry is the idea of a conformal change of metric, that is, the replacement of the metric by the metric where is a nowhere-zero real-valued function on . The metrics and are then said to be conformally related (or is said to be "conformal" to ). One now asks for the existence of a tensor on which is constructed from the original metric on and which would be unchanged if it were to be replaced with another metric conformally related to it. (It is noted here that the curvature tensor would only be unaffected by such a change, in general, if the function were constant.) The answer was provided mainly by H. Weyl [a1], but with important contributions from J.A. Schouten [a2] (see also [a3]). For , Weyl constructed the tensor (now called the Weyl tensor) with components given by
where are the Ricci tensor components, is the Ricci scalar and square brackets denote the usual skew-symmetrization of indices. If this tensor is written out in terms of the metric and its first- and second-order derivatives, it can then be shown to be unchanged if is replaced by the metric . (It should be noted that this is not true of the tensor with components , which would be scaled by a factor on exchanging for .) If is a flat metric (so that ), then the Weyl tensor constructed from (and from ) is zero on . Conversely, if gives rise, from (a1), to a zero Weyl tensor on , then for each in there are a neighbourhood of in , a real-valued function on and a flat metric on such that on (i.e. is locally conformal to a flat metric on ). When on , the latter is called conformally flat.
If , it can be shown from (a1) that on . Since not every metric on such a manifold is locally conformally related to a flat metric, the tensor is no longer appropriate. The situation was resolved by Schouten [a2] when he found that the tensor given in components by
(using a semi-colon to denote a covariant derivative with respect to the Levi-Civita connection arising from the metric) played exactly the same role in dimension as did for . If , every metric on is locally conformally related to a flat metric [a3].
The tensor has all the usual algebraic symmetries of the curvature tensor, together with the extra relation . If the Ricci tensor is zero on , the Weyl tensor and the curvature tensor are equal on . The tensor introduced in (a2) by Schouten possesses the algebraic identities
It is interesting to ask if two metrics on () having the same Weyl tensor as in (a1) are necessarily (locally) conformally related. The answer is clearly no if . If is not zero on , the answer is still no, a counter-example (at least) being available for a space-time manifold (i.e. a -dimensional manifold admitting a metric with Lorentz signature ).
The Weyl tensor finds many uses in differential geometry and also in Einstein's general relativity theory. In the latter it has important physical interpretations and its algebraic classification is the famous Petrov classification of gravitational fields [a4]
|[a1]||H. Weyl, "Reine Infinitesimalgeometrie" Math. Z. , 2 (1918) pp. 384–411|
|[a2]||J.A. Schouten, "Ueber die konforme Abbildung -dimensionaler Mannigfaltigkeiten mit quadratischer Massbestimmung auf eine Mannigfaltigkeit mit Euklidischer Massbestimmung" Math. Z. , 11 (1921) pp. 58–88|
|[a3]||L.P. Eisenhart, "Riemannian geometry" , Princeton Univ. Press (1966)|
|[a4]||A.Z. Petrov., "Einstein spaces" , Pergamon (1969)|
Weyl tensor. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Weyl_tensor&oldid=13123