[論文レビュー] 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

ひとこと要約

この論文は、複素双曲空間における次元が低いBusemann-Petty問題を、原点対称で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-凸性を導入し、Bergman計量下での測地線的凸性を保証する。
• 体積の計算に、Bergman体積要素dµn = 8n r^{2n-1} dr dσ / (1 - r^2)^{n+1} を用いる。
• Funk変換とその逆変換を用いて、k次元断面の体積を体積の径数関数のフーリエ変換に関連付ける。
• 一般化されたk-交差体の枠組みを用いて、問題を径数関数のフーリエ変換から導かれるある分布の正定値性に還元する。
• 複素楕円体を用いた明示的反例を構成し、断面体積関数のラプラシアンを分析することで、k ≥ 2で不成立であることを示す。

実験結果

リサーチクエスチョン

• RQ1 k ≥ 2のとき、複素双曲空間Hn_Cにおける次元が低いBusemann-Petty問題は、k次元複素断面に対して成り立つか？
• RQ2 k = 1のとき、Hn_Cで含意は成り立つか？もし成り立つならば、なぜ高次元とは異なるのか？
• RQ3 Bergman計量とh-凸性は、Hn_Cにおける体積と凸性の定義において果たす役割は何か？
• RQ4 径数関数のフーリエ変換は、複素双曲空間における断面体積とどのように関係するか？
• RQ5 問題は、径数関数のフーリエ変換から導かれる分布の正定値性に還元可能か？

主な発見

• 複素双曲空間Hn_Cにおける次元が低いBusemann-Petty問題は、複素次元k = 1の断面に対してのみ肯定的である。
• k ≥ 2の場合は否定的である：原点対称でRθ-不変かつh-凸な体KとLが存在し、Kのすべてのk次元断面のHVol2kがLの対応する断面のHVol2kより小さいにもかかわらず、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é計量下での円板体積に等しく、問題は実空間の1次元ケースに還元され、自明に成り立つ。
• 証明技法は、LDBPと一般化されたk-交差体の関係に依拠しており、Hn_Cではk ≥ 2で条件が成り立たないことが示され、これはユークリッド空間とは異なる。