[论文解读] The SL(2,C) character variety of the one-holed torus

Ser Peow Tan, Yan Loi Wong+1 more|ArXiv.org|Sep 2, 2005

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

一句话总结

本文通过两个简单的 Bowditch Q-条件，刻画了单孔环面的 SL(2,C) 表示丛中映射类群作用为正常不连续的最大开子集。它建立了对这一子集内所有表示均成立的广义 McShane 级数恒等式，并提出了 SL(2,C) 表示的端点不变量定义，部分分类了其在实数、虚数和离散情形下的动力学与结构。

ABSTRACT

In this note we announce several results concerning the SL(2,C) character variety ${\mathcal X}$ of the one-holed torus. We give a description of the largest open subset ${\mathcal X}_{BQ}$ of ${\mathcal X}$ on which the mapping class group $Γ$ acts properly discontinuously, in terms of two very simple conditions, and show that a series identity generalizing McShane's identity for the punctured torus holds for all characters in this subset. We also give variations of the McShane-Bowditch identities to characters fixed by an Anosov element of $Γ$ with applications to closed hyperbolic three manifolds. Finally we give a definition of end invariants for SL(2,C) characters and give a partial classification of the set of end invariants of a character in ${\mathcal X}$.

研究动机与目标

• 确定并刻画单孔环面的 SL(2,C) 表示丛中映射类群作用为正常不连续的最大开子集。
• 将 McShane 恒等式推广为对满足 Bowditch Q-条件的所有表示均成立的级数恒等式。
• 将 McShane-Bowditch 恒等式推广至被映射类群中 Anosov 元素固定的表示，应用于闭双曲 3-流形。
• 为 SL(2,C) 表示定义并分类端点不变量，尤其针对实数、虚数和离散表示。
• 建立一个理解映射类群在表示丛上作用动力学的框架，将单极点环面的结果推广至更一般的曲面群。

提出的方法

• 将 SL(2,C) 表示丛 X 定义为单孔环面基本群表示在共轭作用下的商集，通过生成元 X、Y 及其乘积 XY 的迹，将其与 C^3 同胚。
• 引入 Bowditch Q-条件，即关于迹坐标 (x, y, z) 的两个简单代数不等式，用以刻画映射类群作用为正常不连续的子集 X_BQ。
• 建立对 X_BQ 中所有表示均成立的广义 McShane 级数恒等式，该恒等式在特定参数值下退化为原始的 McShane 恒等式。
• 以相对形式使用 Bowditch Q-条件，推导出被 Anosov 映射类元固定的表示的 McShane-Bowditch 恒等式变体。
• 将端点不变量 E(ρ) 定义为映射类群作用下某些简单闭曲线序列的极限集，并根据换位子的迹 κ 进行分类。
• 借鉴 Bowditch 对 κ = -2 情形的工作，使用迹恒等式与表示丛上作用的动力学性质，将结果推广至一般 κ ∈ C。

实验结果

研究问题

• RQ1 单孔环面的 SL(2,C) 表示丛中，映射类群作用为正常不连续的最大开子集是什么？
• RQ2 SL(2,C) 两生成子群的广义 McShane 级数恒等式在何种条件下成立？
• RQ3 McShane-Bowditch 恒等式如何推广至被映射类群中 Anosov 元素固定的表示？
• RQ4 SL(2,C) 表示的端点不变量集合 E(ρ) 的结构是什么？其如何随换位子的迹变化？
• RQ5 能否对表示丛中实数、虚数和离散表示的端点不变量实现分类？

主要发现

• 映射类群作用为正常不连续的最大开子集 X_BQ 由两个关于迹坐标的简单代数条件刻画，即 Bowditch Q-条件。
• 对 X_BQ 中所有表示均成立广义 McShane 级数恒等式，且该恒等式在特定参数值下退化为原始 McShane 恒等式。
• 给出了广义 McShane 恒等式成立的充要条件，为 SL(2,C) 的两生成子群提供了完整刻画。
• 对被 Anosov 映射类元固定的表示，建立了 McShane-Bowditch 恒等式的变体，并应用于闭双曲 3-流形。
• 对实数表示，端点不变量集合 E(ρ) 要么为空集，要么为单点集，要么为 Cantor 集；对虚数表示，E(ρ) 要么为空集，要么为单点集；对离散表示，E(ρ) 要么为 Cantor 集，要么为整个 PL。
• 提出一个猜想：若 E(ρ) 包含多于两个元素，则其要么为 PL 的 Cantor 子集，要么为整个 PL，该猜想推广了 Bowditch 对 κ = -2 情形的猜想。