[논문 리뷰] The telescope approach to embeddability of compacta

Sergey A. Melikhov, Evgenij V. Shchepin|ArXiv.org|2006. 12. 04.

Geometric and Algebraic Topology참고 문헌 18인용 수 11

한 줄 요약

이 논문은 $n$차원 컴acts가 $\mathbb{R}^{m}$에 임베딩 가능한지를 판단하기 위한 코homological 기준을 설정한다. $m > \frac{3(n+1)}{2}$일 때, 이러한 임베딩 가능성은 $X \times X \setminus \Delta$에서 $S^{m-1}$로의 $\mathbb{Z}_2$-등변 맵의 존재와 동치이며, 최상위 차수의 왜곡된 오일러 클래스의 거듭제곱으로 주어진 완전한 차단 요소를 가진다. $m = 2n$ 이고 $n > 3$일 때, 임베딩 가능성은 $X \times X \setminus \Delta$의 컴팩트 부분집합 $K_i$에 대해 $\varprojlim^1 H^{2n-1}(K_i)$에서의 이 차단 요소의 소멸과 동치이며, 이는 ANR에 대한 Borsuk 문제의 핵심 케이스를 해결하고 일반화된 다각형과 약한 공간에 대한 결과를 일반화한다.

ABSTRACT

We show that an n-dimensional compactum X embeds in R^m, where m>3(n+1)/2, if and only if X x X - Δadmits an equivariant map to S^{m-1}. In particular, X embeds in R^{2n}, n>3, iff the top power of the (twisted) Euler class of the factor-exchanging involution on X x X - Δis trivial. Assuming that X quasi-embeds in R^{2n} (i.e. is an inverse limit of n-polyhedra, embeddable in R^{2n}), this is equivalent to the vanishing of an obstruction in lim^1 H^{2n-1}(K_i) over compact subsets K_i\subset X x X - Δ. One application is that an n-dimensional ANR embeds in R^{2n} if it quasi-embeds in R^{2n-1}, n>3. We construct an ANR of dimension n>1, quasi-embeddable but not embeddable in R^{2n}, and an AR of dimension n>1, which does not "movably" embed in R^{2n}. These examples come close to, but don't quite resolve, Borsuk's problem: does every n-dimensional AR embed in R^{2n}? In the affirmative direction, we show that an n-dimensional compactum X embeds in R^{2n}, n>3, if H^n(X)=0 and H^{n+1}(X,X-pt)=0 for every pt\in X. There are applications in the entire metastable range as well. An n-dimensional compactum X with H^{n-i}(X-pt)=0 for each pt\in X and all i\le k embeds in R^{2n-k}. This generalizes Bryant and Mio's result that k-connected n-dimensional generalized manifolds embed in R^{2n-k}. Also, an acyclic compactum X embeds in R^m iff X x I embeds in R^{m+1} iff X x (triod) embeds in R^{m+2}. As a byproduct, we answer a question of T. Banakh on stable embeddability of the Menger cube.

연구 동기 및 목표

• 이 논문은 $n > 3$일 때 $n$차원 컴팩트럼이 $\mathbb{R}^{2n}$에 임베딩 가능한 데 대한 완전한 코homological 차단 요소를 제공함으로써 오랫동안 남아있던 Borsuk 문제를 다룬다.
• 등변 맵을 통한 $\mathbb{R}^{m}$에 대한 임베딩 가능성에 대한 필요충분조건을 $m > \frac{3(n+1)}{2}$ 조건에서 설정한다.
• 일반화된 다각형과 약한 공간에 대한 결과를 일반화하기 위해, 컴팩트럼이 $\mathbb{R}^{2n-k}$에 임베딩 가능한 코homological 조건을 규명한다.
• 임베딩 가능한 $\mathbb{R}^{2n}$에 대해, 그러나 실제로는 임베딩되지 않는 ANR과 AR의 예를 구성함으로써 Borsuk의 추측에 접근한다.
• T. Banakh가 제기한 Menger cube의 안정적 임베딩 가능성에 대한 질문에 대해 텔레스코프 방법을 사용하여 답한다.

제안 방법

