[論文レビュー] Inscribing a regular crosspolytope

Роман Карасев|ArXiv.org|May 16, 2009

Point processes and geometric inequalities参考文献 12被引用数 10

ひとこと要約

この論文は、d が奇素数べきであるとき、任意の非鋭角凸体に正の交錯多胞体を内接させられることを、群作用とベクトル bundle のオイラー類を用いた位相的方法によって証明している。主な結果は、等長的位相とコhomological障害理論を用いて、Knaster 型問題を高次元の交錯多胞体へ拡張したものである。

ABSTRACT

In this paper we prove that it is possible to inscribe a regular crosspolytope (multidimensional octahedron) into a smooth convex body in $\mathbb R^d$, where $d$ is an odd prime power. Some generalizations of this statement are also proved.

研究の動機と目的

• ℝᵈ における滑らかまたは凸体に正の交錯多胞体を内接させることの条件を確立すること。
• Knaster 問題を高次元における正の交錯多胞体のケースに一般化すること。
• d が奇素数べきのとき、非鋭角凸体および滑らかな超曲面への交錯多胞体の内接問題を解決すること。
• 特に群作用とコhomology、特に表現のオイラー類を用いた位相的障害理論的証明を提供すること。

提案手法

• G = (ℤₚ)ᵏ がフレーム空間に作用する G-等長写像 K×SO(d) → ℝ²ᵈ のゼロ集合問題に内接問題を還元する。
• ℝ²ᵈ 内の座標 (sᵢ, tᵢ) を定義し、目標空間を tᵢ で張られる部分空間 U と sᵢ で張られる部分空間 W に分解し、商空間を形成する。
• Künneth 公式を用いてオイラー類 e(f) = u × e(s_W) を計算する。ここで u は球体の基本類、e(s_W) は G-表現 W のオイラー類である。
• 表現 W = ℝ[G]/ℝ に自明な和成分が存在しないことを示し、H^{d−1}(BG) 内でのオイラー類 e(s_W) が非ゼロであることを証明する。
• pullback 写像 p*: H_G^*(EG) → H_G^*(SO(d)) の単射性を適用し、障害類の非自明性を保つ。
• コンパクト性と変形論的議論により、非厳密凸性および非凸超曲面に対しても処理し、H を楕円体に変形して障害を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 d が奇素数べきのとき、任意の非鋭角凸体に正の交錯多胞体を内接させることは可能か？
• RQ2 正規直交フレームに関する Knaster 問題は、高次元における正の交錯多胞体の内接可能性を示唆するか？
• RQ3 どのような位相的障害が、このような内接交錯多胞体の存在を妨げるか、または許容するか？
• RQ4 (ℤₚ)ᵏ のフレーム空間への群作用は、交錯多胞体の対称性と解の存在性とどのように関係するか？
• RQ5 Sᵈ⁻¹ に同相な非凸滑らかな超曲面に対しても、内接可能性の結果を拡張できるか？

主な発見

• d が奇素数べきのとき、任意の非鋭角凸体に正の交錯多胞体を内接させることができる。
• このような内接交錯多胞体の存在は、表現 W = ℝ[G]/ℝ に対して H^{d−1}(BG) 内に非消滅するオイラー類障害によって保証される。
• 障害類 e(f) = u × e(s_W) は非ゼロであり、関連する G-等長写像のゼロ集合が空でないことを示唆する。
• 滑らかな超曲面 H に対する内接交錯多胞体の族の次元は (d−1)(d−2)/2 以上である。
• 変形により楕円体に写すことで、結果は凸体の境界に限らず、Sᵈ⁻¹ の滑らかな埋め込みに対しても成り立つ。
• 非鋭角性の条件は本質的であり、これを満たさない場合、内接交錯多胞体は点に退化する可能性がある。