[논문 리뷰] Special generic maps and fold maps and information on triple Massey products of higher dimensional differentiable manifolds

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

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

한 줄 요약

이 논문은 고차원 단순연결 다성분의 코homology에서 비영인 삼중 Massey 곱을 검출하기 위한 새로운 방법을 제시한다. 이는 접히는 맵(fold maps)과 특수 일반 맵(special generic maps)을 사용한다. 명시적인 접히는 맵의 구축을 통해 저자는 비영인 삼중 Massey 곱의 존재가 낮은 차원의 유클리드 공간으로의 특수 일반 맵의 존재를 방해함을 보이며, 미분 구조의 존재에 대한 기하학적 차단 조건을 제공한다.

ABSTRACT

Closed (and simply-connected) manifolds whose dimensions are larger than 4 are central geometric objects in classical algebraic topology and differential topology. They have been classified via algebraic and abstract objects. On the other hand, It is difficult to understand them in geometric and constructive ways. In the present paper, we show such studies via explicit fold maps, higher dimensional versions of Morse functions. The author captured information of the topologies and the differentiable structures of closed (and simply-connected) manifolds which are not so complicated with respect to homotopy previously and cohomology rings of more general closed (and simply-connected) manifolds via construction of these maps. In the present paper, as a more precise work, we capture so-called (triple) Massey products in this way.

연구 동기 및 목표

• 고차원 단순연결 다성분의 위상수학과 미분 구조를 연구하기 위한 기하학적이고 구조적인 방법을 개발한다.
• 접히는 맵과 특수 일반 맵이 삼중 Massey 곱과 같은 코homological 불변량에 대해 어떤 정보를 드러내는지 조사한다.
• 비영인 삼중 Massey 곱을 이용해 특수 일반 맵의 존재에 대한 기하학적 차단 조건을 수립한다.
• 동일한 코homology 링을 가지지만 특수 일반 맵을 가질 수 있는지 여부가 다른 다성분의 명시적 구축을 제공한다.

제안 방법

• 저자는 4차원 이상의 닫힘 단순연결 다성분의 위상을 탐구하기 위한 기하학적 도구로 접히는 맵—모르스 함수의 고차원 일반화—를 사용한다.
• 색인 0의 특이점을 갖는 접히는 맵의 하위집합인 특수 일반 맵은 다성분의 미분 구조를 제약한다.
• 다각형의 정규 이웃의 정규 이웃에서 유도된 다성분에 대한 명시적 접히는 맵의 구축은 코homology 링과 Massey 곱의 계산을 가능하게 한다.
• 이 방법은 코homology의 정확한 수열과 푸앵카레 dual을 이용해 경계 다성분의 호모로지 및 코호몰로지 군을 계산한다.
• 저자는 다각형 $X_{5,0}$을 $\mathbb{R}^8$에 매립하고, 그 정규 이웃 $N(X_{5,0})$을 취하며, 경계 $\partial N(X_{5,0})$를 7차원 다성분로 연구한다.
• 경계 $\partial N(X_{5,0})$의 코homology를 분석함으로써 비영인 삼중 Massey 곱을 식별하고, 이를 특수 일반 맵의 존재를 차단하는 데 사용한다.

실험 결과

연구 질문

• RQ1 접히는 맵는 고차원 다성분의 코homology에서 비영인 삼중 Massey 곱을 검출하는 데 사용될 수 있는가?
• RQ2 비영인 삼중 Massey 곱은 특수 일반 맵의 존재에 어떤 기하학적 차단 조건을 부과하는가?
• RQ3 코homology 링과 Massey 곱은 동일한 호모로지를 가지지만 다른 미분 구조를 가진 다성분을 어느 정도로 구별할 수 있는가?
• RQ4 접히는 맵와 특수 일반 맵는 고차원에서 단순연결 다성분의 분류와 어떻게 관련되는가?

주요 결과

• 모든 주 이상환 $A$에 대해, 2차 코homology 클래스에서 비영인 삼중 Massey 곱을 갖는 7차원 닫힘 단순연결 다성분 $M$은 $n=1,2,3,4,5$일 때 $\mathbb{R}^n$으로의 특수 일반 맵을 가질 수 없다.
• 경계 다성분 $\partial N(X_{5,0})$는 $S^2 \times S^5$의 네 개의 연결합과 동일한 코homology 링을 가지지만, 비영인 삼중 Massey 곱을 갖는다.
• 코homology 링과 호모로지 군이 동일한 7차원 단순연결 다성분 $M_1$과 $M_2$의 쌍이 존재하며, $M_1$은 $\mathbb{R}^n$($n=4,5$)으로 특수 일반 맵을 가질 수 있지만 $M_2$는 그렇지 않다.
• $M_2 = \partial N(X_{5,0}) \# M_1'$는 $n=4,5$일 때 $\mathbb{R}^n$으로 접히는 맵을 가짐을 보여주며, 이는 접히는 맵가 특수 일반 맵보다 덜 엄격한 조건임을 시사한다.
• $\partial N(X_{5,0})$의 구축은 명시적이고 계산 가능한 호모로지 및 코호몰로지 군을 갖는 다성분을 얻으며, 이는 $H^2(\partial N(X_{5,0});A) \cong A^4$ 및 $H^3(\partial N(X_{5,0});A) \cong 0$를 포함한다. 이는 그 위상적 복잡성을 확인한다.
• 결과적으로 삼중 Massey 곱은 고차원 다성분의 미분 구조를 식별하는 데 코homology 링만으로는 부족한 더 정교한 불변량임을 보여준다.