Conformally Covariant Tridifferential Operators

• Conformally covariant tridifferential operators are trilinear differential operators that transform predictably under metric rescaling, providing a framework for analyzing nonlinear geometric PDEs and variational invariants.
• They are constructed via ambient metric techniques and symmetrization methods, yielding a (k+1)-dimensional family of operators with formal self-adjointness at specific conformal weights.
• Their applications include nonlinear analogues of the Paneitz operator, the formulation of sharp boundary inequalities, and realizing representation-theoretic constructs on the sphere.

A conformally covariant tridifferential operator is a trilinear differential operator acting on triple products of functions or densities on a conformal manifold and transforming in a prescribed way under conformal changes of the metric. These operators generalize the well-studied linear (GJMS) and bilinear (e.g., Ovsienko–Redou) conformally covariant constructions and arise naturally both in the study of geometric variational invariants (such as the σ₂-curvature) and in conformal representation theory on the sphere via residues of invariant trilinear forms. Such operators are central in the explicit analysis of nonlinear geometric PDEs, higher-order boundary problems, and the representation theory of the conformal group, and their construction reveals refined algebraic and analytic properties distinguishing the tridifferential case from lower rank analogues.

1. Definitions and Foundational Properties

A natural ℓ-differential operator on a smooth Riemannian manifold $(M^n,g)$ is a multilinear differential map $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$ expressible as universal linear combinations of complete contractions involving covariant derivatives of the arguments, the metric $g_{ij}$ and $g^{ij}$, and the Riemann tensor $R_{ijkl}$ and its derivatives.

A tridifferential operator is an operator with $\ell=3$; it is called conformally covariant of bidegree $(a,b)$ if it satisfies

$$D^{\hat g}(u_1,u_2,u_3) = e^{-b\omega} D^g(e^{a\omega}u_1, e^{a\omega}u_2, e^{a\omega}u_3)$$

under metric rescaling $\hat g = e^{2\omega}g$. Formal self-adjointness holds if, for any compactly supported test-tuple $(u_0,u_1,u_2,u_3)$, the integral

$D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$0

is symmetric under permutation of all four arguments (Case et al., 2020, Case et al., 13 Nov 2025).

2. Ambient Metric Construction and Tangentiality

Following Fefferman–Graham, the ambient metric encodes the conformal class $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$1 via an $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$2-dimensional ambient pseudo-Riemannian manifold $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$3, with the conformal bundle $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$4 sitting as the light cone. Homogeneous functions on $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$5, corresponding to densities of given conformal weight, extend to homogeneous functions on $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$6. A tangential operator on $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$7—homogeneous tensors of weights $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$8—is an ambient differential operator descending to the base manifold and respecting conformal invariance.

For tridifferential operators of total order $D^{(g)}: (C^\infty(M))^\ell \to C^\infty(M)$9,

$g_{ij}$0

with multi-indices $g_{ij}$1, $g_{ij}$2, and $g_{ij}$3 determined by tangentiality relations—explicitly, the requirement that $g_{ij}$4 vanishes for each slot, with $g_{ij}$5 the ambient quadratic form and $g_{ij}$6 (Case et al., 13 Nov 2025, Case et al., 2020).

For generic input weights $g_{ij}$7 and $g_{ij}$8 (if $g_{ij}$9 is even), there is a $g^{ij}$0-dimensional solution space of coefficient functions $g^{ij}$1, yielding a $g^{ij}$2-parameter family of order-$g^{ij}$3 conformally covariant tridifferential operators.

3. Symmetrization and Formal Self-Adjointness

Formal self-adjointness in the trilinear setting is achieved by imposing equal input weights $g^{ij}$4 so that the output weight shift $g^{ij}$5. Symmetrization over cyclic permutations of the slots,

$g^{ij}$6

ensures formal self-adjointness, justified by index-swapping identities among ambient coefficients and integration by parts in the flat ambient volume (Case et al., 13 Nov 2025).

In explicit examples for $g^{ij}$7 (order $g^{ij}$8) and $g^{ij}$9 (order $R_{ijkl}$0), the symmetrized operator is unique (up to scale) for $R_{ijkl}$1 and has a $R_{ijkl}$2-dimensional family for $R_{ijkl}$3, reflecting the increased complexity versus the linear and bilinear cases.

4. Explicit Constructions: The Nonlinear Analogue of the Paneitz Operator

