[论文解读] Description of moduli space of projective structures via fat graphs

V. V. Fock|ArXiv.org|Dec 25, 1993

Advanced Graph Theory Research参考文献 3被引用 18

一句话总结

本文通过双曲图（fat graphs）构建了黎曼曲面上的射影结构模空间的显式胞分解，类似于彭纳（Penner）对复结构的构造。通过边权引入复坐标，并建立了射影结构模空间与 $PGL(2,\mathbb{C})$-平坦联络模空间之间的爆破覆盖关系，从而实现了对富克斯群的参数化。

ABSTRACT

We give an elementary explicit construction of cell decomposition of the moduli space of projective structures on a two dimensional surface analogous to the decomposition of Penner/Strebel for moduli space of complex structures. The relations between projective structures and $PGL(2,{\bf C})$ flat connections are also described. (in the revised version uuencoded pictures are made printable)

研究动机与目标

• 为黎曼曲面上射影结构模空间提供一种显式且初等的胞分解构造。
• 建立射影结构与带复边权的双曲图之间的对应关系，推广彭纳对复结构的构造。
• 阐明射影结构模空间与 $PGL(2,\mathbb{C})$-平坦联络模空间之间的关系，证明其为爆破覆盖。
• 通过射影结构模空间上的图基坐标，提供对富克斯群的完整参数化。

提出的方法

• 使用与穿孔曲面 $\Sigma_0$ 同伦等价的双曲图，为边分配复数以表示射影结构数据。
• 应用第 2.1 节的构造，将每个带复边权的双曲图与一个带射影结构的黎曼曲面相关联。
• 利用施瓦茨导数与射影联络，将射影坐标系的过渡函数与曲面的几何联系起来。
• 将边权 $Z_\alpha$ 定义为在极点处射影坐标之交比的对数，从而在模空间上得到复坐标。
• 证明射影结构模空间是这些 $Z_\alpha$ 变量参数化的复流形。
• 通过特殊情形（一个极点的环面、四个极点的球面）分析，验证构造的一致性并阐明其构造过程。

实验结果

研究问题

• RQ1 如何通过双曲图对射影结构模空间进行胞分解，类比于彭纳对复结构的构造？
• RQ2 射影结构模空间与 $PGL(2,\mathbb{C})$-平坦联络模空间之间的确切关系是什么？
• RQ3 该构造能否通过图基坐标实现对富克斯群的完整参数化？
• RQ4 双曲图上的复边权 $Z_\alpha$ 如何编码射影结构的全部几何信息？
• RQ5 在退化情形下（如环面例子中 $k \to i\pi$），模空间的行为如何？

主要发现

• 射影结构模空间允许由带复边权 $Z_\alpha$ 的双曲图参数化的胞分解，推广了彭纳的实坐标构造。
• 对于一个极点的环面，射影结构由模参数 $\tau$ 和复参数 $k$ 参数化，边权为 $Z_\alpha = 2\ln|\text{sh}(k\cdot \text{period})|$，明确显示出对 $k$ 的依赖性。
• 在四个极点的球面情形下，边权由极点处射影坐标的交比确定，与已知的单值化结果一致。
• 该构造给出了模空间 $\mathcal{MP}_\Sigma$ 的一个余稠密子集，表明可通过图-复形构造实现全局参数化。
• 证明射影结构模空间是 $PGL(2,\mathbb{C})$-平坦联络模空间的爆破覆盖，其覆盖结构源于边权的复数性质。
• 本文猜想，空间 $\mathcal{MP}_\Sigma^{\text{comb}}$ 可被扩展以包含退化情形（如边权趋于无穷），从而描述所有射影结构。