Spacetime with a Constant Spinor Field

Abstract

Taub used spinor analysis to prove that a spacetime admitting a covariantly constant spinor field is Petrov type N. Here we employ the Newman-Penrose formalism to give a simple proof of this interesting Taub’s theorem.