[论文解读] The finiteness conjecture for skein modules

Sam Gunningham, David Jordan+1 more|arXiv (Cornell University)|Aug 14, 2019

Geometric and Algebraic Topology参考文献 31被引用 16

一句话总结

该论文通过利用Heegaard分解和内部skein代数，为闭3-流形的skein模提供了新的代数公式，从而解决了Witten的有限性猜想。它证明了在Q(A)上的skein模是有限维的，因为这些模可作为量子群等变代数上内部skein模的相对张量积而构造出来，且给出了显式表示，使得计算验证与理论有限性得以实现。

ABSTRACT

We give a new, algebraically computable formula for skein modules of closed 3-manifolds via Heegaard splittings. As an application, we prove that skein modules of closed 3-manifolds are finite-dimensional, resolving in the affirmative a conjecture of Witten.

研究动机与目标

• 解决Witten关于闭3-流形的skein模在Q(A)上为有限维的猜想。
• 开发一种新的代数框架，利用内部skein代数与模来计算skein模。
• 通过量子群表示上的相对张量积，建立skein模的可计算代数公式。
• 将skein理论不变量与导出及层论不变量（如带框架的Floer同调）联系起来。
• 通过显式、终止的算法，使计算机代数系统能够实际计算skein模。

提出的方法

• 引入内部skein代数与模作为Uq(g)-等变结构，其不变量可恢复标准skein代数与模。
• 利用Heegaard分解M = N₂ ∪Σ N₁，将SkA(M)表示为Σ∗的内部skein代数上的相对张量积。
• 利用当q不是单位根时，相对张量积自动为不变量的性质，简化公式。
• 采用Alekseev–Grosse–Schomerus代数（Dq(G)）作为G = SL₂时内部skein代数的显式表示。
• 应用形变量子化与量子群的表示理论，以保证光滑性与有限维性。
• 在MAGMA中实现该公式，以算法方式计算skein模，源代码公开可得。

实验结果

研究问题

• RQ1 所有闭定向3-流形的skein模在Q(A)上是否都是有限维的？
• RQ2 能否通过量子群等变代数上的相对张量积构造，代数化地计算skein模？
• RQ3 skein模是否存在导出或层论解释，且与已知不变量（如带框架的Floer同调）一致？
• RQ4 标准3-流形的内部skein代数能否以生成元与关系的显式形式表示？
• RQ5 相对张量积公式是否能产生一个终止的、可计算的skein模计算算法？

主要发现

• 任何闭定向3-流形的skein模在Q(A)上都是有限维的，证实了Witten的猜想。
• 当q不是单位根时，G = SL₂的skein模SkG(M)同构于相对张量积Skint_G(N₂) ⊗_{SkAlgint_G(Σ∗)} Skint_G(N₁)。
• 内部skein代数SkAlgint_G(Σ∗)是光滑的，且可通过生成元与关系显式表示，例如椭圆双代数Dq(SL₂)。
• 对于3-环面T³，skein模为9维，与Gilmer和Masbaum的先前结果一致。
• 相对张量积公式提供了一个终止的、代数化的算法，用于计算skein模，已在MAGMA中实现。
• 导出skein模LSkg♯(M)是一个有界复形，其同调为有限维，且预计通过未来工作与带框架的Floer同调HP♯(M)存在拟同构关系。