[论文解读] Markov trace on Funar algebra

S. Yu. Orevkov|arXiv (Cornell University)|Jun 4, 2012

Advanced Combinatorial Mathematics参考文献 4被引用 3

一句话总结

本文建立了一个严格的框架，用于在 Funar 代数 $K_n(\alpha,\beta)$ 上构造马尔可夫迹，解决了早期工作中存在的基础性缺陷。通过证明迹的良定性可归约为验证有限组恒等式（采用一种新颖的算法方法），该框架使得 $K_\infty$ 上的通用马尔可夫迹得以计算，特别地，对于 $ (\alpha,\beta) = (0,0) $ 的情形，得到了明确结果：$ K_\infty(0,0;\mathbb{Z}[u,v]) / \bar{R} \cong \mathbb{Z}[u,v]/I $，其中 $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $。

ABSTRACT

Funar algebra $K_\infty=K_\infty(α,β;k)$ is the quotient of the group algebra over a ring $k$ of the braid group $B_\infty$ by two cubic relations: $σ_1^3-ασ_1^2+βσ_1-1=0$ and another one which involves $σ_1$ and $σ_2$. The universal Markov trace on $K_\infty$ is the quotient map $t$ of $K_\infty(α,β,k[u,v])$ to its quotient (as a $k[u,v]$-module) by trace relations $xy=yx$ and by Markov relations $σ_nx=ux$, $σ_n^{-1}x=vx$ for $x\in K_n$. It is easy to check that the quotient is of the form $k[u,v]/I$ for some ideal $I$ (i. e. that the trace $t$ is determined by $t(1)$). We give an algorithm to compute the ideal $I$ and we present the result of computations in some special cases. In the last section we discuss some properties of the resulting link invariant. This invariant for $β=0$, $k=GF(37)[α]$ detects the chirality of the knots $10_{48}$ and $10_{91}$ and it distinguish many other pairs of knots with equal HOMFLY polynomials.

研究动机与目标

• 纠正先前贝尔宁格里、富纳等人工作中所指出的 Funar 代数上马尔可夫迹存在性证明中的关键缺陷。
• 建立一个有限且可算法验证的准则，用于验证 $K_n(\alpha,\beta)$ 上马尔可夫迹的良定性，取代此前不足的无限验证过程。
• 通过系统的约化过程，计算 $K_\infty(\alpha,\beta;\mathbb{Z}[\alpha,\beta,u,v])$ 上的通用马尔可夫迹，从而可特化到已知代数（如 BMW 和 Hecke 代数）。
• 提供特定参数值下迹不变量的显式计算，特别是 $ (\alpha,\beta) = (0,0) $ 的情形，并将其与已知的纽结不变量（如 HOMFLY 多项式）相联系。
• 证明所得不变量 $ P_{0,0;\mathbb{Z}} $ 是 HOMFLY 多项式某一特化形式的 2-挠元提升，且对于具有相同 HOMFLY 多项式的纽结，其 $ P_{0,0;\mathbb{Z}} $ 值最多相差 8。

提出的方法

• 引入一种新的代数结构 $K_n(\alpha,\beta)$，定义为 braid 群代数 $kB_n$ 关于 $\sigma_i$ 上的三次关系及涉及 $\sigma_i^{-1}$ 的复杂 braid 关系的商代数，取代了早期使用 $\sigma_i^2$ 的表述形式。
• 在 $K_\infty$ 上定义马尔可夫迹为满足 $ t(xy) = t(yx) $、$ t(xs_n) = u t(x) $ 和 $ t(xs_n^{-1}) = v t(x) $ 的 $k[u,v]$-线性映射，迹值在由这些关系生成的理想 $\bar{R}$ 的模下计算。
• 提出一种理论算法（定理 2.4），通过将问题约化为在代数中验证有限组恒等式，实现通用迹的计算，方法基于 $\sigma_i^{\pm 1}$ 的单词的 $K$-约化。
• 采用 $K$-约化：利用定义关系 (1) 和 (2) 的初等约化，以及 $\sigma_1^{\pm 1}, \sigma_2^{\pm 1}$ 的一组有限 21 个约化单项式，对 $kF_\infty^+$ 中的元素进行标准化。
• 通过显式计算机辅助计算（推论 2.5 和 2.6），计算了 $ (\alpha,\beta) = (0,0) $ 情形下的迹不变量，得到 $ K_\infty(0,0;\mathbb{Z}[u,v]) / \bar{R} \cong \mathbb{Z}[u,v]/I $，其中 $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $。
• 通过到 Hecke 代数 $H_\infty$ 的同态，将所得不变量与 HOMFLY 多项式联系起来，证明 $P_{0,0;\mathbb{Z}/4\mathbb{Z}}$ 是 HOMFLY 多项式的特化形式，且 $P_{0,0;\mathbb{Z}}$ 与之的值最多相差 8。

实验结果

研究问题

• RQ1 在早期证明中已识别出的缺陷背景下，能否严格确立 Funar 代数上马尔可夫迹的良定性？
• RQ2 是否可以将马尔可夫迹良定性的验证过程缩减为一组有限且可算法计算的恒等式，而非无限过程？
• RQ3 通用马尔可夫迹在 $K_\infty(\alpha,\beta;\mathbb{Z}[\alpha,\beta,u,v])$ 上的结构是什么？能否对特定参数值进行显式计算？
• RQ4 所得纽结不变量 $P_{0,0;\mathbb{Z}}$ 与 HOMFLY 多项式之间有何关系？它们之间的差异性质如何？
• RQ5 能否对特定纽结和链环显式计算迹不变量？其代数性质是什么？

主要发现

• 本文证明：Funar 代数上的马尔可夫迹是良定的，当且仅当一组有限且可算法验证的恒等式成立，从而解决了早期工作中存在的基础性缺陷。
• 对于 $ (\alpha,\beta) = (0,0) $ 的情形，$K_\infty(0,0;\mathbb{Z}[u,v])$ 上的通用马尔可夫迹被计算为 $ \mathbb{Z}[u,v]/I $，其中 $ I = (16, 4u^2 + 4v, 4v^2 + 4u, u^3 + v^3 + uv - 3) $，且计算结果在 12 个交叉以内得到验证。
• 证明不变量 $ P_{0,0;\mathbb{Z}} $ 是 HOMFLY 多项式某一特化形式的 2-挠元提升：若两个纽结具有相同的 HOMFLY 多项式，则其 $ P_{0,0;\mathbb{Z}} $ 值最多相差 8。
• 证明迹 $ P_{0,0;\mathbb{Z}/4\mathbb{Z}} $ 是 HOMFLY 多项式的特化形式，通过到 Hecke 代数的同态实现，其显式公式为 $ P_{0,0;\mathbb{Z}/4\mathbb{Z}}(u,v) = h(ij^2u^{1/2}v^{-1/2}, -i) $，其中 $ h $ 为归一化的 HOMFLY 多项式。
• 本文为所有具有不超过 12 个交叉的纽结和链环提供了完整的迹不变量集合，随着交叉数从 0 增加到 12，不同不变量的数量从 1 增加到 86。
• 该算法框架使得 Funar 代数上马尔可夫迹的通用计算成为可能，具有特化到 BMW 和 Hecke 等其他代数的潜力，尽管对一般参数而言完整计算在计算上仍不可行。