[論文レビュー] The Bing-Borsuk and the Busemann Conjectures

Denise Halverson, Dušan Repovš|ArXiv.org|Nov 6, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 76被引用数 12

ひとこと要約

この論文は、特定の均一的またはG-空間の位相的空間が位相的多様体であると提唱する Bing-Borsuk および Busemann の予想を概説する。これらの予想に関する進展を統合し、多様体同定の基準としての離れた円盤の性質や局所的可縮性といった重要な性質を特定し、Busemann 予想が次元 ≤4 で成立することを強調している。一方、Bing-Borsuk 予想の完全な形は高次元において未解決のままである。

ABSTRACT

We present two classical conjectures concerning the characterization of manifolds: the Bing Borsuk Conjecture asserts that every $n$-dimensional homogeneous ANR is a topological $n$-manifold, whereas the Busemann Conjecture asserts that every $n$-dimensional $G$-space is a topological $n$-manifold. The key object in both cases are so-called {\it generalized manifolds}, i.e. ENR homology manifolds. We look at the history, from the early beginnings to the present day. We also list several open problems and related conjectures.

研究の動機と目的

• 均一な ANR 空間が位相的多様体であると主張する Bing-Borsuk 予想を検討すること。
• Busemann 予想を Bing-Borsuk 予想の特殊ケースとして分析し、G-空間が多様体であると主張すること。
• 一般化された多様体（ENR における同調的多様体）が、両予想の中心的対象である役割を調査すること。
• 次元1の多様体因子および絶対的錐に関する Moore および de Groot の予想を含む関連する未解決問題を調査すること。
• 多様体の特徴付けに関する既知の結果を要約し、位相的および幾何的性質に基づく未解決の課題を特定すること。

提案手法

• 多様体の基礎的性質、特に均一性、領域不変性、Cantor 多様体構造、局所的連結性を調査すること。
• 特に離れた円盤の性質（k=m=2）を含む離れた (k,m)-細胞の性質を分析し、次元 ≥5 における多様体同定の主要基準とする。
• 変換群および位相的群論の結果（Montgomery-Zippin の定理や Dobrowolski-Torunczyk の定理など）を応用し、群作用から多様体構造を導出すること。
• 連続的均一性および可微分性の概念を用い、ポーランド ANR-空間がヒルベルト多様体となる条件を探索すること。
• 距離的に均一な空間とその局所的コンパクト性および局所的可縮性との下での同値性を検討し、多様体と同等であることを示すこと。
• Poincaré 予想を用いて次元 ≤4 における絶対的錐問題を解決し、Busemann G-空間に与える影響を分析すること。

実験結果

リサーチクエスチョン

• RQ1 均一な ANR 空間が位相的 n-多様体となる条件は何か？
• RQ2 特定の凸性および完備性の性質を持つ測地的距離空間（Busemann G-空間）は、常に位相的多様体構造を備えているのだろうか？
• RQ3 すべての可解化可能な一般化された多様体は、Moore 予想が示唆するように次元1の多様体因子であるのだろうか？
• RQ4 すべての絶対的錐（位相的意味での）は n-セルに同相であり、高次元において多様体構造を示唆するのだろうか？
• RQ5 連続的均一なポーランド ANR-空間はヒルベルト多様体と分類可能だろうか？そしてこれはより広範な Bing-Borsuk 問題とどのように関係するのか？

主な発見

• Busemann 予想は次元 ≤4 で証明されており、4次元の場合には Poincaré 予想に依拠している。
• Busemann G-空間における小さな距離的球は絶対的錐であり、次元 ≤4 ではこれらが n-セルであることが知られているが、高次元では反例が存在する。
• Bing-Borsuk 予想は Poincaré 予想を含意しており、Perel’man の証明にもかかわらず、3次元版は未解決のままである。
• 離れた円盤の性質（離れた (2,2)-細胞の性質の特殊ケース）は、次元 ≥5 において、空間が多様体であるための十分条件である。
• 局所的コンパクトで、局所的可縮性を満たし、距離的に均一な空間は、Szenthe の定理により位相的多様体である。
• 連続的均一なポーランド ANR-空間はヒルベルトキューブ多様体にはなり得ず、一般の ANR-群とは区別され、より強い構造的仮定の必要性を示唆している。