[论文解读] 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

一句话总结

本文綜述了 Bing-Borsuk 和 Busemann 猜想，這些猜想提出某些均勻或 G-空間的拓撲空間為拓撲流形。本文綜合了這些猜想的進展，識別出如不相交圓盤性質與局部可縮性等關鍵性質作為流形辨識的標準，並指出 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.

研究动机与目标

• 檢驗 Bing-Borsuk 猜想，即每一個均勻的 ANR 空間是否為拓撲流形。
• 分析 Busemann 猜想作為 Bing-Borsuk 猜想的特例，主張 G-空間為流形。
• 探討廣義流形（ENR 同調流形）在兩個猜想中作為核心對象的角色。
• 研究相關開放問題，包括 Moore 與 de Groot 猜想，涉及餘維一的流形因子與絕對錐。
• 總結已知結果，並識別出透過拓撲與幾何性質表徵流形時的未解挑戰。

提出的方法

• 調查流形的基礎性質，包括均勻性、區域不變性、Cantor 流形結構與局部連通性。
• 分析不相交 (k,m)-胞腔性質，特別是不相交圓盤性質（k=m=2），作為高於等於 5 維時流形辨識的關鍵標準。
• 應用變換群與拓撲群理論的成果，如 Montgomery-Zippin 與 Dobrowolski-Torunczyk 定理，從群作用推導流形結構。
• 使用連續均勻性與可折疊性的概念，探討波兰 ANR-空間成為 Hilbert 流形的條件。
• 檢視度量均勻空間及其在局部緊緻與局部可縮性下與流形的等價性。
• 利用 Poincaré 猜想解決 ≤4 維時的絕對錐問題，並分析其對 Busemann G-空間的影響。

实验结果

研究问题

• RQ1 在何種條件下，均勻的 ANR 空間會成為拓撲 n-流形？
• RQ2 每一個 Busemann G-空間（定義為具有某種凸性與完備性性質的測地度量空間）是否必然具有拓撲流形結構？
• RQ3 所有可分解的廣義流形是否如 Moore 猜想所主張的，皆為餘維一的流形因子？
• RQ4 所有絕對錐（拓撲意義下）是否同胚於 n-胞腔，且在高維是否暗示流形結構？
• RQ5 一個連續均勻的波蘭 ANR-空間能否被分類為 Hilbert 流形，且這與更廣義的 Bing-Borsuk 問題有何關聯？

主要发现

• Busemann 猜想已在 ≤4 維時獲證，其 4 維情形依賴於 Poincaré 猜想。
• Busemann G-空間中的小度量球為絕對錐，且在 ≤4 維時已知為 n-胞腔，但在高維存在反例。
• Bing-Borsuk 猜想蘊含 Poincaré 猜想，其 3 維版本即使在 Perel’man 的證明後仍為未解問題。
• 不相交圓盤性質（不相交 (2,2)-胞腔性質的特例）是高於等於 5 維空間為流形的充分條件。
• 局部緊緻、局部可縮且度量均勻的空間為拓撲流形，此由 Szenthe 對均勻齊次齊次空間的定理確立。
• 連續均勻的波蘭 ANR-空間不能是 Hilbert 立方流形，此點區分於一般 ANR-群，並強調需更強的結構假設。