Uniformization theorems: between Yamabe and Paneitz (Q2237252)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Uniformization theorems: between Yamabe and Paneitz
scientific article

    Statements

    Uniformization theorems: between Yamabe and Paneitz (English)
    0 references
    0 references
    0 references
    0 references
    27 October 2021
    0 references
    Let \((X,g_+)\) be the interior of a conformally compact and asymptotically hyperbolic \((n+1)\)-dimensional Poincaré-Einstein manifold \(\overline{X}\) with conformal boundary \((M,[h])\). Scattering theory for such manifolds leads to the family of conformally covariant fractional GJMS operators \(P_h^{\gamma}\) on \(M\) and to the notion of fractional \(Q_h^{\gamma}\)-curvature given by \(Q_h^{\gamma} = P_h^{\gamma}(1)\). The fractional Yamabe problem considered by \textit{M. del Mar González} and \textit{J. Qing} [Anal. PDE 6, No. 7, 1535--1576 (2013; Zbl 1287.35039)] then asks for the existence of a metric \(h_0\) within the given conformal class \([h]\) on \(M\) such that \(Q_{h_0}^{\gamma}\) is constant. In analogy to the classical Yamabe problem, solutions to the fractional Yamabe problem are sought as minimizers of a suitable fractional Yamabe functional \(E_h^{\gamma}\), and the fractional Yamabe constant \(Y^{\gamma}(M,[h])\) is the infimum of the values of this functional. In the paper under review, the authors expand on previous existence results in the literature on this problem. The main results are the following theorems. Theorem 1. Suppose that \(\gamma \in (0,1)\) and \(n \geq 2\). Assume \(\lambda_1(-\Delta_{g_+}) > \frac{1}{4}n^2 - \gamma^2\). If \(Y^{\gamma}(M,[h]) > 0\) then there exists a metric \(h_0 \in [h]\) such that \(Q^{\gamma}_{h_0}\) is constant. Theorem 2. Suppose that \(1 < \gamma < \min\{2,\frac{n}{2}\}\) and \(n \geq 3\). Assume \(\lambda_1(-\Delta_{g_+}) > \frac{1}{4}n^2 - (2-\gamma)^2\). If \(R_{h_1} \geq 0\) and \(Q_{h_1}^{\gamma} \geq 0\) and \(Q_{h_1}^{\gamma} \not\equiv 0\) for some \(h_1 \in [h]\), then there exists a metric \(h_0 \in [h]\) such that \(Q^{\gamma}_{h_0}\) is constant.
    0 references
    fractional GJMS operator
    0 references
    Poincaré-Einstein manifold
    0 references
    algebraic topological argument
    0 references
    barycenter technique
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references