[论文解读] Parametrization of PSL(2,C)-representations of surface groups

Yuichi Kabaya|arXiv (Cornell University)|Oct 31, 2011

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

一句话总结

本文通过单值矩阵在裤形曲线周围的特征值，提出了对曲面群 PSL(2,C)-表示空间的有理参数化，推广了 Fenchel-Nielsen 坐标。通过编码不动点和特征值，该方法实现了矩阵生成元的系统性计算，其结果为参数的有理函数，并推导出在裤分解变换下的变换规律，进一步扩展至拟 Fuchsian 表示和 SL(2,C)-表示。

ABSTRACT

For an oriented surface of genus g with b boundary components, we construct a rational map from a subset of C^{6g-6+3b} onto an open algebraic subset of the PSL(2,C)-character variety as an analogue of the Fenchel-Nielsen coordinates. After taking the quotient by an action of a finite group, we obtain a parametrization of a subset of the PSL(2,C)-character variety, and similarly for the SL(2,C)-character variety. We can systematically calculate a set of matrix generators by rational functions of the parameters. We give transformation formulae under elementary moves of pants decompositions.

研究动机与目标

• 将 Fenchel-Nielsen 坐标推广至完整的 PSL(2,C)-表示空间，包括拟 Fuchsian 表示。
• 通过单值矩阵的特征值和不动点，为曲面群的 SL(2,C) 和 PSL(2,C)-表示提供显式且有理的参数化。
• 使矩阵生成元能作为参数的有理函数被系统性计算。
• 推导出在裤分解改变下参数化的变换公式。
• 通过三维理想三角剖分和四面体粘合关系，将新坐标与指数剪切-弯曲坐标联系起来。

提出的方法

• 表示通过围绕裤形区域三个边界曲线的单值矩阵的特征值 $e_i$ 和不动点 $x_i, y_i$ 参数化。
• 三孔球面上的表示由三元组 $(e_i, x_i)$ 唯一确定，$i=1,2,3$，其中关系 $\gamma_1\gamma_2\gamma_3=1$ 确保一致性。
• 通过涉及特征向量分解的公式，利用特征值和不动点数据显式构造矩阵生成元。
• 沿公共边界曲线粘合两个裤形区域时，需匹配该曲线上单值矩阵的不动点和特征值。
• 通过在三维三角剖分中插入理想四面体并求解复参数的一致性方程，推导出裤分解变换下的变换规律。
• 通过一系列三维理想三角剖分变换，将参数化与指数剪切-弯曲坐标关联，从四面体粘合方程中导出显式公式。

实验结果

研究问题

• RQ1 如何将 Fenchel-Nielsen 坐标从 Teichmüller 空间扩展至完整的 PSL(2,C)-表示空间？
• RQ2 能否从有理参数化系统性地计算 PSL(2,C)-表示的矩阵生成元？
• RQ3 在裤分解改变下，参数化的变换规律是什么？
• RQ4 在三维三角剖分中，特征值-不动点坐标如何与指数剪切-弯曲坐标关联？
• RQ5 何种条件可确保一组特征值与不动点构成三孔球面上定义良好的不可约 SL(2,C)-表示？

主要发现

• PSL(2,C)-表示空间可通过 $6g-6+3b$ 个复参数实现有理参数化，对应于裤形曲线上的特征值和不动点。
• 基本群的矩阵生成元被显式计算为参数的有理函数，其中在亏格为 2 的情况下，迹的平方为 $\operatorname{tr}^2(\rho(\alpha_1)) = \left(e_1 + \frac{1}{e_1}\right)^2$ 以及 $\operatorname{tr}^2(\rho(\beta_1)) = -\frac{((e_1^2 - e_2)t_1 + 1 - e_1^2 e_2)^2}{(e_1^2 - 1)^2 e_2 t_1}$。
• 该参数化在有限群作用下不变，经商后可得到表示空间的明确定义参数化。
• 通过三维理想三角剖分推导出裤分解变换下的变换规律，得到变换前后参数关系的显式公式。
• 特征值-不动点方法成功将 Fenchel-Nielsen 坐标推广至复表示，包括拟 Fuchsian 表示。
• 该方法为任意子域 $\mathbb{F} \subset \mathbb{C}$（包括 $\mathbb{R}$ 和 $\mathbb{Q}$）上的表示计算提供了统一框架。