[论文解读] On the Browder-Levine-Novikov embedding theorems

Matija Cencelj, Dušan Repovš+1 more|arXiv (Cornell University)|Apr 5, 2021

Advanced Topics in Algebra参考文献 25被引用 6

一句话总结

本综述对Browder-Levine-Novikov定理进行了精炼阐述，通过补集与邻域结构的对偶性，将余维数至少为三的流形的嵌入与同痕问题转化为代数障碍。它建立了一个框架，通过补集与管状邻域对偶性实现法丛系统，为光滑与PL范畴中的可嵌入性及同痕分类提供了可计算的判别准则。

ABSTRACT

In this survey we present applications of the ideas of complement and neighborhood in the theory embeddings of manifolds into Euclidean space (in codimension at least three). We describe how the combination of these ideas gives a reduction of embeddability and isotopy problems to algebraic problems. We present a more clarified exposition of the Browder-Levine theorem on realization of normal systems. Most of the survey is accessible to non-specialists in the theory of embeddings.

研究动机与目标

• 澄清并重新表述Browder-Levine-Novikov定理中关于嵌入理论中法丛系统的实现问题。
• 阐明补集与管状邻域结构之间的相互作用如何将几何嵌入与同痕问题简化为代数不变量。
• 为微分与PL范畴中的这些结果提供一个自包含且易于理解的阐述，尤其面向非流形嵌入理论领域的研究者。
• 强调对诸如同伦球面等简单流形而言，所得障碍的可计算性。
• 为后续应用奠定基础，当标准定理无法给出明确结果时，可借助修改后的Kreck手术理论进行拓展。

提出的方法

• 利用亚历山大对偶性和Mayer-Vietoris正合列，推导出在球面上嵌入的拓扑障碍。
• 应用Lefschetz对偶性和切除同构，分析嵌入流形补集的同调群的挠结构。
• 通过映射到嵌入法丛的同伦$ G $，构造$ N $与$ N' $之间的cobordism $ M $。
• 利用法不变量及其通过映射到Thom复形$ T u(F) $的实现，将其与流形的基本类联系起来。
• 运用手术理论将映射$ R: X_1 o C $修改为同伦等价，手术障碍通过诱导同调映射的核进行分析。
• 应用Novikov手术定理，证明若一个零cobordant流形具有平凡稳定法丛，则其为同伦球面，从而可通过与逆同伦球面的连通和构造$ S^{n+k} $。

实验结果

研究问题

• RQ1 在何种条件下，一个流形$ N $上的法丛系统可实现为嵌入到$ S^m $中的法丛？
• RQ2 补集与管状邻域结构如何相互作用，以将嵌入问题简化为代数条件？
• RQ3 手术障碍$ \sigma(R(X_1)) $在确定给定法丛系统是否可通过同伦等价实现中起何种作用？
• RQ4 在哪些维度下，手术障碍的缺失允许通过同伦等价实现法丛系统？
• RQ5 通过同伦$ G $构造的$ N $与$ N' $之间的cobordism如何确保法不变量的平凡性，并最终导致同伦球面的构造？

主要发现

• Browder-Levine-Novikov定理6与8将流形$ N $嵌入$ S^m $的问题简化为法丛系统的代数实现问题。
• 对于嵌入到$ S^{2l+1} $中的闭$ 2l $-流形$ N $，其第$ l $个贝蒂数$ b_l(N) $必须为偶数，且$ N $必须是可定向的。
• 对于嵌入到$ S^{2l+2} $中的闭$ (2l+1) $-流形$ N $，其同调群$ H_l(N; \mathbb{Z}) $的挠子群同构于$ G \oplus G $，其中$ G $为某有限交换群，此结论通过Mayer-Vietoris正合列与对偶同构得出。
• 通过同伦$ G $诱导的$ N $与$ N' $之间的cobordism $ M $的构造，确保$ G|_M $是覆盖$ N $上恒等映射的丛同构，从而保持法结构。
• 当$ W_1 $为零cobordant且$ R(W_1) $诱导同伦等价时，手术障碍$ \sigma(R(X_1)) $消失，从而可在修改后的$ X $上构造同伦等价$ R' $。
• 最终得到的流形$ W \# \Sigma $微分同胚于$ S^{n+k} $，从而确认法丛系统$ (\nu, C, a) $可通过光滑嵌入实现于$ S^{n+k} $。