Paneitz operator information

In the mathematical field of differential geometry, the Paneitz operator is a fourth-order differential operator defined on a Riemannian manifold of dimension n. It is named after Stephen Paneitz, who discovered it in 1983, and whose preprint was later published posthumously in Paneitz 2008. In fact, the same operator was found earlier in the context of conformal supergravity by E. Fradkin and A. Tseytlin in 1982 (Phys Lett B 110 (1982) 117 and Nucl Phys B 1982 (1982) 157 ). It is given by the formula

${\displaystyle P=\Delta ^{2}-\delta \left\{(n-2)J-4V\cdot \right\}d+(n-4)Q}$

where Δ is the Laplace–Beltrami operator, d is the exterior derivative, δ is its formal adjoint, V is the Schouten tensor, J is the trace of the Schouten tensor, and the dot denotes tensor contraction on either index. Here Q is the scalar invariant

${\displaystyle (-4|V|^{2}+nJ^{2}+2\Delta J)/4,}$

where Δ is the positive Laplacian. In four dimensions this yields the Q-curvature.

The operator is especially important in conformal geometry, because in a suitable sense it depends only on the conformal structure. Another operator of this kind is the conformal Laplacian. But, whereas the conformal Laplacian is second-order, with leading symbol a multiple of the Laplace–Beltrami operator, the Paneitz operator is fourth-order, with leading symbol the square of the Laplace–Beltrami operator. The Paneitz operator is conformally invariant in the sense that it sends conformal densities of weight 2 − n/2 to conformal densities of weight −2 − n/2. Concretely, using the canonical trivialization of the density bundles in the presence of a metric, the Paneitz operator P can be represented in terms of a representative the Riemannian metric g as an ordinary operator on functions that transforms according under a conformal change g ↦ Ω²g according to the rule

${\displaystyle \Omega ^{n/2+2}P(g)\phi =P(\Omega ^{2}g)\Omega ^{n/2-2}\phi .\,}$

The operator was originally derived by working out specifically the lower-order correction terms in order to ensure conformal invariance. Subsequent investigations have situated the Paneitz operator into a hierarchy of analogous conformally invariant operators on densities: the GJMS operators.

The Paneitz operator has been most thoroughly studied in dimension four where it appears naturally in connection with extremal problems for the functional determinant of the Laplacian (via the Polyakov formula; see Branson & Ørsted 1991). In dimension four only, the Paneitz operator is the "critical" GJMS operator, meaning that there is a residual scalar piece (the Q curvature) that can only be recovered by asymptotic analysis. The Paneitz operator appears in extremal problems for the Moser–Trudinger inequality in dimension four as well (Chang 1999)