Uniform a priori estimate conjecture for the boundary conformal equation

Let (M,g)(M,g) be a compact nn-dimensional Riemannian manifold with boundary M\partial M. Suppose that MM is of positive type and is not conformally equivalent to S+n\mathbb S^n_+. Assume further that n=3n=3 or that MM is locally conformally flat with M\partial M umbilic and n3n\geq 3. For a small δ>0\delta>0, let C(M,g,δ)>0C(M,g,\delta)>0. For any solution u>0u>0 of the referenced boundary equation with 0κ1δ0\leq \kappa\leq 1-\delta, assume 0<α<10<\alpha<1.

Uniform a priori estimate conjecture. There exists C(M,g,δ)>0C(M,g,\delta)>0 such that

C1uCanduC2,α(M)C.C^{-1}\leq u\leq C\qquad\text{and}\qquad \|u\|_{C^{2,\alpha}(M)}\leq C.

The proposed estimate would provide uniform compactness away from the endpoint κ=1\kappa=1 and is intended to support a topological-degree proof of the existence conjecture. The statement is presented as a conjecture, and no resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Sergio Almaraz and Shaodong Wang, “A priori estimates for negative constant scalar curvature conformal metrics with positive constant boundary mean curvature”, arXiv:2502.07824 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.