[论文解读] Nielsen coincidence theory in arbitrary codimensions

Ulrich Koschorke|ArXiv.org|Aug 3, 2004

Advanced Differential Geometry Research参考文献 6被引用 4

一句话总结

本文通过在路径空间 $E(f_1,f_2)$ 中引入正规 bordism，将尼尔斯顿重合理论推广到任意余维数，定义了一个新的不变量——尼尔斯顿重合数 $N(f_1,f_2)$。证明了在三种关键情形下 $MCC(f_1,f_2) = N(f_1,f_2)$：当 $m < 2n - 2$ 时，当 $N$ 为圆周时，以及当 $M$ 和 $N$ 为球面且满足詹姆斯-霍普夫单射性条件时，从而确立了 $N(f_1,f_2)$ 作为在同伦下重合分量最小数量的精确下界。

ABSTRACT

Given two maps f_1, f_2 : M^m \longrightarrow N^n between manifolds of the indicated arbitrary dimensions, when can they be deformed away from one another? More generally: what is the minimum number MCC (f_1, f_2) of pathcomponents of the coincidence space of maps f'_1, f'_2 where f'_i is homotopic to f_i, i = 1, 2? Approaching this question via normal bordism theory we define a lower bound N (f_1, f_2) which generalizes the Nielsen number studied in classical fixed point and coincidence theory (where m = n). In at least three settings N (f_1, f_2) turns out to coincide with MCC (f_1, f_2): (i) when m &lt; 2n - 2; (ii) when N is the unit circle; and (iii) when M and N are spheres and a certain injectivity condition involving James-Hopf invariants is satisfied. We also exhibit situations where N (f_1, f_2) vanishes, but MCC (f_1, f_2) is strictly positive.

研究动机与目标

• 将尼尔斯顿不动点与重合理论从经典等维情形（$m = n$）推广至任意余维数（$m \neq n$）
• 定义一个新的尼尔斯顿型不变量 $N(f_1,f_2)$，作为在同伦下重合分量最小数量 $MCC(f_1,f_2)$ 的下界
• 确定 $N(f_1,f_2)$ 与 $MCC(f_1,f_2)$ 相等的条件，从而将其识别为削弱映射的完整障碍
• 分析空间 $E(f_1,f_2)$ 的路径连通分支的作用，这些分支参数化里德迈斯特类，并研究其对正规 bordism 类 $\widetilde{\omega}(f_1,f_2)$ 的贡献
• 通过构造例子研究 $N(f_1,f_2)$ 无法检测可松驰性的原因，即在 $N(f_1,f_2) = 0$ 但 $MCC(f_1,f_2) > 0$ 的情形下

提出的方法

• 构造空间 $E(f_1,f_2)$，其中包含满足 $x \in M$ 且 $\theta$ 是从 $f_1(x)$ 到 $f_2(x)$ 的路径的对 $(x, \theta)$，以编码里德迈斯特类
• 利用哈彻-奎因理论，定义正规 bordism 类 $\widetilde{\omega}(f_1,f_2) \in \Omega_{m-n}(E(f_1,f_2); \widetilde{\varphi})$，其中 $\widetilde{\varphi} = \text{pr}^*(f_1^*TN - TM)$
• 将 $\widetilde{\omega}(f_1,f_2)$ 按路径连通分支 $A \in \pi_0(E(f_1,f_2))$ 分解，并将 $N(f_1,f_2)$ 定义为在 bordism 中非平凡的分量数量
• 利用路径空间中的广义惠特尼技巧，构造同伦 $f_i \sim f_i'$，当 $N(f_1,f_2) = 0$ 时可消除重合点
• 应用 framed bordism 和稳定同伦理论，分析 $\Gamma_k$ 映射及其在自交不变量的反射与符号变化下的行为
• 利用托达表和 EHP 序列，验证特定稳定同伦群中 $\Gamma_k$ 同态的单射性与非单射性

实验结果

研究问题

• RQ1 在何种条件下，尼尔斯顿重合数 $N(f_1,f_2)$ 等于最小重合分量计数 $MCC(f_1,f_2)$？
• RQ2 在何种余维数条件下，$N(f_1,f_2)$ 成为削弱两个映射的完整障碍？
• RQ3 是否存在 $N(f_1,f_2) = 0$ 但 $MCC(f_1,f_2) > 0$ 的情形，表明尼尔斯顿数无法检测非可松驰性？
• RQ4 $E(f_1,f_2)$ 的路径连通分支（对应里德迈斯特类）如何影响正规 bordism 类 $\widetilde{\omega}(f_1,f_2)$ 的结构？
• RQ5 $\Gamma_k$ 同态在稳定同伦群中的行为如何？其在何种情况下是单射或非单射？

主要发现

• 当 $m < 2n - 2$ 时，尼尔斯顿数 $N(f_1,f_2)$ 等于 $MCC(f_1,f_2)$，因此 $N(f_1,f_2) = 0$ 当且仅当对 $(f_1,f_2)$ 是可松驰的。
• 当 $N$ 为单位圆周 $S^1$ 时，$N(f_1,f_2) = MCC(f_1,f_2)$ 成立，将经典尼尔斯顿理论推广至余维数 1。
• 对于球面 $M = S^m$，$N = S^n$，若满足某种涉及詹姆斯-霍普夫不变量的单射性条件，则 $N(f_1,f_2) = MCC(f_1,f_2)$。
• 存在例子使得 $N(f_1,f_2) = 0$ 但 $MCC(f_1,f_2) > 0$，表明尼尔斯顿数在一般余维数下并非总是完整障碍。
• $\Gamma_k: \pi_{m}(S^n) \to \pi^S_{m-1-k(n-1)}$ 在 $\pi_{n+1}(S^n)$ 上（$n \geq 2$）以及在 $\pi_{n+2}(S^n)$ 和 $\pi_5(S^2)$ 上是单射的，通过庞特里亚金-托姆构造与托达表进行显式验证。
• 对于 $\Gamma: \pi_{24}(S^6) \to \pi^S_{23}$，该映射不是单射的，因为定义域 $\mathbb{Z}_{24} \oplus \mathbb{Z}_6 \oplus \mathbb{Z}_2$ 的阶大于目标相关扭部分的阶，且有 $2\Gamma_4 \equiv 0$