[论文解读] Homotopical Intersection Theory, II: equivariance

John R. Klein, Bruce Williams|ArXiv.org|Mar 2, 2008

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

一句话总结

本文为具有有限群作用的流形上的等变交点问题构建了一套同伦论障碍理论，利用参数化等变谱绕过横截性问题。关键结果是一个完整的障碍 $ e_G(f) \in H^0_G(P; \mathcal{E}(i_Q)) $，当且仅当存在一个等变映射 $ f: P \to N $ 可以通过同伦变形避开 $ G $-子流形 $ Q $ 时，该障碍为零，且在等变稳定范围内保证了充分性。

ABSTRACT

This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the specter of equivariant transversality. This theory has applications to embedding problems, equivariant fixed point theory and the problem of enumerating the periodic points of a self map of a compact smooth manifold.

研究动机与目标

• 将同伦论交点理论扩展到具有有限群作用的等变设置。
• 通过使用同伦论工具，克服等变横截性失效的问题。
• 在等变上同调中构建解决等变嵌入与不动点问题的完整障碍。
• 将该理论应用于周期点问题和等变动力学中的尼尔森数猜想。

提出的方法

• 从包含映射 $ i_Q: Q \subset N $ 构造一个朴素的参数化 $ G $-谱 $ \mathcal{E}(i_Q) $，其定义在 $ N $ 上。
• 利用映射 $ f: P \to N $ 定义一个等变障碍类 $ e_G(f) \in H^0_G(P; \mathcal{E}(i_Q)) $。
• 使用等变庞加莱对偶性和补集公式，将障碍与稳定法丛数据联系起来。
• 应用汤姆·戴克分裂定理，将等变 bordism 群分解为固定点分量。
• 通过索引函数的上推与下拉操作，追踪 $ G $-空间中各处的等变同伦型数据。
• 通过同伦纤维积的框架 bordism，建立障碍与尼尔森数之间的联系。

实验结果

研究问题

• RQ1 在什么条件下，等变映射 $ f: P \to N $ 可以通过同伦变形避开 $ G $-子流形 $ Q \subset N $？
• RQ2 在稳定范围内，解决此类等变交点问题的完整障碍是什么？
• RQ3 障碍 $ e_G(f) $ 与周期点理论中经典不变量（如尼尔森数）有何关联？
• RQ4 该障碍能否通过框架 bordism 检测到 $ n $-周期点自由映射的存在性？
• RQ5 障碍 $ e_G(f) $ 是否等价于尼尔森数 $ N(f^k) $ 的消失？

主要发现

• 障碍 $ e_G(f) \in H^0_G(P; \mathcal{E}(i_Q)) $ 当且仅当 $ f $ 在条件 $ p^H \leq 2f^*(i_Q)_!\operatorname{cd}_H(i_Q) - 3 $ 对所有 $ (H) \in \mathcal{I}(G;P) $ 成立时，可等变同伦于与 $ Q $ 不相交的映射。
• 障碍 $ e_G(f) $ 由参数化 $ G $-谱 $ \mathcal{E}(i_Q) $ 构造而成，从而实现一种不依赖横截性的同伦论方法。
• 不变量 $ \ell_n(f) \in \Omega_0^{\mathbb{Z}_n, \text{fr}}(\text{ho}P_n(f)) $ 可检测 $ n $-周期点自由映射，当 $ \dim M \geq 3 $ 时，若 $ \ell_n(f) = 0 $，则存在此类同伦。
• 猜想 $ \mathcal{N}_k(f) $（即 $ \ell_n^k(f) $ 中非零项的数量）等于尼尔森数 $ N(f^k) $，得到了同构 $ \pi_0(E\mathbb{Z}_k \times_{\mathbb{Z}_k} \text{ho}P_k(f)) \cong \pi_{\rho,k} $ 的支持。
• 汤姆·戴克分裂定理允许将等变 bordism 群分解为由等变子群索引的分量，从而能够基于固定点数据计算障碍。
• 定理 J 的证明表明 $ \pi_0(E\mathbb{Z}_k \times_{\mathbb{Z}_k} \text{ho}P_k(f)) \cong \pi_{\rho,k} $，从而确认了障碍与尼尔森理论之间的联系。