[论文解读] Ruling polynomials and augmentations for Legendrian tangles

Tao Su|arXiv (Cornell University)|Jul 16, 2017

Geometric and Algebraic Topology参考文献 16被引用 3

一句话总结

本文将勒让德里安链的规制多项式与增强数推广至勒让德里安辫，证明这些不变量满足复合公理且保持勒让德里安同痕不变性。引入广义正规规制并证明其加权计数可计算增强数，将先前结果扩展至辫与非阿基米德增强情形。

ABSTRACT

Associated to Legendrian links in the standard contact three-space, Ruling polynomials are Legendrian isotopy invariants, which also compute augmentation numbers, that is, the points-counting of augmentation varieties for Legendrian links (up to a normalized factor) \cite{HR15}. In this article, we generalize this picture to Legendrian tangles, which are morally the pieces obtained by cutting Legendrian link fronts along 2 vertical lines. Moreover, we show that the Ruling polynomials for Legendrian tangles satisfy the composition axiom. In the special case of Legendrian knots, our arguments provide new proofs to the main results in \cite{HR15}. In the end, we also introduce generalized Ruling polynomials for Legendrian tangles, to account for non-acyclic augmentations in the "Ruling polynomials compute augmentation numbers" picture.

研究动机与目标

• 将规制多项式与增强数的理论从勒让德里安链推广至勒让德里安辫。
• 证明广义规制多项式在辫连接下满足复合公理。
• 定义并分析考虑非阿基米德增强的广义正规规制。
• 证明广义正规规制的加权计数可计算辫的增强数。
• 在勒让德里安辫的背景下，为[HR15]中的关键结果提供新的组合证明。

提出的方法

• 通过定义 m-分次广义正规规制，将正规规制的概念推广至勒让德里安辫。
• 引入矩阵值规制多项式 $\tilde{R}_T^m(z)$，以编码具有固定边界同构类型的广义正规规制的加权计数。
• 利用复合公理证明内积 $<\rho_L|\tilde{R}_T^m(z)|\rho_R>$ 在勒让德里安同痕下保持不变。
• 应用 LCH 微分代数的余层性质于辫，将代数结构与组合规制不变量联系起来。
• 推导出增强数 $\mathrm{aug}_m(T, \rho_L, \rho_R; q)$ 与广义规制多项式之间的公式：$q^{-\frac{d+B}{2}} z^B <\rho_L|\tilde{R}_T^m(z)|\rho_R>$。
• 利用滑动移动与边界同构类型分析规制在 Reidemeister 移动（尤其是 III 型）下的行为。

实验结果

研究问题

• RQ1 勒让德里安链的规制多项式能否在保持不变性与复合性的同时推广至勒让德里安辫？
• RQ2 广义正规规制在辫不变量的背景下如何处理非阿基米德增强？
• RQ3 广义规制多项式在辫连接下是否满足复合公理？
• RQ4 辫的增强数能否作为广义正规规制的加权和来计算？
• RQ5 广义规制多项式与辫的增强簇之间存在何种精确代数关系？

主要发现

• 广义规制多项式 $\tilde{R}_T^m(z)$ 满足复合公理：对于辫的复合，有 $<\rho_L|\tilde{R}_T^m(z)|\rho_R> = \sum_{\rho_I} <\rho_L|\tilde{R}_{T_1}^m(z)|\rho_I><\rho_I|\tilde{R}_{T_2}^m(z)|\rho_R>$。
• 增强数 $\mathrm{aug}_m(T, \rho_L, \rho_R; q)$ 等于 $q^{-\frac{d+B}{2}} z^B <\rho_L|\tilde{R}_T^m(z)|\rho_R>$，证明规制多项式可计算增强数。
• 对于 Reidemeister III 型移动，当且仅当 $z = q^{1/2} - q^{-1/2}$ 时，内积 $<\rho_L|\tilde{R}_T^m(z)|\rho_R>$ 保持不变，确认了非平凡情形下的不变性。
• 增强簇 $\mathrm{Aug}_m^\rho(T, \epsilon_L; k)$ 的结构同构于 $(k^*)^{-\chi(\rho)-h(\rho)+B} \times k^{r(\rho)+h(\rho)}$，为组合数据提供了几何实现。
• 勒让德里安同痕不变性 $\mathrm{aug}_m(T, \rho_L, \rho_R; q)$ 的证明独立于推论 4.18，从而加强了基础论证。
• 该理论为 [HR15] 中勒让德里安纽结情形下的主要结果提供了新的组合证明，采用基于辫的方法。