Taub-NUT from the Dirac monopole

Writing the metric of an asymptotically flat spacetime in Bondi coordinates provides an elegant way of formulating the Einstein equation as a characteristic value problem. In this setting, we find that a specific class of asymptotically flat spacetimes, including stationary solutions, contains a Maxwell gauge field as free data. Choosing this gauge field to correspond to the Dirac monopole, we derive the Taub-NUT solution in Bondi coordinates.