[论文解读] Skeins, $q$-series, and modularity

Sunghyuk Park|arXiv (Cornell University)|Jan 25, 2026

Geometric and Algebraic Topology被引用 0

一句话总结

扩展 BPS q-series 到带线缺陷的 skein 模块，并证明一种 skein 不变的 MMR 型展开，构造从 skein 模块到 q-series 的映射，并对 skein 模块的全纯量子模性和 Langlands 对称性提出猜想。

ABSTRACT

We study BPS $q$-series associated to 3-manifolds decorated by a line defect along an embedded link. We prove that these $q$-series depend only on the class of the link in the skein module, thereby defining a homomorphism from the skein module to the space of $q$-series. The image of this homomorphism is conjectured to be holomorphically quantum modular, which suggests a new approach to Langlands duality for skein modules through $q$-series.

研究动机与目标

• 将 BPS q-series 扩展至沿嵌入链路的线缺陷标记的三维流形。
• 证明这些 q-series 仅取决于 skein 模块中的链路类，从而定义一个 skein-to-q-series 的同态映射。
• 提出并研究映射的全纯量子模性以及 skein 模块的 Langlands 对称性。
• 将上述构造与 MMR 展开及 Laplace 变换的手术公式联系起来。

提出的方法

• 用带线缺陷的着色 Jones 多项式进行定义，并通过使用 R 矩阵、杯、帽将其表述为有限态和式。
• 转到 Verma 模块着色 V∞(x)，在 ℏ 的渐近展开中保持 u = nℏ 固定，得到 MMR 型展开。
• 证明对良好结点 K 和任意 L ⊂ S^3 ackslash K，BPS q-series bZ(S^3 ackslash K; L) 在同胚下保持不变，并通过 SkSL2q(S^3 ackslash K) 以 Z[q±1/4]((x1/2)) 的线性映射进行因子化。
• 构造一个线性映射 bZ，使 SkSL2q(S^3 ackslash K) → Z[q±1/4]((x1/2))，编码 q-series。
• 证明 bZ 与 Laplace 变换手术公式的兼容性，从而得到在手术 Y = S^3_p(K) 的 skein 模块上的映射 bZs。
• 在一个具体例子 Y = ±Σ(2,3,7) 中 Demonstrate 全纯量子模性，作为 skein 模块 Langlands 双重性候选映射的证据。

实验结果

研究问题

• RQ1 如何通过在链路上插入线缺陷来将 BPS q-series 延拓为 skein 模块？
• RQ2 得到的 q-series 是否只依赖于链路在 link complement 的 skein 类？
• RQ3 是否可以构造一个与手术兼容的 skein 模块到 q-series 的映射，并在 Laplace 变换手术下保持一致？
• RQ4 该映射的像是否具备全纯量子模性，是否实现 skein 模块的 Langlands-对称性？
• RQ5 在 skein 装饰存在的情况下 MMR 型展开起什么作用，以及它们如何与边界作用相互作用？

主要发现

• 存在用于带线缺陷的大颜色极限的 Melvin–Morton–Rozansky (MMR) 型展开，其以 x 与 ΔK(x)（Alexander 多项式）的有理函数形式表示。
• 对于良好结点 K 和着色链路 L，BPS q-series bZS3\K(L)(x,q) 在 S3\K 中是 L 的同胚不变量，并通过 SkSL2q(S3\K) 因子化到 Z[q±1/4]((x1/2))。
• skein 代数对两变量 q-series 的边界作用通过量子圆环嵌入进行因子化，将 skein 的运算与 q-series 的变换联系起来。
• Laplace 变换手术公式与 bZ 兼容，给出 q-series 映射 bZs : SkSL2q(S3_p(K))α → q^Δs Z[q±1/4][[q]]。
• 在例子 Y = ±Σ(2,3,7) 中，像扩展为矩阵值的全纯量子模型形式，提供 skein 模块 Langlands 对称性映射的候选。
• 该工作暗示通过全纯量子模性，为 skein 模块提供更广泛的 Langlands 对称性框架。