Isoperimetric inequality for spacelike star-shaped hypersurfaces in De Sitter space

Let MS1n+1M\subset\mathbb S^{n+1}_1 be a spacelike, compact, star-shaped, and kk-convex hypersurface. For 1kn1\leq k\leq n, let Ak\mathcal A_k denote the quermassintegral-type quantity defined for such hypersurfaces, and let ξk,0\xi_{k,0} be the associated monotonically increasing function for radial coordinate slices. Isoperimetric conjecture. One has

Akξk,0(A0),1kn,\mathcal A_k\leq\xi_{k,0}(\mathcal A_0),\qquad 1\leq k\leq n,

with equality if and only if MM is a radial coordinate slice. The conjecture would follow from proving that the stated flow evolves every arbitrary kk-convex hypersurface to a round sphere; it is therefore an isoperimetric inequality characterizing radial coordinate slices among the relevant hypersurfaces.

Sources & referencesView supporting material

Primary source

Ling Xiao, “An isoperimetric type inequality in De Sitter space”, arXiv:2503.23198 (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.