[论文解读] Coincidence free pairs of maps

Ulrich Koschorke|ArXiv.org|Jun 1, 2006

Advanced Topology and Set Theory参考文献 15被引用 3

一句话总结

本文通过引入强 Nielsen 数 $ N^\#(f_1,f_2) $ 来衡量流形间映射对的最小重合点数，推进了拓扑重合理论，该数用于度量映射对远离重合自由状态的程度，并建立了基于重合自由对的同伦集过滤。研究证明，对于映射到实与复射影空间的情形，存在重合自由对的同伦类集合构成一个子群，并通过显式计算表明在稳定范围内 $ \pi_m^c(\mathbb{K}P(n')) = 0 $，且在某些情形下 $ \pi_m^{(2)}(\mathbb{K}P(n')) \cong \mathbb{Z}_2 $。

ABSTRACT

This paper centers around two basic problems of topological coincidence theory. First, try to measure (with help of Nielsen and minimum numbers) how far a given pair of maps is from being loose, i.e. from being homotopic to a pair of coincidence free maps. Secondly, describe the set of loose pairs of homotopy classes. We give a brief (and necessarily very incomplete) survey of some old and new advances concerning the first problem. Then we attack the second problem mainly in the setting of homotopy groups. This leads also to a very natural filtration of all homotopy sets. Explicit calculations are carried out for maps into spheres and projective spaces.

研究动机与目标

• 通过 Nielsen 数与最小数度量映射对在同伦下与重合自由状态的偏离程度。
• 刻画可具有重合自由代表对的映射同伦类集合。
• 基于重合自由对的存在性，发展同伦集的过滤结构。
• 在球面与射影空间中计算显式例子，特别是针对 $ \mathbb{R}P(n') $ 与 $ \mathbb{C}P(n') $。

提出的方法

• 通过路径空间 $ E(f_1,f_2) $ 对重合集进行分解，引入强 Nielsen 数 $ N^\#(f_1,f_2) $。
• 利用映射 $ \widetilde{g}: C(f_1,f_2) \to E(f_1,f_2) $ 将 Nielsen 的不动点等价性推广至重合理论。
• 应用稳定同伦理论与悬垂操作分析 $ \partial_\mathbb{R} $，并将其与自交不变量关联。
• 利用特征类确定映射到 $ \mathbb{K}P(n') $ 时何时可提升至球面，从而实现重合自由对的构造。
• 通过配置空间与纤维丛的正合列，将 $ \widetilde{C}_2(N) $ 的同伦群与 $ \pi_m^{(2)}(N) $ 关联。
• 应用 Toda 表与已知的稳定同伦群计算 $ \pi_m^{(2)}(\mathbb{R}P(n')) $ 与 $ \pi_m^c(\mathbb{R}P(n')) $。

实验结果

研究问题

• RQ1 在同伦下，一对映射的最小重合点数是多少？它与 Nielsen 数等拓扑不变量有何关系？
• RQ2 哪些映射对的同伦类可具有重合自由的代表？
• RQ3 如何通过重合自由对的存在性对射影空间中映射的同伦类集合进行过滤？
• RQ4 $ \pi_m^{(2)}(\mathbb{K}P(n')) $ 的结构是什么？它与完整的同伦群 $ \pi_m(\mathbb{K}P(n')) $ 相比如何？
• RQ5 当标准投影 $ p: S^{n+d-1} \to \mathbb{K}P(n') $ 允许截面时，满足什么条件？这对重合自由对的存在性有何影响？

主要发现

• 当 $ M = S^m $ 时，存在重合自由对的同伦类集合同构于 $ \pi_m^c(\mathbb{K}P(n')) \oplus \pi_m^c(\mathbb{K}P(n')) $，且该集合是 $ \pi_m(\mathbb{K}P(n')) $ 的子群。
• 当 $ \mathbb{K} = \mathbb{R} $ 且 $ n' $ 为奇数时，$ \pi_m^{(2)}(\mathbb{R}P(n')) = \pi_m(\mathbb{R}P(n')) $；但当 $ n' $ 为偶数时，$ \pi_m^{(2)}(\mathbb{R}P(n')) $ 严格更小。
• 当 $ m < 2n - 2 $ 时，$ \ker \partial_\mathbb{R} = \{ z \in \pi_m(S^n) \mid (1 + (-1)^n) \cdot z = 0 \} $，将悬垂与自交不变量联系起来。
• 显式计算表明 $ \pi_9^c(\mathbb{R}P(6)) = 0 $，$ \pi_9^{(2)}(\mathbb{R}P(6)) \cong \mathbb{Z}_2 $，且 $ \pi_9(\mathbb{R}P(6)) \cong \mathbb{Z}_{24} $。
• 类似地，$ \pi_{17}^c(\mathbb{R}P(10)) = 0 $，$ \pi_{17}^{(2)}(\mathbb{R}P(10)) \cong \mathbb{Z}_2 $，且 $ \pi_{17}(\mathbb{R}P(10)) \cong \mathbb{Z}_{240} $，与 Toda 表一致。
• 同伦群上配置空间的同构 $ p_{2,2*} \circ p_{2,1*}^{-1} $ 实现了核心群同构 $ c $，这对于刻画松散对至关重要。