A group-theoretic characterisation of Taub-Nut spacetime
arXiv:2102.08496
Abstract
We prove that any symmetric spacetime that is Ricci flat (i.e. solves the matter-free Einstein equations) with non-null -orbits is locally isometric to some maximally extended generalised Taub-NUT spacetime.
25 pages, no figures