Formal self-adjointness of a family of conformally invariant bidifferential operators

We prove that the curved Ovsienko–Redou operators and a related family of differential operators are formally self-adjoint. This verifies two conjectures of Case, Lin, and Yuan.