Petty's polar projection problem

About 13 years old · traced to

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

hΠK(u)=vol⁡n−1(K∣u⊥),u∈Sn−1.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 n≥3n\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.

References

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.