Compactness of conformal metrics with constant $Q$-curvature of higher order

Abstract

Let $k\ge 1$ be a positive integer and let $P_g$ be the GJMS operator $P_g$ of order $2k$ on a closed Riemannian manifold $(M,g)$ of dimension $n>2k$. We investigate the compactness of the set of metrics conformal to $g$ with prescribed constant positive $Q$-curvature of order $2k$ --- or, equivalently, of the set of positive solutions for the $2k$-th order $Q$-curvature equation. Under a natural positivity-preserving condition on $P_g$ we establish compactness, for an arbitrary $1\le k<\frac{n}{2}$, under different assumptions: $(M,g)$ is locally conformally flat and $P_g$ has positive mass in $M$; $2k+1\le n\le 2k+5$ and $P_g$ has positive mass in $M$, whenever the mass is defined; $n\ge 2k+4$ and the Weyl tensor ${\text{Weyl}}_g$ never vanishes in $M$. For an arbitrary $1\le k<\frac{n}{2}$ the expression of $P_g$ is not explicit, which is an obstacle to proving compactness. We overcome this by relying on Juhl's recursive formulae for $P_g$ to perform a refined blow-up analysis for solutions of the $Q$-curvature equation and to prove a Weyl vanishing result for $P_g$. Our result also hints that the threshold dimension for compactness for the $2k$-th order $Q$-curvature equation diverges as $k\to +\infty$.

With respect to V2 appendix B has been turned into an actual section of the paper and is now Section 3. A few typos have been corrected and a few arguments have been clarified