[論文レビュー] Convex Bodies with affinely equivalent projections and affine bodies of revolution

Luis Montejano|arXiv (Cornell University)|May 5, 2020

Point processes and geometric inequalities参考文献 8被引用数 4

ひとこと要約

この論文は、R^N における凸体が、すべての直交 n-射影がアフィン同値であるならば、n ≡ 0, 1, 2 mod 4 かつ n ≠ 133 のとき、その凸体は楕円体でなければならないことを確立している。証明は、凸幾何学と位相的技法を組み合わせており、特に球面の接 bundle の構造群を回転体の対称性群に還元することにより、これらの条件下では、このような凸体は必ず楕円体でなければならないことを示している。

ABSTRACT

Abstract In this paper, we study affine bodies of revolution. This will allow us to prove that a convex body all whose orthogonal $n$-projections are affinely equivalent is an ellipsoid, provided $n\equiv 0,1, 2$ mod $4$, $n>1$ with the possible exemption of $n=133$. Our proof uses convex geometry and topology of compact Lie groups. AMS classification subject: 22E10, 52A05

研究の動機と目的

• すべての直交 n-射影がアフィン同値である凸体が、どのような条件下で楕円体でなければならないかを特定すること。
• 位相的および幾何学的技法を用いて、実バナッハ等長予想をアフィン設定に拡張すること。
• 射影同値性による楕円体の特徴付けにおける対称性および構造群還元の役割を調査すること。
• 例外的なケース n=133 を解明すること。これは、例外的リー群 E7 の非自明な位相的性質に起因する。
• すべての超平面射影が互いにアフィン同値な回転体であるような凸体が、唯一の楕円体であるという特徴付けを提供すること。

提案手法

• S^n の接 bundle の構造群を、固定された回転体 K の対称性群 G_K に還元する位相的還元を用いる。
• Gromov のアイデアである、射影のアフィン同値性と接 bundle の構造群還元との関連を適用する。
• 凸体 K を保全する線形変換は単位球を保全するため、O(n) に属し、結果的にコンパクト部分群 G_K に還元されることを用いる。
• RP^n から自身への恒等写像にホモトープな連続写像についての補題 3.6 を適用し、RP^{n-2} の逆像の交わりが空でないことを保証する。
• 直交射影および凸体の対称性の性質を用いて、非楕円的射影を仮定した場合の矛盾を導出する。
• アレクサンドロフの定理（合同な射影は球を意味する）と回転体の特徴付けを組み合わせ、楕円体の構造を結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべての直交 n-射影がアフィン同値である凸体が、どのような条件下で楕円体でなければならないか？
• RQ2 なぜ n=133 のケースが、このような凸体の分類において例外のままであるのか？
• RQ3 すべての超平面射影が回転体であるという性質は、元の凸体が回転体であることを示唆するか？
• RQ4 球面およびその接 bundle の位相的性質は、射影が同値である凸体の対称性にどのような制約を課えるか？
• RQ5 射影のアフィン同値性の下で、S^n の接 bundle の構造群はどの程度まで還元可能か？

主な発見

• R^N に存在する凸体が、すべての直交 n-射影がアフィン同値であるならば、n ≡ 0, 1, 2 mod 4 かつ n ≠ 133 のとき、その凸体は楕円体である。
• 例外的なケース n=133 は、例外的リー群 E7 の非自明な位相的性質に起因し、一般ケースにおける重要な補題の証明を妨げる。
• S^n 上での構造群還元の結果として、すべての直交射影は対称な回転体と線形同値である。
• 射影のアフィン同値性および関連する回転体の対称性の結果として、凸体は中心対称でなければならない。
• n ≥ 4 のとき、超平面射影がすべて固定された回転体とアフィン同値であるという楕円体の特徴付けは成り立つ。
• 証明により、対称な凸体のすべての超平面射影が回転体とアフィン同値であるならば、その凸体は楕円体であることが示された。