[论文解读] Random Construction of Riemann Surfaces

Robert Brooks, Eran Makover|ArXiv.org|Jun 28, 2001

Geometric and Algebraic Topology参考文献 8被引用 4

一句话总结

本文提出了一种基于3-正则图及其定向的随机模型，用于构造有限面积的黎曼曲面，从而能够控制全局几何不变量。研究证明，随着亏格增大，该模型中典型曲面几乎必然具有较大的第一特征值、较大的库珀曼常数、较大的系统长度以及对数尺度的直径。这些关键结果通过图的谱理论和图圈的随机分析得以建立。

ABSTRACT

In this paper, we address the following question: What does a typical compact Riemann surface of large genus look like geometrically? We do so by constructing compact Riemann surfaces from oriented 3-regular graphs. The set for such Riemann surfaces is dense in the space of all compact Riemann surfaces, namely Belyi surfaces. And in this construction we can control the geometry of the compact Riemann surface by the geometry of the graph. We show that almost all such surfaces have large first eigenvalue and large Cheeger constant.

研究动机与目标

• 理解大亏格紧黎曼曲面的典型几何结构。
• 开发一种可处理的黎曼曲面随机模型，使得能够控制诸如第一特征值、库珀曼常数、系统长度和直径等全局几何不变量。
• 通过3-正则图的谱性质，证明这些几何特性在随机模型中受到严格控制。
• 证明该随机构造在亏格增大时，其曲面满足“大尖点”条件的概率趋于1。

提出的方法

• 将每个3-正则图与其定向关联，通过粘合理想双曲三角形构造有限面积的双曲曲面 $S^O(\Gamma,\mathcal{O})$。
• 对 $S^O(\Gamma,\mathcal{O})$ 进行共形紧化，得到 $S^C(\Gamma,\mathcal{O})$，其为紧黎曼曲面，且在模空间中稠密。
• 利用图 $\Gamma$ 的谱隙，通过已知的图-曲面谱对应关系，控制第一特征值 $\lambda_1(S^C(\Gamma,\mathcal{O}))$。
• 应用概率图论——特别是短圈的渐近泊松分布——分析尖点几何与单射半径。
• 利用引理3.1中关于短圈渐近独立性的结论，证明阻碍大尖点的事件在 $n \to \infty$ 时概率趋于零。
• 通过库珀曼常数与体积增长的关系，利用关系式 $\text{diam}(M) \leq 2[r_0 + \frac{1}{h(M)} \log(\frac{\text{vol}(M)}{2B(r_0)})]$ 建立直径上界。

实验结果

研究问题

• RQ1 一个大亏格的随机紧黎曼曲面的典型几何结构是什么？
• RQ2 能否通过基于3-正则图的组合模型，控制随机黎曼曲面的谱和几何不变量？
• RQ3 该模型中随机曲面具有大第一特征值、大库珀曼常数、大系统长度以及对数尺度直径的概率有多高？
• RQ4 尖点几何在所生成曲面的谱性质中起什么作用？

主要发现

• 当 $n \to \infty$ 时，$S^O(\Gamma,\mathcal{O})$ 满足“大尖点”条件的概率趋于1，从而确保了几何不变量的鲁棒性。
• 第一特征值 $\lambda_1(S^C(\Gamma,\mathcal{O}))$ 几乎必然有下界 $C_1$，其概率趋于1。
• 库珀曼常数 $h(S^C(\Gamma,\mathcal{O}))$ 几乎必然有下界 $C_2$，其概率趋于1。
• 系统长度 $\text{syst}(S^C(\Gamma,\mathcal{O}))$ 几乎必然有下界 $C_3$，其概率趋于1。
• 曲面 $S^C(\Gamma,\mathcal{O})$ 的直径几乎必然有上界 $C_4 \log(\text{genus})$，其概率趋于1。
• 短测地线与小尖点以正的渐近概率出现，但由于随机3-正则图中圈结构的渐近独立性，它们通常相距较远。