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

TL;DR

This paper proves that certain conformally invariant bidifferential operators are formally self-adjoint, confirming two conjectures and advancing understanding of their mathematical properties.

Contribution

It establishes the formal self-adjointness of curved Ovsienko--Redou operators and related operators, verifying conjectures in the field.

Findings

Proved formal self-adjointness of specific conformally invariant operators

Verified two conjectures by Case, Lin, and Yuan

Enhanced understanding of the mathematical structure of these operators

Abstract

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.