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

Abstract

Let $k\ge1$ 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$.