Geometric inequality conjecture for asymptotically Euclidean immersions

About 2 years old · traced to

Let nn and qq be integers such that n≥3n\geq3 and 0<q<n/20<q<n/2, and let ψ ⁣:Mn→Rd\psi\colon M^n\to\mathbb{R}^d, with d>nd>n, be an asymptotically Euclidean immersion of order τ>τq\tau>\tau_q. Let S2qS_{2q} and S2q+1S_{2q+1} denote the corresponding higher mean curvatures, let Zˉ\bar Z be the Euclidean position vector, and assume that S2qS_{2q} is integrable and nonnegative.

Geometric inequality conjecture. One has

(n−2q)∫MS2q dM+(2q+1)∫M⟨S2q+1,Zˉ⟩ dM≥0,(n-2q)\int_M S_{2q}\,\mathrm{d}M+(2q+1)\int_M\langle S_{2q+1},\bar Z\rangle\,\mathrm{d}M\geq0,

with equality if and only if (M,ψ∗δˉ)(M,\psi^*\bar\delta) is isometric to Euclidean space.

Together with the conjectured existence of asymptotically Euclidean isometric immersions, this would imply the positive mass conjecture for the Gauss--Bonnet--Chern mass through the paper's mass identity. The source gives no resolution of this conjecture.

References

Primary source

Alexandre de Sousa and Frederico Girão, “Mass from an Extrinsic Point of View”, arXiv:2403.06782 (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.