[논문 리뷰] Random Construction of Riemann Surfaces

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

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.

연구 동기 및 목표

• 큰 계수를 가진 컴acts 리만 곡면의 일반적인 기하학적 구조를 이해하기 위해.
• 첫 번째 고유값, 히처 상수, 시스톨, 지름과 같은 전역 기하 불변량을 제어할 수 있는 실용적인 무작위 모델을 개발하기 위해.
• 3-정규 그래프의 스펙트럼 성질을 활용하여 이 모델에서 이러한 기하 성질들이 엄격하게 제어됨을 입증하기 위해.
• 이 무작위 구성이 계수가 증가함에 따라 '큰 캐스크스' 조건을 만족할 확률이 1에 수렴함을 증명하기 위해.

제안 방법

• 각 3-정규 그래프에 방향을 부여하여 이상 초등형 삼각형을 붙여 유한 면적의 쌍곡 곡면 $S^O(\Gamma,\mathcal{O})$를 구성한다.
• 표면 $S^O(\Gamma,\mathcal{O})$의 등각적 컴acts화 $S^C(\Gamma,\mathcal{O})$를 형성하여 모듈리 공간에 밀집하는 컴팩트 리만 곡면을 얻는다.
• 그래프 $\Gamma$의 스펙트럼 갭을 이용하여 알려진 그래프-표면 스펙트럼 대응을 통해 첫 번째 고유값 $\lambda_1(S^C(\Gamma,\mathcal{O}))$를 제어한다.
• 특히 짧은 고리의 점점 증가하는 포isson 분포를 활용한 확률적 그래프 이론을 적용하여 캐스크스 기하학과 임베딩 반경을 분석한다.
• 단서 3.1(짧은 고리의 점점 증가하는 독립성)을 사용하여 $n \to \infty$일 때 큰 캐스크스를 방해하는 사건의 확률이 0으로 수렴함을 보인다.
• 히처 상수와 부피 성장의 관계를 이용하여 지름의 상한을 도출한다. 특히 $\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{genus})$로 위에서 유계이다.
• 짧은 지오데식선과 작은 캐스크스는 양의 점점 증가하는 확률로 발생하지만, 무작위 3-정규 그래프의 고리 구조가 점점 증가하는 독립성으로 인해 일반적으로 서로 멀리 떨어져 있다.