Berger's conjecture on the isoperimetric profile of projective spaces

Let K{R,C,H}\mathbb{K}\in\{\mathbb{R},\mathbb{C},\mathbb{H}\}, and let IPn+1(K)I_{\mathbb{P}^{n+1}(\mathbb{K})} denote the isoperimetric profile of Pn+1(K)\mathbb{P}^{n+1}(\mathbb{K}), defined by

IPn+1(K)(v)=inf{Ω:ΩPn+1(K), Ω=v}.I_{\mathbb{P}^{n+1}(\mathbb{K})}(v)=\inf\{\lvert\partial\Omega\rvert:\Omega\subset\mathbb{P}^{n+1}(\mathbb{K}),\ \lvert\Omega\rvert=v\}.

A projective subspace Pk(K)Pn+1(K)\mathbb{P}^k(\mathbb{K})\subset\mathbb{P}^{n+1}(\mathbb{K}) has successive tubular neighborhoods whose perimeters define a candidate profile. Berger's conjecture. The isoperimetric profile of Pn+1(K)\mathbb{P}^{n+1}(\mathbb{K}) is given by the perimeter of successive tubular neighborhoods of projective subspaces Pk(K)Pn+1(K)\mathbb{P}^k(\mathbb{K})\subset\mathbb{P}^{n+1}(\mathbb{K}). This is a profile-level formulation of the proposed classification of isoperimetric regions in projective spaces. The source attributes this formulation to Berger and does not provide evidence of a resolution.

Sources & referencesView supporting material

Primary source

Celso Viana, “Isoperimetry and volume preserving stability in real projective spaces”, arXiv:1907.09445 (2023).

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.