A new class of obstructions to the smoothness of null infinity
J. A. Valiente-Kroon
TL;DR
The paper analyzes the smoothness of null infinity for asymptotically Euclidean, time-symmetric, conformally flat initial data by evolving the conformal field equations on a cylinder at spatial infinity. Using a detailed transport-equation framework and computer algebra, it demonstrates that obstructions to smoothness arise only at high order and are governed by Newman-Penrose constants $G^{(5)}_k$ and higher $G^{(6)}_k$, which are determined by the initial data. The main result shows that even with the regularity condition, smooth null infinity requires vanishing of these constants, and in fact implies Schwarzschild-like behaviour near spatial infinity to some order; a precise statement links the order of smoothness to how Schwarzschildean the data is. These findings suggest a deep connection between radiation content near spatial infinity and the global conformal structure, indicating that smooth null infinity likely cannot coexist with radiative data near $i^0$ and motivating extensions beyond conformally flat or time-symmetric settings.
Abstract
Expansions of the gravitational field arising from the development of asymptotically Euclidean, time symmetric, conformally flat initial data are calculated in a neighbourhood of spatial and null infinities up to order 6. To this ends a certain representation of spatial infinity as a cylinder is used. This set up is based on the properties of conformal geodesics. It is found that these expansions suggest that null infinity has to be non-smooth unless the Newman-Penrose constants of the spacetime, and some other higher order quantities of the spacetime vanish. As a consequence of these results it is conjectured that similar conditions occur if one were to take the expansions to even higher orders. Furthermore, the smoothness conditions obtained suggest that if a time symmetric initial data which is conformally flat in a neighbourhood of spatial infinity yields a smooth null infinity, then the initial data must in fact be Schwarzschildean around spatial infinity.
