Dimension of the isometry group in type N vacuum solutions: an IDEAL approach

The necessary and sufficient conditions for a type N vacuum solution (with cosmological constant) to admit a group of isometries of dimension $r$ are given in terms of the invariant concomitants of the Weyl tensor. This study requires defining several invariant classes, and for each class, the conditions that determine the dimension are given. Thus, an IDEAL (Intrinsic, Deductive, Explicit and ALgorithmic) characterisation of these spacetimes follows. Some examples show that our algorithmic results can easily be implemented on the $\mathit{\text{xAct}}\mathit{\text{Mathematica}}$ suite of packages. The relation between our classes and already known families of solutions of Einstein equations is outlined.