[論文レビュー] A positive solution to the Busemann-Petty problem in R^4

Gaoyong Zhang|arXiv (Cornell University)|Mar 1, 1999

Point processes and geometric inequalities参考文献 20被引用数 24

ひとこと要約

この論文は、球面ラドン変換とフーリエ解析の修正された応用を用いて、4次元空間 R⁴ におけるBusemann-Petty 問題を解決する。すべての原点対称凸体が交差体であることを証明し、問題の次元全体にわたる分類を完成させる。

ABSTRACT

H. Busemann and C. M. Petty posed the following problem in 1956: If K and L are origin-symmetric convex bodies in R^n and for each hyperplane H through the origin the volumes of their central slices satisfy vol(K cap H) < vol(L cap H), does it follow that the volumes of the bodies themselves satisfy vol(K) < vol(L)? The problem is trivially positive in R^2. However, a surprising negative answer for n <= 12 was given by Larman and Rogers in 1975. Subsequently, a series of contributions were made to reduce the dimensions to n >= 5 by a number of authors. That is, the problem has a negative answer for n >= 5. It was proved by Gardner that the problem has a positive answer for n=3. The case of n=4 was considered in [Ann. of Math. (2) 140 (1994), 331-346], but the answer given there is not correct. This paper presents the correct solution, namely, the Busemann-Petty problem has a positive solution in R^4, which, together with results of other cases, brings the Busemann-Petty problem to a conclusion.

研究の動機と目的

• Zhang (1997) が主張した R⁴ におけるBusemann-Petty 問題の誤った否定的解法を是正すること。この主張は誤った補題に依存していた。
• R⁴ におけるすべての原点対称凸体が交差体であることを確立することで、この次元におけるBusemann-Petty 問題の肯定的解法を確認すること。
• 長年の未解決事項であった R⁴ におけるBusemann-Petty 問題を解決し、すべての次元にわたる問題の完全な分類を完成させること。
• 交差体とBusemann-Petty 問題の関係を明確にし、球面ラドン変換理論の過去の誤った適用を是正すること。

提案手法

• S³ 上の球面ラドン変換のヘルガソンの逆公式を用い、径数関数 ρK の逆ラドン変換を R⁻¹ρK = (1/16π²)R(1−∆)ρK として表現する。
• 円柱座標と回転対称性を用いて、問題を関数 Au(z)（K ∩(zu + u⊥) の体積）を含む1変数解析に簡略化する。
• C²境界を持つ体に対して、鍵となる恒等式 (R⁻¹ρK)(u) = −1/(16π²) A′′u(0) を導出する。これは、断面体積の2階微分と逆ラドン変換を結びつける。
• A′′(0) < 0 であるため、ρK の逆ラドン変換が正の連続関数であることを用いる。これは断面体積関数の厳密な下に凸性に起因する。
• 正の曲率を持つ滑らかな体による一様近似を用いて、C²体からすべての原点対称凸体へ結果を拡張する。
• Koldobsky の結果（R⁴ における立方体が交差体である）を用いて、以前の研究（Zhang, 1997）における誤りを特定・是正する。

実験結果

リサーチクエスチョン

• RQ1 n ≥ 5 では成り立たないが n = 3 では成り立つことを見越して、R⁴ におけるBusemann-Petty 問題は真か？
• RQ2 Busemann-Petty 問題の肯定的解法に必要なように、R⁴ におけるすべての原点対称凸体が交差体であるか？
• RQ3 R⁴ における凸体の径数関数の逆球面ラドン変換が非負測度をもたらすか？ これが交差体であることを保証する。
• RQ4 現代的なツール（球面上のフーリエ解析）を用いて、R⁴ における立方体が交差体でないという以前の誤った主張を是正できるか？
• RQ5 中心断面体積関数の2階微分が、体が交差体であるかどうかを決定する上で果たす役割は何か？

主な発見

• R⁴ におけるすべての原点対称凸体は交差体である。なぜなら、径数関数の逆球面ラドン変換が非負測度であるからである。
• Busemann-Petty 問題は R⁴ で肯定的に解決され、K のすべての中心超平面断面が L より小さいならば vol₄(K) < vol₄(L) が成り立つ。
• C²体に対して、鍵となる恒等式 (R⁻¹ρK)(u) = −1/(16π²) A′′u(0) が成り立ち、A′′(0) の負の値が逆変換の正の性質を保証する。
• 体積関数 Au(z) は厳密に下に凸であるため、A′′(0) < 0 であり、これにより逆ラドン変換が正であることが保証される。
• 正の曲率を持つ C² 体による一様近似を用いて、すべての原点対称凸体へ結果を拡張できる。
• 一般化されたBusemann-Petty 問題は、R⁴ において i = 2, 3 および i = n−1 = 3 のすべての断面次元で肯定的に解決される。これは交差体性に起因する。