[论文解读] Colored tangles and signatures

David Cimasoni, Anthony Conway|arXiv (Cornell University)|Jul 28, 2015

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

一句话总结

本文通过引入多变量签名不变量，将 Gambaudo 与 Ghys 于 2005 年关于辫子的符号缺陷结果推广至着色辫子。它证明了多变量签名在辫子闭包下的同态缺陷由拉格朗日函子下辫子像的 Maslov 指标给出，通过 Turaev 的拉格朗日框架和多变量 Gassner 表示，将 Meyer 上循环构造推广至着色辫子。

ABSTRACT

Taking the signature of the closure of a braid defines a map from the braid group to the integers. In 2005, Gambaudo and Ghys expressed the homomorphism defect of this map in terms of the Meyer cocycle and the Burau representation. In the present paper, we simultaneously extend this result in two directions, considering the multivariable signature of the closure of a colored tangle. The corresponding defect is expressed in terms of the Maslov index and of the Lagrangian functor defined by Turaev and the first-named author.

研究动机与目标

• 将 Gambaudo-Ghys 关于辫子符号缺陷的公式推广至着色辫子的设定。
• 通过自由阿贝尔覆叠和交形式，定义着色链的多变量签名不变量。
• 用拉格朗日子空间的 Maslov 指数表达多变量签名在辫子闭包下的可加性缺陷。
• 通过 $\mathbb{Z}[t,t^{-1}]$ 上的拉格朗日函子，统一多变量签名与 Gassner 表示。

提出的方法

• 从 $\mu$-着色辫子的范畴到 $\mathbb{Z}[t,t^{-1}]$ 上的拉格朗日范畴构造一个拉格朗日函子 $\mathscr{F}$，以扩展 Gassner 表示。
• 将多变量签名 $\mathrm{sign}_\omega(L)$ 定义为链外部自由阿贝尔覆叠的第一同调上的交形式的符号。
• 利用辛向量空间 $H_1(\widehat{D}_c)_\omega \oplus H_1(\widehat{D}_{c'})_\omega$ 中三个拉格朗日子空间的 Maslov 指数来捕捉符号缺陷。
• 在单位根 $\omega \in \mathbb{T}^\mu$ 处求值函子 $\mathscr{F}$，以获得复拉格朗日子空间，并在该处计算 Maslov 指数。
• 应用引理 5.9 中的同构 $\psi_c$，将 $\mathscr{F}_\omega(\tau)$ 与映射 $j_\tau \otimes \mathrm{id}_{\mathbb{C}_\omega}$ 的核相联系。
• 利用交形式的非退化性与局部化同调模的自由性，确保维度匹配并在 Maslov 指数计算中实现等式。

实验结果

研究问题

• RQ1 多变量签名在辫子闭包下的同态缺陷能否以 Maslov 指数等几何不变量表达？
• RQ2 Gambaudo-Ghys 的辫子符号缺陷公式是否可通过多变量 Gassner 表示推广至着色辫子？
• RQ3 拉格朗日函子 $\mathscr{F}$ 如何以与符号不变量相容的方式编码着色辫子的拓扑数据？
• RQ4 Maslov 指数在捕捉多变量签名在辫子复合下的非可加性中起什么作用？
• RQ5 通过拉格朗日函子 $\mathscr{F}_\omega$ 下的辫子像的 Maslov 指数能否计算符号缺陷？

主要发现

• 对于几乎所有 $\omega \in \mathbb{T}^\mu$，两个可复合的 $\mu$-着色辫子 $\tau_1, \tau_2$ 的闭包的符号缺陷等于三元组 $\mathscr{F}_\omega(\overline{\tau}_1), \mathscr{F}_\omega(\mathrm{id}_c), \mathscr{F}_\omega(\tau_2)$ 的 Maslov 指数。
• Maslov 指数计算在着色辫子情形下恢复了经典 Meyer 上循环，从而将 Gambaudo-Ghys 公式推广至多变量设定。
• 拉格朗日函子 $\mathscr{F}$ 扩展了 Gassner 表示至辫子，并保持了 Maslov 指数计算所需的辛结构。
• 同构 $\psi_c$ 将 $\mathscr{F}_\omega(\tau)$ 与 $j_\tau \otimes \mathrm{id}_{\mathbb{C}_\omega}$ 的核相联系，从而实现拉格朗日子空间的显式计算。
• $\mathscr{F}_\omega(\tau)$ 的维数等于边界辫子同调模的秩之和的一半，确保与拉格朗日子空间的一致性。
• 该结果对 $\mathbb{T}^\mu$ 的一个开稠密子集中的所有 $\omega$ 成立，排除了表示非酉或形式退化时的单位根。