[논문 리뷰] Structures of cobordism-like modules induced from generic maps of codimension -2

Naoki Kitazawa|arXiv (Cornell University)|2019. 01. 14.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 4

한 줄 요약

이 논문은 코드레디언스 -2인 일반적인 매끄러운 사상에 의해 유도된 코버지즘 유사 모듈러스의 대수적 구조를 연구한다. 특히 리브-삼등분 가능 매핑에 초점을 맞춘다. 손잡이 부착 및 접합 기법을 통해 명시적인 모스 및 접힘 매핑을 구성함으로써, 저자들은 이러한 모듈러스가 높은 유연성을 보임을 보여주며, 모듈러스의 임의의 원소가 이러한 매핑의 역상 구조로 실현될 수 있음을 입증한다. 주요 기여는 코드레디언스 -2에서 이러한 모듈러스에 대한 구조적 유연성 정리이다.

ABSTRACT

The Reeb space of a smooth map whose codimension is minus is the space defined as the space of all connected components of inverse images. For generic maps such as Morse functions and their higher dimensional versions, they are polyhedra whose dimensions are equal to those of the target manifolds and which have simplicial structures compatible with (the canonical) simplicial structures of the source and the target manifolds, and in considerable cases they inherit fundamental and important invariants of source manifolds. In fact, Reeb spaces are fundamentall tools in the algebraic and differential topological theory of generic maps or the global singularity theory. As one of studies of global topological properties of Reeb spaces, Hiratuka and Saeki showed in 2013 that for generic maps or more precisely, maps compatible with simplicial structures of the manifolds, inducing simplicial structures on the Reeb spaces and having connected components of inverse images of regular values being not null-cobordant, the top-dimensional homology groups with appropriate coefficient rings of the Reeb spaces do not vanish. Later the author extended this theorem: the author has introduced cobordism-like groups based on adjacent relations of connected components of inverse images of regular values and shown a similar theorem.

연구 동기 및 목표

• 코드레디언스 -2 일반 매핑에 의해 유도된 코버지즘 유사 모듈러스의 대수적 구조를 조사한다.
• 이전의 리브 공간과 영 코버지즘에 대한 결과를 음의 코드레디언스를 가진 더 넓은 매핑 계열로 확장한다.
• 모듈러스 구조가 탄력적임을 입증한다. 즉, 임의의 원소가 적절한 매핑의 역상 구조로 실현될 수 있음을 의미한다.
• 새로운 매끄러운 매핑 구성 방법을 통해 정렬 및 비정렬 코버지즘 불변량의 이전 결과를 일반화한다.
• 다양체 위에서 명시적인 기하학적 및 위상수학적 연산을 통해 모듈러스의 임의의 원소를 실현할 수 있는 프레임워크를 수립한다.

제안 방법

• 리브-삼등분 가능 매핑—모스 함수 및 접힘 매핑의 일반화—를 사용한다. 이들의 리브 공간은 PL 구조와 호환된다.
• 손잡이 부착(1-손잡이 및 2-손잡이)을 통해 다양체 위에 국소 모스 및 접힘 매핑을 구성함으로써 경계 성분을 변경하고 원하는 역상 구조를 달성한다.
• 국소 매핑을 접합 기법을 통해 닫힌 다양체 $N$ 위의 전역 매핑으로 조합하며, 원천 다양체가 연결된 상태를 유지한다.
• 국소 매핑의 영역 외부에 정적 번들 확장을 적용하여 전역적으로 매핑을 연장하면서도 역상 구조를 유지한다.
• $S^{n-1}$에서 항등사상과의 곱 구성 기법을 사용하여 1차원 결과를 고차원 목표 공간（$n > 1$）으로 일반화한다.
• 특정 경계 구성과 손잡이 부착을 통해 임의의 생성자를 실현할 수 있도록 허용하는 핵심 보조정리（보조정리 1）에 의존한다.

실험 결과

연구 질문

• RQ1 코버지즘 유사 모듈러스의 코드레디언스 -2에서 임의의 원소가 일반적인 매끄러운 사상의 역상 구조로 실현될 수 있는가?
• RQ2 원하는 역상 구성 요소를 가진 매핑을 구축하는 데 충분한 기하학적 및 위상수학적 연산은 무엇인가?
• RQ3 리브-삼등분 가능 매핑과 접힘 매핑의 맥락에서 모듈러스 구조의 탄력성은 어떻게 나타나는가?
• RQ4 비정렬 또는 실수 프로젝티브 평면의 경우 원소를 실현하는 데 제약은 무엇이며, 장애는 왜 발생하는가?
• RQ5 손잡이 부착 및 국소 매핑의 접합을 통해 모듈러스 구조는 어느 정도 제어될 수 있는가?

주요 결과

• 코드레디언스 -2 매핑에 대한 코버지즘 유사 모듈러스는 탄력적이다. 즉, 모듈러스의 임의의 원소가 리브-삼등분 가능 매핑의 역상 구조로 실현될 수 있다.
• 손잡이 부착(1-손잡이 및 2-손잡이)을 통한 명시적 구성은 경계 성분을 임의의 원하는 연결된, 닫힌, 정렬된 표면 구성으로 변환할 수 있다.
• 닫힌 다양체 $N$ 위에서 국소 모스 또는 접힘 매핑을 접합하고, 그 외부에 대해 정적 방식으로 확장함으로써 전역 매핑을 구성할 수 있으며, 원하는 역상 구조를 유지한다.
• $n > 1$인 경우, $S^{n-1}$에서 항등사상과의 곱 매핑을 통해 구성이 일반화되며, 이로 인해 영역에 표준적인 $n$-차원 디스크 이웃이 포함됨을 보장한다.
• 비정렬 케이스（예: ${ mf N}_2({f R})$에서）에서 원소를 실현하는 데 장애는 ${f R}P^2$와 같이 영 코버지즘에 속하지 않는 다양체 때문이며, 이러한 구성에서 역상으로 실현될 수 없다.
• 증명은 임의의 생성자가 양의 및 음의 계수를 가진 구면의 조합으로 표현될 수 있으며, 대칭적인 국소 매핑과 경계 접합을 통해 실현될 수 있음을 보여주는 핵심 보조정리에 의존한다.