A distinguished example is the unique, formally self-adjoint, fourth-order, conformally covariant tridifferential operator $R_{ijkl}$4 associated to the conformally variational invariant $R_{ijkl}$5, with $R_{ijkl}$6 the Schouten tensor and $R_{ijkl}$7. $R_{ijkl}$8 is constructed by polarization of an explicit scalar formula for $R_{ijkl}$9 involving divergence, Laplacian, the first Newton tensor $\ell=3$0, and $\ell=3$1:

$\ell=3$2

The trilinear operator is

$\ell=3$3

with monomials symmetrized as appropriate. This operator satisfies conformal covariance with bidegree

$\ell=3$4

and is the simplest fully nonlinear analogue of the Paneitz operator, arising from the second variation of the $\ell=3$5-curvature functional. Its existence and uniqueness are consequences of the general correspondence between homogeneous conformally variational invariants (CVI) and formally self-adjoint, conformally covariant polydifferential operators (Case et al., 2020).

5. Representation-Theoretic and Spherical Constructions

On the sphere $\ell=3$6, conformally covariant tridifferential operators arise as singular residues of $\ell=3$7-invariant trilinear forms, where $\ell=3$8 is the conformal group. For generic complex parameters $\ell=3$9, the trilinear form

$(a,b)$0

($(a,b)$1) is unique up to scale and $(a,b)$2-invariant when the $(a,b)$3 and representation weights $(a,b)$4 are suitably related. Meromorphic extension in $(a,b)$5 features singular hyperplanes (poles), and taking residues along all three produces distributions supported on the diagonal $(a,b)$6, equivalent to tridifferential operators $(a,b)$7 intertwining three different principal series. These are unique up to scaling, with principal symbol determined by the orders in each argument, and obey explicit covariance relations

$(a,b)$8

Examples include the product ($(a,b)$9), the Yamabe operator in one slot, and higher-order fully symmetric trilinear operators (Clerc, 2011).

6. Comparison with Linear and Bilinear Constructions

The linear GJMS operators $$D^{\hat g}(u_1,u_2,u_3) = e^{-b\omega} D^g(e^{a\omega}u_1, e^{a\omega}u_2, e^{a\omega}u_3)$$0 and the curved Ovsienko–Redou bidifferential operators have unique or low-dimensional families in their respective settings. For the tridifferential case, the ambient construction always yields a $$D^{\hat g}(u_1,u_2,u_3) = e^{-b\omega} D^g(e^{a\omega}u_1, e^{a\omega}u_2, e^{a\omega}u_3)$$1-dimensional family of order $$D^{\hat g}(u_1,u_2,u_3) = e^{-b\omega} D^g(e^{a\omega}u_1, e^{a\omega}u_2, e^{a\omega}u_3)$$2 operators for generic weights, with formal self-adjointness realized only at the special conformal weight. On the sphere, the tridifferential family is never unique but always $$D^{\hat g}(u_1,u_2,u_3) = e^{-b\omega} D^g(e^{a\omega}u_1, e^{a\omega}u_2, e^{a\omega}u_3)$$3-dimensional, in contrast to the uniqueness of linear GJMS on the sphere. The symmetrization to enforce self-adjointness is also distinctively new in the rank-3 case (Case et al., 13 Nov 2025).

7. Applications and Analytic Implications

These operators serve as canonical nonlinear analogues of the Paneitz operator for fourth-order equations, giving rise to variational structures controlling nonlinear energies associated to $$D^{\hat g}(u_1,u_2,u_3) = e^{-b\omega} D^g(e^{a\omega}u_1, e^{a\omega}u_2, e^{a\omega}u_3)$$4-geometry. They also control optimal fourth-order boundary inequalities and appear in fully nonlinear generalizations of Q-curvature theory. For boundary value problems, tridifferential analogues offer tools for formulating fully nonlinear boundary operators and energy functionals with sharp Sobolev trace inequalities, generalizing the role of the Paneitz operator and its boundary companions. The multilinear setting enlarges the analytic toolkit available for attacking nonlinear conformally invariant PDEs and for realizing representation-theoretic objects as explicit differential operators (Case et al., 2020, Case, 2015).

---

References:

• "Some constructions of formally self-adjoint conformally covariant polydifferential operators" (Case et al., 2020)
• "A general construction of conformally covariant tridifferential operators" (Case et al., 13 Nov 2025)
• "Singular conformally invariant trilinear forms and covariant differential operators on the sphere" (Clerc, 2011)
• "Boundary operators associated to the Paneitz operator" (Case, 2015)