Petty's polar projection problem

Let KRnK\subset\mathbb{R}^n be an oo-symmetric convex body, and let ΠK\Pi K be its projection body, defined by

hΠK(u)=voln1(Ku),uSn1.h_{\Pi K}(u)=\operatorname{vol}_{n-1}(K\mid u^\perp),\qquad u\in\mathbb{S}^{n-1}.

Its polar projection body is ΠK=(ΠK)\Pi^\circ K=(\Pi K)^\circ. Petty's conjecture. If n3n\geq 3 and ΠK=λK\Pi^\circ K=\lambda K for some λR\lambda\in\mathbb{R}, then KK is an ellipsoid. This polar projection problem is a classical question in convex geometry; the stated version is known for convex polytopes, where Martini proved that the only such polytopes are simplices, but the general problem remains open.

Sources & referencesView supporting material

Primary source

Ákos G. Horváth and Zsolt Lángi, “On the convex hull and homothetic convex hull functions of a convex body”, arXiv:2012.08955 (2021).

Additional references

3 papers in this index state this conjecture (2013–2020). The statement above is taken from the most recent of them; the others are arXiv:1511.03381, arXiv:1305.1437.

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.