A study of stationary, axially symmetric space-time geometries satisfying modified double duality equations using the exterior calculus package \(X^ TR\) for REDUCE (Q1184610)

Various types of gravitational theories that generalize Einstein's theory were discussed during the recent years. A generalization that received a lot of attention was due to Stephenson, Kilmister, Yang, and several others. In this theory the gravitational action is written in analogy with Yang-Mills type gauge theories, so that the field equations are obtained by varying a quadratic curvature invariant. In a perturbative approach to field quantization this theory leads to a renormalizable, albeit in general, non-unitary quantum gravity. Even at the classical level the theory has some serious problems. Namely, it admits non- physical solutions. Therefore, in an attempt to constrain the quadratic theory further it was suggested to add on the Einstein-Hilbert action. If it is further allowed to add a cosmological constant, then some remarkable simplifications follow. For a definite value of the cosmological constant, there is a set of modified double dual curvature equations whose integrability conditions give precisely the variational field equations. Thus, static spherically symmetric geometries with dynamical torsion are determined by the modified double duality equations. We now wish to study stationary, axially symmetric solutions to the modified double duality equations. We also start from the Kerr-de Sitter metric; however, we aim in particular to determine geometries that in the limit of vanishing rotation parameter would go to static, spherically symmetric solutions. Those reduced equations are given. The long and tedious algebraic manipulations that led to this system of coupled ordinary differential equations are performed using the exterior calculus package \(X^ TR\) for REDUCE we developed independently.