[论文解读] The Lower Dimensional Busemann-Petty Problem in the Complex Hyperbolic Space

Dann, Susanna|arXiv (Cornell University)|Jul 28, 2013

Point processes and geometric inequalities被引用 5

一句话总结

本文通过证明：对于原点对称、Rθ-不变、h-凸体，在复双曲空间中，通过k维复截面进行体积比较成立当且仅当k = 1。当k ≥ 2时，答案为否定，即更小的截面体积并不意味着整体体积更小。该结果通过傅里叶分析与复双曲空间上的Bergman度量，将经典问题推广至非欧几里得几何。

ABSTRACT

The lower dimensional Busemann-Petty problem asks whether origin-symmetric convex bodies in R^n with smaller volume of all k-dimensional sections necessarily have smaller volume. The answer is negative for k>3. The problem is still open for k=2,3. We study this problem in the complex hyperbolic n-space and prove that the answer is affirmative only for sections of complex dimension one and negative for sections of higher dimensions.

研究动机与目标

• 解决复双曲空间中关于原点对称凸体的开放问题：更小的k维截面体积是否意味着整体体积更小。
• 将经典Busemann-Petty问题推广至非欧几里得几何，特别是复双曲n维空间Hn_C。
• 对不同截面维数k下该问题的行为进行表征，区分蕴含关系成立或不成立的情形。
• 利用Bergman度量与h-凸性定义复双曲空间中的体积，确保几何一致性。
• 建立该问题与球面上径向函数傅里叶变换之间的联系，通过Funk变换与广义k-截面体框架。

提出的方法

• 通过Cn的球面模型定义复双曲空间Hn_C，将其与R2n中的开单位球通过标准复到实同构识别。
• 引入Rθ-不变性与h-凸性，以建模Hn_C中原点对称的凸体，确保在Bergman度量下具有测地线凸性。
• 使用Bergman体积元dµn = 8n r^{2n-1} dr dσ / (1 - r^2)^{n+1} 计算截面与整体的体积。
• 应用Funk变换及其逆，将k维截面的体积与体的径向函数的傅里叶变换联系起来。
• 利用广义k-截面体框架，将问题约化为由傅里叶变换导出的某分布的正定性问题。
• 通过构造复椭球的显式反例，并利用截面体积函数的拉普拉斯算子分析其截面体积，证明当k ≥ 2时结论不成立。

实验结果

研究问题

• RQ1 在复双曲空间Hn_C中，当k ≥ 2时，低维Busemann-Petty问题对k维复截面是否成立？
• RQ2 在Hn_C中，k = 1时蕴含关系是否成立？若成立，为何与更高k值不同？
• RQ3 Bergman度量与h-凸性在Hn_C中定义体积与凸性时起何作用？
• RQ4 径向函数的傅里叶变换如何与复双曲空间中截面体积相关联？
• RQ5 该问题能否约化为由径向函数傅里叶变换导出的分布的正定性问题？

主要发现

• 在复双曲空间Hn_C中，低维Busemann-Petty问题仅在复维数k = 1时有肯定答案。
• 当k ≥ 2时，答案为否定：存在原点对称、Rθ-不变、h-凸体K与L，使得K的所有k维截面的HVol2k小于对应L的截面，但HVol2n(K) > HVol2n(L)。
• 通过构造Rθ-不变、h-凸的复椭球作为显式反例，其径向函数的傅里叶变换在k ≥ 2时非正定。
• 当k ≥ 2时失败的原因在于：分布(∥x∥^{-2n+4}_L (1 - |x|^2 ∥x∥^{-2}_L)^{n-2})^∧在某些方向上非正定，违反了体积比较的必要条件。
• 当k = 1时，截面体积等价于Poincaré度量下的圆盘体积，问题退化为实空间中的一维情形，此时结论显然成立。
• 证明技术依赖于LDBP与广义k-截面体之间的联系，表明在Hn_C中，当k ≥ 2时该条件不成立，与欧几里得空间情形不同。