We propose and discuss recursive formulas for conformally covariant powers $P_{2N}$ of the Laplacian (GJMS-operators). For locally conformally flat metrics, these describe the non-constant part of any GJMS-operator as the sum of a certain linear combination of compositions of lower order GJMS-operators (primary part) and a second-order operator which is defined by the Schouten tensor (secondary part). We complete the description of GJMS-operators by proposing and discussing recursive formulas for their constant terms, i.e., for Branson's $Q$-curvatures, along similar lines. We confirm the picture in a number of cases. Full proofs are given for spheres of any dimension and arbitrary signature. Moreover, we prove formulas of the respective critical third power $P_6$ in terms of the Yamabe operator $P_2$ and the Paneitz operator $P_4$, and of a fourth power in terms of $P_2$, $P_4$ and $P_6$. For general metrics, the latter involves the first two of Graham's extended obstruction tensors. In full generality, the recursive formulas remain conjectural. We describe their relation to the theory of residue families and the associated $Q$-curvature polynomials.
We propose further conformal parametrizations for initial data in some modified Einstein gravity theories. Some of them give rise to conformally covariant systems.
A new definition of canonical conformal differential operators $P_k$ ($k=1,2,...)$, with leading term a $k^{\rm th}$ power of the Laplacian, is given for conformally Einstein manifolds of any signature. These act between density bundles and, more generally, between weighted tractor bundles of any rank. By construction these factor into a power of a fundamental Laplacian associated to Einstein metrics. There are natural conformal Laplacian operators on density bundles due to Graham-Jenne-Mason-Sparling (GJMS). It is shown that on conformally Einstein manifolds these agree with the $P_k$ operato…
We completely resolve the boundary value problem for differential forms and conformally Einstein infinity in terms of the dual Hahn polynomials. Consequently, we produce explicit formulas for the Branson-Gover operators on Einstein manifolds and prove their representation as a product of second order operators. This leads to an explicit description of $Q$-curvature and gauge companion operators on differential forms.
We revisit the Lichnerowicz-York method, and an alternative method of York, in order to obtain some conformally covariant systems. This type of parameterization is certainly more natural for non constant mean curvature initial data.
We introduce the notion of formally self-adjoint conformally covariant polydifferential operators and give some constructions of families of such operators. In one direction, we show that any homogeneous conformally variational scalar Riemannian invariant (CVI) induces one of these operators. In another direction, we use the ambient metric to give alternative constructions of certain operators produced this way, one of which is a formally self-adjoint, fourth-order, conformally covariant tridifferential operator which should be regarded as the simplest fully nonlinear analogue of the Paneitz o…
On locally conformally flat manifolds we describe a construction which maps generalised conformal Killing tensors to differential operators which may act on any conformally weighted tensor bundle; the operators in the range have the property that they are symmetries of any natural conformally invariant differential operator between such bundles. These are used to construct all symmetries of the conformally invariant powers of the Laplacian (often called the GJMS operators) on manifolds of dimension at least 3. In particular this yields all symmetries of the powers of the Laplacian $Δ^k$, $k\in…
We consider open manifolds which are interiors of a compact manifold with boundary, and Riemannian metrics asymptotic to a conformally cylindrical metric near the boundary. We show that the essential spectrum of the Laplace operator on functions vanishes under the presence of a magnetic field which does not define an integral relative cohomology class. It follows that the essential spectrum is not stable by perturbation even by a compactly supported magnetic field. We also treat magnetic operators perturbed with electric fields. In the same context we describe the essential spectrum of the $k$…
Let G be a finite connected simple graph. We define the moduli space of conformal structures on G. We propose a definition of conformally covariant operators on graphs, motivated by [25]. We provide examples of conformally covariant operators, which include the edge Laplacian and the adjacency matrix on graphs. In the case where such an operator has a nontrivial kernel, we construct conformal invariants, providing discrete counterparts of several results in [11,12] established for Riemannian manifolds. In particular, we show that the nodal sets and nodal domains of null eigenvectors are confor…
We describe an elementary algorithm for expressing, as explicit formulae in tractor calculus, the conformally invariant GJMS operators due to C.R. Graham et alia. These differential operators have leading part a power of the Laplacian. Conformal tractor calculus is the natural induced bundle calculus associated to the conformal Cartan connection. Applications discussed include standard formulae for these operators in terms of the Levi-Civita connection and its curvature and a direct definition and formula for T. Branson's so-called Q-curvature (which integrates to a global conformal invariant)…
Using the implicit function theorem, we prove existence of solutions of the so-called conformally covariant split system on compact 3-dimensional Riemannian manifolds. They give rise to non-Constant Mean Curvature (non-CMC) vacuum initial data for the Einstein equations. We investigate the conformally covariant split system defined on compact manifolds with or without boundaries. In the former case, the boundary corresponds to an apparent horizon in the constructed initial data. The case with a cosmological constant is then considered separately. Finally, to demonstrate the applicability of th…
We develop a new approach, based on quantization methods, to study higher symmetries of invariant differential operators. We focus here on conformally invariant powers of the Laplacian over a conformally flat manifold and recover results of Eastwood, Leistner, Gover and Šilhan. In particular, conformally equivariant quantization establishes a correspondence between the algebra of Hamiltonian symmetries of the null geodesic flow and the algebra of higher symmetries of the conformal Laplacian. Combined with a symplectic reduction, this leads to a quantization of the minimal nilpotent coadjoint o…
We show that on conformal manifolds of even dimension $n\geq 4$ there is no conformally invariant natural differential operator between density bundles with leading part a power of the Laplacian $Δ^{k}$ for $k>n/2$. This shows that a large class of invariant operators on conformally flat manifolds do not generalise to arbitrarily curved manifolds and that the theorem of Graham, Jenne, Mason and Sparling, asserting the existence of curved version of $Δ^k$ for $1\le k\le n/2$, is sharp.
The classical Rankin-Cohen brackets are bi-differential operators from $C^\infty(\mathbb R)\times C^\infty(\mathbb R)$ into $ C^\infty(\mathbb R)$. They are covariant for the (diagonal) action of ${\rm SL}(2,\mathbb R)$ through principal series representations. We construct generalizations of these operators, replacing $\mathbb R$ by $\mathbb R^n,$ the group ${\rm SL}(2,\mathbb R)$ by the group ${\rm SO}_0(1,n+1)$ viewed as the conformal group of $\mathbb R^n,$ and functions by differential forms.
Let (M,g) be a compact Riemannian manifold of dimension >2. We show that there is a metric h conformal to g and of volume 1 such that the first positive eigenvalue the conformal Laplacian with repect to h is arbitrarily large. A similar statement is proven for the first positive eigenvalue of the Dirac operator on a spin manifold of dimension >1.
We construct continuously parametrised families of conformally invariant boundary operators on densities. These may also be viewed as conformally covariant boundary operators on functions and generalise to higher orders the first-order conformal Robin operator and an analogous third-order operator of Chang-Qing. Our families include operators of critical order on odd-dimensional boundaries. Combined with the (conformal Laplacian power) GJMS operators, a suitable selection of the boundary operators yields formally self-adjoint elliptic conformal boundary problems. Working on a conformal manifol…
There is a class of Laplacian like conformally invariant differential operators on differential forms $L^\ell_k$ which may be considered the generalisation to differential forms of the conformally invariant powers of the Laplacian known as the Paneitz and GJMS operators. On conformally Einstein manifolds we give explicit formulae for these as explicit factored polynomials in second order differential operators. In the case the manifold is not Ricci flat we use this to provide a direct sum decomposition of the null space of the $L^\ell_k$ in terms of the null spaces of mutually commuting second…
Let $(M,g)$ be a compact Riemannian manifold and $P_g$ an elliptic, formally self-adjoint, conformally covariant operator of order $m$ acting on smooth sections of a bundle over $M$. We prove that if $P_g$ has no rigid eigenspaces (see Definition 2.2), the set of functions $f \in C^\infty(M, R)$ for which $P_{e^fg}$ has only simple non-zero eigenvalues is a residual set in $C^\infty(M,R)$. As a consequence we prove that if $P_g$ has no rigid eigenspaces for a dense set of metrics, then all non-zero eigenvalues are simple for a residual set of metrics in the $C^m$-topology. We also prove that t…
We describe a set of conformally covariant boundary operators associated to the Paneitz operator, in the sense that they give rise to a conformally covariant energy functional for the Paneitz operator on a compact Riemannian manifold with boundary. These operators naturally give rise to a first- and third-order conformally covariant pseudodifferential operator. In the setting of Poincaré--Einstein manifolds, we show that these operators agree with the fractional GJMS operators of Graham and Zworski. We also use our operators to establish some new sharp Sobolev trace inequalities.
This is the original manuscript dated March 9th 1983, typeset by the Editors for the Proceedings of the Midwest Geometry Conference 2007 held in memory of Thomas Branson. Stephen Paneitz passed away on September 1st 1983 while attending a conference in Clausthal and the manuscript was never published. For more than 20 years these few pages were circulated informally. In November 2004, as a service to the mathematical community, Tom Branson added a scan of the manuscript to his website. Here we make it available more formally. It is surely one of the most cited unpublished articles. The differe…
We discuss a general scheme for a construction of linear conformally invariant differential operators from curved Casimir operators; we then explicitly carry this out for several examples. Apart from demonstrating the efficacy of the approach via curved Casimirs, this shows that this method applies both in regular and in singular infinitesimal character, and also that it can be used to construct standard as well as non--standard operators. The examples treated include conformally invariant operators with leading term, in one case, a square of the Laplacian, and in another case, a cube of the L…
A new derivation is given of Branson's factorization formula for the conformally invariant operator on the sphere whose principal part is the k-th power of the scalar Laplacian. The derivation deduces Branson's formula from knowledge of the corresponding conformally invariant operator on Euclidean space (the k-th power of the Euclidean Laplacian) via conjugation by the stereographic projection mapping.
We prove an explicit residue formula for a meromorphic continuation of conformally covariant integral operators between differential forms on ${\bf R}^n$ and on its hyperplane. The results provide a simple and new construction of the conformally covariant differential symmetry breaking operators between differential forms on the sphere and those on its totally geodesic hypersurface that were introduced in [Kobayashi-Kubo-Pevzner, Lect. Notes Math. (2016)]. Moreover, we determine the zeros of the matrix-valued regular symmetry breaking operators between principal series representations of $O(n+…
In this note, we study the connection between the fractional Laplacian operator that appeared in the recent work of Caffarelli-Silvestre and a class of conformally covariant operators in conformal geometry.
We study conformal invariants that arise from functions in the nullspace of conformally covariant differential operators. The invariants include nodal sets and the topology of nodal domains of eigenfunctions in the kernel of GJMS operators. We establish that on any manifold of dimension $n\geq 3$, there exist many metrics for which our invariants are nontrivial. We discuss new applications to curvature prescription problems.
For even dimensional conformal manifolds several new conformally invariant objects were found recently: invariant differential complexes related to, but distinct from, the de Rham complex (these are elliptic in the case of Riemannian signature); the cohomology spaces of these; conformally stable form spaces that we may view as spaces of conformal harmonics; operators that generalise Branson's Q-curvature; global pairings between differential form bundles that descend to cohomology pairings. Here we show that these operators, spaces, and the theory underlying them, simplify significantly on con…
We investigate the singular sets of solutions of conformally covariant elliptic operators of fractional order with the goal of developing generalizations of some well-known properties of solutions of the singular Yamabe problem.
We describe a set of conformally covariant boundary operators associated to the sixth-order GJMS operator on a conformally invariant class of manifolds which includes compactifications of Poincaré--Einstein manifolds. This yields a conformally covariant energy functional for the sixth-order GJMS operator on such manifolds. Our boundary operators also provide a new realization of the fractional GJMS operators of order one, three, and five as generalized Dirichlet-to-Neumann operators. This allows us to prove some sharp Sobolev trace inequalities involving the interior $W^{3,2}$-seminorm, includ…
We consider a conformally invariant version of the Calderón problem, where the objective is to determine the conformal class of a Riemannian manifold with boundary from the Dirichlet-to-Neumann map for the conformal Laplacian. The main result states that a locally conformally real-analytic manifold in dimensions $\geq 3$ can be determined in this way, giving a positive answer to an earlier conjecture by Lassas and Uhlmann (2001). The proof proceeds as in the standard Calderón problem on a real-analytic Riemannian manifold, but new features appear due to the conformal structure. In particular, …
Over forty years ago, Paneitz, and independently Fradkin and Tseytlin, discovered a fourth-order conformally-invariant differential operator, intrinsically defined on a conformal manifold, mapping scalars to scalars. This operator is a special case of the so-termed extrinsic Paneitz operator defined in the case when the conformal manifold is itself a conformally embedded hypersurface. In particular, this encodes the obstruction to smoothly solving the five-dimensional scalar Laplace equation, and suitable higher dimensional analogs, on conformally compact structures with constant scalar curvat…
We give a complete classification of conformally covariant differential operators between the spaces of $i$-forms on the sphere $S^n$ and $j$-forms on the totally geodesic hypersphere $S^{n-1}$. Moreover, we find explicit formulæ for these new matrix-valued operators in the flat coordinates in terms of basic operators in differential geometry and classical orthogonal polynomials. We also establish matrix-valued factorization identities among all possible combinations of conformally covariant differential operators. The main machinery of the proof is the "F-method" based on the "algebraic Fouri…
On conformal manifolds of even dimension $n\geq 4$ we construct a family of new conformally invariant differential complexes. Each bundle in each of these complexes appears either in the de Rham complex or in its dual. Each of the new complexes is elliptic if the signature is Riemannian. We also construct gauge companion operators which complete the exterior derivative to a conformally invariant and (in the case of Riemannian signature) elliptically coercive system. These (operator,gauge) pairs are used to define finite dimensional conformally stable form subspaces which are are candidates for…
In this largely expository note, we discuss the mapping properties of the Laplacian (and other geometric elliptic operators) in spaces with an isolated conical singularity following the approach developed by B.-W. Schulze and collaborators. Our presentation aims at illustrating the versatility of these results by describing how certain representative (and seemingly disparate) applications in Geometric Analysis follow from a common setup.
We show that the conformally invariant fractional powers of the sub-Laplacian on the Heisenberg group are given in terms of the scattering operator for an extension problem to the Siegel upper halfspace. Remarkably, this extension problem is different from the one studied, among others, by Caffarelli and Silvestre.
In the study of conformal geometry, the method of elliptic partial differential equations is playing an increasingly significant role. Since the solution of the Yamabe problem, a family of conformally covariant operators (for definition, see section 2) generalizing the conformal Laplacian, and their associated conformal invariants have been introduced. The conformally covariant powers of the Laplacian form a family $P_{2k}$ with $k \in \mathbb N$ and $k \leq \frac{n}{2}$ if the dimension $n$ is even. Each $P_{2k}$ has leading order term $(- Δ)^k$ and is equal to $ (- Δ) ^k$ if the metric is fl…
CR invariant differential operators on densities with leading part a power of the sub-Laplacian are derived. One family of such operators is constructed from the ``conformally invariant powers of the Laplacian'' via the Fefferman metric; the powers which arise for these operators are bounded in terms of the dimension. A second family is derived from a CR tractor calculus which is developed here; this family includes operators for every positive power of the sub-Laplacian. This result together with work of Cap, Slovak and Soucek imply in three dimensions the existence of a curved analogue of ea…
We present and prove Polyakov-Alvarez type comparison formulas for the determinants of Friederichs extensions of Laplacians corresponding to conformally equivalent metrics on a compact Riemann surface with conical singularities. In particular, we find how the determinants depend on the orders of conical singularities. We also illustrate these general results with several examples: based on our Polyakov-Alvarez type formulas we recover known and obtain new explicit formulas for determinants of Laplacians on singular surfaces with and without boundary. In one of the examples we show that on the …
We look at several problems in even dimensional conformal geometry based around the de Rham complex. A leading and motivating problem is to find a conformally invariant replacement for the usual de Rham harmonics. An obviously related problem is to find, for each order of differential form bundle, a ``gauge'' operator which completes the exterior derivative to a system which is both elliptically coercive and conformally invariant. Treating these issues involves constructing a family of new operators which, on the one hand, generalise Branson's celebrated Q-curvature and, on the other hand, com…
We show that the Teukolsky connection, which defines generalized wave operators governing the behavior of massless fields on Einstein spacetimes of Petrov type D, has its origin in a distinguished conformally and GHP covariant connection on the conformal structure of the spacetime. The conformal class has a (metric compatible) integrable almost-complex structure under which the Einstein space becomes a complex (Hermitian) manifold. There is a unique compatible Weyl connection for the conformal structure, and it leads to the construction of a conformally covariant GHP formalism and a generaliza…
Green functions play an important role in conformal geometry. In this paper, we explain how to compute explicitly the logarithmic singularities of the Green functions of the conformal powers of the Laplacian. These operators include the Yamabe and Paneitz operators, as well as the conformal fractional powers of the Laplacian arising from scattering theory for Poincaré-Einstein metrics. The results are formulated in terms of Weyl conformal invariants arising from the ambient metric of Fefferman-Graham. As applications we obtain "Green function" characterizations of locally conformally flat mani…
We give a complete classification of tangential bidifferential operators of total order at most $n$ which are expressed purely in terms of the Laplacian on the ambient space of an $n$-dimensional manifold. This gives a curved analogue of the classification, due to Ovsienko--Redou and Clerc, of conformally invariant bidifferential operators on the sphere. As an application, we construct a large class of formally self-adjoint conformally invariant differential operators.
This paper derives an explicit formula for Branson's Q-curvature in even-dimensional conformal geometry. The ingredients in the formula come from the Poincare metric in one higher dimension; hence the formula is called holographic. When specialized to the conformally flat case, the holographic formula expresses Q-curvature as a multiple of the Pfaffian and the divergence of a natural one-form. The paper also outlines the relation between holographic formulae for Q-curvature and a new theory of conformally covariant families of differential operators due to the second author.
On manifolds with an even Riemannian conformally compact Einstein metric, the resolvent of the Lichnerowicz Laplacian, acting on trace-free, divergence-free, symmetric 2-tensors is shown to have a meromorphic continuation to the complex plane, defining quantum resonances of this Laplacian. For higher rank symmetric tensors, a similar result is proven for (convex cocompact) quotients of hyperbolic space.
More than forty years ago J. H. Samson has defined the Laplacian $Δ_{sym}$ acting on the space of symmetric covariant $p$-tensors on an $n$-dimensional Riemannian manifold $(M, g)$. This operator is an analogue of the well known Hodge-de Rham Laplacian $Δ$ which acts on the space of exterior differential $p$-forms ($1 \le p \le n$) on $(M, g)$. In the present paper we will prove that for $n > p = 1$ the operator $Δ_{sym}$ is the Yano rough Laplacian and show its spectrum properties on a compact Riemannian manifold.
There are very few general theorems on the kernel of the well-known Lichnerowicz Laplacian. In the present article we consider the geometry of the kernel of this operator restricted to covariant (not necessarily symmetric or skew-symmetric) tensors. Our approach is based on the analytical method, due to Bochner, of proving vanishing theorems for the null space of Laplace operator. In particular, we pay special attention to the kernel of the Lichnerowicz Laplacian on Riemannian symmetric spaces of compact and noncompact types. In conclusion, we give some applications to the theories of infinite…
The well known conformal covariance of the Dirac operator acting on spinor fields over a semi Riemannian spin manifold does not extend to powers thereof in general. For odd powers one has to add lower order curvature correction terms in order to obtain conformal covariance. We derive an algorithmic construction in terms of associated tractor bundles to compute these correction terms. Depending on the signature of the semi Riemannian manifold in question, the obtained conformal powers of the Dirac operator turn out to be formally self-adjoint with respect to the $L^2-$scalar product, or formall…
We construct a series of conformally invariant differential operators acting on weighted trace-free symmetric 2-tensors by a method similar to Graham-Jenne-Mason-Sparling's. For compact conformal manifolds of dimension even and greater than or equal to four with vanishing ambient obstruction tensor, one of these operators is used to describe the second variation of the total Q-curvature. An explicit formula for conformally Einstein manifolds is given in terms of the Lichnerowicz Laplacian of an Einstein representative metric.
Under a spectral assumption on the Laplacian of a Poincaré--Einstein manifold, we establish an energy inequality relating the energy of a fractional GJMS operator of order $2γ\in(0,2)$ or $2γ\in(2,4)$ and the energy of the weighted conformal Laplacian or weighted Paneitz operator, respectively. This spectral assumption is necessary and sufficient for such an inequality to hold. We prove the energy inequalities by introducing conformally covariant boundary operators associated to the weighted conformal Laplacian and weighted Paneitz operator which generalize the Robin operator. As an applicatio…
For a class of even dimensional conformally compact manifolds (X,g), we define a generalized Krein spectral function by applying a renormalized trace functional to the spectral measure of the Laplacian. We then show that this is the phase of the Kontsevich-Vishik determinant det S(s) of the scattering operator S(s) of (the Laplacian of) g and we analyze the divisors of det(S(s)). As an application for convex co-compact hyperbolic quotients, we obtain a functional equation for Selberg's Zeta function Z(s), we express the determinant of the GJMS conformal Laplacians of the conformal infinity of …
We argue that the AdS/CFT calculational prescription for double-trace deformations leads to a holographic derivation of the conformal anomaly, and its conformal primitive, associated to the whole family of conformally covariant powers of the Laplacian (GJMS operators) at the conformal boundary. The bulk side involves a quantum 1-loop correction to the SUGRA action and the boundary counterpart accounts for a sub-leading term in the large-N limit. The sequence of GJMS conformal Laplacians shows up in the two-point function of the CFT operator dual to a bulk scalar field at certain values of its …
