Abstract:We prove nonuniqueness results for constant sixth order $Q$-metrics on complete locally conformally flat $n$-dimensional Riemannian manifolds with $n\geqslant 7$. More precisely, assuming a positive Green function exists for the sixth order GJMS operator, our objective is two-fold. First, we use a classical bifurcation technique to prove that there exists infinitely many constant $Q$-curvature metrics on $\mathbb{S}^1\times\mathbb{S}^{n-1}$. As a by-product, we find the sixth order Yamabe invariant on this product manifold can be arbitrarily close to that of the round dimensional sphere, generalizing a result of Schoen about the classical Yamabe invariant. Second, when the underlying manifold is noncompact, we apply a bifurcation technique on Riemannian covering to construct infinitely many complete metrics with constant sixth order $Q$-curvature conformal to $\mathbb{S}^{n_1} \times \mathbb{R}^{n_2}$ or $\mathbb{S}^{n_1} \times \mathbb{H}^{n_2}$, where $n_1+n_2\geqslant 7$. Consequently, we obtain infinitely many solutions to the singular constant GJMS equation on round spheres $\mathbb{S}^n\setminus \mathbb{S}^k$ blowing up along a minimal equatorial subsphere with $0 \leqslant k<\frac{n-6}{2}$; this dimension restriction is sharp in the topological sense.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the non - uniqueness results of metrics with constant sixth - order Q - curvature on high - dimensional manifolds. Specifically, the authors focus on constructing infinitely many metrics with constant sixth - order Q - curvature on n - dimensional Riemannian manifolds (\(n\geq7\)) that are completely locally conformally flat when there exists a Green function of the positive sixth - order GJMS operator. The main objectives of the paper are two - fold:
1. **Non - uniqueness on compact manifolds**: First, by using the classical bifurcation technique, it is proved that there exist infinitely many metrics with constant Q - curvature on \(S^1\times S^{n - 1}\). As a by - product, they find that the sixth - order Yamabe invariant on this product manifold can be arbitrarily close to the corresponding value of the standard sphere, which generalizes Schoen's result on the classical Yamabe invariant.
2. **Non - uniqueness on non - compact manifolds**: Second, when the base manifold is non - compact, the authors construct infinitely many complete metrics with constant sixth - order Q - curvature by applying the bifurcation technique on Riemannian coverings. These metrics are conformal to \(S^{n_1}\times\mathbb{R}^{n_2}\) or \(S^{n_1}\times\mathbb{H}^{n_2}\), where \(n_1 + n_2\geq7\). Thus, they obtain infinitely many solutions that are singular along the minimal equatorial sub - sphere \(S^n\setminus S^k\) on the standard sphere, where the dimension restriction \(0\leq k <\frac{n - 6}{2}\) is topologically strict.
### Main Results
1. **Theorem 1.1**: For \(S^1\times S^{n - 1}\) (\(n\geq7\)), there exist infinitely many non - homeomorphic conformal metrics that have constant sixth - order Q - curvature. Moreover,
\[
\lim_{\ell\rightarrow+\infty}Y_6^+(S^1\times S^{n - 1}, g_\ell)=Y_6^+(S^n, g_0).
\]
Therefore,
\[
Y_6^+(S^1\times S^{n - 1})=Y_6^+(S^n)=\frac{n(n^4 - 20n^2 + 64)}{25}\omega_n^{6/n}.
\]
2. **Theorem 1.3**: Suppose \(M^n\) is a closed Riemannian manifold (\(n\geq7\)) and satisfies conditions (G+) and (A'). If \((M^n_\infty, g_\infty)\to(M^n, g)\) is a Riemannian covering whose finite completion of the deck transformation group is infinite, then there exist infinitely many non - homeomorphic conformal periodic metrics that have constant positive sixth - order Q - curvature on \(M_6(g_C\oplus g_S)\).
### Corollaries
1. **Corollary 1.2**: Suppose \(S^1\times S^{n - 1}\) satisfies (G+), then
\[
Y_6(M, g)=Y_6^*(M, g)\leq Y_6(S^n, g_0),
\]
where the equality holds if and only if \((M^n, g)=(S^n, g_0)\). Moreover,
\[
Y_6(S^{n - 1}\times S^1)=Y_6^+(S^{n - 1}\times S^1)=Y_6^*(S^n, g_0).
\]
2. **Corollary 1.4**: Suppose \(C^{n_1}\times S^{n_2}\) is a complete non - compact Riemannian manifold (\(n_1 + n_2 = n\geq7\)) and satisfies (G+) and (A'). Suppose \((C^{n_1}, g_C)\) is a closed manifold with constant scalar curvature, and \((S^{n_2}, g_S)\) is a non - compact or Euclidean type