[논문 리뷰] Random graphs of free groups contain surface subgroups

Danny Calegari, Henry Wilton|arXiv (Cornell University)|2013. 03. 11.

Geometric and Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 길이 n인 호모모르피즘을 통해 간선 군을 정점 군에 무작위로 매핑함으로써 구성된 자유군의 무작위 그래프가, n이 증가함에 따라 닫힌 표면 부분군을 포함할 확률이 1에 수렴함을 증명한다. 증명은 허위로 접힌 피카드 그래프와 의사난수 경계 조건을 기반으로 하는 구조적 방법에 의존하며, 이는 임의의 호모모르피즘 하에서 암시적 자유군의 합성군과 HNN 확장에서 이러한 표면 부분군의 존재를 보장한다.

ABSTRACT

A random graph of free groups contains a surface subgroup

연구 동기 및 목표

• 무작위 자유군 그래프의 특수한 경우에서 그로모프의 표면 부분군 문제를 해결하기 위해.
• 무작위 자유군 그래프가 초평면적이고 가상으로 특수함을 띠며, 소작렬 조건을 만족함을 보여주기 위해.
• 고확률로 이러한 그래프에 닫힌 표면 부분군을 명시적으로 임베딩할 수 있는 구조적 방법을 제공하기 위해.
• 큐불레이티드이자 가상으로 특수한 군에 관한 기존 결과를 확장하여, 임의의 구성 하에서 표면 부분군이 존재함을 보여주기 위해.
• 무작위 자유군 그래프 내에 무한히 많은 서로 다른 표면 부분군이 존재함을 증명하기 위해.

제안 방법

• 간선 군에서 정점 군으로의 길이 n의 무작위 호모모르피즘을 사용하여 무작위 자유군 그래프를 정의한다.
• 지정된 경계 단어를 가진 접힌 피카드 그래프를 사용하여 표면 부분군을 구성하며, 이는 (T,ε)-의사난수 조건을 만족한다.
• 캘리가리–월커(2013)의 상승 HNN 확장에서 단사 표면 부분군에 관한 결과를 무작위 그래프 설정에 적용한다.
• 접힌 피카드 그래프의 국소 조합 조건을 통해 표면 부분군의 단사성을 확인한다.
• 무작위 호모모르피즘이 고확률로 C′(λ) 소작렬 조건을 만족함을 활용하여 초평면성을 보장한다.
• 특정 케이스에서 이러한 표면 부분군의 존재를 실험적으로 검증하기 위해 프로그램 scallop을 사용한다.

실험 결과

연구 질문

• RQ1 무작위 자유군 그래프는 고확률로 닫힌 표면 부분군을 포함하는가?
• RQ2 무작위 자유군 그래프에 표면 부분군을 명시적으로 구축할 수 있는 구조적 방법이 존재하는가?
• RQ3 접힌 피카드 그래프에 대한 어떤 의사난수 조건이 단사 표면 부분군의 존재를 보장하는가?
• RQ4 무작위 호모모르피즘의 길이 n이 증가함에 따라 표면 부분군을 포함할 확률은 어떻게 변화하는가?
• RQ5 무작위 자유군 그래프는 어느 정도의 소작렬 조건과 가상 특수성 성질을 만족하는가?

주요 결과

• 무작위 자유군 그래프는 n → ∞ 일 때 확률 1 - O(e^(-Cn))로 닫힌 표면 부분군을 포함한다.
• 표면 부분군의 구성은 명시적이며, 접힌 피카드 그래프의 국소 조합 조건에 의해 확인된다.
• 길이 n인 무작위 호모모르피즘은 임의의 λ > 0에 대해 확률 1 - O(e^(-Cn))로 소작렬 조건 C′(λ)를 만족한다.
• 증명은 단일 무작위 자유군 그래프 내에 무한히 많은 서로 다른 표면 부분군을 도출한다.
• 결과는 많은 초평면 군—예를 들어 C′(1/6) 군과 밀도 <1/6에서의 무작위 군—이 표면 부분군을 포함함을 시사한다.
• 이 방법들은 프로그램 scallop과 호환되어 표면 부분군 임베딩의 계산적 검증이 가능하다.