[论文解读] Alexander-Conway invariants of tangles

Michael Polyak|arXiv (Cornell University)|Nov 29, 2010

Geometric and Algebraic Topology参考文献 18被引用 7

一句话总结

本文引入了一类新的、针对经典与虚化辫绳的康威型不变量，其在有序电路操作代数结构下保持不变，该结构同时推广了康威多项式的系数与米尔诺的μ-不变量。这些不变量满足康威 skein 关系式，可扩展为虚化辫绳的 GPV 有限型不变量，并构造出一个 braid 群表示，通过扭曲迹计算康威多项式，从而在一个统一框架下统一了有限型不变量与量子不变量。

ABSTRACT

We consider an algebra of (classical or virtual) tangles over an ordered circuit operad and introduce Conway-type invariants of tangles which respect this algebraic structure. The resulting invariants contain both the coefficients of the Conway polynomial and the Milnor's mu-invariants of string links as partial cases. The extension of the Conway polynomial to virtual tangles satisfies the usual Conway skein relation and its coefficients are GPV finite type invariants. As a by-product, we also obtain a simple representation of the braid group which gives the Conway polynomial as a certain twisted trace.

研究动机与目标

• 将康威多项式扩展至虚化辫绳，同时保持 skein 关系式与在 Reidemeister 移动下的不变性。
• 在单一代数框架下统一辫绳的康威多项式系数与米尔诺的 μ- 不变量。
• 基于虚化交叉点的 GPV 型关系，为虚化辫绳建立有限型不变量理论。
• 构造一个 braid 群表示，通过扭曲迹计算康威多项式，且该表示通过 Hecke 代数。
• 利用高斯图公式构建一个状态和模型，以推广 Chmutov–Khouri–Rossi 方法，计算康威多项式的系数。

提出的方法

• 本文基于高斯图构造一个典范的状态和模型，以定义辫绳的不变量，扩展了 Chmutov、Khouri 与 Rossi 的方法。
• 引入有序电路操作代数以建模辫绳的代数结构，使辫绳可分解为基本片段以实现计算。
• 通过在交叉点上的状态和定义不变量，其中下降态决定贡献值，并证明其在所有 Reidemeister 移动下保持不变。
• 通过在图中允许虚化交叉点，将该构造扩展至虚化辫绳，证明所得不变量为系数 c_n 的 GPV 有限型不变量，其度数为 n。
• 在环 ℤS_n[z] 上构造 braid 群表示，其中生成元依线段的相对顺序通过带符号的置换作用，满足关系式 σ_i - σ_i^{-1} = z·id。
• 通过扭曲迹恢复康威多项式：c_k(β) = tr(τ·β[k])，其中 β[k] 为 braid 作用中 z^k 的系数。

实验结果

研究问题

• RQ1 康威多项式能否在保持 skein 关系式与在虚化 Reidemeister 移动下不变性的前提下，一致地扩展至虚化辫绳？
• RQ2 康威多项式系数与米尔诺的 μ- 不变量如何在单一代数框架下统一于辫绳理论中？
• RQ3 有序电路操作代数在组织辫绳不变量并实现其分解为基本组件方面起到何种作用？
• RQ4 本文构造的 braid 群表示是否能通过迹恢复康威多项式？若能，其与 Hecke 代数有何关系？
• RQ5 康威多项式在虚化辫绳中的系数是否为 GPV 意义下的有限型不变量？其度数为何？

主要发现

• 康威多项式系数 c_n(T) 可扩展为虚化辫绳的 GPV 有限型不变量，其度数为 n，且 c_n(T) 在虚化移动下保持不变。
• 所扩展的不变量满足标准康威 skein 关系式，且在经典辫绳上退化为经典康威多项式。
• 对于串链，该不变量通过偏移排序恢复米尔诺的 μ- 不变量，暗示其可推广至所有 μ- 不变量。
• 在 ℤS_n[z] 上构造 braid 群表示，使得 z^k 系数的扭曲迹可恢复 c_k(β)，即 braid 闭包的康威多项式第 k 项系数。
• braid 群作用满足关系式 σ_i - σ_i^{-1} = z·id，表明其通过 Hecke 代数，且迹公式直接建立了量子不变量与有限型不变量之间的联系。
• 状态和构造提供了 Reidemeister 移动不变性的直接证明，将高斯图公式推广至辫绳与虚化辫绳。