[논문 리뷰] On strongly just infinite profinite branch groups

François Le Maı̂tre, Phillip Wesolek|arXiv (Cornell University)|2015. 10. 06.

Advanced Topology and Set Theory참고 문헌 32인용 수 5

한 줄 요약

이 논문은 강한 유계성 성질(예: Bergman 성질, 비가산 초월성, Cayley 유계성)과 프로파일리브 브랜치 군에서의 자동 연속성 성질 사이의 포괄적인 동치성을 확립한다. 강한 just infinite 프로파일리브 무한 브랜치 군에 대해 이러한 조합론적 유계성 조건들이 가산 지수 성질, 약한 Steinhaus 성질, 정규 가산 지수 성질과 동치임을 증명한다. 핵심 기여는 비이산적이고 컴팩트 생성이며 국소적으로 컴act하며 단순한 폴란드 군의 새로운 클래스를 제시하는 것으로, 이는 Burger–Mozes 보편 군이다. 이러한 군들은 강력한 자동 연속성 성질을 지닌다. 이는 이론적으로 이전에 알려진 이산 군에 대한 장기적인 질문에 대해 부정적인 답변을 제공하며, 비이산 설정에서 이러한 예가 처음으로 제시된다.

ABSTRACT

For profinite branch groups, we first demonstrate the equivalence of the Bergman property, uncountable cofinality, Cayley boundedness, the countable index property, and the condition that every non-trivial normal subgroup is open; compact groups enjoying the last condition are called strongly just infinite. For strongly just infinite profinite branch groups with mild additional assumptions, we verify the invariant automatic continuity property and the locally compact automatic continuity property. Examples are then presented, including the profinite completion of the first Grigorchuk group. As an application, we show that many Burger-Mozes universal simple groups enjoy several automatic continuity properties.

연구 동기 및 목표

• 조합론적 유계성과 자동 연속성 성질을 통해 강한 just infinite 프로파일리브 브랜치 군을 특성화하기.
• 이 클래스에서 Bergman 성질, 비가산 초월성, Cayley 유계성, 그리고 다양한 자동 연속 조건 사이의 완전한 동치성을 확립하기.
• 결과를 Burger–Mozes 보편 단순 군에 적용하여, 이들이 강력한 자동 연속성 성질을 지닌다는 것을 보여주기.
• 이러한 보편 군에서 공명된 부분군을 분류하여 구조적 강성(structural rigidity)을 드러내기.
• 강력한 자동 연속성 성질을 지닌 비이산적이고 컴팩트 생성이며 국소적으로 컴팩트한 폴란드 군, 단순 군의 첫 번째 예를 제공하기.

제안 방법

• 강한 just infinite 프로파일리브 무한 브랜치 군을 강성 안정자 군의 열린 유도부군을 통해 특성화하기 위해 유도부군 기준을 사용하기.
• Bergman 성질, 비가산 초월성, Cayley 유계성, 약한 Steinhaus, 가산 지수, 정규 가산 지수, FA, 그리고 열린 유도부군을 포함한 9개 조건 간의 동치성을 확립하기.
• 약간의 가정(지역 뒤섞임, 균일한 유도부군 너비) 하에 불변 자동 연속성 성질과 국소적으로 컴팩트한 자동 연속성 성질을 적용하기.
• 반복된 와이어드 곱의 순열군과 동형인 컴팩트 열린 부분군을 구성하여 기존의 유계성 결과로의 환원 가능성을 확보하기.
• Bergman 성질과 공명된 부분군 기법을 사용하여 Burger–Mozes 군에서의 부분군을 분류하기.
• 프로파일리브 무한 브랜치 군이 유일한 폴란드 군 위상과 가지며, 강한 just infinite 군은 이산 위상과 프로파일리브 위상 외에 국소적으로 컴팩트 위상이 유일하게 두 개인다는 사실을 활용하기.

실험 결과

연구 질문

• RQ1 프로파일리브 브랜치 군에서 Bergman 성질, 비가산 초월성, Cayley 유계성, 가산 지수 성질이 서로 동치인가?
• RQ2 약간의 가정(지역 뒤섞임, 균일한 유도부군 너비) 하에, 강한 just infinite 프로파일리브 브랜치 군에서 불변 자동 연속성 성질과 국소적으로 컴팩트한 자동 연속성 성질을 확립할 수 있는가?
• RQ3 Burger–Mozes 보편 단순 군 U(F)+는 강력한 자동 연속성 성질을 지니는가?
• RQ4 이러한 보편 군에서 공명된 부분군의 구조는 어떠한가?
• RQ5 강력한 자동 연속성 성질을 지닌 비이산적이고 컴팩트 생성이며 국소적으로 컴팩트한 폴란드 군, 단순 군을 구성할 수 있는가?

주요 결과

• 강한 just infinite 프로파일리브 무한 브랜치 군에 대해, Bergman 성질, 비가산 초월성, Cayley 유계성, 약한 Steinhaus 성질, 가산 지수 성질이 모두 동치이다.
• 약간의 가정(지역 뒤섞임, 균일한 유도부군 너비) 하에, 이러한 군은 불변 자동 연속성 성질과 국소적으로 컴팩트한 자동 연속성 성질도 지닌다.
• 첫 번째 그리고초크 군의 프로파일리브 완비화는 강한 just infinite 프로파일리브 무한 브랜치 군이므로, 위의 모든 동치 성질을 만족한다.
• d ≥ 6 이고 F가 완전하며, 2-전이성이고 점 안정자군으로 생성되는 경우, Burger–Mozes 보편 단순 군 U(F)+는 가산 지수 성질, 불변 자동 연속성, 국소적으로 컴팩트한 자동 연속성을 지닌다.
• 이러한 U(F)+의 모든 공명된 부분군은 유한하거나 컴팩트이고 열린 경우이거나 전체 군과 동일하다. 이는 강력한 구조적 강성(structural rigidity)을 시사한다.
• 결과적으로, 강력한 자동 연속성 성질을 지닌 비이산적이고 컴팩트 생성이며 국소적으로 컴팩트한 폴란드 군, 단순 군의 첫 번째 알려진 예를 제공한다.