[논문 리뷰] A new explicit way of obtaining special generic maps into the 3-dimensional Euclidean space

Naoki Kitazawa|arXiv (Cornell University)|2018. 06. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 3

한 줄 요약

이 논문은 3차원 유클리드 공간으로의 특수 일반 맵의 새로운 명시적 구성 방법을 제시한다. 이는 2차원 다면체 위로의 가짜 몫사상과 국소 접합 기법을 사용한다. 주요 기여는 이러한 맵들이 체계적으로 구성될 수 있음을 보여주며, 이는 원천 다양체에 강력한 미분형태 제약을 드러낸다. 특히 5차원 및 6차원 단순연결 다样的체 중 이러한 맵을 가질 수 있는 것은 표준 구이며, 4차원의 경우 방향성 조건을 만족할 경우 표준 또는 이국적 구이다.

ABSTRACT

A special generic map is a smooth map regarded as a natural generalization of Morse functions with just 2 singular points on homotopy spheres. Canonical projections of unit spheres are simplest examples of such maps and manifolds admitting special generic maps into the plane are completely determined by Saeki in 1993 and ones admitting such maps into general Euclidean spaces are determined under appropriate conditions. Moreover, if the difference of dimensions of source and target manifolds are not so large, then the diffeomorphism types of source manifolds are often limited. These explicit facts make special generic maps attractive objects in the theory of Morse functions and higher dimensional versions and application to algebraic and differentiable topology of manifolds, which is an important study in both singuarity theory of maps and algebraic and differential topology of manifolds. In this paper, we demonstrate a way of construction of special generic maps into the 3-dimensional Euclidean space. For this, first we prepare maps onto 2-dimensional polyhedra regarded as simplicial maps naturally called pseudo quotient maps, which are generalizations of the quotient maps to the spaces of all the connected components of inverse images, so-called Reeb spaces of original smooth maps, being fundamental and important tools in the studies. The success of the construction explicitly shows that a class of maps which seems to cover a larger class of source manifolds may not be not so large and that the diffeomorphism types of source manifolds may be restricted as strongly as special generic maps. We also explain differential topological facts and problems related to this.

연구 동기 및 목표

• 3차원 유클리드 공간으로의 특수 일반 맵을 위한 새로운 명시적 구성 방법을 개발한다.
• 특수 일반 맵을 허용하는 다样的체의 미분형태를 조사한다. 특히 저차원에서의 경우에 중점을 둔다.
• 특수 일반 맵의 존재가 유도하는 위상수학적 및 미분기하학적 제약을 명확히 한다.
• 접선 맵, 리브 공간, 원천 다样的체 분류 간의 관계를 이해하는 데 기여한다.

제안 방법

• 부드러운 사상의 리브 공간의 일반화로서 2차원 다면체 위로의 가짜 몫사상 구성.
• 3다양체 위로의 접선 맵의 국소 모델을 사용하여 접합 기법을 통해 전역 맵을 구축.
• 안정 접선 맵 및 그의 특이점 이론을 적용하며, 특히 인덱스-0 특이점에 중점을 둔다.
• 기존의 호모토피 구 및 4다양체 이론을 활용하여 원천 다样的체의 유형을 제약한다.
• 높은 차원에서의 단순연결성과 호모토피 군 고려(예: S³의 π₁(SO(4)) 활용), 특히 5차원에서의 응용.
• Saeki 및 Wrazidlo의 기존 분류 결과와의 일관성을 검증하여 구성의 타당성을 확인.

실험 결과

연구 질문

• RQ1 다면체 리브 공간을 사용하여 R³로의 특수 일반 맵에 대해 체계적이고 명시적인 구성이 가능할 수 있는가?
• RQ2 특수 일반 맵을 R³로 가지는 닫힌 다样的체의 미분형태는 무엇이며, 특히 4, 5, 6차원에서 어떻게 되는가?
• RQ3 방향성과 호모로지 조건(예: H₂의 소멸)은 이러한 다样的체의 분류에 어떤 영향을 미치는가?
• RQ4 R³로의 특수 일반 맵에 의한 원천 다样的체 제약이 R⁴나 R²로의 경우와 얼마나 일치하는가?
• RQ5 이론적 구성 방법을 기존 사례를 넘어서 일반화할 수 있는가? 예를 들어 이국적 4차원 구나 비표준 7차원 구에 대해서도 가능한가?

주요 결과

• 5차원 및 6차원에서, 특수 일반 맵을 R³로 가지는 단순연결 다样的체는 표준 구와 미분형태가 같다.
• 4차원 단순연결 다样的체 중 이러한 맵을 가지는 경우, 목표 다면체가 방향성을 갖는다면 원천은 표준 구 또는 S⁴이다.
• 구성 방법는 특수 일반 맵을 가지는 다样的체의 범주가 이전에 생각한 것보다 더 크지 않음을 확인하며, 강력한 미분형태 제약이 있음을 보여준다.
• 비어 있지 않은 다면체, 예를 들어 복수의 점과 구를 포함한 특이 집합을 가진 경우(빙의 집합처럼), 구성 방법이 성공적으로 실현되었다.
• 5차원에서는 미분형태의 유일성이 보장되며, 단순연결성과 유사한 방법으로 구성이 가능하다. 특히 π₁(SO(2)) → π₁(SO(4))의 전사성에 의해 단순연결성 제약이 해결된다.
• Saeki의 분류 결과와 일치한다: 5차원 단순연결 다样的체는 R³로 특수 일반 맵을 가지는 것과 동치이며, S³-_bundle이 S² 위에 연결합으로서 구성된다.