For a real-analytic asymptotically flat vacuum space-time, the 'good cuts' of complexified future null infinity are solutions of the good cut equation ð2Z(ζ,ζ~)=σ0(Z(ζ,ζ~),ζ,ζ~)\eth^2 Z(\zeta,\tilde\zeta)=\sigma^0(Z(\zeta,\tilde\zeta),\zeta,\tilde\zeta), where σ0\sigma^0 is the Bondi shear and ð\eth the spin-weight-raising operator. Hansen, Newman, Penrose and Tod (1978) proved that for 'sufficiently calm' (analytic, small-deformation) radiation the globally regular solutions form a complex four-dimensional manifold — H-space — carrying a complex Riemannian metric defined by a contour integral, showed it agrees with the twistor-bracket metric of the non-linear graviton construction, and computed the solution to third order, proving the metric Ricci-flat with self-dual curvature. Every part is conditional: the manifold structure holds only in the calm neighbourhood; the allowable contour and analytic continuation defining the metric are established only near real timelike/spacelike tangent vectors; the expansion is local and truncated; and no characterization is given of which radiation data produce asymptotically flat H-space, the property needed to iterate the construction. In the follow-up literature (1979–2026) these cores remain open: later work proved that singularities occur for sufficiently intense radiation, defined asymptotic flatness of H-space with an idempotence theorem, generalized the equation to other surfaces, and built the modern asymptotically shear-free congruence program on it — while still assuming the regularity that only the calm proof delivers. The problem is to construct this theory for arbitrary analytic radiation data without the calm hypothesis; since singularities of the solution space are known to occur for sufficiently intense radiation, the target is a criterion or structure theory valid for all analytic data — including its singular and degenerate behavior — together with a rigorous theory of the contour-integral metric, global control of the expansion, and a data-characterization of asymptotically flat H-spaces, rather than an unconditional guarantee that the solution space is always a manifold.

Background

An isolated gravitating system in general relativity is modeled by an asymptotically flat space-time: a space-time that, in Penrose's conformal compactification, admits a smooth null boundary I+\mathscr{I}^+ (future null infinity) representing the endpoints of outgoing null rays. In the Bondi–Sachs characteristic description, points of I+\mathscr{I}^+ are labeled by a retarded time uu and stereographic coordinates (ζ,ζˉ)(\zeta,\bar\zeta) on the celestial sphere, and outgoing gravitational radiation is encoded in the Bondi shear σ0(u,ζ,ζˉ)\sigma^0(u,\zeta,\bar\zeta) — a complex function of spin weight 2 (it transforms with a factor e2iχe^{2i\chi} under a rotation ζ↦eiχζ\zeta\mapsto e^{i\chi}\zeta of the stereographic coordinate), which is the leading asymptotic coefficient of the shear of the outgoing null cones and the free characteristic datum of the vacuum Einstein equations in this gauge. The Newman–Penrose operator ð\eth ('eth') is the standard angular derivative that raises spin weight by one (on spin-weight-zero functions it is essentially (1+ζζˉ) ∂ζ(1+\zeta\bar\zeta)\,\partial_\zeta); its square ð2\eth^2 is a second-order operator on the sphere whose globally smooth kernel consists exactly of the spherical harmonics of degrees ℓ≤1\ell\le 1, a four-complex-dimensional space.

For algebraically special vacuum space-times (those whose Weyl tensor has repeated principal null directions), the Goldberg–Sachs theorem guarantees geodesic shear-free null congruences, and real asymptotically shear-free cuts of I+\mathscr{I}^+ exist; for a general radiating space-time they do not. The construction of Hansen, Newman, Penrose and Tod instead works on the complexification CI+\mathbb{C}\mathscr{I}^+ of null infinity, obtained by letting uu take complex values and freeing ζˉ\bar\zeta to an independent complex variable ζ~\tilde\zeta (which requires σ0\sigma^0 to be real-analytic so that it extends holomorphically). The good cut equation