• 논문은 임베딩 문제를 무한 다각형 $T$의 $\mathbb{R}^m \times [0,\infty)$로의 수준을 유지하는 임베딩으로 모델링하기 위해 텔레스코프 구성 기법을 사용한다. 이는 $[0,\infty)$로의 적절한 맵에 의해 제어된다.
• 핵심 기준으로서, 대각선의 여집합인 $X \times X \setminus \Delta$에서 $S^{m-1}$로의 $\mathbb{Z}_2$-등변 맵을 도입한다.
• 주요 차단 요소는 $\tilde{X}/\mathbb{Z}_2$ 위의 관련 벡터 번들의 (왜곡된) 오일러 클래스의 최상위 거듭제곱이며, $H^{2n-1}(\tilde{X}; \mathbb{Z})$에 값이 있다.
• 차단 요소가 $\varprojlim^1 H^{2n-1}(K_i) = 0$이 되는 것과 동치임을 보이며, 이는 Milnor의 정확수열과 Mittag-Leffler 조건을 사용한다.
• 프로젝션 $\pi_i: K_i \to X$에 대해 레라이 스펙트럴 시퀀스를 적용하고, 층 코homology $\Cal{H}^{n-d}(\pi_i)$를 사용하여 국소 코homology $X \setminus \{x\}$와 $K_i$의 전역 코homology를 연결한다.
• 가정 $H^{n-d}(X \setminus \{x\}) = 0$ 하에서 $H^{n-d}(K_i^x) \to H^{n-d}(K_j^x)$가 $j > i$일 때 0이 되므로 $\varprojlim^1$ 항이 소멸함을 증명에 활용한다.

실험 결과

연구 질문

• RQ1 $n > 3$일 때, $n$차원 컴팩트럼 $X$가 $\mathbb{R}^{2n}$에 임베딩 가능한 데 대한 완전한 코homological 차단 요소가 존재하는가?
• RQ2 요소 교환 인벌루션에 의한 $X \times X \setminus \Delta$ 위의 왜곡된 오일러 클래스의 최상위 거듭제곱이 소멸한다면, 이는 $\mathbb{R}^{2n}$에 대한 임베딩 가능성과 동치인가?
• RQ3 일반화된 다각형에 대한 메타안정 범위 임베딩 정리가 국소 호몰로지가 제어된 다각형으로 일반화될 수 있는가?
• RQ4 모든 $n$차원 ANR 중에서 $\mathbb{R}^{2n}$에 준수 임베딩을 하는 것은 실제로 $\mathbb{R}^{2n}$에 임베딩 가능한가?
• RQ5 $m$이 어떤 값이든 $\mathbb{R}^{m}$에 Menger cube가 안정적으로 임베딩 가능한가?

주요 결과

• $n$차원 컴팩트럼 $X$는 $m > \frac{3(n+1)}{2}$일 때, $X \times X \setminus \Delta$에서 $S^{m-1}$로의 등변 맵이 존재하는 것과 동치로 $\mathbb{R}^m$에 임베딩 가능하며, 이는 임베딩 가능성에 대한 위상적 기준을 제공한다.
• $m = 2n$ 이고 $n > 3$일 때, $X$는 $\mathbb{R}^{2n}$에 임베딩 가능하다. 이는 $X \times X \setminus \Delta$ 위의 인벌루션에 대한 왜곡된 오일러 클래스의 최상위 거듭제곱이 소멸하는 것과 동치이다.
• $X$가 $\mathbb{R}^{2n}$에 준수 임베딩한다면, $X$가 $\mathbb{R}^{2n}$에 임베딩 가능하다는 것은 $X \times X \setminus \Delta$의 컴팩트 부분집합 $K_i$에 대해 $\varprojlim^1 H^{2n-1}(K_i)$에서의 차단 요소가 소멸하는 것과 동치이다.
• $n > 3$일 때, $\mathbb{R}^{2n-1}$에 준수 임베딩 가능한 $n$차원 ANR은 $\mathbb{R}^{2n}$에 실제로 임베딩 가능하며, 이는 Borsuk 문제의 방향으로 긍정적인 결과를 제공한다.
• 논문은 $n > 1$인 $n$차원 ANR을 구성하여, 이는 $\mathbb{R}^{2n}$에 준수 임베딩되지만 실제로는 임베딩되지 않음을 보여주며, 차단 요소가 비자명함을 보이고 Borsuk의 추측이 자명하게 참이 아님을 보여준다.
• 약한 컴팩트럼 $X$는 $\mathbb{R}^m$에 임베딩 가능하다. 이는 $X \times I$가 $\mathbb{R}^{m+1}$에 임베딩 가능하고, $X \times \text{triod}$가 $\mathbb{R}^{m+2}$에 임베딩 가능할 때와 동치이다. 이는 T. Banakh의 Menger cube의 안정적 임베딩 가능성에 대한 질문을 해결한다.