Table of Contents
Fetching ...

Perturbations of Fefferman spaces over CR three-manifolds

Arman Taghavi-Chabert

TL;DR

This work generalizes Fefferman spaces by perturbing the Fefferman metric with a semi-basic one-form, connecting the Lorentzian conformal structure to the CR geometry of the base three-manifold. It derives curvature-based criteria, via Weyl and Bach tensors, for local conformal equivalence to such perturbed Fefferman spaces under twisting non-shearing congruences, and develops CR-invariant equations governing Ricci-type prescriptions through almost Lorentzian scales. A key contribution is the translation of Einstein-like conditions into CR data and densities, including nonlinear Webster–Weyl equations and realisability criteria, along with a CR formulation of asymptotic Einstein conditions at conformal infinity. The results unify and extend prior work by Lewandowski, Nurowski, Tafel, Hill, Mason, and others, showing how algebraically special optical geometries arise from perturbations of Fefferman spaces and how CR structural data governs the existence of CR functions and embeddability in this setting.

Abstract

We introduce a generalisation of Fefferman's conformal circle bundle over a contact Cauchy-Riemann three-manifold. These can be viewed as exact `perturbations' of Fefferman's structure by a semi-basic one-form, which encodes additional data on the CR three-manifold. We find conditions on the Weyl tensor and the Bach tensor for a Lorentzian conformal four-manifold equipped with a twisting non-shearing congruence of null geodesics to be locally conformally isometric to such a perturbed Fefferman space. We investigate the existence of metrics in the perturbed Fefferman conformal class satisfying appropriate sub-conditions of the Einstein equations, such as the so-called pure radiation equations. These metrics are defined only off cross-sections of Fefferman's circle bundle, and are conveniently expressed in terms of densities that generalise Gover's notion of almost Einstein scales. Our setup allows us to reduce the prescriptions on the Ricci tensor to the underlying CR three-manifold in terms of differential constraints on a complex density and the CR data of the perturbation one-form. One such constraint turns out to arise from a non-linear, or gauged, analogue of a second-order differential operator on densities. A solution thereof provides a criterion for the existence of a CR function and, under certain conditions, for the realisability of the CR three-manifold. These findings are consistent with previous works by Lewandowski, Nurowski, Tafel, Hill, and independently, by Mason. We also provide an analysis of the Weyl curvature of such conformal structures in terms of the underlying CR data. In particular, we arrive at a CR formulation of the asymptotic Einstein condition by viewing conformal infinity as a cross-section of Fefferman's circle bundle.

Perturbations of Fefferman spaces over CR three-manifolds

TL;DR

This work generalizes Fefferman spaces by perturbing the Fefferman metric with a semi-basic one-form, connecting the Lorentzian conformal structure to the CR geometry of the base three-manifold. It derives curvature-based criteria, via Weyl and Bach tensors, for local conformal equivalence to such perturbed Fefferman spaces under twisting non-shearing congruences, and develops CR-invariant equations governing Ricci-type prescriptions through almost Lorentzian scales. A key contribution is the translation of Einstein-like conditions into CR data and densities, including nonlinear Webster–Weyl equations and realisability criteria, along with a CR formulation of asymptotic Einstein conditions at conformal infinity. The results unify and extend prior work by Lewandowski, Nurowski, Tafel, Hill, Mason, and others, showing how algebraically special optical geometries arise from perturbations of Fefferman spaces and how CR structural data governs the existence of CR functions and embeddability in this setting.

Abstract

We introduce a generalisation of Fefferman's conformal circle bundle over a contact Cauchy-Riemann three-manifold. These can be viewed as exact `perturbations' of Fefferman's structure by a semi-basic one-form, which encodes additional data on the CR three-manifold. We find conditions on the Weyl tensor and the Bach tensor for a Lorentzian conformal four-manifold equipped with a twisting non-shearing congruence of null geodesics to be locally conformally isometric to such a perturbed Fefferman space. We investigate the existence of metrics in the perturbed Fefferman conformal class satisfying appropriate sub-conditions of the Einstein equations, such as the so-called pure radiation equations. These metrics are defined only off cross-sections of Fefferman's circle bundle, and are conveniently expressed in terms of densities that generalise Gover's notion of almost Einstein scales. Our setup allows us to reduce the prescriptions on the Ricci tensor to the underlying CR three-manifold in terms of differential constraints on a complex density and the CR data of the perturbation one-form. One such constraint turns out to arise from a non-linear, or gauged, analogue of a second-order differential operator on densities. A solution thereof provides a criterion for the existence of a CR function and, under certain conditions, for the realisability of the CR three-manifold. These findings are consistent with previous works by Lewandowski, Nurowski, Tafel, Hill, and independently, by Mason. We also provide an analysis of the Weyl curvature of such conformal structures in terms of the underlying CR data. In particular, we arrive at a CR formulation of the asymptotic Einstein condition by viewing conformal infinity as a cross-section of Fefferman's circle bundle.
Paper Structure (35 sections, 55 theorems, 201 equations, 1 table)

This paper contains 35 sections, 55 theorems, 201 equations, 1 table.

Key Result

Theorem 1

Let $(\widetilde{\mathcal{M}},\widetilde{\mathbf{c}})$ be an oriented and time-oriented Lorentzian conformal four-manifold with twisting non-shearing congruence of null geodesics $\widetilde{\mathcal{K}}$. Suppose that for any generator $\widetilde{k}$ of $\widetilde{\mathcal{K}}$, the Weyl tensor a respectively. Then $(\widetilde{\mathcal{M}},\widetilde{\mathbf{c}})$ is locally conformally isomet

Theorems & Definitions (122)

  • Theorem
  • Remark 2.1
  • Lemma 2.2: Hill2008
  • Proposition 2.3: Jacobowitz1987
  • Theorem 2.4: Jacobowitz1987
  • Remark 2.5
  • Remark 2.6
  • Remark 2.7
  • Remark 2.8
  • Definition 2.9
  • ...and 112 more