[논문 리뷰] Classification of embeddings below the metastable dimension

A. Skopenkov|ArXiv.org|2006. 07. 18.

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

한 줄 요약

이 논문은 메타안정 차원 이하의 유클리드 공간으로의 다양체 임bedding을 분류하기 위한 새로운 접근법을 개발한다. 이는 새로운 임bedding 불변량인 거의-임bedding과 스무딩 이론을 사용한다. 이와 함께, 단순연결되지 않은 4차원 다양체 $S^1 \times S^3$의 PL 임bedding에 대한 첫 번째 완전한 구체적 분류를 제공하며, 동치류의 집합이 $ olimits\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$와 동형임을 보이며, 명시적인 기하적 군 구조를 가짐을 밝힌다.

ABSTRACT

We develop a new approach to the classical problem on isotopy classification of embeddings of manifolds into Euclidean spaces. This approach involves studying of a new embedding invariant, of almost-embeddings and of smoothing, as well as explicit constructions of embeddings. Using this approach we obtain complete concrete classification results below the metastable dimension range, i.e. where the configuration spaces invariant of Haefliger-Wu is incomplete. Note that all known complete concrete classification results, except for the Haefliger classification of links and smooth knots, can be obtained using the Haefliger-Wu invariant. More precisely, we classify embeddings S^p x S^{2l-1} -> R^{3l+p} for p1 and for the smooth category). A particular case states that the set of piecewise-linear isotopy classes of piecewise-linear embeddings (or, equivalently, the set of almost smooth isotopy classes of smooth embeddings) S^1 x S^3 -> R^7 has a geometrically defined group structure, and with this group structure is isomorphic to Z + Z + Z_2. We exhibit an example disproving the conjecture proposed by Viro and others on the completeness of the multiple Haefliger-Wu invariant for classification of PL embeddings of connected manifolds in codimension at least 3.

연구 동기 및 목표

• 메타안정 차원 범위 이하에서 $p < l$ 인 경우 $S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$의 임bedding에 대한 완전한 동치류 분류를 제공하는 것.
• 이 범위에서 Haefliger-Wu 불변량의 부족함을 극복하기 위해 새로운 불변량과 기법을 도입하는 것.
• 모든 동치류의 임bedding에 대한 명시적 대표자를 구성함으로써 기하학적 및 대수적 이해를 가능하게 하는 것.
• PL 임bedding의 고도 3 이상에서 다중 Haefliger-Wu 불변량의 완전성에 대한 Viro의 추측을 반증하는 것.
• $S^1 \times S^3 \to \mathbb{R}^7$의 동치류 집합에 기하학적으로 정의된 군 구조를 수립하여, 이가 $ olimits\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$와 동형임을 보여주는 것.

제안 방법

• Haefliger-Wu 불변량의 한계를 우회하기 위해 거의-임bedding과 스무딩 이론에 기반한 새로운 임bedding 불변량을 도입하는 것.
• 특히 $S^1 \times S^3 \to \mathbb{R}^7$의 경우에 대해 모든 동치류를 실현할 수 있는 명시적 기하학적 구성 기법을 사용하는 것.
• PL 임bedding에서의 환경적 동치류와 섬유화된 구조를 제어하기 위해 Edwards의 Slicing Lemma와 Fibering Lemma를 적용하는 것.
• 스무딩 및 PL 범주에서의 임bedding 분류를 위해 스티펠 매니폴드의 호모토피 군을 활용하는 것.
• 거의 스무딩 및 스무딩 범주 간의 관계를 연결하기 위해 스무딩 이론을 개발하고 적용하는 것.
• 링킹 계수 $\lambda$와 $\beta$-불변량을 사용하여 분류를 실현하는 장엄한 정렬 시퀀스를 구성하는 것.

실험 결과

연구 질문

• RQ1 메타안정 차원 이하에서 $p < l$ 인 경우 $S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$의 임bedding에 대해 완전한 동치류 분류를 달성할 수 있는가?
• RQ2 고도 3 이상에서 연결된 다양체의 PL 임bedding을 분류하는 데 다중 Haefliger-Wu 불변량이 완전한가?
• RQ3 $S^1 \times S^3 \to \mathbb{R}^7$의 임bedding 동치류 집합은 기하학적으로 정의된 군 구조를 가질 수 있는가?
• RQ4 Haefliger-Wu 불변량을 초월하는 새로운 불변량을 사용하여 임bedding의 분류를 달성할 수 있는가?
• RQ5 $S^1 \times S^3 \to \mathbb{R}^7$의 임bedding 동치류 집합의 정확한 대수적 구조는 무엇인가?

주요 결과

• $S^1 \times S^3 \to \mathbb{R}^7$의 조각적 선형 동치류 집합은 기하학적으로 정의된 군 연산을 가진 군과 동형이며, 이는 $ olimits\mathbb{Z} \oplus \mathbb{Z} \oplus \mathbb{Z}_2$와 동형이다.
• $p < l$ 인 경우 $S^p \times S^{2l-1} \to \mathbb{R}^{3l+p}$의 임bedding 분류는 스티펠 매니폴드의 호모토피 군을 통해 이루어지며, $p > 1$일 경우 약간의 불확실성만 존재한다.
• 모든 동치류에 대한 명시적 대표자 구성이 제공되어, 분류의 실용성과 기하학적 자연스러움을 입증한다.
• Whitehead 토러스를 사용하여 반례를 구성함으로써, Viro의 다중 Haefliger-Wu 불변량의 완전성에 대한 추측을 반증한다.
• 링킹 계수 $\lambda$와 $\beta$-불변량을 사용하여 분류를 실현하는 장엄한 정렬 시퀀스를 구성하였으며, 이로써 $l \geq 2$일 때 $ olimits\pi_{2l-1}(S^l) \oplus \mathbb{Z}_{(l)}$의 구조가 확인된다.