[论文解读] The dual boundary complex of the $SL_2$ character variety of a punctured sphere

Carlos Simpson|arXiv (Cornell University)|Apr 21, 2015

Algebraic Geometry and Number Theory参考文献 36被引用 3

一句话总结

该论文在单值表示类满足通用性条件的前提下，证明了具有 $k$ 个穿孔的黎曼球面的 $SL_2(\mathbb{C})$ 表示簇的对偶边界复形同伦等价于维数为 $2(k-3)-1$ 的球面。证明方法基于双对叶分解、芬彻尔-尼尔森坐标系以及同伦理论的约化技术，表明该边界复形源自希钦纤维丛的无穷远处球面，从而为 $P=W$ 猜想的几何版本提供了支持。

ABSTRACT

Suppose $C_1,\\ldots , C_k$ are generic conjugacy classes in $SL_2({\\mathbb C})$. Consider the character variety of local systems on ${\\mathbb P}^1-\\{ y_1,\\ldots , y_k\\}$ whose monodromy transformations around the punctures $y_i$ are in the respective conjugacy classes $C_i$. We show that the dual boundary complex of this character variety is homotopy equivalent to a sphere of dimension $2(k-3)-1$.

研究动机与目标

• 在单值表示类满足通用性条件的前提下，确定具有 $k$ 个穿孔的黎曼球面上 $SL_2(\mathbb{C})$ 表示簇的对偶边界复形的同伦类型。
• 通过将对偶边界复形与多尔贝奥特定模空间的无穷远处球面相联系，为 $P=W$ 猜想提供几何与拓扑证据。
• 通过双对叶分解与芬彻尔-尼尔森坐标系，拓展对表示簇的理解，即使在非通用情形下亦成立。
• 证明对偶边界复形与紧化方式无关，且准确捕捉了模空间的本质拓扑结构。

提出的方法

• 通过具有法向交叉的紧化方式构造对偶边界复形，证明其同伦类型与紧化方式的选择无关。
• 应用同伦约化技术：若子簇 $Z \subset X$ 是光滑闭子簇且其对偶边界复形是可缩的，则映射 $\mathbb{D}\partial X \to \mathbb{D}\partial(X\setminus Z)$ 是同伦等价。
• 利用 $\mathbb{A}^1 \times Y$ 的对偶边界复形可缩的性质，实现分解过程中对子簇的逐次移除。
• 通过 $k-3$ 条不相交的圆周将穿孔球面分解为 $k-3$ 个双对叶，每条圆周对应一个芬彻尔-尼尔森坐标。
• 通过单值迹与 $\mathbb{G}_m$ 上的粘合数据参数化局部系统，形成在 $\mathbb{A}^{k-3}$ 上的纤维丛，其纤维为 $\mathbb{G}_m^{k-3}$。
• 利用稳定性条件与刚性定理处理单值迹为 $\pm 2$ 的退化情形，确保每个双对叶上局部系统的唯一性。

实验结果

研究问题

• RQ1 具有 $k$ 个穿孔的黎曼球面上 $SL_2(\mathbb{C})$ 表示簇的对偶边界复形的同伦类型是什么？
• RQ2 对偶边界复形与多尔贝奥特定模空间中希钦纤维丛的无穷远处球面有何关系？
• RQ3 芬彻尔-尼尔森坐标系能否用于计算表示簇边界复形的拓扑结构？
• RQ4 对偶边界复形是否与法向交叉紧化方式的选择无关？
• RQ5 在 $P=W$ 框架下，贝蒂模空间的对偶边界复形是否与多尔贝奥特定模空间的无穷远处球面一致，如猜想所述？

主要发现

• 在单值表示类满足通用性条件时，具有 $k$ 个穿孔的黎曼球面上 $SL_2(\mathbb{C})$ 表示簇的对偶边界复形同伦等价于维数为 $2(k-3)-1$ 的球面。
• 该结果在 $\mathbb{P}^1$ 上去掉 $k$ 个点的 $SL_2$ 局部系统背景下证实了猜想 11.1，为 $P=W$ 猜想提供了拓扑证据。
• 证明依赖于通过移除同构于 $\mathbb{A}^1 \times Y$ 的子簇所诱导的连续同伦等价，这些子簇的对偶边界复形是可缩的。
• 芬彻尔-尼尔森坐标系提供了在 $\mathbb{A}^{k-3}$ 上的纤维丛结构，其纤维为 $\mathbb{G}_m^{k-3}$，该结构支撑了对偶边界复形的拓扑计算。
• 证明表明对偶边界复形自然同胚于多尔贝奥特定模空间中希钦纤维丛的无穷远处球面，支持了猜想 11.1 中的同伦交换正方形。
• 当 $k=4$ 时，结果由弗里克-克莱因关系恢复；$k=5$ 的情形此前由高明雄证明，现均被统一于本通解之下。