The Goldberg–Sachs theorem is a result in Einstein's theory of general relativity about vacuum solutions of the Einstein field equations relating the existence of a certain type of congruence with algebraic properties of the Weyl tensor. More precisely, the theorem states that a vacuum solution of the Einstein field equations will admit a shear-free null geodesic congruence if and only if the Weyl tensor is algebraically special. The theorem is often used when searching for algebraically special vacuum solutions.
Shear-Free Rays A ray is a family of geodesic light-like curves. That is tangent vector field l a {\displaystyle l^{a}} is null and geodesic: l a l a = 0 {\displaystyle l_{a}l^{a}=0} and l b ∇ b l a = 0 {\displaystyle l^{b}\nabla _{b}l^{a}=0} . At each point, there is a (nonunique) 2D spatial slice of the tangent space orthogonal to l a {\displaystyle l^{a}} . It is spanned by a complex null vector m a {\displaystyle m^{a}} and its complex conjugate m ¯ a {\displaystyle {\bar {m}}^{a}} . If the metric is time positive, then the metric projected on the slice is g ~ a b = − m a m ¯ b − m ¯ a m b {\displaystyle {\tilde {g}}^{ab}=-m^{a}{\bar {m}}^{b}-{\bar {m}}^{a}m^{b}} . Goldberg and Sachs considered the projection of the gradient on this slice.
A a b = g ~ a p g ~ b q ∇ p l q = z m ¯ a m b + z ¯ m a m ¯ b + σ ¯ m a m b + σ m ¯ a m ¯ b . {\displaystyle A^{ab}={\tilde {g}}^{ap}{\tilde {g}}^{bq}\nabla _{p}l_{q}=z{\bar {m}}^{a}m^{b}+{\bar {z}}m^{a}{\bar {m}}^{b}+{\bar {\sigma }}m^{a}m^{b}+\sigma {\bar {m}}^{a}{\bar {m}}^{b}.}
A ray is shear-free if σ = 0 {\displaystyle \sigma =0} . Intuitively, this means a small shadow cast by the ray will preserve its shape. The shadow may rotate and grow/shrink, but it will not be distorted.
… excerpt ends here. Continue reading the full article.

