[论文解读] Coincidence theory in arbitrary codimensions: the minimizing problem

Ulrich Koschorke|ArXiv.org|Jun 1, 2006

Cosmology and Gravitation Theories参考文献 1被引用 4

一句话总结

本文提出了一套基于正规 bordism 的理论框架，用于研究任意余维下两个流形间映射的最小重合分量数。通过利用自由路径空间的路径分支与扭曲正规丛构造不变量，该文建立了最小重合计数的下界，将 Nielsen 型不动点理论推广至高余维情形，并证明了对于从球面到奇维球面空间形式的映射，最小重合数等于一个可计算的不变量，该不变量涉及基本群或次数。

ABSTRACT

Coincidences of maps between smooth manifolds are studied via a geometric approach which involves (nonstabilized) normal bordism theory and pathspaces.

研究动机与目标

• 将 Nielsen 不动点理论推广至任意余维下的重合理论，其中重合集为流形而非离散点。
• 定义新的不变量——$N(f_1,f_2)$ 与 $N^\#(f_1,f_2)$——作为在同伦下最小重合分量数的下界。
• 利用正规 bordism 与路径空间分解建立一个框架，以捕捉重合轨迹的几何与拓扑约束。
• 将该理论应用于计算从球面到奇维球面空间形式的映射的最小重合数，从而在许多情形下实现完全分类。

提出的方法

• 本文使用非稳定正规 bordism 理论，在 bordism 集 $\Omega^\#(f_1,f_2)$ 中定义一个精细不变量 $\omega^\#(f_1,f_2)$，该不变量结合了重合流形 $C(f_1,f_2)$、其在 $M$ 中的包含映射以及一个稳定正规丛同构。
• 构造一个映射 $\widetilde{g}: C(f_1,f_2) \to E(f_1,f_2)$，其中 $E(f_1,f_2)$ 是从 $f_1(x)$ 到 $f_2(x)$ 的路径空间，其路径分支对应于 Reidemeister 集 $R(f_1,f_2)$。
• 不变量 $\widetilde{\omega}(f_1,f_2)$ 属于一个正规 bordism 群 $\Omega_{m-n}(E(f_1,f_2); \widetilde{\varphi})$，其系数丛 $\widetilde{\varphi} = \mathrm{pr}^*(f_1^*(TN) - TM)$ 编码了重合轨迹的几何信息。
• 通过根据 $E(f_1,f_2)$ 的路径分支对 $C(f_1,f_2)$ 的原像进行分解，可定义 $N(f_1,f_2)$ 与 $N^\#(f_1,f_2)$ 为非平凡 bordism 贡献的计数。
• 当 $M = S^m$ 且 $N$ 为奇维球面空间形式时，$\Omega^\#(f_1,f_2)$ 被识别为 $\pi_m(S^n \wedge \Omega(N)^+)$，将问题与稳定同伦理论联系起来。
• 该方法可推广至 $N \times \mathbb{R}$ 中的链路映射，提供解除链路的障碍与链路同伦类的 Nielsen 数。

实验结果

研究问题

• RQ1 对于任意余维下两个流形 $M$ 与 $N$ 之间的映射 $f_1,f_2: M \to N$，通过同伦可实现的最小重合分量数 $MCC(f_1,f_2)$ 是多少？
• RQ2 如何将 Nielsen 型不变量从不动点理论推广至正余维情形下的重合理论，其中重合集为流形而非点？
• RQ3 能否利用路径空间 $E(f_1,f_2)$ 及其基本群作用对重合轨迹进行分解，并定义 $MCC(f_1,f_2)$ 的可计算下界？
• RQ4 从球面到奇维球面空间形式的映射的 $MCC(f_1,f_2)$ 的精确值是多少？其如何依赖于同伦类与次数？
• RQ5 不变量 $N(f_1,f_2)$ 与 $N^\#(f_1,f_2)$ 在多大程度上能检测链路映射中的解除链路障碍？

主要发现

• 对于映射 $f_1,f_2: S^m \to N$，其中 $N$ 为奇维球面空间形式，有 $MCC(f_1,f_2) = N^\#(f_1,f_2)$，且当 $f_1 \sim f_2$ 或 $m < n$ 时该数为 0；当 $f_1 \not\sim f_2$ 且 $m > 1$ 时为 $\#\pi_1(N)$；当 $m = n = 1$ 时为 $|d^0(f_1) - d^0(f_2)|$。
• 不变量 $N(f_1,f_2)$ 具有对称性：$N(f_1,f_2) = N(f_2,f_1)$，且在 $f_1$ 与 $f_2$ 的同伦下保持不变，确保其作为下界具有鲁棒性。
• 不等式 $0 \leq N(f_1,f_2) \leq N^\#(f_1,f_2) \leq MCC(f_1,f_2) < \infty$ 成立，表明 $N$ 与 $N^\#$ 均为最小重合计数的有效下界。
• 当 $m = n$ 时，$N(f_1,f_2) = N^\#(f_1,f_2)$ 与经典 Nielsen 数一致，将 Nielsen 数的定义扩展至重合理论。
• 在 $\Omega^\#(f_1,f_2)$ 中构造 $\omega^\#(f_1,f_2)$ 提供了比 $\widetilde{\omega}(f_1,f_2)$ 更精细的不变量，能够捕捉非稳定正规丛数据。
• 该框架为 $N \times \mathbb{R}$ 中的链路映射提供了解除链路障碍，并在某些情形下可通过这些不变量实现链路同伦类的完全分类。