[논문 리뷰] Almost all one-relator groups with at least three generators are residually finite

Mark Sapir, Iva Špakulová|ArXiv.org|2008. 09. 26.

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

한 줄 요약

이 논문은 세 개 이상의 생성자를 가진 거의 모든 일-relator 군이 임의의 큰 소수 p에 대해 잔여 유한성, 거의 항상 잔여 유한성(유한 p)-군이며, 일관성 있음을 증명한다. 이를 위해 이러한 군들이 거의 확실히 자유군의 상승 HNN 확장에 임베드된다는 것을 보이며, 조합적 군론과 확률적 방법을 결합한다. 이는 브라운 운동 결과와 자유군 위의 비후퇴 랜덤 워크를 포함하며, 기하 군론과 대수적 기하학의 깊이 있는 결과를 활용하여 일반적인 유한성 성질을 확립한다.

ABSTRACT

We prove that with probability tending to 1, a 1-relator group with at least 3 generators and relator of length n is residually finite, virtually residually (finite p)-group for all sufficiently large p, and coherent. The proof uses both combinatorial group theory and non-trivial results about Brownian motions, bridges and excursions in R^k.

연구 동기 및 목표

• 적어도 세 개의 생성자를 가진 1-relator 군의 일반적인 잔여 유한성 및 일관성 성질을 규명하는 것.
• 이러한 군들이 거의 확실히 자유군의 상승 HNN 확장에 임베드된다는 것을 입증하여, 알려진 유한성 성질을 가진 핵심적인 구조적 클래스를 확보하는 것.
• 세 가지 확률 모델(NR, CR, IC) 하에서 랜덤 1-relator 군의 渐近 행동을 분석하여, 확률이 1로 수렴함을 보이는 것.
• 특히 3개 이상의 생성자를 가진 경우에 잔여 유한성이 일반적으로 성립하는지 여부를 해결하는 것.
• 확률적 및 기하 기법을 활용하여 1-relator 군의 동형 문제 및 구조적 성질에 대한 이해를 확장하는 것.

제안 방법

• k ≥ 3인 생성자와 길이 r인 relator를 가진 랜덤 1-relator 군을 정의하기 위해 세 가지 확률 모델(NR, CR, IC)을 사용하며, r → ∞일 때 확률의 극한을 분석한다.
• Feighn과 Handel의 자유군의 상승 HNN 확장에 대한 일관성 결과를 기하 군론의 결과로 적용한다.
• Borisov와 Sapir의 결과를 활용하여 이러한 HNN 확장이 큰 소수 p에 대해 잔여 유한성과 거의 항상 잔여 유한성(유한 p)-군임을 보인다.
• Cranston, Hsu, March의 결과를 활용하여 위너 측도 하에서 브라운 운동 경로의 볼록 껍질 경계의 매끄러움을 분석하여 랜덤 워크 기하학을 연구한다.
• Olshanskii의 초구형 군에 대한 합동 확장 성질과 Kapovich-Schupp-Shpilrain의 1-relator 군에서 일반적인 동형 문제 해결 가능성 결과를 적용한다.
• 자유군 위의 비후퇴 랜덤 워크를 사용하며, '나쁜' 워크(해당 van Kampen 다이어그램의 0-셀로의 유일한 사영이 없는 워크)를 정의하고, k > 2일 경우 그 확률이 0으로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 k ≥ 3인 생성자를 가진 랜덤 1-relator 군이 잔여 유한성이 되는 점점 커지는 확률은 무엇인가요?
• RQ2 k ≥ 3인 생성자를 가진 랜덤 1-relator 군이 자유군의 상승 HNN 확장에 확률 1에 가까이 임베드될 수 있나요?
• RQ3 k ≥ 3인 생성자를 가진 1-relator 군의 일반적 행동이 relator 길이가 증가함에 따라 일관성과 잔여 유한성을 유도하는가요?
• RQ4 왜 2-생성자 케이스는 일반 행동에서 다릅니다? 이 경우에도 잔여 유한성이 확률 1로 유지될 수 있나요?
• RQ5 모든 형태 H(k,i,w)의 HNN 확장이 잔여 유한성이며, 이는 2-생성자 1-relator 군의 일반적인 잔여 유한성으로 이어지는가요?

주요 결과

• relator 길이 r → ∞일 때, 거의 모든 k-생성자 1-relator 군(k ≥ 3)이 유한 생성 자유군의 상승 HNN 확장에 임베드된다.
• 그 결과, 이러한 군들은 거의 확실히 잔여 유한성이며, 모든 충분히 큰 소수 p에 대해 거의 항상 잔여 유한성(유한 p)-군이 된다.
• k > 2인 랜덤 k-생성자 1-relator 군이 '나쁜' 군일 확률—즉, 관련 van Kampen 다이어그램에서 0-셀로의 유일한 사영이 없는 경우—는 점점 커짐에 따라 0으로 수렴한다.
• 이 결과는 비잔여 유한성을 유지하기 위해 relator 길이 증가를 보상하는 추가 상수를 유계로 둘 수 없다는 것을 시사하며, Baumslag-Miller-Traeger의 추측과 모순된다.
• k ≥ 3일 경우, 세 가지 확률 모델(NR, CR, IC) 전반에서 잔여 유한성과 일관성의 확률이 1로 수렴한다. 이는 극한 확률이 동치이기 때문이다.
• 2-생성자 케이스는 여전히 미해결이지만, 경험적 증거와 이론적 연구는 H(k,i,w) 확장이 일반적임을 시사하며, 그 잔여 유한성이 성립한다면 이는 해당 케이스에서 일반적인 잔여 유한성으로 이어질 것이다.