[논문 리뷰] Maximal subgroups of countable groups, a survey

Tsachik Gelander, Yair Glasner외 1명|arXiv (Cornell University)|2019. 09. 20.

Finite Group Theory Research참고 문헌 33인용 수 4

한 줄 요약

유한 생성된 선형군 중에서 거의 아벨이 아닌 군들은 프로파일리 밀도 자유 부분군과 조른의 보조정리(제론의 보조정리)를 이용하여 무한 지수의 극대 부분군을 가짐을 보여준다. 이 논문은 가чёт한 원시 선형군을 거의 단순형으로 특성화하고, 톰슨의 군 F와 국소 유한 단순군을 포함한 비선형 군으로 이 이론을 확장하여, 무한 지수 극대 부분군과 전이적 작용의 풍부한 구조를 드러낸다.

ABSTRACT

This paper is a survey on the works [MS77, MS79, MS81] on maximal subgroups in finitely generated linear groups, and the works that followed it [GG08, GG13b, GG13a, Kap03, Iva92, HO16, GM16, AGS14, Sf90, Sf98, Per05, AKT16, FG18, GS17] concerning maximal subgroups of infinite index in linear groups as well as in various other groups possessing a suitable geometry or dynamics.

연구 동기 및 목표

• 유한 생성된 원시 선형군을 특성화하고, 충실한 원시 작용을 허용하는 조건을 규명하기.
• 유한 생성된 선형군에서 무한 지수의 극대 부분군 존재 문제를 해결하기.
• 선형군을 초월하여 톰슨의 군 F와 국소 유한 단순군과 같은 비선형 환경으로 극대 부분군 이론을 확장하기.
• 특히 음의 곡률 및 원 또는 정규 트리 환경에서의 작용의 전이도를 조사하기.
• 특히 비근접성 및 최소 동역학계에서의 고전이 전이의 장애 요소를 규명하기.

제안 방법

• 비거의 아벨이 아닌 선형군에서 프로파일리 밀도 자유 부분군을 사용하여 조른의 보조정리를 통해 무한 지수의 극대 부분군을 구성하기.
• 특히 원시성과 준원시성에 초점을 맞춘 순열군 이론을 도입하여 극대 부분군 문제를 코셋 공간 위의 작용으로 재구성하기.
• 음의 곡률 환경에서 티츠의 대안과 핑퐁 다이내믹스를 적용하여 고전이 전이 작용을 구성하기.
• 특히 정상 위상(정상 위상)을 포함한 군 위상수학을 활용하여 원시성 및 극대성 조건을 분석하기.
• 스코티 시스템과 SL_n(Z) 내의 유니포텐트 원소를 이용한 예제 구성으로 극대 부분군의 수를 세기.
• 특히 원 또는 트리 경계 작용에서의 기하학적 및 동역학적 조건—근접성, 최소성, 비자유 작용—을 활용하여 전이도의 상한을 구하기.

실험 결과

연구 질문

• RQ1 유한 생성된 선형군이 무한 지수의 극대 부분군을 갖는 조건은 무엇인가?
• RQ2 어떤 가чёт한 선형군이 충실한 원시 작용 또는 고전이 전이 작용을 갖는가?
• RQ3 원 또는 정규 트리 위에서의 군 작용에서 고전이 전이의 구조적 및 동역학적 장애 요소는 무엇인가?
• RQ4 톰슨의 군 F나 국소 유한 단순군과 같은 비선형 군이 무한 지수의 극대 부분군을 갖는가?
• RQ5 어떤 조건에서 어떤 집합 위의 충실한 작용이 기하학적 작용(예: S^1 또는 ∂T)의 궤도와 동치가 되는가?

주요 결과

• 유한 생성된 선형군이 무한 지수의 극대 부분군을 갖는다 하면, 그 군은 거의 아벨이 아닐 것임이 필요충분조건이다.
• 거의 단순형인 가чёт한 선형 비순환군은 원시적이며, 무수히 많은 서로 동치가 아닌 충실한 원시 작용을 갖는다.
• 톰슨의 군 F는 무수히 많은 무한 지수의 극대 부분군을 가지며, 궤도의 기준점에 따라 유한 생성되기도 하고, 그렇지 않기도 하다.
• 군 $\vec{F} < F$ 는 무한 지수의 극대 부분군이자 유한 생성된 부분군으로서, 고전이 전이 부분군의 구체적 예를 제공한다.
• S^1 에 대해 최소성과 근접성을 갖는 군 작용에서 서로 다른 점의 안정화군을 갖는 경우, 모든 충실한 3중 전이 작용은 궤도 작용과 동치이며, 따라서 4중 전이 작용은 존재하지 않는다.
• 비형식 선형군이 아닌 국소 유한 단순군은 모든 유한부분군이 진부분군에 포함되며, 원시군 분류의 핵심 케이스를 해결한다.