ð2Z(ζ,ζ~)=σ0(Z(ζ,ζ~),ζ,ζ~)\eth^2 Z(\zeta,\tilde\zeta) = \sigma^0(Z(\zeta,\tilde\zeta),\zeta,\tilde\zeta)

selects the asymptotically shear-free ('good') cuts of CI+\mathbb{C}\mathscr{I}^+. Written as an integral equation, ZZ equals its ℓ≤1\ell\le 1 part zal^a(ζ,ζ~)z^{\mathbf a}\hat l_{\mathbf a}(\zeta,\tilde\zeta) plus the Green's-kernel integral of σ0\sigma^0 evaluated at ZZ, so the four complex constants zaz^{\mathbf a} enter through the kernel of ð2\eth^2; the content of the existence theory is that the regular solutions genuinely form a four-complex-parameter family.

Hansen, Newman, Penrose and Tod (1978), building on the account of Ko, Newman and Tod (1977), proved this for 'sufficiently calm' radiation: real-analytic shear data arising as a sufficiently small deformation of the shear-free (flat) case — implemented by a parameter τ\tau with σ0\sigma^0 proportional to τ\tau within a neighbourhood Γ′\Gamma' of the flat case — so that the associated deformation of (projective, dual) asymptotic twistor space, the complex manifold built from CI+\mathbb{C}\mathscr{I}^+ data whose flat limit is flat twistor space, satisfies the hypotheses of Kodaira's stability theorem (a compact complex submanifold with suitable normal bundle persists under small deformations, its deformations forming a smooth family). The parameter space of the resulting family of deformed twistor lines is the H-space H\mathscr{H}, a complex four-dimensional manifold. On it they defined, intrinsically from null-infinity data, a complex Riemannian metric (a symmetric nondegenerate complex bilinear form) by the contour integral

∥u∥2=8π(∮CdSU2)−1,U=Z,aua,dS=2idζ∧dζ~(1+ζζ~)2,\|u\|^2 = 8\pi\left(\oint_{\mathcal C}\frac{dS}{U^2}\right)^{-1},\qquad U = Z_{,\mathbf a}u^{\mathbf a},\qquad dS = \frac{2}{i}\frac{d\zeta\wedge d\tilde\zeta}{(1+\zeta\tilde\zeta)^2},

where uau^{\mathbf a} is a tangent vector, UU solves the linearized good cut (Newman) equation ð2U=σ˙0U\eth^2 U = \dot\sigma^0 U with σ˙0=∂uσ0\dot\sigma^0=\partial_u\sigma^0 evaluated on the cut, and C\mathcal C is an 'allowable' two-cycle in the complexified (ζ,ζ~)(\zeta,\tilde\zeta) sphere avoiding the zeros of UU. Such contours exist for tangent vectors close to real timelike (or spacelike) vectors, and the norm is then extended by analytic continuation. The paper shows this metric agrees with the twistor-bracket metric of the non-linear graviton construction (the twistorial generation of self-dual Ricci-flat complex space-times as moduli spaces of holomorphic curves in deformed twistor space), solves the good cut equation by Taylor expansion in the H\mathscr{H} coordinates to third order about a reference cut, and concludes that the H\mathscr{H}-metric is Ricci-flat with self-dual Weyl curvature (a 'left-flat' space), with curvature explicitly expressible through the retarded-time derivatives σ˙0,σ¨0,σ...0\dot\sigma^0,\ddot\sigma^0,\dddot\sigma^0 of the shear.

Every part of this is conditional. The manifold structure is proved only inside the calm neighbourhood; the allowable-contour existence and analytic continuation are established only near real timelike/spacelike tangent vectors; the Taylor and curvature analysis is local and truncated at third order; and no characterization is given of which radiation data produce an H-space that is asymptotically flat — the property, formalized only later by Tod (1981) and Ludvigsen–Newman–Tod (1981), needed to iterate the construction and compare H\mathscr{H} with the H-space of H\mathscr{H}. Later work sharpened parts of the picture — singularities of H\mathscr{H} were shown to occur for sufficiently intense radiation (Tod–Winicour), a definition of asymptotically flat H-space and an idempotence theorem were established (Ludvigsen–Newman–Tod), and the good cut equation was generalized to other three-surfaces (Adamo–Newman) — but modern accounts still invoke the manifold/existence statement as an assumption on σ0\sigma^0 ('for sufficiently regular σ0\sigma^0… which is assumed here'), and the unconditional theory remains missing.

