[论文解读] A formula for the action of Dehn twists on HOMFLY-PT skein modules and its applications

Shunsuke Tsuji|arXiv (Cornell University)|Jan 2, 2018

Geometric and Algebraic Topology参考文献 12被引用 4

一句话总结

本文建立了曲面的 HOMFLY-PT skein 模块上德恩扭转作用的公式，将先前关于 Kauffman 括号 skein 代数的结果推广至 HOMFLY-PT skein 代数框架。它构造了带边界的亏格-g 曲面的托里利群到完备 HOMFLY-PT skein 代数的嵌入，并定义了一个新的积分同调 3-球面不变量，该不变量模 h^{n+1} 为 n 阶有限型，具有从 sl_n 量子群恢复量子不变量的潜力。

ABSTRACT

We introduce a formula for the action of Dehn twists on the HOMFLY-PT type skein module of a surface. As an application of the formula to mapping class group, we give an embedding from the Torelli group of a surface $Σ_{g,1}$ of genus $g$ with non-empty connected boundary into the completed HOMFLY-PT type skein algebra. As an application of the formula to integral homology $3$-spheres, we construct an invariant $z(M) \in \mathbb{Q} [ρ] [[h]]$ for an integral homology $3$-sphere $M$. The invariant $z(M) \mod (h^{n+1})$ is a finite type invariant of order $n$.

研究动机与目标

• 将先前关于 Kauffman 括号 skein 代数的结果推广至 HOMFLY-PT skein 代数框架。
• 为曲面的 HOMFLY-PT skein 模块上德恩扭转的作用建立公式。
• 将带边界的亏格-g 曲面的托里利群 I(Σ_{g,1}) 嵌入到完备 HOMFLY-PT skein 代数中。
• 在 ℚ[ρ][[h]] 中定义一个取值于积分同调 3-球面 M 的新不变量 z(M)，该不变量模 h^{n+1} 为 n 阶有限型。

提出的方法

• 在 ℚ[ρ][[h]] 上引入一种完备的 HOMFLY-PT 类型 skein 代数，其基由 Σ×I 中的带框架定向链环给出。
• 通过完备 skein 代数中元素 Λ(c) 的指数映射，推导出德恩扭转 t_c 对完备 skein 模块作用的公式。
• 利用关系式 t_c(⋅) = exp(σ(Λ(c)))(⋅) 将映射类群作用与 skein 代数结构联系起来。
• 在 skein 模块 F^n A(Σ, J^-, J^+) 上构造一个滤子，并证明两个滤子 F^{⋆n} 与 F^n 等价。
• 将该公式应用于通过德恩扭转作用将托里利群 I(Σ_{g,1}) 嵌入到完备 HOMFLY-PT skein 代数中。
• 通过将手术表示提升至 skein 代数并模 h^{n+1} 截断，为任意积分同调 3-球面 M 定义不变量 z(M) ∈ ℚ[ρ][[h]]。

实验结果

研究问题

• RQ1 德恩扭转在 HOMFLY-PT skein 模块上的作用能否以 skein 代数语言显式描述？
• RQ2 能否利用 skein 代数结构将曲面 Σ_{g,1} 的托里利群嵌入到完备 HOMFLY-PT skein 代数中？
• RQ3 所构造的不变量 z(M) ∈ ℚ[ρ][[h]] 在模 h^{n+1} 下是否为 n 阶有限型不变量？
• RQ4 该不变量是否能对任意 n 恢复与 sl_n 量子群相关的量子不变量？
• RQ5 在映射类群作用背景下，HOMFLY-PT skein 代数与戈德曼李代数之间存在何种关系？

主要发现

• 确立了德恩扭转在 HOMFLY-PT skein 模块上作用的公式：t_c(⋅) = exp(σ(Λ(c)))(⋅)，其中 Λ(c) 为完备 skein 代数中的某个元素。
• 托里利群 I(Σ_{g,1}) 嵌入到 Σ_{g,1} 的完备 HOMFLY-PT skein 代数中，推广了来自 Kauffman 括号 skein 代数的结果。
• 为任意积分同调 3-球面 M 构造了一个不变量 z(M) ∈ ℚ[ρ][[h]]，且 z(M) 模 h^{n+1} 为 n 阶有限型不变量。
• 证明了 skein 模块上的滤子 F^{⋆n} 与 F^n 相等，确保了 skein 代数滤子结构的一致性。
• 该构造表明，通过特殊化 A^{4} = q，z(M) 可能恢复所有来自 sl_n 量子群的量子不变量。
• HOMFLY-PT skein 代数所包含的信息多于 Kauffman 括号 skein 代数，包括戈德曼李代数结构。