[논문 리뷰] The Bing-Borsuk and the Busemann Conjectures

Denise Halverson, Dušan Repovš|ArXiv.org|2008. 11. 06.

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 호모로지 다양체—가 둘 다의 추측에서 중심적인 대상임을 탐색하기 위해.
• 고차원에서의 다양체 인자와 절대 콘에 관해 제기된 관련 열린 문제들, 즉 Moore 및 de Groot 추측을 조사하기 위해.
• 위상적 및 기하학적 성질을 통한 다양체 특성화에 관해 알려진 결과를 요약하고 해결되지 않은 과제를 규명하기 위해.

제안 방법

• 다양체의 기초 성질, 특히 호모제너스성, 도메인의 불변성, Cantor 다양체 구조, 국소 연결성 등을 조사하기 위해.
• 특히 이산 디스크 성질(=k=m=2인 경우)을 포함한 이산 (k,m)-세포 성질을 분석하여, 5차원 이상에서 다양체 식별을 위한 핵심 기준으로 삼기 위해.
• 전이군 이론과 위상군 이론의 결과, 예를 들어 Montgomery-Zippin 및 Dobrowolski-Torunczyk 정리 등을 적용하여 군 작용으로부터 다양체의 구조를 도출하기 위해.
• 연속적 호모제너스성과 재구성 가능성을 사용하여, 폴란드 ANR-공간이 힐베르트 다양체가 되는 조건을 탐색하기 위해.
• 측도적으로 호모제너스 공간과 국소 콪 pact성 및 국소 수축 가능성 조건 하에서의 다양체와의 동치성을 분석하기 위해.
• 포incare 추측을 활용하여 4차원 이하에서 절대 콘 문제를 해결하고, Busemann G-공간에 대한 그 영향을 분석하기 위해.

실험 결과

연구 질문

• RQ1 어떤 조건에서 호모제너스 ANR 공간이 위상다양체 n-다양체가 되는가?
• RQ2 모든 Busemann G-공간—일부 볼록성 및 완비성 성질을 갖는 길이공간으로 정의됨—은 반드시 위상다양체의 구조를 갖는가?
• RQ3 모든 해결 가능한 일반화된 다양체는 Moore 추측이 주장하는 바와 같이 고차원에서의 다양체 인자인가?
• RQ4 모든 절대 콘(위상학적 의미에서)은 n-셀과 위상동형이며, 고차원에서 다양체의 구조를 암시하는가?
• RQ5 연속적으로 호모제너스인 폴란드 ANR-공간은 힐베르트 다양체로 분류될 수 있는가? 이는 보다 광범위한 Bing-Borsuk 문제와 어떻게 관련되어 있는가?

주요 결과

• Busemann 추측은 4차원 이하에서 증명되었으며, 4차원의 경우 Poincaré 추측에 의존한다.
• Busemann G-공간 내의 작은 거리 공역은 절대 콘을 이루며, 이는 4차원 이하에서는 n-셀로 알려져 있으나 고차원에서는 반례가 존재한다.
• Bing-Borsuk 추측은 Poincaré 추측을 함의하며, Perel’man의 증명에도 불구하고 3차원 형태는 여전히 해결되지 않은 채로 남아 있다.
• 이산 디스크 성질(=이산 (2,2)-세포 성질의 특수한 경우)은 5차원 이상에서 공간이 다양체임을 보장하는 충분조건이다.
• 국소 콱 pact하고 국소 수축 가능하며 측도적으로 호모제너스인 공간은 Szenthe의 호모제너스 코셋 공간 정리에 의해 위상다양체임이 입증되었다.
• 연속적으로 호모제너스인 폴란드 ANR-공간은 힐베르트 큐브 다양체가 될 수 없으며, 일반적인 ANR-군과의 차이를 드러내며 더 강력한 구조 가정이 필요함을 시사한다.