[논문 리뷰] Notes on explicit smooth maps on 7-dimensional manifolds into the 4-dimensional Euclidean space

Naoki Kitazawa|arXiv (Cornell University)|2019. 11. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 21인용 수 11

한 줄 요약

이 논문은 7차원 닫힌 다양체에서 4차원 유클리드 공간으로의 명시적 폴드 매핑을 구성하며, 리브 공간과 코homology 링을 통해 그 위상적 및 기하학적 성질을 분석한다. 일부 7차원 다양체, 특히 이국적인 7차원 호모토피 구를 포함하여 R⁴로의 특수 일반 매핑을 갖지 못함을 규명하였으며, 폴드 매핑 특이점의 구조와 그에 의해 유도된 코homology 및 호모로지 군에 대한 사상들을 통해 새로운 대수적-위상수학적 불변량을 제공한다.

ABSTRACT

A fold map is a smooth map at each singular point of which it is represented as the product map of a Morse function and the identity map on an open ball. A special generic map is a fold map such that the Morse function can be taken as a natural height function on an unit disk. The class of special generic maps includes a Morse function with exactly two singular points on a closed manifold, characterizing a sphere topologically (except 4-dimensional cases) as the Reeb's theorem shows, and canonical projections of unit spheres. It has been known that so-called exotic spheres do not admit special generic maps into Euclidean spaces whose dimensions are sufficiently high and smaller than the dimensions of the spheres. Exotic 7-dimensional homotopy spheres do not admit special generic maps into the 4-dimensional Euclidean space for example. We can easily obtain special generic maps on fundamental manifolds such as ones represented as connected sums of products of two standard spheres and in considerable cases, smooth manifolds resembling topologically them and different from them do not admit special generic maps. These interesting results are due to studies of Saeki, Sakuma and Wrazidlo since the 1990s. In the present paper, we present new results on explicit smooth maps including fold maps on 7-dimensional manifolds into the 4-dimensional Euclidean space and meanings in algebraic topology and differential topology of manifolds. Moreover, the author obtained related results before motivated by the studies before and they are reviewed in the presentation of the new results. We also present new discussions and results related to the results for 7-dimensional manifolds and maps on them for fold maps between manifolds of general dimensions.

연구 동기 및 목표

• 7차원 닫힌 다양체에서 4차원 유클리드 공간으로의 명시적 매끄러운 폴드 매핑을 구성한다.
• 이국적인 7차원 호모토피 구가 R⁴로의 특수 일반 매핑을 갖지 못하는 데 걸리는 위상적 장애를 조사한다.
• 특정 폴드 매핑을 갖는 다양체의 대수적 위상수학을 분석하며, 특히 코homology 링과 호모로지 군에 중점을 둔다.
• 도메인 차원이 대상에 비해 충분히 높지 않은 경우에도 폴드 매핑의 리브 공간 결과를 확장한다.
• 특징적으로 임베딩된 특이점 집합과 표준 구 면을 갖는 섬유를 가진 폴드 매핑에서 유도되는 코homology 및 호모로지 군에 대한 사상의 체계적 연구를 수행한다.

제안 방법

• 지수 0과 1을 갖는 국소 모델을 기반으로 일반적인 차원의 다양체 간의 폴드 매핑을 구성한다. 표준 폴드 매핑 형태: $(x_1,\dots,x_m) \mapsto (x_1,\dots,x_{n-1}, \sum_{k=n}^{m-i} x_k^2 - \sum_{k=m-i+1}^{m} x_k^2)$.
• 정규 섬유가 표준 구의 분리합집합이고, 특이점 집합 제한이 임베딩인 폴드 매핑에 대해 리브 공간 구성을 적용한다.
• 특성 클래스와 컵 곱의 역상에 의한 코homology 및 호모로지 군에 대한 유도 동형사상을 분석한다.
• 리브 공간의 구조를 이용해 도메인 다양체의 코homology 링을 폴드 매핑의 이미지와 특이점 집합과 연결한다.
• 특수 일반 경우를 초월하여 폴드 매핑의 분류를 확장하기 위해 특이점 이론과 모르스 이론의 기존 결과를 적용한다.
• 컵 곱 관계와 포incare 대칭을 포함한 대수적 도구를 활용하여, 이러한 매핑을 갖는 7차원 다양체의 코homology 링에 대한 제약 조건을 유도한다.

실험 결과

연구 질문

• RQ1 어떤 7차원 다양체가 R⁴로 폴드 매핑을 갖는가? 그리고 이러한 매핑을 방해하는 위상적 장애는 무엇인가?
• RQ2 왜 이국적인 7차원 호모토피 구는 R⁴로 특수 일반 매핑을 갖지 못하는가? 이는 그들의 매끄러운 구조와 어떻게 관련되어 있는가?
• RQ3 폴드 매핑 하에서 7차원 다양체의 코homology 링과 호모로지 군은 리브 공간의 구조와 어떻게 관련되는가?
• RQ4 임베딩된 특이점 집합과 표준 구 섬유를 갖는 폴드 매핑에서 어떤 대수적 불변량이 유지되거나 유도되는가?
• RQ5 도메인 차원이 충분히 높지 않은 경우, 리브 공간 구축이 도메인 다양체의 코homology 링 구조를 어느 정도 복원할 수 있는가?

주요 결과

• 이국적인 7차원 호모토피 구는 R⁴로 특수 일반 매핑을 갖지 않으며, 이는 미분위상수학에서 알려진 장애를 확인한다.
• 특이점 집합이 임베딩되어 있고 섬유가 $ S^3 $ 또는 $ S^3 \sqcup S^3 $ 디피오모르픽인 폴드 매핑 $ f: M^7 \to \mathbb{R}^4 $ 에서 리브 공간은 중요한 위상적 불변량을 물려받는다.
• 7차원 다양체 $ M $ 의 코homology 링은 리브 공간에서의 역상의 컵 곱 구조에 의해 제약을 받으며, 특히 $ a_j^* \cdot \phi_{A,m-k}(a_j) $ 와 같은 관계가 $ H^m(M;\mathbb{Z}) $ 를 생성함을 보여준다.
• 일부 컵 곱이 0이 된다 (예: $ a_j^* \cdot \phi_{n,m-n}((0,c)) = 0 $), 이는 폴드 매핑에 의해 유도된 코homology 링 내 비자명한 관계를 나타낸다.
• 곱 $ b_{j,n}^* \cdot \phi_{n,m-n}((b_j,0)) $ 는 $ H^m(M;\mathbb{Z}) $ 의 생성자를 형성하며, 특정 코homology 클래스가 특이점 집합의 구조와 연결되어 있음을 보여준다.
• 사상 $ f|_{S(f)} $ 는 임베딩이며, 모든 특이점의 지수는 0 또는 1이다. 이는 리브 공간이 잘 정의되어 있으며 위상수학적 제어가 가능함을 보장한다.