[论文解读] On the geometry of the slice of trace--free SL(2,C)-characters of a knot group

Fumikazu Nagasato, Yoshikazu Yamaguchi|arXiv (Cornell University)|Jul 4, 2008

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

一句话总结

本文构建了一个从扭结余部的迹为零 SL(2,C)-表示特征簇到其二重分支覆盖的特征簇的映射 Φ，证明了该映射在双桥纽结及某些佩特尔纽结上是满射。关键结果是迹为零的特征簇是特征簇的二重分支覆盖，分支点集恰好是幂零表示对应的幂零特征，这些特征对应于二面体表示。

ABSTRACT

Let K be a knot in an integral homology 3-sphere and let B denote the 2-fold branched cover of the integral homology sphere branched along K. We construct a map from the slice of characters with trace free along meridians in the SL(2, C)-character variety of the knot exterior to the SL(2, C)-character variety of 2-fold branched cover B. When this map is surjective, it describes the slice as the 2-fold branched cover over the SL(2, C)-character variety of B with branched locus given by the abelian characters, whose preimage is precisely the set of metabelian characters. We show that each of metabelian character can be represented as the character of a binary dihedral representation of the knot group. This map is shown to be surjective for all 2-bridge knots and all pretzel knots of type (p, q, r). An extension of this framework to n-fold branched covers is also described.

研究动机与目标

• 理解扭结余部的 SL(2,C)-表示与其有限循环覆盖（特别是二重分支覆盖）之间的关系。
• 定义并分析从扭结余部的迹为零特征切片到其二重分支覆盖特征簇的映射 Φ。
• 刻画该映射的像，并将分支点集识别为阿贝尔特征的集合，其原像恰好是幂零特征。
• 证明幂零特征源自扭结群的二面体表示。
• 为双桥纽结及 (p,q,r)-佩特尔纽结建立诱导映射在特征簇上的满射性。

提出的方法

• 从扭结群 π₁(E_K) 的迹为零经线的 SL(2,C)-表示定义映射 Φ，映射到二重分支覆盖 B₂ 的基本群 π₁(B₂) 的表示。
• 在特征簇上构造诱导映射 Φ̂，限制在迹为零特征的切片 S₀(E_K) 上。
• 利用双桥纽结和佩特尔纽结的 π₁(B₂) 的表示，特别是佩特尔纽结的布列斯科恩流形结构。
• 分析覆盖变换 τ 在 π₁(B₂) 上的作用，证明不可约表示是 τ-等变的，从而推出 τ*-不变性。
• 证明 Φ̂ 的像是 X(B₂) 中 τ-不变部分，并证明 X(B₂) 中所有阿贝尔和不可约特征均属于像。
• 通过矩阵 k = [[0,√-1],[√-1,0]] 的共轭作用，验证不可约表示的 τ-等变性。

实验结果

研究问题

• RQ1 迹为零经线的扭结余部特征簇与其中二重分支覆盖的特征簇之间有何关系？
• RQ2 扭结群的迹为零 SL(2,C)-特征的切片具有何种几何结构？
• RQ3 哪些特征出现在二重分支覆盖中，可作为扭结余部的幂零表示的像？
• RQ4 在何种条件下，从迹为零特征切片到二重分支覆盖特征簇的映射 Φ̂ 是满射？
• RQ5 扭结群的幂零特征能否被实现为二面体表示的特征？

主要发现

• 对于所有双桥纽结，从迹为零特征切片 S₀(E_K) 到 X(B₂) 的映射 Φ̂ 是满射。
• 对于所有型为 (p,q,r) 的佩特尔纽结，映射 Φ̂ 是满射，这是由于 B₂ 的布列斯科恩流形结构。
• 切片 S₀(E_K) 是 X(B₂) 上的二重分支覆盖，分支点集恰好是阿贝尔特征的集合。
• Φ̂ 下阿贝尔特征的原像恰好是扭结群的幂零特征。
• 每个幂零特征均可作为 π₁(E_K) 的二面体表示的特征被实现。
• π₁(B₂) 的不可约表示是 τ-等变的，这意味着 X_irr(B₂) 包含于 Φ̂ 的像中。