[论文解读] Finite type invariants of cyclic branched covers

Stavros Garoufalidis, Andrew Kricker|ArXiv.org|Jul 30, 2001

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

一句话总结

本文为整同调球面上扭结的循环分支覆盖的LMO不变量提供了一个公式，将其表达为扭结的符号函数和其有理Kontsevich积分的留数。关键结果推广了早期关于Casson-Walker不变量的研究，并通过Kontsevich积分的有理提升，精确建立了有限型不变量与分支覆盖不变量之间的联系。

ABSTRACT

Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we give a formula for the the Casson-Walker invariants of these 3-manifolds in terms of residues of a rational function (which measures the 2-loop part of the Kontsevich integral of a knot) and the signature function of the knot. Our main result actually computes the LMO invariant of cyclic branched covers in terms of a rational invariant of the knot and its signature function. Revised version.

研究动机与目标

• 推导整同调球面上扭结的p重循环分支覆盖的LMO不变量的一般公式。
• 解决长期以来对所有p > 2的此类覆盖的Casson-Walker不变量计算问题。
• 建立有理Kontsevich积分的二环部分与分支覆盖拓扑不变量之间的精确联系。
• 在三维流形的有限型不变量背景下，形式化符号函数与有理不变量的作用。

提出的方法

• 作者使用通过微扰场论和Aarhus积分构造的Kontsevich积分的有理提升$ Z^{\mathrm{rat}} $。
• 他们应用扭曲映射$ \tau^{\mathrm{rat}} $和提升映射$ \mathrm{Lift}_p $，将有理不变量与分支覆盖的LMO不变量联系起来。
• 该方法依赖于涉及带珠图的积分的正式计算，利用$ Z^{\mathrm{rat}} $的函数论性质。
• 关键操作包括在轮图背景下完成平方，以及对有理积分使用分部积分法。
• 该方法利用了通用阿贝尔覆盖的结构，其映射到所有循环分支覆盖，从而解释了$ Z^{\mathrm{rat}} $的出现。
• 该公式通过符号项$ \sigma_p(M,K)\Theta/16 $纳入了框架校正，以说明归一化差异。

实验结果

研究问题

• RQ1 如何用扭结不变量表达扭结的p重循环分支覆盖的LMO不变量？
• RQ2 有理Kontsevich积分的二环部分在计算分支覆盖不变量中起着怎样的精确作用？
• RQ3 为何符号函数会出现在分支覆盖的Casson-Walker不变量公式中？
• RQ4 图上的扭曲与提升操作如何与循环分支覆盖的几何相关联？
• RQ5 有理提升$ Z^{\mathrm{rat}} $能否用于计算由扭结构造产生的三维流形的有限型不变量？

主要发现

• p重循环分支覆盖$ \Sigma^p_{(M,K)} $的LMO不变量由公式$ Z(\Sigma^p_{(M,K)}) = e^{\sigma_p(M,K)\Theta/16} \cdot \mathrm{Lift}_p \circ \tau^{\mathrm{rat}}_{\alpha_p} \circ Z^{\mathrm{rat}}(M,K) $给出，其中$ \alpha_p = \nu^{-(p-1)/p} $。
• 该公式对所有p-正则扭结成立，即那些使得分支覆盖为有理同调球面的扭结。
• 分支覆盖的Casson-Walker不变量由符号函数$ \sigma_p(M,K) $和$ Z^{\mathrm{rat}}(M,K) $的二环部分的留数决定。
• 有理不变量$ Z^{\mathrm{rat}} $捕捉了Kontsevich积分的二环贡献，且在存在框架异常时对不变量计算至关重要。
• 推导过程使用了涉及图积分的正式操作，包括完成平方和有理积分的分部积分引理。
• 该结果证实了[GR]中的一个猜想，并将早期针对p=2的结果推广到所有$ p \geq 2 $，为分支覆盖的有限型不变量提供了统一框架。