The Newman-Penrose formalism for Riemannian 3-manifolds
Amir B. Aazami Kavli IPMU (WPI), The University of Tokyo
We adapt the Newman-Penrose formalism in general relativity to the setting of three-dimensional Riemannian geometry, and prove the following results. Given a Riemannian 3-manifold without boundary and a smooth unit vector field with geodesic flow, if an integral curve of is hypersurface-orthogonal at a point, then it is so at every point along that curve. Furthermore, if is complete, hypersurface-orthogonal, and satisfies , then the divergence of must be nonnegative. As an app- lication, we show that when , a geodesic and divergence-free unit vector field cannot be hypersurface-orthogonal; the case yields known results pertaining to unit length Killing vector fields. Along the way, we connect this formalism to some recent results from contact geometry, and mention how the Newman-Penrose formalism may be used to help classify scalar-flat Riemannian 3-manifolds.