[论文解读] Riemann Surfaces and 3-Regular Graphs

Dan Mangoubi|ArXiv.org|Feb 17, 2002

Mathematical Dynamics and Fractals参考文献 2被引用 8

一句话总结

该论文通过理想三角形的双曲粘合，从3-正则图构造紧致黎曼曲面，随后研究非紧致曲面上的双曲度量何时可光滑地延拓至尖点，从而在紧化曲面上得到负曲率度量。关键结果为：当且仅当尖点长度超过 $2\pi$ 时，此类延拓才可能实现，该条件通过反例被证明是精确的——存在长度任意接近 $2\pi$ 的曲线，无法用负曲率度量填充。

ABSTRACT

In this thesis we consider a way to construct a rich family of compact Riemann Surfaces in a combinatorial way. Given a 3-regualr graph with orientation, we construct a finite-area hyperbolic Riemann surface by gluing triangles according to the combinatorics of the graph. We then compactify this surface by adding finitely many points. We discuss this construction by considering a number of examples. In particular, we see that the surface depends in a strong way on the orientation. We then consider the effect the process of compactification has on the hyperbolic metric of the surface. To that end, we ask when we can change the metric in the horocycle neighbourhoods of the cusps to get a hyperbolic metric on the compactification. In general, the process of compactification can have drastic effects on the hyperbolic structure. For instance, if we compactify the 3-punctured sphere we lose its hyperbolic structure. We show that when the cusps have lengths > 2π, we can fill in the horocycle neighbourhoods and retain negative curvature. Furthermore, the last condition is sharp. We show by examples that there exist curves arbitrarily close to horocycles of length 2π, which cannot be so filled in. Such curves can even be taken to be convex.

研究动机与目标

• 开发一种组合方法，从带方向的3-正则图构造有限面积的双曲黎曼曲面。
• 研究共形紧化对双曲度量的影响，特别是该度量是否可延拓至紧化曲面并保持负曲率。
• 确定从带尖点的非紧致曲面将双曲度量延拓至紧化曲面的光滑负曲率度量的必要且充分条件。
• 通过显式反例证明尖点长度 > $2\pi$ 的条件是精确的。

提出的方法

• 根据带方向的3-正则图 $\Gamma$ 的边与顶点结构，通过粘合理想三角形构造非紧致黎曼曲面 $S^O(\Gamma)$。
• 利用图的组合结构及其自同构群，通过添加有限个点，将 $S^O(\Gamma)$ 紧化为紧致黎曼曲面 $S^C(\Gamma)$。
• 分析每个尖点的穿孔圆盘邻域上的双曲度量，重点关注曲率及水平圆周的行为。
• 应用Ahlfors–Schwarz引理与曲率比较技术，控制尖点邻域内的度量。
• 利用Poincaré多边形定理验证双曲平面上群作用的离散性与基本域结构。
• 通过一个关键引理（关于曲率比较与极端长度）证明：当且仅当水平圆周长度大于 $2\pi$ 时，负曲率度量可延拓至尖点，从而完成证明。

实验结果

研究问题

• RQ1 在带尖点的非紧致黎曼曲面上，双曲度量在何种条件下可延拓至其紧化曲面的光滑负曲率度量？
• RQ2 原始3-正则图的几何结构如何影响所得黎曼曲面的双曲结构及其自同构群？
• RQ3 尖点长度在决定双曲度量是否可延拓至紧化点的过程中起何种精确作用？
• RQ4 为何尖点长度超过 $2\pi$ 的条件既是必要也是充分的？当该阈值从下方趋近时会发生什么？
• RQ5 能否用负曲率度量填充与长度为 $2\pi$ 的水平圆周任意接近的凸曲线？

主要发现

• 从带方向的3-正则图 $\Gamma$ 构造 $S^C(\Gamma)$ 可得到紧致黎曼曲面，其几何结构强烈依赖于图的组合结构与自同构群。
• 紧化过程可能极大改变双曲结构；例如，三尖点球面在紧化后会失去其双曲结构。
• 非紧致曲面 $S^O(\Gamma)$ 上的双曲度量可延拓至紧致曲面 $S^C(\Gamma)$ 上的光滑负曲率度量，当且仅当每个尖点的长度大于 $2\pi$。
• 尖点长度超过 $2\pi$ 的条件是精确的：存在长度任意接近 $2\pi$ 的曲线，即使为凸曲线，也无法用负曲率度量填充，反例表明此时度量延拓失败。
• 定理2.3.1的证明依赖于Ahlfors–Schwarz引理的曲率比较，以及关于共形因子拉普拉斯算子的关键引理，表明在曲率约束下，度量比值有上界1。
• 反例表明，当尖点长度趋近 $2\pi$ 时，度量延拓失败，从而确认了 $2\pi$ 阈值的精确性。