[论文解读] Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps with prescribed singular fibers

Boldizsár Kalmár|ArXiv.org|Dec 5, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用 4

一句话总结

本文为非正余维数奇异映射构建了庞特里亚金-沃恩-茨苏类型构造，使得能够研究具有指定奇异纤维的 $-1$ 余维稳定映射的余 bordism 与 bordism 群。通过将结构群约化为紧致子群并应用同伦论技术，作者计算了低维情形下尖点映射的定向余 bordism 群，表明 $τγ_{τ}τ^{O}(3,-1) \cong \mathbb{Z}_2$ 且 $τγ_{τ}τ^{O}(4,-1)$ 的秩为 2，其生成元与特定奇异纤维类型相关联。

ABSTRACT

We give a Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps, and obtain results about cobordism and bordism groups of -1 codimensional stable maps with prescribed singular fibers.

研究动机与目标

• 将庞特里亚金-沃恩-茨苏构造扩展至非正余维数奇异映射，特别是余维数 $-1$ 的情形。
• 在此设定下研究具有指定奇异纤维的稳定映射的余 bordism 与 bordism 群。
• 为奇异纤维丛的结构群进行约化，以紧凑子群形式实现同伦分析。
• 利用所构建的框架显式计算低维情形下尖点映射的余 bordism 群。

提出的方法

• 通过米尔诺构造，为给定映射 $h: X^l \to \mathbb{R}^k$ 及其结构群 $\mathcal{G} \subset \mathrm{AUT}(h)$ 构造一个通用丛。
• 利用庞特里亚金-沃恩-茨苏构造，将奇异映射族与映射到 Thom 空间的同伦类联系起来。
• 通过黎曼度量与对称性考虑，将奇异集上丛 $\xi_\SS(f)$ 的结构群约化为紧致子群。
• 应用由构造导出的同伦正合列来计算余 bordism 群。
• 借助已知的稳定同伦群与 Thom 空间结果，识别出 $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1) \cong \pi_{n-1}^s(\mathbb{R}P^\infty)$。
• 利用几何构造与代数计数等不变量，如奇异纤维的代数计数，来确定余 bordism 群的秩与挠子群。

实验结果

研究问题

• RQ1 庞特里亚金-沃恩-茨苏构造如何被适配于非正余维数奇异映射，特别是余维数 $-1$ 的情形？
• RQ2 在此背景下，奇异纤维丛的结构群约化有哪些可能？其对余 bordism 分类有何影响？
• RQ3 低维情形下，$-1$ 余维尖点映射的定向余 bordism 群具有何种结构？
• RQ4 如奇异纤维的代数数量等不变量如何与余 bordism 群的生成元相关联？
• RQ5 简单尖点映射的余 bordism 群是否可与 $\mathbb{R}P^\infty$ 的稳定同伦群相等同？

主要发现

• 定向余 bordism 群 $\mathcal{C}ob_{\mathfrak{c}}^{O}(3,-1)$ 同构于 $\mathbb{Z}_2$，该同构由同态 $\gamma$ 实现，其将映射的奇异集映射为其作为浸入的余 bordism 类。
• 余 bordism 群 $\mathcal{C}ob_{\mathfrak{c}}^{O}(4,-1)$ 的秩为 2，其生成元由类型 $\mathrm{III}^8$ 与 $\mathrm{III}^b$ 的奇异纤维的代数数量生成。
• 与奇异纤维 $\sigma_\SS$ 相关的丛 $\xi_\SS(f)$ 的结构群可约化为紧致子群，从而确保其与横截性及同伦论方法的兼容性。
• 对于每连通分支至多含一个奇异点的简单尖点映射，定向余 bordism 群 $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1)$ 同构于 $\pi_{n-1}^s(\mathbb{R}P^\infty)$。
• 来自定向折痕余 bordism 群的分量 $\pi_{n-1}^s$ 在 $\mathcal{C}ob_{\mathfrak{sc}}^{O}(n+1,-1)$ 中映射为零，这意味着自然同态的核恰好是折痕部分的像。
• 当 $\sigma_\SS$ 不含圆周分量且 $p > \kappa(\SS)$ 不整除其阶时，保持纤维芽上黎曼度量的等距群 $\mathrm{ISO}(\sigma_\SS)$ 为有限群。