[論文レビュー] Special generic maps and fold maps and information on triple Massey products of higher dimensional differentiable manifolds

Naoki Kitazawa|arXiv (Cornell University)|Jun 16, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 24被引用数 5

ひとこと要約

この論文は、高次元単連結多様体のコホモロジーにおける非自明な三重マッセイ積の検出に、折りたたみ写像と特別な一般写像を用いた新しい手法を導入する。著者は具体的な折りたたみ写像の構成により、非自明な三重マッセイ積の存在が、低次元のユークリッド空間への特別な一般写像の存在を妨げるという幾何的障害を示し、微分構造の存在に対する幾何的障害を与える。

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.

研究の動機と目的

• 高次元単連結多様体の位相的性質および微分構造を研究するための幾何的かつ構成的な手法の開発。
• 折りたたみ写像と特別な一般写像が、三重マッセイ積のようなコホモロジー不変量に関する情報をどのように明らかにするかの調査。
• 非自明な三重マッセイ積を用いて特別な一般写像の存在に対する幾何的障害を確立すること。
• 同型なコホモロジーリングを持つが、特別な一般写像の可否において異なる点を持つ多様体の明示的構成。

提案手法

• 著者は、4次元以上である閉じた単連結多様体の位相を調べるための幾何的道具として、高次元のモース関数の類似物である折りたたみ写像を用いる。
• インデックス0の特異点を持つ折りたたみ写像のクラスである特別な一般写像は、多様体の微分構造を制限する。
• 多面体の正則近傍からの得られる多様体に具体的な折りたたみ写像を構成することで、コホモロジーリングとマッセイ積の計算が可能になる。
• この手法は、コホモロジーにおけるPoincaré双対性と完全系列に依存し、境界多様体のホモロジーおよびコホモロジー群の計算に用いられる。
• 著者は多面体 $X_{5,0}$ を $\mathbb{R}^8$ に埋め込み、その正則近傍 $N(X_{5,0})$ を取り、境界 $\partial N(X_{5,0})$ を7次元多様体として研究する。
• $\partial N(X_{5,0})$ のコホモロジーを分析することで、非自明な三重マッセイ積を同定し、それらを特別な一般写像の存在を妨げる要因として用いる。

実験結果

リサーチクエスチョン

• RQ1 折りたたみ写像は、高次元多様体のコホモロジーにおける非自明な三重マッセイ積を検出するために用いることができるか？
• RQ2 非自明な三重マッセイ積は、特別な一般写像の存在にどのような幾何的障害をもたらすか？
• RQ3 コホモロジーリングとマッセイ積は、同型なホモロジーを持つが異なる微分構造を持つ多様体をどの程度まで区別できるか？
• RQ4 折りたたみ写像と特別な一般写像は、高次元における単連結多様体の分類にどのように関係するか？

主な発見

• 任意の主イデアル整域 $A$ に対して、2次コホモロジー類に非自明な三重マッセイ積を持つ7次元の閉じた単連結多様体 $M$ は、$n=1,2,3,4,5$ のとき $\mathbb{R}^n$ への特別な一般写像をもたない。
• 境界多様体 $\partial N(X_{5,0})$ は、$S^2 \times S^5$ の4つのコピーの連結和のコホモロジーリングと同型であるが、非自明な三重マッセイ積をもつ。
• 同型なコホモロジーリングとホモロジー群を持つ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$ が確認され、その位相的複雑性が裏付けられる。
• 結果として、三重マッセイ積が、コホモロジーリングだけよりも微分構造の区別に細かく効く不変量であることが示された。