[论文解读] Canonical components of character varieties of arithmetic two bridge link complements

Shinya Harada|arXiv (Cornell University)|Dec 15, 2011

Geometric and Algebraic Topology参考文献 8被引用 8

一句话总结

该论文通过证明三个非八面体算术双桥链补（5²₁、6²₂ 和 6²₃）的 SL₂(ℂ)-表示簇的典范分支为 ℙ¹ 上的二次曲面丛，且分别同构于 ℙ¹ × ℙ¹ 分别进行 12 次、13 次和 9 次的点吹破，从而确定了这些典范分支的去奇异化。该方法运用代数几何技术，包括纤维分析、奇点识别以及通过交点理论计算欧拉示性数，以分类极小模型。

ABSTRACT

The canonical components of SL_2-character varieties of arithmetic two bridge link groups are determined.

研究动机与目标

• 确定八面体以外的算术双桥链补的 SL₂(ℂ)-表示簇典范分支的去奇异化。
• 解决 Landes 之前关于 Whitehead 链补工作的缺陷，其极小模型的确定存在错误。
• 将剩余三个算术双桥链（5²₁、6²₂、6²₃）的典范分支表征为 ℙ¹ 上的二次曲面丛。
• 利用交点理论和欧拉示性数不变量计算去奇异化表示簇的极小模型。

提出的方法

• 使用 Riley 方法显式计算三个链的 SL₂(ℂ)-表示簇的定义方程。
• 将典范分支识别为包含单值表示的不可约分支。
• 构建典范分支的射影模型，使其具有 ℙ¹ 上的二次曲面丛结构。
• 定位并分类二次曲面丛的奇点和退化纤维，以分析曲面奇点。
• 在曲面上应用交点理论，以确定去奇异化簇的极小模型。
• 计算射影模型的欧拉示性数，并利用其确定从 ℙ¹ × ℙ¹ 或 ℙ² 出发的吹破次数。

实验结果

研究问题

• RQ1 在先前研究存在错误的前提下，Whitehead 链补的 SL₂(ℂ)-表示簇典范分支的结构是什么？
• RQ2 其余算术双桥链（5²₁、6²₂、6²₃）的典范分支是否为 ℙ¹ 上的二次曲面丛？若是，其去奇异化如何描述？
• RQ3 去奇异化这些链的典范分支需要多少次吹破？其极小曲面基础为何？
• RQ4 射影模型的欧拉示性数是否可用于确定去奇异化过程中所需的吹破次数？
• RQ5 这三个非八面体算术双桥链的典范分支的精确极小模型是什么？

主要发现

• 5²₁ 链补的典范分支是 ℙ¹ 上的二次曲面丛，其去奇异化结果同构于 ℙ¹ × ℙ¹ 进行 12 次点吹破的曲面。
• 6²₂ 链补的典范分支去奇异化后同构于 ℙ¹ × ℙ¹ 进行 13 次点吹破的曲面。
• 6²₃ 链补的典范分支去奇异化后同构于 ℙ¹ × ℙ¹ 进行 9 次点吹破的曲面。
• 每个典范分支的去奇异化同构于从 ℙ² 经过 10 次、13 次和 10 次点吹破得到的曲面。
• 欧拉示性数计算确认了吹破次数：χ(S̃₁) = 16 表明从 ℙ¹ × ℙ¹ 进行了 12 次吹破，χ(S̃₂) = 13 表明进行了 13 次吹破，χ(S̃₃) = 13 表明进行了 9 次吹破。
• 该方法成功纠正了 Landes 早期关于 Whitehead 链补工作的错误，确认正确的极小模型为 ℙ¹ × ℙ¹ 进行 12 次点吹破。