[論文レビュー] 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})$ のコンフォーマルコンactification $S^C(\Gamma,\mathcal{O})$ を形成し、これはモジュライ空間に密に分布するコンパクトなリーマン面をもたらす。
• グラフ $\Gamma$ のスペクトルギャップを用いて、既知のグラフ-表面スぺクトル対応関係を通じて、第一固有値 $\lambda_1(S^C(\Gamma,\mathcal{O}))$ を制御する。
• 特に、短いサイクルの漸近的ポisson分布を用いた確率的グラフ理論を適用し、カスプ幾何と自己同型半径を解析する。
• 短いサイクルの漸近的独立性を示す補題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}))$ は、確率が1に近づくに従い、正の定数 $C_1$ で下から抑えられる。
• ヒーチャー定数 $h(S^C(\Gamma,\mathcal{O}))$ は、確率が1に近づくに従い、正の定数 $C_2$ で下から抑えられる。
• 系統長 $\text{syst}(S^C(\Gamma,\mathcal{O}))$ は、確率が1に近づくに従い、正の定数 $C_3$ で下から抑えられる。
• 表面 $S^C(\Gamma,\mathcal{O})$ の直径は、確率が1に近づくに従い、$C_4 \log(\text{生成り})$ で上から抑えられる。
• 短い測地線と小さなカスプは正の漸近的確率で現れるが、確率的3-正則グラフにおけるサイクル構造の漸近的独立性により、通常は互いに離れている。