The $P^\prime$-operator, the $Q^\prime$-curvature, and the CR tractor calculus

TL;DR

This paper develops an algorithm to compute CR GJMS operators, the $P^\prime$-operator, and the $Q^\prime$-curvature using CR tractor calculus, providing explicit formulas and insights into their properties in pseudo-Einstein manifolds.

Contribution

It introduces a new algorithm that expresses these CR invariants in terms of tractors, enabling explicit factorization and analysis in pseudo-Einstein contact forms.

Findings

Explicit formulas for CR GJMS operators, $P^\prime$-operator, and $Q^\prime$-curvature.

Demonstration of constant $Q^\prime$-curvature in torsion-free pseudo-Einstein cases.

New insights into pseudohermitian invariants and their integral properties.

Abstract

We establish an algorithm which computes formulae for the CR GJMS operators, the $P^\prime$-operator, and the $Q^\prime$-curvature in terms of CR tractors. When applied to torsion-free pseudo-Einstein contact forms, this algorithm both gives an explicit factorisation of the CR GJMS operators and the $P^\prime$-operator, and shows that the $Q^\prime$-curvature is constant, with the constant explicitly given in terms of the Webster scalar curvature. We also use our algorithm to derive local formulae for the $P^\prime$-operator and $Q^\prime$-curvature of a five-dimensional pseudo-Einstein manifold. Comparison with Marugame's formulation of the Burns--Epstein invariant as the integral of a pseudohermitian invariant yields new insights into the class of local pseudohermitian invariants for which the total integral is independent of the choice of pseudo-Einstein contact form.