[论文解读] A basis for the Kauffman skein module of the product of a surface and a circle

Renaud Detcherry, Maxime Wolff|arXiv (Cornell University)|Jan 15, 2020

Geometric and Algebraic Topology参考文献 19被引用 9

一句话总结

本文为闭合定向曲面 Σ 与圆周 S¹ 的乘积 3-流形 Σ×S¹ 构造了 Kauffman 束模的显式基，其中 Σ 的亏格 g ≥ 2。通过图解箭头曲线与束关系，作者证明该模的维数为 2²ᵍ⁺¹ + 2ᵍ − 1，从而解决了 Gilmer 与 Masbaum 提出的猜想。其构造性、初等的方法提供了完整的生成集，并确认了该类流形束模的有限维性。

ABSTRACT

The Kauffman bracket skein module $S(M)$ of a 3-manifold $M$ is a $\mathbb{Q}(A)$-vector space spanned by links in $M$ modulo the so-called Kauffman relations. In this article, for any closed oriented surface $\Sigma$ we provide an explicit spanning family for the skein modules $S(\Sigma imes S^1)$. Combined with earlier work of Gilmer and Masbaum, we answer their question about the dimension of $S(\Sigma imes S^1)$ being $2^{2g+1} + 2g -1$.

研究动机与目标

• 为闭合定向曲面 Σ（亏格 g ≥ 2）与圆周的乘积 Σ×S¹ 的 Kauffman 束模 S(Σ×S¹) 提供一种构造性、显式的基。
• 解决 Gilmer 与 Masbaum 关于 S(Σ×S¹) 维数的猜想，该猜想此前仅给出下界但未完全确定。
• 证明束模是有限维的，并提供将任意 framed 链环在 Σ×S¹ 中分解为基元素的算法。
• 支持关于束模积分结构的广泛猜想，表明 S(Σ×S¹, Z[A±¹]) 中的挠元为 {k}-挠元（k ≥ 1）。

提出的方法

• 作者使用带箭头的图示表示 Σ×S¹ 中的 framed 链环，其中箭头表示链环穿过 Σ×{0} 的方向。
• 他们定义了一个生成族 B，包含：(1) 带 0 个或 1 个箭头的非分离简单闭曲线，(2) 带 0 至 2g 个箭头的平凡曲线，以及 (3) H₁(Σ, ℤ/2ℤ) 中所有非零同调类的代表元，每个带 0 个或 1 个箭头。
• 证明依赖于初等束关系与直接计算，避免使用因子代数或 DQ 模等高级工具。
• 他们证明，映射类群作用下，Dehn 扭转保持基元素等价类，方法为利用几何交数与曲线同伦类。
• 通过证明任意非分离简单闭曲线在映射类群作用下等价于基中元素，从而证明了生成性。
• 该证明具有算法性：任意 Σ×S¹ 中的 framed 链环可通过束移动系统地约化为基元素的线性组合。

实验结果

研究问题

• RQ1 对于亏格 g ≥ 2 的闭合定向曲面 Σ，Kauffman 束模 S(Σ×S¹) 的显式结构是什么？
• RQ2 带箭头图示的生成族 B 是否构成 S(Σ×S¹) 的基？若是，该模的维数是多少？
• RQ3 能否将 Gilmer 与 Masbaum 的猜想（即 dim Q(A)(S(Σ×S¹)) ≥ 2²ᵍ⁺¹ + 2ᵍ − 1）加强为等式？
• RQ4 束模的结构如何与积分束模 S(Σ×S¹, Z[A±¹]) 相关，特别是关于挠元？
• RQ5 Gilmer-Masbaum 评价映射在 S(Σ×S¹) 的每个 H₁(Σ, ℤ/2ℤ)-分次子模上是否为单射？其像具有何种形式？

主要发现

• 由 2²ᵍ⁺¹ + 2ᵍ − 1 个元素构成的族 B，构成 Q(A) 上 Kauffman 束模 S(Σ×S¹) 的基。
• S(Σ×S¹) 的维数恰好为 2²ᵍ⁺¹ + 2ᵍ − 1，证实了 Gilmer 与 Masbaum 的猜想。
• 该证明是构造性的：任意 Σ×S¹ 中的 framed 链环可通过仅使用束关系的算法表达为 B 中元素的线性组合。
• 积分束模 S(Σ×S¹, Z[A±¹]) 的挠元仅限于 {k}-挠元（k ≥ 1），支持 Marché 的猜想 1.1。
• Gilmer-Masbaum 评价映射 ev: S(Σ×S¹) → CUₐₑ 在每个 H₁(Σ, ℤ/2ℤ)-分次子模上为单射，其像为有限个有理函数 Ri(A)pi 的线性组合，其中 i ∈ {g−1, g+1, ..., 3g−3} ∪ {g}。
• 基分解的系数为 A 的可计算有理函数，初步计算表明其属于 Z[A±¹]，提示可能存在积分性质。