[论文解读] Skein modules

Józef H. Przytycki|arXiv (Cornell University)|Feb 13, 2006

Geometric and Algebraic Topology被引用 6

一句话总结

本文提出自守模作为基于3-流形中链的新型代数拓扑框架，通过形式线性组合的链模上局部自守关系，推广了同调理论。该理论将循环替换为链，将边界替换为自守关系，为纽结和链提供了一套新的不变量理论，将庞加莱的同调方法扩展至同伦不变结构。

ABSTRACT

We describe in this chapter (Chapter IX) the idea of building an algebraic topology based on knots (or more generally on the position of embedded objects). That is, our basic building blocks are considered up to ambient isotopy (not homotopy or homology). For example, one should start from knots in 3-manifolds, surfaces in 4-manifolds, etc. However our theory is, until now, developed only in the case of links in 3-manifolds, with only a glance towards 4-manifolds. The main object of the theory is a skein module and we devote this chapter mostly to the description of skein modules in 3-dimensional manifolds. H. Poincare, in his paper Analysis situs (1895), abstractly defined homology groups starting from formal linear combinations of simplices, choosing cycles and dividing them by relations coming from boundaries The idea behind skein modules is to use links instead of cycles (in the case of a 3-manifold). More precisely we consider the free module generated by links modulo properly chosen (local) skein relations.

研究动机与目标

• 开发基于嵌入对象的环境同胚的新型代数拓扑框架，从3-流形中的链开始。
• 通过将循环替换为链、边界替换为局部自守关系，推广庞加莱的同调构造。
• 建立自守模作为3-流形中链的不变量，为纽结理论提供系统化的代数结构。
• 为将该理论扩展至高维流形（如4-流形）奠定基础，尽管仅作初步探讨。

提出的方法

• 构造由3-流形中所有定向链生成的自由模。
• 施加局部自守关系，关联仅在小球内不同的链构型。
• 将自守模定义为自由模关于由这些自守关系生成的子模的商模。
• 利用所得模对链按环境同胚分类，类似于同调对循环的分类。
• 通过将单纯形替换为链、边界替换为自守关系，与同调建立概念类比。
• 将该框架应用于3-流形，初步考虑向4-流形扩展的可能性。

实验结果

研究问题

• RQ1 如何通过链的环境同胚类而非同伦或同调来重新定义代数拓扑？
• RQ2 当形式线性组合的链模上商以局部自守关系时，会涌现出何种代数结构？
• RQ3 在纽结理论背景下，自守模如何推广庞加莱的同调构造？
• RQ4 自守模如何扩展至高维流形（如4-流形）？
• RQ5 通过该模论方法，可以捕捉3-流形中链的哪些不变量？

主要发现

• 自守模被定义为链的自由模关于由局部自守关系生成的子模的商模，从而在环境同胚下成为良定义的不变量。
• 该构造通过将循环替换为链、边界替换为局部关系，推广了同调理论，保持了代数结构的同时改变了几何基础。
• 该理论在3-流形中链的背景下已完全发展，为通过模论研究纽结不变量提供了新框架。
• 本文通过使用自守关系，在经典同调与纽结论不变量之间建立了概念性桥梁。
• 尽管该理论主要应用于3-流形，但该框架被提议作为未来扩展至4-流形及更高维嵌入的基础。