Sections of convex bodies with symmetries (Q482636): Difference between revisions

A convex body in the complex space \(\mathbb{C}^n\) is a convex body in \(\mathbb{R}^{2n}\) invariant under the subgroup \(\{ (g,g,\ldots, ,g) : g \in \mathrm{SO}(2) \}\) of \(\mathrm{SO}(2n)\). The authors consider \(\kappa\)-\textit{balanced} bodies for any integer \(\kappa \in \mathbb{N}\), defined as bodies in \(\mathbb{R}^{\kappa n}\), invariant under the subgroup \(\{ (g,g,\ldots, ,g) : g \in \mathrm{SO}(\kappa) \}\), and regard \(\mathbb{R}^{\kappa n}\), along with the family of \(\kappa\)-balanced bodies, as the space \(\mathbb{K}^n\). The main goal of the paper is to generalize results about bodies in \(\mathbb{R}^n\) and \(\mathbb{C}^n\) to bodies in \(\mathbb{K}^n\). In particular, in Section 2 the authors examine properties of Radon and Fourier transforms in this space, and express the volume of the section of an origin-symmetric star body in \(\mathbb{K}^n\) as the Fourier transform of a certain function. In Sections 3 and 4 they give two equivalent conditions for the fact that an origin-symmetric star body is an intersection body, and characterize the values of \(\kappa\) and \(n\) for which each origin-symmetric convex body in \(\mathbb{K}^n\) is an intersection body. In Section 5, they generalize the Busemann-Petty Problem for \(\mathbb{K}^n\), determine the values of \(\kappa\) and \(n\) for which the answer to this question is affirmative; and prove a similar theorem for arbitrary measures. Finally, in Section 6 they extend Busemann's theorem to \(\mathbb{K}^n\), by proving that the intersection body of an origin-symmetric convex body in \(\mathbb{K}^n\) is an origin-symmetric convex body in \(\mathbb{K}^n\).