The P'-operator, the Q'-curvature, and the CR tractor calculus

We establish an algorithm which computes formulae for the CR GJMS operators, the P0-operator, and the Q0-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 P0-operator, and shows that the Q0-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 P0-operator and Q0-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.