[논문 리뷰] Surgery operations to fold maps to construct fold maps whose restrictions to the singular sets may not be embeddings

Naoki Kitazawa|arXiv (Cornell University)|2020. 03. 06.

Geometric and Algebraic Topology참고 문헌 13인용 수 7

한 줄 요약

이 논문은 매끄러운 다양체 위에 접선 맵(fold maps)을 구성하기 위한 새로운 수술 연산을 제안한다. 이 경우 단순화된 집합으로의 제한이 임베딩이 아니어도, 여전히 코디멘션 1의 매끄러운 임bedding일 수 있다. 주요 기여는 Reeb 공간이 특정 코homology 링 구조를 상속하는 접선 맵을 명시적으로 구성함으로써, 특이점 이론과 안정적 맵 기법을 통해 소스 다양체의 더 깊은 대수적-위상수학적 분석이 가능하게 한다.

ABSTRACT

Constructing Morse functions and their higher dimensional versions or fold maps is fundamental, important and challenging in investigating the topologies and the differentiable structures of differentiable manifolds via Morse functions, fold maps and more general generic maps. It is one of important and interesting branches of the singularity theory of differentiable maps and applications to geometry of manifolds. In this paper we present fold maps with information of cohomology rings of their Reeb spaces. Reeb spaces are defined as the spaces of all connected components of all preimages, and in suitable situations inherit topological information such as homology groups and cohomology rings of the manifolds. Previously, the author demonstrated construction of fold maps in various cases : key methods are surgery operations to manifolds and maps and in this paper, we present more useful surgery operations and by them we construct new fold maps. More precisely, fold maps with singular value sets with crossings: the singular value set of a smooth map is the image of the set of all singular points and note that for fold maps, the set of all singular points are closed submanifolds without boundaries and the restrictions to them are immersions of codimension 1.

연구 동기 및 목표

• 단순화된 집합의 행동을 제어할 수 있는 새로운 수술 연산을 개발하여 매끄러운 다양체 위에 접선 맵을 구성하는 것.
• 단순화된 집합으로의 제한이 반드시 임베딩이 아니어도 되는 접선 맵을 연구함으로써, 표준적인 임베딩 가정을 초월하는 것.
• Reeb 공간이 특정 코homology 링 구조를 지닌 접선 맵을 명시적으로 구성함으로써 소스 다양체의 위상수학적 성질과의 연결 고리를 마련하는 것.
• 단순화된 집합 제한에서의 정규 교차(normal crossings)를 允許함으로써 이전의 Reeb 공간 불변량 결과를 일반화하는 것.
• 조각별로 매끄러운(PL) 범주에서 Reeb 공간으로 수축하는 다양체를 구성하는 프레임워크를 제공하는 것. 이를 통해 고차원에서의 핸들 분해를 가능하게 한다.

제안 방법

• 조각별로 매끄러운(PL) 범주에서 다양체와 맵에 대한 수술 연산을 활용하여 새로운 접선 맵을 구성한다.
• 국소 모델을 통한 접선 맵 정의 및 분석: $(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)$, 인덱스 $i(p)$ 가 특이점 유형을 결정한다.
• 접선 맵의 단순화된 집합으로의 제한에 대해 정규 교차를 도입하여, 변형에 대해 안정성과 교차성(transversality)을 보장한다.
• 전이 성분의 원상에 대한 몫으로서 Reeb 공간을 구성함으로써 호모로지 및 코호몰로지 정보를 유지한다.
• PL 기법을 적용하여 $n$-, $(n-1)$-, $(n-2)$-차원 다각형 위의 피브어 백열을 사용해 $(m+1)$차원 다양체를 수축시키는 방법을 구성한다.
• PL 범주를 사용하여 정규 이웃의 국소 모델을 접합하고, 섬유가 구(spheres), 디스크, 또는 두꺼운 구(thickened spheres)의 곱으로 이루어진다. 이를 통해 전반적인 수축 다양체를 형성한다.

실험 결과

연구 질문

• RQ1 수술 연산을 사용하여 단순화된 집합으로의 제한이 임베딩이 아니어도, 여전히 매끄러운 임베딩이 되는 접선 맵을 구성할 수 있는가?
• RQ2 단순화된 집합 제한에서의 정규 교차가 Reeb 공간의 위상적 및 대수적 불변량에 어떤 영향을 미치는가?
• RQ3 새로운 수술 기법을 통해 구성된 접선 맵의 Reeb 공간에서 실현 가능한 코호몰로지 링 구조는 무엇인가?
• RQ4 단순화된 집합 제한이 비임베딩일 경우에도 Reeb 공간이 소스 다양체의 호모로지 및 코호몰로지 정보를 어떻게 반영할 수 있는가?
• RQ5 조각별로 매끄러운(PL) 기법을 사용하여 Reeb 공간으로 수축하는 다양체를 어떻게 구성할 수 있으며, 이를 통해 고차원에서의 핸들 분해를 어떻게 가능하게 할 수 있는가?

주요 결과

• 논문은 단순화된 집합으로의 제한이 정규 교차를 가질 수 있는 안정적 접선 맵을 구성하였으며, 이는 임베딩을 초월하는 확장이다.
• 구성된 접선 맵의 Reeb 공간은 특정 코호몰로지 링 구조를 상속하며, 이는 소스 다양체의 대수적-위상수학적 분석을 가능하게 한다.
• 특정 조건 하에 $R = \mathbb{Z}$ 또는 $\mathbb{Q}$ 이면, $k_1 + 2k_2 + k_3 = 3$ 인 경우, $A_R$ 의 $\frac{n}{2}$-번째 모듈의 랭크-2 부분모듈 중 제곱이 0이 되는 원소를 가지는 것이 없다고 보여진다.
• 접선 맵의 Reeb 공간은 $n$차원의 다각형으로 실현 가능하며, 소스 다양체는 차원 $m+1$인 조각별로 매끄러운 다양체를 통해 이에 수축된다.
• PL 범주에서, $M \times \{1\}$ 에서 인덱스 $\geq m-n$ 인 핸들을 붙여 $m+1$차원 다양체를 구성하며, 이는 Reeb 공간으로 수축된다.
• 이 방법은 Reeb 공간 위상이 제어된 접선 맵을 명시적으로 구성할 수 있게 하며, 이는 각 원상 성분에 대해 최대 두 개의 특이점이 존재하는 경우도 포함한다.