The complex Busemann-Petty problem for arbitrary measures

From MaRDI portal



Abstract: The complex Busemann-Petty problem asks whether origin symmetric convex bodies in C^n with smaller central hyperplane sections necessarily have smaller volume. The answer is affirmative if nleq 3 and negative if ngeq 4. In this article we show that the answer remains the same if the volume is replaced by an "almost" arbitrary measure. This result is the complex analogue of Zvavitch's generalization to arbitrary measures of the original real Busemann-Petty problem.


Let \( f \) be an even positive continuous function on \( {\mathbb R}^{2n} \) and \( \mu \) be a measure on \( {\mathbb R}^{2n} \) with density \( f \). Denote by \( H_{\xi} \subset {\mathbb C}^n \) complex hyperplanes orthogonal to a unit vector \( \xi \in S^{2n-1} \subset {\mathbb C}^n \) and by \( R_{\theta} \) the complex homothety (or rotation) in \({\mathbb C}^n = {\mathbb R}^{2n} \) with the homothety coefficient \( \exp(i \theta ) \). The author studies the complex Busemann-Petty problem for a measure \( \mu \) as above: Let the bodies \( K , L \subset {\mathbb C}^n \) be convex and origin symmetric with respect to all rotations \( R_{\theta} \). Does the condition \[ \mu (K \cap H_{\xi}) \leq \mu (L \cap H_{\xi}), \quad \forall \xi \in S^{2n-1}, \] imply that \( \mu (K) \leq \mu (L) \)? The Main Theorem of the paper states that this is true for \( n \leq 3 \) and is false for \( n \geq 4 \), as in the real case, and as in the complex case with the standard Lebesgue measure (when \( f \equiv 1 \)) considered in [\textit{A. Koldobsky, H. König} and \textit{M. Zymonopoulou}, Adv. Math. 218, No. 2, 352--367 (2008; Zbl 1141.52007)].











This page was built for publication: The complex Busemann-Petty problem for arbitrary measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q999100)