The isodiametric problem on the sphere and in the hyperbolic space (Q2300110)

By building on ``ideas related to two-point symmetrization'' in [\textit{G. Aubrun}, \textit{M. Fradelizi}, Arch. Math. 82, No. 3, 282--288 (2004; Zbl 1069.52012)], the authors extend to hyperbolic spaces and to the sphere the isodiametric results that were established for Euclidean spaces in [\textit{L. Bieberbach}, Jahresber. Dtsch. Math.-Ver. 24, 247--250 (1915; JFM 45.0623.01)] (for the two-dimensional case) and in [\textit{P. Uryson}, Moscou, Rec. Math. 31, 477--486 (1924; JFM 50.0489.01)]: Measurable and bounded sets of diameter \(\leq D\) (with \(D<\pi\) in the case that the set is on the \(n\)-dimensional sphere of radius \(1\)) have volumes that do not exceed that of a ball of radius \(\frac{D}{2}\), and equality holds if and only if the closure of \(X\) is a ball of radius \(\frac{D}{2}\).