[论文解读] Codimension 2 embeddings, algebraic surgery and Seifert forms

Maciej Borodzik, András Némethi+1 more|arXiv (Cornell University)|Nov 26, 2012

Geometric and Algebraic Topology参考文献 3被引用 6

一句话总结

本文应用代数手术理论研究流形的余维2嵌入，建立了代数庞加莱对钴 bordism 的分解定理，并分析了在同伦与钴 bordism 下的史维特形式。论文声称史维特形式的 $S$-等价类是同伦不变量——尽管该结果后来被发现是错误的——同时证明了广义的 Murasugi--Kawauchi 不等式，该不等式界定了钴 bordant 嵌入的符号差差异。

ABSTRACT

We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of algebraic Poincaré pairs, which is then applied to describe the behaviour on the chain level of Seifert surfaces of embeddings $M^{2n-1} \subset S^{2n+1}$ under isotopy and cobordism. The second main result (update: which is false) is that the $S$-equivalence class of a Seifert form is an isotopy invariant of the embedding, generalizing the Murasugi--Levine result for knots and links. The third main result is a generalized Murasugi--Kawauchi inequality giving an upper bound on the difference of the Levine--Tristram signatures of cobordant embeddings.

研究动机与目标

• 使用代数手术理解带边流形的钴 bordism 理论。
• 在链层面上分析嵌入 $M^{2n-1} \subset S^{2n+1}$ 的史维特形式在同伦与钴 bordism 下的行为。
• 将 Levine--Levine 关于史维特形式同伦不变性的结果推广到高维嵌入。
• 建立广义不等式，关联钴 bordant 嵌入的 Levine--Tristram 符号差。
• 研究由带边流形导出的代数庞加莱对的钴 bordism 的代数结构。

提出的方法

• 为代数庞加莱对的钴 bordism 建立了分解定理，将其分解为更简单的代数分量。
• 使用史维特曲面的链层模型来追踪同伦与钴 bordism 下的变化。
• 应用代数手术理论分析余维2嵌入中边界与对偶数据的结构。
• 从史维特形式构造代数不变量，并研究其在 $S$-等价下的行为。
• 采用 Levine--Tristram 符号作为关键不变量，以比较钴 bordant 嵌入。
• 通过符号不变量与代数钴 bordism 关系推导出广义的 Murasugi--Kawauchi 不等式。

实验结果

研究问题

• RQ1 对于奇维流形的余维2嵌入，史维特形式的 $S$-等价类是否为同伦不变量？
• RQ2 在余维2的嵌入钴 bordism 下，史维特形式如何变换？
• RQ3 Levine--Tristram 符号能否用于界定向钴 bordant 嵌入的符号差差异？
• RQ4 何种代数结构控制了由带边流形导出的代数庞加莱对的钴 bordism？
• RQ5 代数手术框架在多大程度上捕捉了余维2中史维特曲面的几何行为？

主要发现

• 建立了代数庞加莱对钴 bordism 的分解定理，使复杂钴 bordism 结构得以分解。
• 论文声称史维特形式的 $S$-等价类是嵌入的同伦不变量，但该结果后来被证明是错误的。
• 论文推导出广义的 Murasugi--Kawauchi 不等式，界定了钴 bordant 嵌入的 Levine--Tristram 符号差差异。
• 通过代数手术技术，在链层面上描述了史维特形式在同伦与钴 bordism 下的行为。
• 研究发现，边界与对偶数据的代数结构控制了嵌入的同伦与钴 bordism 不变量。
• 结果将经典的 Murasugi--Levine 定理推广到高维嵌入，尽管核心主张存在关键错误。