On some problems concerning symmetrization operators (Q2418037)

In this paper the author studies a few problems concerning symmetrization, which were raised by \textit{G. Bianchi} et al. [Adv. Math. 306, 51--88 (2017; Zbl 1366.52003)]. Let \(G_{n,i}\) be the Grassmannian of \(\mathbb{R}^n\) of dimension \(i\), \(i\leq n\). For \(j\in\{1,\dots,n\}\), the \(j\)-th intrinsic volume is denoted by \(V_j\). For \(i\in\{0,\dots,n-1\}\), let \(H\) be a subspace of \(\mathbb{R}^n\) of dimension \(i\), namely an element of the Grassmannian \(G_{n,i}\). A symmetrization is any operator \(\lozenge:\mathcal{B}\to\mathcal{B}_H\), where \(\mathcal{B}\) is any class of convex sets, and \(\mathcal{B}_H\) consists of all elements of \(\mathcal{B}\) that are symmetric with respect to \(H\). Let \(i\in\{0,\dots,n-1\}\), \(H\in G_{n,i}\), and let \(\mathcal{B}\) be the family \(\mathcal{K}^n\) of all compact convex subsets of \(\mathbb{R}^n\), or the family \(\mathcal{K}^n_n\) of all convex bodies of \(\mathbb{R}^n\). The author proves the following main results. \begin{itemize} \item[1)] Let \(\lozenge\) be strictly monotonic, idempotent and invariant on \(H\)-symmetric spherical cylinders. Then \(\lozenge\) is projection invariant, namely, for all \(K\in\mathcal{B}\), the orthogonal projection \((\lozenge K)\vert H\) of \(\lozenge K\) on \(H\) equals the orthogonal projection \(K\vert H\). \item[2)] Let \(\lozenge\) be monotonic and invariant on \(H\)-symmetric cylinders. If a strictly increasing set function \(F:\mathcal{B}\to [0,\infty)\) exists such that \(F(\lozenge K)=F(K)\) for all \(K\in\mathcal{B}\), then \(\lozenge\) is projection invariant.\par \item[3)] For \(i\in\{0,\dots,n-1\}\), let \(j\in\{2,\dots,n\}\) such that \(j\leq n-i\), and \(H\in G_{n,i}\). Then, no symmetrization exists that is monotonic, \(V_j\)-preserving and invariant on \(H\)-symmetric sets. \item[4)] In case \(\lozenge\) is monotonic, \(V_1\)-preserving and \(\lozenge K=K\) for all \(K\in\mathcal{B}_H\), the problem of proving that \(\lozenge\) is invariant under translations orthogonal to \(H\) of \(H\)-invariant sets is investigated. \end{itemize} The case \(i=n-1\) in 3) remains open. Problem 4) remains open in its general form, even if an affirmative answer is provided in the case \(\mathcal{B}=\mathcal{K}^n\), and with the further assumption that \(\lozenge\) maps line segments contained in a translate of \(H^{\perp}\) to line segments