Problem Statement

Let σ0(u,ζ,ζ~)\sigma^0(u,\zeta,\tilde\zeta) be the holomorphic extension of the Bondi shear of a real-analytic asymptotically flat vacuum space-time, and consider the good cut equation

ð2Z(ζ,ζ~)=σ0(Z(ζ,ζ~),ζ,ζ~)\eth^2 Z(\zeta,\tilde\zeta) = \sigma^0(Z(\zeta,\tilde\zeta),\zeta,\tilde\zeta)

on the complexified (ζ,ζ~)(\zeta,\tilde\zeta) sphere, ð\eth being the spin-weight-raising operator. The open program arising from the conditional construction of Hansen–Newman–Penrose–Tod (1978) and its follow-up literature (Tod–Winicour 1980; Tod 1981, 1982; Ludvigsen–Newman–Tod 1981) is to construct the theory of the solution space of this equation and of the associated H-space rigorously for arbitrary analytic radiation data, removing the 'sufficiently calm' smallness hypothesis. With the single objective of an H-space theory from null-infinity data valid for arbitrary analytic radiation data, the following linked questions arise:

(1) Existence and structure. For which analytic σ0\sigma^0 do the globally regular solutions of the good cut equation form a complex four-dimensional manifold, locally and globally up to a characterized singular set? Establish a criterion, or a structure theory of the solution set describing its degenerations. The calm case must be recovered as the small-data limit, and the known singular behavior for sufficiently intense radiation must be accommodated, not excluded by assumption.

(2) Metric well-definedness. Give a rigorous existence theory for the allowable contour C\mathcal C and for the analytic continuation that extends the contour-integral metric ∥u∥2=8π(∮CdS/U2)−1\|u\|^2 = 8\pi(\oint_{\mathcal C} dS/U^2)^{-1}, with U=Z,auaU=Z_{,\mathbf a}u^{\mathbf a} solving the linearized (Newman) equation ð2U=σ˙0U\eth^2 U=\dot\sigma^0 U, from tangent vectors close to real timelike or spacelike ones to all complex tangent vectors of H\mathscr{H} — or a criterion characterizing exactly when this continuation exists — so that the complex Riemannian metric is defined on all of H\mathscr{H} or on its maximal well-defined domain.

