[논문 리뷰] Algebraic properties of profinite groups

Nikolay Nikolov|arXiv (Cornell University)|2011. 08. 25.

Finite Group Theory Research참고 문헌 69인용 수 12

한 줄 요약

이 논문은 유한군의 유계 곱 분해로부터 유도되는 위상군에서의 핵심 성질을 갖는 프로피니트 군의 대수적 구조에 대한 최근 발전을 조사한다. 프로피니트 완비화, 부분군 성장, 랭크 기울기, 측정 가능한 군 작용에서의 비용 사이의 연결고리를 설정하며, 핵심 기여로는 고정 비용 추측을 통해 랭크 기울기와 비용을 연결하는 것이다.

ABSTRACT

Recently there has been a lot of research and progress in profinite groups. We survey some of the new results and discuss open problems. A central theme is decompositions of finite groups into bounded products of subsets of various kinds which give rise to algebraic properties of topological groups.

연구 동기 및 목표

• 유한군의 유계 곱 분해로부터 유도되는 프로피니트 군의 대수적 구조에 대한 최근 발전을 조사하는 것.
• 유한 생성 잔여 유한 군의 완비화로 나타나는 프로피니트 군은 무엇이며, 이러한 성질을 가로막는 장애 요소는 무엇인지 규명하는 것.
• 유한 생성 군의 랭크 기울기와 그 프로피니트 완비화 위에서의 작용에 대한 비용 사이의 관계를 탐구하는 것.
• 고정 비용 추측이 3차원 다각형 군에서의 랭크 기울기와 부분군 성장에 미치는 영향을 검토하는 것.
• 특히 최소 생성 집합과 부분군 성장에 있어, 프로피니트 완비화가 추상 군을 어느 정도 결정하는지 명확히 하는 것.

제안 방법

• 잔여 유한 군의 프로피니트 위상 구조를 활용하여, 유한군의 역극한을 이용해 프로피니트 군을 구성하는 것.
• Lazard, Mann, Lubotzky에 의해 확립된 바, p-진 해석적 군의 특성화를 유한 랭크(Prüfer 랭크)를 통해 적용하는 것.
• 특히 다항식 부분군 성장 이론을 활용하여 프로피니트 완비화의 구조를 분석하는 것.
• 랭크 기울기 공식을 사용: RG(Γ, (Γi)) = cost(Γ, Ĝ) − 1, 여기서 Ĝ는 Γ의 프로피니트 완비화이다.
• Γ가 자신의 프로피니트 완비화 Ĝ 위에서 왼쪽 곱셈으로 작용하는 방식을 분석하여, 랭크 기울기를 측정 가능한 군 불변량과 연결하는 것.
• 특히 Gaboriau의 비용 이론을 포함한 측정 가능한 군 이론의 결과를 활용하여, 대수적 불변량과 동역학적 성질을 연결하는 것.

실험 결과

연구 질문

• RQ1 어떤 프로피니트 군이 유한 생성 잔여 유한 군의 프로피니트 완비화로 나타나는가?
• RQ2 프로피니트 군의 완비화가 그 추상 군의 구조를 어느 정도 결정하는가, 특히 최소 생성 집합에 관해 말이다?
• RQ3 랭크 기울기는 프로피니트 완비화 위에서의 측정 가능한 군 작용의 비용과 어떻게 관련되어 있는가?
• RQ4 고정 비용 추측이 정규 체인의 교차가 자명한 경우 랭크 기울기가 선택에 관계없이 일정하다는 것을 의미하는가?
• RQ5 하이퍼볼릭 3차원 다각형 군의 랭크 기울기는 그 헤가드 성질에 비해 임의로 작아질 수 있는가?

주요 결과

• 모든 프로피니트 군이 유한 생성 잔여 유한 군의 프로피니트 완비화로 나타나지 않는다; 예를 들어, 빠르게 증가하는 소수 pᵢ에 대해 ∏PSL₂(pᵢ)는 그러하지 않다.
• 다항식 부분군 성장을 갖는 유한 생성 군의 프로피니트 완비화는 반드시 유한 랭크의 가역적 군이어야 하며, 이는 특정한 무한 곱을 배제한다.
• 정규 체인 (Γᵢ)에 대해 군 Γ의 랭크 기울기는 cost(Γ, Ĝ) − 1과 같다. 여기서 Ĝ는 Γ의 프로피니트 완비화이다.
• 고정 비용 추측이 참이라면, 랭크 기울기가 교차가 자명한 정규 체인의 선택에 관계없이 일정함을 의미한다.
• 정리 52는 임의의 n ∈ ℕ에 대해, g(M) − d(π₁(M)) > n를 만족하는 닫힌 하이퍼볼릭 3차원 다각형 M이 존재함을 확인하여, 헤가드 성질과 최소 생성 수 사이의 격차가 임의로 클 수 있음을 보여준다.
• 모든 프로피니트 군이 유한 생성 군의 완비화로 나타난다는 추측은 반례들(예: ℤₚ)에 의해 실패함을 보여준다.