摘要

We provide an algorithm to check whether a given vacuum space-time (M, g) admits a Killing vector field with respect to which the Mars-Simon tensor vanishes. In particular, we obtain an algorithmic procedure to check whether (M, g) is locally isometric to a member of the Kerr-NUT-(A) dS family. A particular emphasis will be devoted to the Kerr-(A) dS case. Published by AIP Publishing.

  • 出版日期2017-4