[论文解读] A Hyperelliptic View on Teichmuller Space. I

Sasha Anan’in, Eduardo C. Bento Gonçalves|ArXiv.org|Sep 11, 2007

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

一句话总结

本文提出一种基于双全纯黎曼曲面与简单地震的初等几何方法，研究了Teichmüller空间，证明了地震群在双全纯曲面的Teichmüller空间上作用传递。该文建立了一个简单而有效的准则，用于判断表示的忠实性与离散性，基于自然的边界坐标；并将其框架扩展至一般黎曼曲面，表明Teichmüller空间在双全纯子空间上具有纤维结构，且投影唯一。

ABSTRACT

We explicitly describe the Teichmuller space TH_n of hyperelliptic surfaces in terms of natural and effective coordinates as the space of certain (2n-6)-tuples of distinct points on the ideal boundary of the Poincare disc. We essentially use the concept of a simple earthquake which is a particular case of a Fenchel-Nielsen twist deformation. Such earthquakes generate a group that acts transitively on TH_n. This fact can be interpreted as a continuous analog of the well-known Dehn theorem saying that the mapping class group is generated by Dehn twists. We find a simple and effective criterion that verifies if a given representation of the surface group π_1Σin the group of isometries of the hyperbolic plane is faithful and discrete. The article also contains simple and elementary proofs of several known results, for instance, of W. M. Goldman's theorem [Gol1] characterizing the faithful discrete representations as having maximal Toledo invariant (which is essentially the area of the representation in the two-dimensional case).

研究动机与目标

• 开发一种不依赖解析方法的初等几何框架，用于研究Teichmüller空间。
• 利用Poincaré圆盘理想边界上的自然边界坐标，刻画双全洁黎曼曲面的Teichmüller空间。
• 证明地震群 $ \tilde{\rm E}_n $ 在双全洁曲面的Teichmüller空间 $ \tilde{\rm T}H_n $ 上作用传递，提供Dehn定理的连续类比。
• 将该方法推广至一般黎曼曲面，通过自然基本域建立表示忠实性与离散性的准则。
• 为理论的复双曲类比奠定基础，特别是Toledo定理与离散群表示。

提出的方法

• 将双全洁曲面表示为Poincaré圆盘中 $ n = 2g+2 $ 个点的构型，其反射生成基本群 $ H_n $。
• 定义简单地震（SEs）为沿测地线保持相邻点间距离的连续形变，生成地震群 $ \tilde{\rm E}_n $。
• 利用 $ 2n-6 $ 个不同边界点的循环序来参数化Teichmüller空间 $ \tilde{\rm T}H_n $，提供自然的几何坐标。
• 应用Poincaré多面体定理，证明具有 $ 2(n-2) $ 个顶点且面积为 $ 2(n-4)\pi $ 的多边形 $ Q $ 是群作用的基本域。
• 为一般 $ G_n = \pi_1(\Sigma) $ 构造基本域，实现对 $ \tilde{\rm T}_n $ 上黎曼曲面的普遍族的可视化。
• 通过在表示中沿双曲元素定义共轭扭变，将地震作用从 $ \tilde{\rm T}H_n $ 扩展至 $ \tilde{\rm T}_n $。

实验结果

研究问题

• RQ1 能否利用Poincaré圆盘边界上的自然几何坐标参数化双全洁曲面的Teichmüller空间？
• RQ2 地震群 $ \tilde{\rm E}_n $ 是否在Teichmüller空间 $ \tilde{\rm T}H_n $ 上作用传递，且可否将其视为Dehn定理的连续类比？
• RQ3 是否存在一个简单而有效的准则，用于判断表示 $ \varrho: H_n \to \mathrm{PU}(1,1) $ 是否忠实且离散？
• RQ4 能否将用于双全洁曲面的方法推广至一般黎曼曲面，以获得表示离散性的准则？
• RQ5 Teichmüller空间 $ \tilde{\rm T}_n $ 的结构与 $ \tilde{\rm T}H_n $ 有何关系，且 $ \tilde{\rm T}_n $ 是否可纤维化在 $ \tilde{\rm T}H_n $ 上？

主要发现

• 亏格 $ g \geq 2 $ 的双全洁曲面的Teichmüller空间 $ \tilde{\rm T}H_n $ 由理想边界 $ \partial\mathbb{D} $ 上 $ 2n-6 $ 个按循环序排列的互异点参数化。
• 地震群 $ \tilde{\rm E}_n $ 在 $ \tilde{\rm T}H_n $ 上作用传递，提供了映射类群由Dehn扭转生成的连续类比。
• 当 $ n=5 $ 时，每个非平凡表示 $ \varrho: H_5 \to \mathrm{PU}(1,1) $ 自动为忠实且离散，此结果此前未见于文献。
• 表示 $ \varrho: G_n \to \mathrm{PU}(1,1) $ 当且仅当其关联的基本多边形 $ Q $ 的面积为 $ 2(n-4)\pi $，且内角和为 $ 2\pi $ 时，为离散且忠实。
• 黎曼曲面的普遍族 $ \mathcal{F} \to \tilde{\rm T}_n $ 通过 $ \mathbb{D} \times \tilde{\rm T}_n $ 中的基本域可视化，其纤维同构于 $ \mathbb{D}/G_n $。
• Teichmüller空间 $ \tilde{\rm T}_n $ 在 $ \tilde{\rm T}H_n $ 上被纤维化两次，且 $ \tilde{\rm T}_n $ 中每一点均由其在 $ \tilde{\rm T}H_n $ 上的投影唯一确定。