[論文レビュー] Notes on explicit special generic maps into Eulidean spaces whose dimensions are greater than 4

Naoki Kitazawa|arXiv (Cornell University)|Oct 20, 2020

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 を超える特別一般写像に関する既知の結果を拡張すること。
• 特別一般写像を許容する多様体に対して、明示的な構成およびトポロジー的不変量（ベッチ数、カップ積）を提供すること。

提案手法

• 次元 $n \geq 5$ に対して、閉じて連結な多様体の族 $\{M_r\}_{r \in \mathbb{Z}}$ と特別一般写像 $f_r: M_r \to \mathbb{R}^n$ を構成し、特定の次元および位相的制約を満たすようにする。
• 特異集合 $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$。
• コホモロジー部分代数が無限位数の要素によって生成されることを示し、Poincaré双対性およびマッピングシリンダーの構造を用いて、$H^*(S^4 \times S^4; \mathbb{Z})$ と同型であることを証明する。
• 文献[27]の技術を適用し、源多様体 $M$ のオイラー標数 $\chi(M) = 4$ を計算することで、ベッチ数を制約する。
• 滑らかな同相型の議論を用いて、特定の 4 次元部分多様体（例：$C_{S(f)}$）が互いに写像構造を保ちながら同相型で分離可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 次元 $n \geq 5$ における特別一般写像を許容する閉じた単連結多様体に課される位相的制約は何か？
• RQ2 このような多様体の整数ホモロジーおよびコホモロジー環は、特異集合の次元および構造にどのように依存するか？
• RQ3 ねじれのないクラスによって生成されるコホモロジー部分代数を明示的に特定できるか？また、$S^4 \times S^4$ のそれと同型であるか？
• RQ4 オイラー標数および Poincaré 双対性は、特別一般写像を許容する多様体のベッチ数を制約するために果たす役割は何か？
• RQ5 特異集合および関連する部分多様体が、特別一般写像構造を保ちながら滑らかに同相型で分離可能な条件は何か？

主な発見

• 次元 $n \geq 5$ に対して、特異集合構造を規定した閉じた連結多様体族 $\{M_r\}$ が非可算無限に存在し、特別一般写像 $f_r: M_r \to \mathbb{R}^n$ を許容する。
• 画像 $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^*(M; \mathbb{Z})$ の無限位数の要素から生成される部分代数は $H^*(S^4 \times S^4; \mathbb{Z})$ と同型であり、ベッチ数は $\beta_0 = \beta_8 = 1$、$\beta_4 = 2$、他のすべての $j$ に対して $\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$ である。
• ホモロジー群 $H_j(M; \mathbb{Z})$ のランクは $j = 1,2,3$ のとき 0 であり、$j = 0,4,8$ のときのみ非ゼロであり、特に $\text{rank}(H_4(M; \mathbb{Z})) = 2$ である。
• カップ積は、定理 5 により、すべての次数で自明である。これは、4 次元および 8 次元で非自明なコホモロジーが存在するにもかかわらず成り立つ。