[논문 리뷰] Sphere eversions and realization of mappings

Sergey A. Melikhov|ArXiv.org|2003. 05. 12.

Geometric and Algebraic Topology참고 문헌 28인용 수 15

한 줄 요약

이 논문은 제20세기 기하적 위상수학에서 오랫동안 남아있던 문제를 해결한다. $ n $-구면체의 역극한이 $ n > 1 $일 때 $ \mathbb{R}^{2n} $에 임베딩될 수 있음을 증명하며, 매니폴드 간의 사상이 임베딩에 의해 $ C^0 $-근사 가능한지 여부를 특징짓기 위해 제어된 안정적 호프 불변량을 사용한다. $ n > 2 $일 때 $ S^n $의 자기사상은 $ \mathbb{R}^{2n} $에서 실현 가능하지만, 푸앵카레 호모로지 3-구면체의 일부 자기사상은 그렇지 않으며, $ S^3 $에서 $ \mathbb{R}^4 $로의 비자명한 안정적 호프 불변량을 가진 명시적 임베딩을 구성한다.

ABSTRACT

P. M. Akhmetiev used a controlled version of the stable Hopf invariant to show that any (continuous) map N -> M between stably parallelizable compact n-manifolds, n e 1,2,3,7, is realizable in R^{2n}, i.e. the composition of f with an embedding M\subset R^{2n} is C^0-approximable by embeddings. It has been long believed that any degree 2 map S^3 -> S^3, obtained by capping off at infinity a time-symmetric (e.g. Shapiro's) sphere eversion S^2 x I -> R^3, was non-realizable in R^6. We show that there exists a self-map of the Poincaré homology 3-sphere, non-realizable in R^6, but every self-map of S^n is realizable in R^{2n} for each n>2. The latter together with a ten-line proof for n=2, due essentially to M. Yamamoto, implies that every inverse limit of n-spheres embeds in R^{2n} for n>1, which settles R. Daverman's 1990 problem. If M is a closed orientable 3-manifold, we show that there exists a map S^3 -> M, non-realizable in R^6, if and only if π_1(M) is finite and has even order. As a byproduct, an element of the stable stem Π_3 with non-trivial stable Hopf invariant is represented by a particularly simple immersion S^3 -> R^4, namely the composition of the universal 8-covering over Q^3=S^3/{\pm1,\pm i,\pm j,\pm k}$ and an explicit embedding Q^3\subset R^4.

연구 동기 및 목표

• R. Daverman의 1990년 문제인 $ n $-구면체의 역극한이 $ \mathbb{R}^{2n} $에 임베딩 가능한지 여부를 해결하는 것.
• 안정적으로 평행가능한 매니폴드 간의 연속적 사상이 $ \mathbb{R}^{2n} $에서 $ C^0 $-근사 가능한지 여부를 특징짓는 것.
• $ S^3 $과 푸앵카레 호모로지 3-구면체의 자기사상이 $ \mathbb{R}^6 $에서 실현 가능한지 여부를 규명하는 것.
• $ S^3 \looparrowright \mathbb{R}^4 $에서 비자명한 안정적 호프 불변량을 가진 명시적 임베딩을 구성하는 것.

제안 방법

• 사상이 $ C^0 $-근사 가능한 데 대한 주요 장벽으로 제어된 안정적 호프 불변량 $ h(f) = (w_1(\eta))^k [\Sigma_f / \tau] \in \mathbb{Z}/2\mathbb{Z} $을 사용한다.
• Akhmetiev와 Szücs의 임베딩 이론적 접근을 적용하여 $ h(f) $를 안정 호모토피 이론에서의 고전적 안정적 호프 불변량과 연결한다.
• Koschorke의 8자 형태 구축법과 변형 기법을 활용하여 이중점 매니폴드와 그 스티펠-브리트니 클래스를 분석한다.
• 제어 조건 하에 $ h(f) = 0 $이면 $ f $가 $ C^0 $-근사 가능한 임베딩으로 근사 가능하다는 사실을 이용한다.
• Adams의 정리( $ n \neq 1,3,7 $일 때 안정적 호프 불변량이 0이 됨)를 적용하고, $ h(f) \neq 0 $인 명시적 예를 구성한다.
• 이중점 집합의 $ \mathbb{Z}/2\mathbb{Z} $-호모로지 클래스와 관련 선다발의 첫 번째 스티펠-브리트니 클래스 사이의 이중성 관계를 활용한다.

실험 결과

연구 질문

• RQ1 $ n $-매니폴드에서 모든 자기사상이 $ C^0 $-근사 가능한 임베딩을 통해 $ \mathbb{R}^{2n} $에서 실현 가능한가?
• RQ2 푸앵카레 호모로지 3-구면체의 자기사상 중 $ \mathbb{R}^6 $에서 실현 불가능한 경우는 언제인가?
• RQ3 $ \mathbb{R}^{2n} $에서 매니폴드 간의 사상이 실현 가능하지 않음을 안정적 호프 불변량이 감지할 수 있는가?
• RQ4 모든 $ n $-구면체의 역극한은 $ n > 1 $일 때 $ \mathbb{R}^{2n} $에 임베딩 가능한가?
• RQ5 비자명한 안정적 호프 불변량을 가진 사상은 $ \mathbb{R}^{2n} $에서 단순한 임베딩으로 실현 가능한가?

주요 결과

• $ n > 1 $일 때 모든 $ n $-구면체의 역극한은 $ \mathbb{R}^{2n} $에 임베딩 가능하며, 이는 R. Daverman의 1990년 문제를 해결한다.
• $ n > 2 $일 때 $ S^n $의 모든 자기사상은 $ \mathbb{R}^{2n} $에서 실현 가능하다. 이는 이전에 캡드된 구면 전환에서 유도된 도수 2 사상들이 실현 불가능할 것이라 여겨졌지만, 실제로는 그렇지 않음을 시사한다.
• 푸앵카레 호모로지 3-구면체의 자기사상 중 $ \mathbb{R}^6 $에서 실현 불가능한 것이 존재하며, 이러한 사상이 존재하는 것은 $ \pi_1(M) $가 유한하고 짝수 순서일 때에만 가능하다.
• 비자명한 안정적 호프 불변량을 가진 $ \Pi_3 $의 원소는 $ S^3 \to Q^3 $의 전형적 8중 커버링과 명시적 임베딩 $ Q^3 \hookrightarrow \mathbb{R}^4 $의 합성으로 표현된다.
• 안정적 호프 불변량 $ h(f) $는 $ f $와 임베딩 $ M \hookrightarrow M \times \mathbb{R}^k $의 합성이 안정적으로 평행가능한 매니폴드 간의 자기교차 사상일 때, $ C^0 $-근사 가능한 임베딩으로 근사 가능할 때에만 0이 된다.
• $ n \neq 1,3,7 $일 때, 안정적으로 평행가능한 $ n $-매니폴드 간의 모든 자기교차 사상에 대해 제어된 안정적 호프 불변량은 0이 되며, 이는 $ \mathbb{R}^{2n} $에서 실현 가능함을 의미한다.