[논문 리뷰] An infinite-dimensional phenomenon in finite-dimensional metric topology

Alexander Dranishnikov, Steven C. Ferry외 1명|arXiv (Cornell University)|2006. 10. 31.

Advanced Operator Algebra Research참고 문헌 36인용 수 4

한 줄 요약

이 논문은 유한차원 메트릭 위상수학에서, 닫힌 다양체 사이의 호모토피 동치가 무한차원 이미지 공간으로의 셀-유사 맵으로부터 유도될 수 있음을 보여주며, KO-이론에서의 홀수 토르션 때문에 홈오모르피즘과 호모토피가 되지 못함을 밝힌다. 주요 결과는 6차원 이상에서 이러한 호모토피 동치를 분류한 것으로, 그것들이 정확히 구조군의 홀수 토르션 클래스와 대응됨을 보여주며, 리만 다양체의 그로모프-하우스도르프 변형 공간에 응용된다.

ABSTRACT

We show that there are homotopy equivalences $h:N o M$ between closed manifolds which are induced by cell-like maps $p:N o X$ and $q:M o X$ but which are not homotopic to homeomorphisms. The phenomenon is based on construction of cell-like maps that kill certain $\mathbb L$-classes. The image space in these constructions is necessarily infinite-dimensional. In dimension $>6$ we classify all such homotopy equivalences. As an application, we show that such homotopy equivalences are realized by deformations of Riemannian manifolds in Gromov-Hausdorff space preserving a contractibility function.

연구 동기 및 목표

• 닫힌 다양체 사이의 호모토피 동치가 셀-유사 맵으로부터 유도되더라도 홈오모르피즘과 호모토피가 되지 않는 경우를 이해하는 것.
• L-류를 제거하는 셀-유사 맵을 통한 무한차원 이미지 공간의 역할을 유한차원 메트릭 위상수학에서 분석하는 것.
• 수술 이론과 KO-이론을 사용하여 6차원 이상에서 이러한 호모토플리 동치를 분류하는 것.
• 이러한 현상이 균일한 국소 수축 가능성을 갖는 그로모프-하우스도르프 공간에서 리만 다양체의 변형과 어떻게 연결되는지 밝히는 것.
• Gromov-Hausdorff 변형을 통해 실현 가능한 호모토플리 스트럭처로 구성된 구조군의 부분군 $ S^{CE}(M) $ 를 정의하고 연구하는 것.

제안 방법

• 닫힌 다양체 $ N \to X $ 과 $ M \to X $ 에서 무한차원 공간 $ X $ 로의 셀-유사 맵 $ p: N \to X $, $ q: M \to X $ 를 구성하여, 호모토피 군에 유도된 사상이 동형이 되도록 하는 것.
• 수술 정확수열과 쌍 $ (E_2(M), M) $ 의 $ \mathbb{L} $-이론을 사용하여, 유도된 호모토피 동치 $ f: N \to M $ 가 홈오모르피즘과 호모토피가 되지 않는지 검출하는 것.
• 통제된 대칭 서명과 수술 정확수열의 경계 사상 $ \partial $ 를 사용하여, 장애물이 $ KO_m(M) $ 의 홀수 토르션 부분군에 있음을 보여주는 것.
• McMillan 의 셀룰라리티 기준과 Perelman–Freedman 결과를 활용하여, 수축 함수 $ \rho $ 를 갖는 다양체에 대해 위상적 단사 함수를 구성하는 것.
• 통제된 Mischenko-Ranicki 서명 $ \Delta_M $ 와 $ \Delta_{M'} $ 이 $ H_n(X; \mathbb{L})[1/2] $ 에서 동일한 클래스로 사상됨을 보여, 이미지 다양체 $ X $ 에 대한 특성류 이론의 가능성을 제기하는 것.
• 그로모프-하우스도르프 거리와 $ LGC(\rho) $ 조건을 사용하여 변형 동치를 정의하고, 리만 다양체의 전콤팩트 부분집합 위에서 이것이 동치관계임을 보이는 것.

실험 결과

연구 질문

• RQ1 유한차원 다양체 사이의 호모토피 동치는 무한차원 공간으로의 셀-유사 맵으로부터 유도될 수 있지만, 홈오모르피즘과 호모토피가 되지 않을 수 있는가?
• RQ2 6차원 이상에서 호모토피 동치가 홈오모르피즘과 호모토피가 되지 않는 정확한 장애물은 무엇인가?
• RQ3 KO_m(M) 의 홀수 토르션 클래스는 그로모프-하우스도르프 공간에서 리만 다양체의 변형과 어떻게 관련되는가?
• RQ4 구조군 $ S(M) $ 는 호모토피 스트럭처가 Gromov-Hausdorff 변형으로부터 유도되는지에 따라 성분으로 분할될 수 있는가?
• RQ5 셀-유사 맵의 이미지로 나타나는 무한차원 호모로지 다양체 $ X $ 에 대해 잘 정의된 특성류 이론이 존재하는가?

주요 결과

• 모든 $ \pi_2(M) $ 가 자명하고 차원 $ m \geq 7 $ 인 단순연결된 닫힌 다양체 $ M^m $ 에 대해, 홈오모르피즘과 호모토피가 되지 않는 호모토피 동치 $ f: N \to M $ 가 존재하는 것은 $ KO_m(M) $ 가 홀수 토르션을 포함할 때에만 성립한다.
• 각 홀수 토르션 클래스 $ \tau \in KO_m(M) $ 는 $ LGC(\rho) $-다양체의 전콤팩트 부분집합에서의 변형을 통해 실현되는 유일한 호모토피 동치 $ f: N \to M $ 와 대응된다.
• 모든 이러한 호모토플리 스트럭처의 집합은 구조군의 부분군 $ S^{CE}(M) \subset S(M) $ 를 이룬다. 이는 구조군의 홀수 토르션 부분군이다.
• 어떤 다양체의 기본군이 워드 하이퍼볼릭이거나 단순형 리 군의 격자일 경우, $ S^{CE}(M) $ 는 유한하다.
• 통제된 Mischenko-Ranicki 서명 $ \Delta_M $ 와 $ \Delta_{M'} $ 이 $ H_n(X; \mathbb{L})[1/2] $ 에서 동일한 클래스로 사상되며, 이는 무한차원 호모로지 다양체 $ X $ 에 대한 잠재적 특성류 이론을 시사한다.
• 다양체 $ M $ 가 수축 함수 $ \rho $ 를 갖는다면, $ n + k \geq 5 $ 이고 $ k \geq 1 $ 일 때, $ M \times Q $ 에 대해 위상적 단사 함수가 존재한다. 이는 McMillan 의 셀룰라리티 기준과 중첩된 PL 이웃을 사용하여 증명된다.