[論文レビュー] On Gromov's Waist of the Sphere Theorem

Yashar Memarian|ArXiv.org|Nov 20, 2009

Mathematics and Applications参考文献 6被引用数 6

ひとこと要約

この論文は、グロモフの球面のウエスト定理の完全で詳細な証明を提供している。任意の連続写像 f: Sⁿ → Rᵏ（k ≤ n）に対して、Rᵏ 内のある点 z の逆像 f⁻¹(z) が、ε-チューブ近傍の球面的体積が (n−k)-次元球面 Sⁿ⁻ᵏ の ε-近傍の体積以上であることを保証する。証明は一般化されたボルサック＝ウラムの定理、測度論的議論、および滑らかな写像による近似によるコンパクト性の利用に依拠している。

ABSTRACT

The goal of this paper is to give a detailed and complete proof of M. Gromov's waist of the sphere theorem.

研究の動機と目的

• グロモフの球面のウエスト定理を、より高い余次元に一般化した形で、厳密で完全かつ詳細な証明を提供すること。
• グロモフの2003年の論文の第5.5節から第5.9節にかけての証明における空白を特定し、修正すること。
• あるファイバーが、(n−k)-次元球面の ε-近傍の体積以上に下から有界なチューブ近傍を持つことを確立すること。
• 滑らかな写像への近似と Hausdorff 半連続性を用いて、滑らかでない連続写像への結果の拡張を達成すること。

提案手法

• 等変位相とスティーフェル＝ブリッジマン類を用いてボルサック＝ウラムの定理を一般化し、Rᵏ 内の点 z を特定し、その逆像が位相的条件を満たすことを示す。
• 特にスティーフェル＝ブリッジマン類を用いた特性類の理論を用いて、実射影空間上のベクトルバンドルにゼロセクションが存在することを証明し、球面上の対称的点の存在を示す。
• 写像 f に適した凸分割の族を、測度中心と凸包の概念を用いて構成する。
• ε-近傍の体積に関する測度論的不等式を適用し、定数 c を介してファイバーの ε-近傍体積と赤道球面の体積を関連付ける。
• 連続写像 f を一様近似する滑らかで一般な写像の列に関する極限的議論を用い、Hausdorff 半連続性を適用して、すべての連続写像に結果を拡張する。
• ファトゥの補題とコンパクト性を用いて近似列から極限に移行し、元の写像に対しても体積不等式が成り立つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の連続写像 f: Sⁿ → Rᵏ（k ≤ n）に対して、そのファイバーの ε-近傍体積が (n−k)-次元球面 Sⁿ⁻ᵏ の ε-近傍体積以上に達する点が存在するか？
• RQ2 グロモフのウエスト定理の元の証明は、特に第5.5節から第5.9節において、完全かつ修正可能か？
• RQ3 一般化されたボルサック＝ウラムの定理をどのように定式化し、証明すれば、写像 f における逆像内に対称的点が存在することを保証できるか？
• RQ4 近似と半連続性を用いて、ウエスト不等式を滑らかでない連続写像へどの程度まで拡張できるか？
• RQ5 測度論的および位相的道具が、余次元 k のファイバーの ε-近傍の最小サイズを確立する上で果たす役割は何か？

主な発見

• 任意の連続写像 f: Sⁿ → Rᵏ（k ≤ n）に対して、すべての ε > 0 に対して volₙ(f⁻¹(z)+ε) ≥ volₙ(Sⁿ⁻ᵏ+ε) を満たす点 z ∈ Rᵏ が存在する。
• 証明は、特に分割の極限的構成と写像 f における中心の振る舞いに関するグロモフの元の証明における空白を修正・補完している。
• スティーフェル＝ブリッジマン類を用いて一般化されたボルサック＝ウラムの定理を証明し、Sⁿ から Rᵏ への連続的等変写像は、ある点で必ず 0 に達することを示した。
• 滑らかでない連続写像に対しても、すべての連続写像 f が滑らかで一般な写像の一様極限として表せることを用いて、結果が成り立つ。
• ファイバーの ε-近傍体積は、赤道 (n−k)-次元球面の体積に等しい下界に達し、ファイバーのサイズに対する位相的下界を確立した。
• 凸分割と測度中心の極限的性質により、測度論的意味での k 次元ファイバーが漸近的体積を支配し、極限においてウエスト不等式が確認された。