[论文解读] 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的欧几里得空间的显式特殊通用映射族，表明源流形的整系数同调与上同调环受到强烈约束。关键结果表明，在某些维数和拓扑类型下，由无 torsion 元素生成的上同调子代数同构于 $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维以上，特别是针对异样球面与同伦球面。
• 为承认此类映射的流形提供显式构造及拓扑不变量（贝蒂数、上积结构）。

提出的方法

• 构造一族闭合、连通流形 $\{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})$。
• 应用 [27] 中的技术，并利用源流形 $M$ 的欧拉示性数 $\chi(M) = 4$ 来约束贝蒂数。
• 使用光滑同伦论证表明，某些4维子流形（如 $C_{S(f)}$）可被同伦避开彼此，同时保持映射结构。

实验结果

研究问题

• RQ1 对于闭合、单连通流形，若其 admits 特殊通用映射到 $\mathbb{R}^n$（$n \geq 5$），其拓扑约束为何？
• RQ2 此类流形的整系数同调与上同调环如何依赖于奇异集的维数与结构？
• RQ3 由无 torsion 类生成的上同调子代数能否显式识别？其是否同构于 $S^4 \times S^4$ 的上同调代数？
• RQ4 欧拉示性数与庞特里亚金对偶性在约束承认此类映射的流形的贝蒂数方面起何作用？
• RQ5 在何种条件下，奇异集及其相关子流形可被光滑同伦处理，同时保持特殊通用映射结构？

主要发现

• 对于 $n \geq 5$，存在不可数无穷多族闭合、连通流形 $\{M_r\}$，其 admits 特殊通用映射 $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$，其余 $\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$ 时为零，仅在 $j = 0,4,8$ 时非零，且 $\text{rank}(H_4(M; \mathbb{Z})) = 2$。
• 尽管在度数4与8处上同调非平凡，但根据定理5，$H^*(M; \mathbb{Z})$ 中所有度数的上积均为平凡。