The strict isoperimetric-ratio conjecture for conformal manifolds with boundary

About 19 years old · traced to

Let n≥3n\geq 3, let (Mn,g)(M^n,g) be a smooth compact Riemannian manifold with nonempty boundary, and suppose that λ1(Lg)>0\lambda_1(L_g)>0. For a conformal metric g~∈[g]\widetilde g\in[g] with zero scalar curvature, let I(M,g~)I(M,\widetilde g) denote the isoperimetric ratio and define

ΘM,g=sup⁡{I(M,g~):g~∈[g] with R~=0}.\Theta_{M,g}=\sup\{I(M,\widetilde g):\widetilde g\in[g]\text{ with }\widetilde R=0\}.

Here B‾1\overline B_1 is the unit ball in Rn\mathbb R^n, gRng_{\mathbb R^n} is the Euclidean metric, and ΘB‾1,gRn\Theta_{\overline B_1,g_{\mathbb R^n}} is the corresponding Euclidean-ball value. Strict isoperimetric-ratio conjecture. If (M,g)(M,g) is not conformally diffeomorphic to (B‾1,gRn)(\overline B_1,g_{\mathbb R^n}), then

ΘM,g>ΘB‾1,gRn.\Theta_{M,g}>\Theta_{\overline B_1,g_{\mathbb R^n}}.

This is the analogue of the strict inequality in the Yamabe problem. Together with the theorem that the supremum is achieved whenever it is strictly larger than the Euclidean-ball value, the conjecture would reduce the existence question to the conformal Euclidean ball case.

References

Primary source

Fengbo Hang, Xiaodong Wang and Xiaodong Yan, “An integral equation in conformal geometry”, arXiv:math/0703821 (2007).

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.