[논문 리뷰] Notes on explicit special generic maps into Eulidean spaces whose dimensions are greater than 4

Naoki Kitazawa|arXiv (Cornell University)|2020. 10. 20.

Topological and Geometric Data Analysis참고 문헌 25인용 수 4

한 줄 요약

이 논문은 5차원 이상의 유클리드 공간으로의 특수 일반 맵의 명시적 가족을 닫힘 단순연결 다중구조체에서 구성하며, 소스 다중구조체의 정수 계수 호모로지 및 코호모로지 링이 강하게 제약받음을 보여준다. 핵심 결과는 특정 차원과 위상형질에 대해 순환하지 않는 요소들로 생성된 코호모로지 부분대수는 $S^4 \times S^4$의 것과 동형이며, 베티 수와 컵 곱의 구조에 명시적인 통제가 가능하다.

ABSTRACT

Special generic maps are higher dimensional versions of Morse functions with exactly two singular points, characterizing spheres topologically except 4-dimensional cases and 4-dimensional standard spheres. The class of such maps also contains canonical projections of unit spheres. This class is interesting from the viewpoint of algebraic topology and differential topology of manifolds. These maps have been shown to restrict the topologies and the differentiable structures of the manifolds strongly by Calabi, Saeki and Sakuma before 2010s, and later Nishioka, Wrazidlo and the author. So-called exotic spheres admit no special generic map in considerable cases and homology groups and cohomology rings are shown to be strongly restricted. Moreover, special generic maps into Euclidean spaces whose dimensions are smaller than or equal to 4 have been studied well. The present paper mainly concerns cases where the dimensions of targets are greater than or equal to 5.

연구 동기 및 목표

• 5차원 이상의 유클리드 공간으로의 닫힘 단순연결 다중구조체에서 특수 일반 맵의 명시적 가족을 구성하는 것.
• 이러한 맵이 소스 다중구조체에 가하는 위상수학적 및 미분 구조적 제약, 특히 정수 계수 호모로지 및 코호모로지 링에 대한 분석.
• 무한 순환 요소들로 생성된 코호모로지 클래스 부분대수의 구조를 규명하여, 핵심 경우에서 $S^4 \times S^4$의 것과 동형임을 보이는 것.
• 특수 일반 맵에 관한 기존 결과를 4차원을 초월하여, 특히 이국적 3차원 구와 호모토피 구에 대해 확장하는 것.
• 이러한 맵을 갖는 다중구조체에 대해 명시적 구성과 위상수학적 불변량(베티 수, 컵 곱)을 제공하는 것.

제안 방법

• 차원과 위상적 조건을 충족시키는 닫힘 연결 다중구조체 $\{M_r\}_{r \in \mathbb{Z}}$ 와 특수 일반 맵 $f_r: M_r \to \mathbb{R}^n$ ($n \geq 5$)의 가족을 구성한다.
• 이미지 $f_r(S(f_r))$의 구조를 분석하여, $S^{k_1} \times D^{k_2}$의 부분다중구조체의 튜브근방을 제거한 다중구조체와 미분동형임을 보인다. 여기서 $k_1 < n/2$이다.
• 이미지 $D_r$의 정수 계수 호모로지 군 $H_j(D_r; \mathbb{Z})$를 계산하여, 비자명한 군이 특정 차수에서만 존재함을 보인다: $j = 0, n-1$, 및 $j = k_1, k-k_1, n-k-1, n-k+k_1-1, k, n-k_1-1$.
• 코호모로지 부분대수 중 무한 순환 요소들로 생성된 것이 $H^*(S^4 \times S^4; \mathbb{Z})$와 동형임을 보이며, 푸앵카레 dualit와 매핑 실린더의 구조를 이용한다.
• 참고문헌 [27]의 기법을 적용하고, 소스 다중구조체 $M$의 오일러 특성수 $\chi(M) = 4$를 계산하여, 베티 수에 대한 제약을 가한다.
• 부드러운 동치변형 논증을 사용하여, 특정 4차원 부분다중구조체(예: $C_{S(f)}$)들이 서로를 방해하지 않도록 동치변형할 수 있음을 보이며, 맵의 구조를 유지한다.

실험 결과

연구 질문

• RQ1 5차원 이상의 $\mathbb{R}^n$으로의 특수 일반 맵을 갖는 닫힘 단순연결 다중구조체에 가해지는 위상수학적 제약은 무엇인가?
• RQ2 그러한 다중구조체의 정수 계수 호모로지 및 코호모로지 링은 특이집합의 차원과 구조에 따라 어떻게 달라지는가?
• RQ3 무한 순환 요소들로 생성된 코호모로지 부분대수는 명시적으로 식별할 수 있으며, $S^4 \times S^4$의 것과 동형인가?
• RQ4 오일러 특성수와 푸앵카레 dualit는 이러한 맵을 갖는 다중구조체의 베티 수를 어떻게 제약하는가?
• RQ5 특이집합과 관련된 부분다중구조체들이 특수 일반 맵의 구조를 유지하면서 부드럽게 동치변형될 수 있는 조건은 무엇인가?

주요 결과

• 5차원 이상의 경우, 특이집합의 구조가 사전에 정해진 닫힘 연결 다중구조체 $\{M_r\}$의 비가산 많은 가족이 존재한다.
• 이미지 $D_r = f_r(S(f_r))$는 정수 계수 호모로지 $H_j(D_r; \mathbb{Z}) \cong \mathbb{Z}$를 가지며, $j = 0, n-1$에서 성립하고, $0 < j < k_1$에서는 자명하며, 특정 차수에서만 비자명하다.
• 정수 계수 코호모로지 링에서 무한 순환 요소들로 생성된 부분대수는 $H^*(S^4 \times S^4; \mathbb{Z})$와 동형이며, 베티 수는 $\beta_0 = \beta_8 = 1$, $\beta_4 = 2$, 나머지 $\beta_j = 0$이다.
• 소스 다중구조체 $M$의 오일러 특성수는 $\chi(M) = 4$이며, $\chi(M) = \chi(\partial W_f) \chi(D^4) + \chi(W_f) \chi(S^3)$를 통해 계산되며, $\chi(\partial W_f) = 4$이다.
• 호모로지 군의 랭크는 $j = 1,2,3$에서 0이며, $j = 0,4,8$에서만 비자명하며, $\text{rank}(H_4(M; \mathbb{Z})) = 2$이다.
• 모든 차수에서 컵 곱이 자명함을 보였으며, 이는 정리 5에 의해 입증되었으며, 4차와 8차에서 비자명한 코호모로지가 존재하더라도 성립한다.