[论文解读] Regular embeddings of manifolds and topology of configuration spaces

Роман Карасев|arXiv (Cornell University)|Jun 3, 2010

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

一句话总结

本文利用配置空间上的等变拓扑与Steenrod运算，建立了线性 $ k $-正则嵌入 $ n $-维流形到 $ \mathbb{R}^m $ 所需维度 $ m $ 的新上同调下界。该结果推广了Chisholm对 $ \mathbb{R}^n $ 的结果，并通过引入Stiefel–Whitney类扩展了Handel的结论，证明当 $ k = 2^l $ 时，最小 $ m $ 依赖于流形的拓扑结构，具体体现为特征类与配置空间上同调。

ABSTRACT

For a topological space $X$ we study continuous maps $f : X o \mathbb R^m$ such that images of every pairwise distinct $k$ points are affinely (linearly) independent. Such maps are called affinely (linearly) $k$-regular embeddings. We investigate the cohomology obstructions to existence of regular embeddings and give some new lower bounds on the dimension $m$ as function of $X$ and $k$, for the cases $X$ is $\mathbb R^n$ or $X$ is an $n$-dimensional manifold. In the latter case, some nonzero Stiefel--Whitney classes of $X$ help to improve the bound.

研究动机与目标

• 推导出从 $ n $-流形 $ M $ 到 $ \mathbb{R}^m $ 存在连续 $ k $-正则映射的维度 $ m $ 的改进下界。
• 通过配置空间与等变上同调，将拓扑障碍理论推广至 $ k $-正则嵌入。
• 将 $ M $ 的Stiefel–Whitney类纳入维度下界分析，改进了以往忽略流形拓扑结构的结果。
• 提出一个通用框架，通过Steenrod平方与配置子空间的 $ \Sigma_k $-等变上同调计算此类下界。
• 将该框架应用于证明实射影空间到欧氏空间的映射中存在多重点。

提出的方法

• 使用流形 $ M $ 上 $ k $ 个互异点的配置空间 $ F_k(M) $，其配备自由的 $ \Sigma_k $-作用。
• 应用等变上同调与Steenrod运算（特别是外Steenrod平方）分析对称配置子空间的上同调。
• 引入空间 $ Q_q(M) $，即当 $ q = 2^l $ 时，配置空间中关于 $ \Sigma_q^{(2)} $-不变的子空间，以建模 $ k $-正则性条件。
• 依赖同构关系 $ \tau Q_q(M) \oplus \varepsilon^{q-1} \cong \nu_{q/2}(Q_{q/2}(M)) \otimes \pi^*\tau M $，关联切丛与特征类。
• 利用 $ \mathcal{P}_q^\circ(\mathbb{R}^{m+p'}) \times M $ 上的向量丛 $ \alpha_q \otimes (\varepsilon^n \oplus \tau M^\perp) $ 的欧拉类，检测映射中 $ q $-元组的重合。
• 利用 $ Q_q^\circ(L) $ 的模 2 上同调与理想 $ I_q $，将问题约化为二项式系数与Steenrod运算的代数条件。

实验结果

研究问题

• RQ1 对于何种最小维度 $ m $，$ n $-维流形 $ M $ 可实现线性 $ k $-正则嵌入到 $ \mathbb{R}^m $ 中？
• RQ2 如何利用 $ M $ 的Stiefel–Whitney类改进仅依赖于 $ n $ 与 $ k $ 的 $ m $ 的下界？
• RQ3 能否利用对称配置空间的上同调推导出 $ k $-正则嵌入的新障碍？
• RQ4 在何种条件下，任意连续映射 $ f: \mathbb{R}P^m \to \mathbb{R}^n $ 必有重合的 $ q $-元组（$ q = 2^l $）？
• RQ5 当 $ k $ 的二进制分解与 $ \Sigma_k $-等变上同调结构发生变化时，$ k $-正则映射的存在性受何影响？

主要发现

• 当 $ k = 2^l $ 时，从 $ n $-流形 $ M $ 到 $ \mathbb{R}^m $ 的线性 $ k $-正则映射的最小 $ m $ 满足不等式 $ m \geq (n-1)(k/2 - 1) + \bar{\ell}(\nu_{k/2}(Q_{k/2}(M)) \otimes \pi^*\tau M) + 1 $，且对紧致 $ M $ 有更强的下界。
• 该下界在 $ k $ 为 2 的幂时优于Chisholm对 $ \mathbb{R}^n $ 的结果，尤其对具有非零Stiefel–Whitney类的非平凡流形更为有效。
• 当 $ M = \mathbb{R}P^m $ 时，若某些二项式系数 $ c(k_1,\dots,k_l) $ 为奇数，且满足度数条件 $ (2^l - 1)p - k_1 - 2k_2 - \cdots - 2^{l-1}k_l \leq m $，则任意映射 $ f: \mathbb{R}P^m \to \mathbb{R}^n $ 必有重合的 $ q $-元组（$ q = 2^l $）。
• 本文重新审视并强化了Handel于1996年关于 $ k $-正则映射的定理，修正了原证明中的错误，并提供了更具一般性的框架。
• 通过 $ Q_q^\circ(L) $ 模 $ I_q $ 的上同调与Steenrod平方计算障碍，得出映射中多重点存在的显式代数条件。
• 该方法将拓扑问题转化为涉及 $ \operatorname{Sq}_e^{l-1} $、二项式系数与特征类的代数计算，从而为如射影空间与圆的乘积等特定流形提供有效的下界。