[论文解读] Character varieties in SL_2 and Kauffman skein algebras

Julien Marché|arXiv (Cornell University)|Oct 30, 2015

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

一句话总结

本文通过辫代数和典范表示，建立了一个关于含边界的3-流形的SL₂-特征簇上的Reidemeister torsion的全局框架，证明其作为有理体积形式出现。通过利用K. Saito关于特征与表示的定理，作者在特征簇上内在地构造了该扭量，借助扭曲上同调提供了几何解释，并以迹坐标和单值性作用的形式给出了显式公式。

ABSTRACT

These lecture notes concern the algebraic geometry of the character variety of a finitely generated group in SL(2,C) from the point of view of skein modules. We focus on the case of surface and 3-manifolds groups and construct the Reidemeister torsion as a rational volume form on the character variety.

研究动机与目标

• 为含边界的3-流形的SL₂-特征簇上的Reidemeister torsion提供一个全局、内在的构造。
• 通过代数商与辫模定义之间的等价性，建立特征簇与辫代数之间的联系。
• 应用K. Saito关于特征与表示的定理，在特征簇的函数域上定义典范表示。
• 将扭量解释为特征簇不可约分支上的微分形式，特别是在圆周上的纤维化情形。
• 以迹坐标和单值性作用的形式推导扭量的显式公式，特别是曲面丛的情形。

提出的方法

• 通过迹关系 $ Y_{\alpha\beta} + Y_{\alpha\beta^{-1}} = Y_\alpha Y_\beta $ 定义辫代数 $ B(\Gamma) $，并由此定义辫特征簇 $ X_s(\Gamma) $。
• 通过不变量理论与Procesi定理，建立 $ X(\Gamma) $ 的代数商定义与辫代数之间的等价性。
• 应用K. Saito定理，在 $ X(\Gamma) $ 的不可约分支的函数域上构造典范表示，将特征上提为实际表示。
• 通过取值于伴随表示的扭曲上同调复形的行列式，将Reidemeister torsion定义为 $ X(M) $ 上的有理体积形式。
• 利用Wang序列与边界上同调，将 $ M $ 的扭量与 $ X(\Sigma) $ 的几何联系起来，特别是在曲面丛情形。
• 以迹坐标 $ x_i = u_i + u_i^{-1} $ 表达扭量，其中归一化形式为 $ T(M) = \frac{1}{2} \bigwedge \frac{du_i}{u_i} / \det(D\varphi - 1)_{\ker du_i} $，在单值性作用的不动点集上成立。

实验结果

研究问题

• RQ1 如何将3-流形（含边界）的SL₂-特征簇上的Reidemeister torsion全局地定义为微分形式？
• RQ2 在代数几何结构上，辫代数与特征簇之间的确切关系是什么？
• RQ3 K. Saito关于将特征上提为表示的定理，如何实现对特征簇函数域上典范表示的典范构造？
• RQ4 在圆周上纤维化的曲面丛中，扭量如何通过扭曲上同调与单值性作用实现几何解释？
• RQ5 扭量能否以迹坐标和单值性映射的导数显式表达？

主要发现

• 对于含边界的3-流形，其Reidemeister torsion被证明是特征簇上的有理体积形式，具体在‘神秘流形’情形下为 $ T(M) = \frac{1}{2} \frac{du \wedge dv \wedge dw}{\sqrt{(x^2-4)(y^2-4)(z^2-4)}} $。
• 对于以单值性 $ \varphi $ 纤维化到圆周的3-流形 $ M $，扭量在 $ \varphi^* $ 固定点集的不可约分支上表示为 $ T(M,\xi) = \frac{1}{2} \frac{\bigwedge dY_{\gamma_i}}{\det(D\varphi - 1)|_{\ker dY_{\gamma_i}}} $。
• 扭量与典范族中表示的选择无关，且自然地位于底空间 $ X(\Sigma) $ 上，证实了其全局性质。
• 在 $ X(\Gamma) $ 的函数域上的典范表示提供了从特征到表示的典范提升，使得扭量构造得以统一处理。
• 在胞腔复形情形下，计算扭量的复形分解为独立分量，其扭量为 $ \frac{2}{g} dx \wedge dy \wedge dz $，其中 $ g = 4 $，故 $ T(M,\xi) = \frac{1}{2} dx \wedge dy \wedge dz $。
• 在归一化 $ x = u + u^{-1} $ 下，扭量变为 $ T(M) = \frac{1}{2} \bigwedge \frac{du_i}{u_i} / \det(D\varphi - 1)|_{\ker du_i} $，当 $ \varphi = \text{id} $ 时，可恢复已知的神秘流形公式。