(3) Global control of the expansion. Establish convergence and global validity of the Taylor (equivalently, iterative Green's-kernel) expansion of ZZ in H-space coordinates beyond the calm neighbourhood — the 1978 analysis stops at third order within that neighbourhood — giving global control of the solution of the good cut equation and of the curvature formulas in terms of the shear data σ˙0,σ¨0,σ...0\dot\sigma^0,\ddot\sigma^0,\dddot\sigma^0.

(4) Asymptotic geometry — the iteration question raised by the 1978 construction and formalized by Tod (1981) and Ludvigsen–Newman–Tod (1981). Characterize which asymptotic radiation data σ0\sigma^0 produce H-spaces that are asymptotically flat in the sense of Ludvigsen–Newman–Tod, including the behavior of the iterated construction (which, by their idempotence theorem, is isometric to the original for asymptotically flat H-spaces).

These four items are facets of a single construction — solution manifold, induced metric, its expansion, and its global geometry. The target is the theory for arbitrary analytic data: it may not be silently restricted to calm or otherwise small shear data, and the manifold-and-metric construction may not be replaced by a weaker surrogate.

References

  1. R. O. Hansen, E. T. Newman, Roger Penrose, K. P. Tod, 'The metric and curvature properties of H-space', Proc. R. Soc. Lond. A 363, 445–468 (1978). DOI: 10.1098/rspa.1978.0177, https://doi.org/10.1098/rspa.1978.0177
  2. M. Ko, E. T. Newman, K. P. Tod, 'H-Space and Null Infinity', in F. P. Esposito and L. Witten (eds.), Asymptotic Structure of Space-Time, Plenum Press, New York, pp. 227–271 (1977). DOI: 10.1007/978-1-4684-2343-3_3, https://doi.org/10.1007/978-1-4684-2343-3_3
  3. K. P. Tod, J. Winicour, 'Singularities at real points of H space', General Relativity and Gravitation 12, 99–108 (1980). DOI: 10.1007/BF00756466, https://doi.org/10.1007/BF00756466
  4. K. P. Tod, 'Curved twistor spaces and H-space', Surveys in High Energy Physics 1, 299–312 (1980). DOI: 10.1080/01422418008225258, https://doi.org/10.1080/01422418008225258
  5. R. W. Lind, 'A note on the good cut equation', Journal of Mathematical Physics 21, 2245–2247 (1980). DOI: 10.1063/1.524660, https://doi.org/10.1063/1.524660
  6. K. P. Tod, 'An asymptotically flat H space', General Relativity and Gravitation 13, 109–122 (1981). DOI: 10.1007/BF00756852, https://doi.org/10.1007/BF00756852
  7. M. Ludvigsen, E. T. Newman, K. P. Tod, 'Asymptotically flat H spaces', Journal of Mathematical Physics 22, 818–823 (1981). DOI: 10.1063/1.524988, https://doi.org/10.1063/1.524988
  8. K. P. Tod, 'The singularities of H-space', Mathematical Proceedings of the Cambridge Philosophical Society 92, 331–347 (1982). DOI: 10.1017/S0305004100059983, https://doi.org/10.1017/S0305004100059983
  9. C. N. Kozameh, E. T. Newman, 'Theory of light cone cuts of null infinity', Journal of Mathematical Physics 24, 2481–2489 (1983). DOI: 10.1063/1.525613, https://doi.org/10.1063/1.525613
  10. C. N. Kozameh, E. T. Newman, 'The large footprints of H-space on asymptotically flat spacetimes', Classical and Quantum Gravity 22, 4659–4666 (2005). DOI: 10.1088/0264-9381/22/22/001, arXiv:gr-qc/0504022, https://arxiv.org/abs/gr-qc/0504022
  11. T. Adamo, C. Kozameh, E. Newman, 'Null Geodesic Congruences, Asymptotically-Flat Spacetimes and Their Physical Interpretation', Living Reviews in Relativity 12, lrr-2009-6 (2009). DOI: 10.12942/lrr-2009-6, https://doi.org/10.12942/lrr-2009-6
  12. T. M. Adamo, E. T. Newman, 'The generalized good cut equation', Classical and Quantum Gravity 27, 245004 (2010). DOI: 10.1088/0264-9381/27/24/245004, arXiv:1007.4215, https://arxiv.org/abs/1007.4215
  13. E. T. Newman, 'Asymptotically flat space-times: an enigma', Classical and Quantum Gravity 33, 145006 (2016). DOI: 10.1088/0264-9381/33/14/145006, https://doi.org/10.1088/0264-9381/33/14/145006
  14. E. T. Newman, 'A changed perspective concerning asymptotically flat Einstein/Einstein–Maxwell space–times', General Relativity and Gravitation 51, 44 (2019). DOI: 10.1007/S10714-019-2524-3, https://doi.org/10.1007/S10714-019-2524-3
  15. Y. Herfray, 'Asymptotic shear and the intrinsic conformal geometry of null-infinity', Journal of Mathematical Physics 61 (2020). DOI: 10.1063/5.0003616, https://doi.org/10.1063/5.0003616
  16. T. Adamo, L. Mason, A. Sharma, 'Graviton scattering in self-dual radiative space-times', Classical and Quantum Gravity 40, 095002 (2023). DOI: 10.1088/1361-6382/acc233, https://doi.org/10.1088/1361-6382/acc233