View source for Petrov classification

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category.

Out of 50 formulas, 47 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|part}}
The [[Space-time|space-time]] of general [[Relativity theory|relativity theory]] consists of a connected Hausdorff [[Manifold|manifold]] $M$ of dimension $4$, called the space-time, which admits a [[Metric tensor|metric tensor]] $g$ of Lorentz signature $( + + + - )$. A tensor of particular importance from both the physical and mathematical viewpoint is the [[Weyl tensor|Weyl tensor]] $C$. This tensor has the property that if the metric $g$ is replaced by a metric $g ^ { \prime }$ which is conformally related to it (so that $g ^ { \prime } = \phi g$ for a nowhere-zero real-valued function $\phi$ on $M$), then it is unchanged. If $C$ is zero on $M$, then $g$ is locally conformally related to a flat metric on $M$. The tensor $C$ is given in components in terms of the [[Curvature|curvature]] components $R ^ { a } _{b c d}$, the [[Ricci tensor|Ricci tensor]] components $R _ { a b } \equiv R _ { a c b } ^ { c }$, and the Ricci scalar $R=R_{ab}g^{ab}$ (and with square brackets denoting the usual skew-symmetrization of indices) by

<table class="eq" style="width:100%;"> <tr><td style="width:94%;text-align:center;" valign="top"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p120/p120120/p12012019.png"/></td> <td style="width:5%;text-align:right;" valign="top">(a1)</td></tr></table>

In the late 1940s and early 1950s, A.Z. Petrov developed some elegant algebraic techniques which led to the classification of the Weyl tensor and which now bears his name [[#References|[a1]]]. Essentially, one takes the Weyl tensor with components $C_{abcd}$ and, making use of the symmetries of this tensor, writes them in  "block index"  form $C _ { A B }$ where each capital index can take a value $1$–$6$ and represents a pair of skew indices according to the scheme:

$1$ represents $( 2,3 )$,

$2$ represents $( 3,1 )$,

$3$ represents $( 1,2 )$,

$4$ represents $( 1,4 )$,

$5$ represents $( 2,4 )$,

$6$ represents $( 3,4 )$. Thus, $C _ { 1234 }$ becomes $C _ { 36 }$, etc. Then one converts the resulting $( 6 \times 6 )$-matrix to a complex $( 3 \times 3 )$-matrix which, in a well-defined sense, is equivalent to it and which, by the symmetries of the Weyl tensor, is symmetric and trace-free. One then proceeds to classify the Weyl tensor by the Jordan form of this matrix which, from the trace-free condition, must either be (in Segre's notation; see [[Segre classification|Segre classification]]) $\{ 111 \}$, $\{ 1 ( 11 ) \}$, $\{ 21 \}$, $\{ ( 21 ) \}$, $\{ 3 \}$, or the zero matrix at a point of $M$ (the type being dependent on the point!). The trace-free condition shows that in the last three types all eigenvalues are zero. These possibilities are the Petrov types and they are conventionally labelled I, D, II, N, III, and 0, respectively. If a space-time has the same Petrov type at each point it is said to be of that type. A space-time of type 0 is conformally flat. For a vacuum space-time (one for which the Ricci tensor is zero on $M$) the Riemann tensor and the Weyl tensor are equal and so the Petrov classification applies to the [[Riemann tensor|Riemann tensor]]. Although it is more convenient to  "go complex"  to achieve these results, it is not necessary. One can work entirely in the field of real numbers, but the loss of algebraic closure means that one must deal with the case of complex eigenvalues as well as the (real) Jordan forms.

In the 1960s much further work was done on the Petrov classification, see [[#References|[a2]]], [[#References|[a3]]], [[#References|[a4]]], [[#References|[a5]]]. Associated with each Petrov type at at point $p$ in $M$ are $4$  "principal"  null directions (some possibly coincident). These directions are instrumental in the physical interpretation of the Petrov type and there are four distinct ones associated with type I, two with type D (both repeated), three with type II (one repeated), two with type III (one triply repeated), and one with type N (quadruply repeated). These directions have a rather elegant relationship with the Weyl tensor and were explored in detail by L. Bel and R.K. Sachs. R. Penrose was able to give a simpler approach to them using spinors instead of tensors [[#References|[a4]]].

One of the early uses of the Petrov classification was in the finding of exact solutions of the [[Einstein equations|Einstein equations]] [[#References|[a6]]]. The idea was that one looked for space-times of a particular Petrov type (together with other restrictions) to simplify the situation. The Petrov classification also fits elegantly into those powerful calculatory techniques usually referred to as the Newman–Penrose formalism [[#References|[a7]]].

====References====
<table>
<tr><td valign="top">[a1]</td> <td valign="top">  A.Z. Petrov,   "Einstein spaces" , Pergamon  (1969) {{ZBL|0174.28305}}</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  L. Bel,   ''Cah. de Phys.'' , '''16'''  (1962)  pp. 59</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  R.K. Sachs,   "Gravitational waves in general relativity VI: The outgoing radiation condition"  ''Proc. R. Soc. London'' , '''A264'''  (1961)  pp. 309</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  R. Penrose,   "A spinor approach to general relativity"  ''Ann. Phys.'' , '''10'''  (1960)  pp. 171–201</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  J. Géhéniau,   "Une classification des espaces einsteiniens"  ''C.R. Acad. Sci. Paris'' , '''244'''  (1957)  pp. 723</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  D. Kramer,   H. Stephani,   M.A.H. MacCallum,   E. Herlt.,   "Exact solutions of Einstein's field equations" , Cambridge Univ. Press  (1980)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  E.T. Newman,   R. Penrose,   "An approach to gravitational radiation by a method of spin coefficients"  ''J. Math. Phys.'' , '''3'''  (1962)  pp. 566</td></tr>
</table>