[논문 리뷰] Highly Transitive Actions of Out(Fn)

Shelly Garion, Yair Glasner|arXiv (Cornell University)|2010. 08. 03.

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

한 줄 요약

이 논문은 모든 $ n \geq 4 $에 대해 자유군 $ F_n $의 외부자기동형군 $ \operatorname{Out}(F_n) $가 가чёт한 집합 위에 충실하고 매우 전치적인 작용을 갖는다는 것을 증명한다. 이 구성은 $ F_n $에서 적절한 Tarski 고양이군 $ G $로의 군 준동형사상의 $ \operatorname{Aut}(G) $-궤도 집합 위에서 $ \operatorname{Out}(F_n) $의 작용에 기반하며, 군의 비아벨성과 군 법칙의 부재를 활용하여 모든 $ k $-튜플에 대해 완전한 전치성을 달성한다.

ABSTRACT

An action of a group on a set is called k-transitive if it is transitive on ordered k-tuples and highly transitive if it is k-transitive for every k. We show that for n>3 the group Out(Fn) = Aut(Fn)/Inn(Fn) admits a faithful highly transitive action on a countable set.

연구 동기 및 목표

• 모든 $ n \geq 4 $에 대해 $ \operatorname{Out}(F_n) $가 가чёт한 집합 위에 매우 전치적인 순열 표현을 갖는지 여부를 규명하는 것.
• $ \operatorname{Out}(F_n) $와 같이 비선형이고 비산술적인 군의 순열 표현에 대한 이해를 넓히는 것, 특히 국소적으로 컴act하지 않은 폴란드 군 작용의 맥락에서.
• 이러한 작용이 동시에 충실하고 매우 전치적이 될 수 있는지 여부를 조사하는 것, 따라서 이산적 또는 전밀집된 상(image)을 피하는 것.
• 자유군과 면군의 매우 전치적 작용에 관한 결과들을 $ \operatorname{Out}(F_n) $로 일반화할 수 있는지 탐색하는 것.

제안 방법

• 저자는 Tarski 고양이군 $ G $의 원소 $ n $-튜플에 대한 $ \operatorname{Aut}(G) $-궤도 집합 위에서 $ \operatorname{Out}(F_n) $의 충실한 작용을 구성한다. 여기서 $ G $는 유한 생성되며, 무한하고 단순하며, 모든 진부분군이 소수 차수를 갖는다.
• 그들은 $ \operatorname{Hom}(F_n, G) $를 $ G^n $으로 식별하고, $ \bar{V}_n(G) $, 즉 생성 $ n $-튜플의 $ \operatorname{Aut}(G) $-궤도 집합으로의 $ \operatorname{Out}(F_n) $의 작용을 고려한다.
• 핵심 기술적 도구는 $ \operatorname{Out}(G) = \langle e \rangle $인 Tarski 고양이군 $ G $의 사용으로, 이는 작용이 잘 정의되고 충실함을 보장한다.
• 증명은 $ F_n $의 적절한 자기동형사상들을 구성하여 생성 $ n $-튜플를 제어 가능한 방식으로 치환함으로써, 모든 $ k $에 대해 작용이 $ k $-전치적임을 보이는 데 기반한다.
• 저자들은 $ F_n $의 단어 사상과 관계를 분석하여 작용을 분석하며, 만약 어떤 단어 $ w_i^u $가 $ V_2(G) $ 위에서 항등적으로 0이면, 작용이 반드시 $ \operatorname{Out}(F_n) $를 통해 인식되어야 한다는 사실을 이용한다.
• 충실성은 $ G $가 비자명한 군 법칙을 만족하지 않기 때문에, $ \operatorname{Out}(F_n) $의 비자명한 원소가 $ \bar{V}_n(G) $ 위에서 자명하게 작용할 수 없다는 점을 보여서 확립한다.

실험 결과

연구 질문

• RQ1 $ \operatorname{Out}(F_n) $가 $ n \geq 4 $일 때 가чёт한 집합 위에 충실하고 매우 전치적인 작용을 갖는가?
• RQ2 이러한 작용은 Tarski 고양이처럼 비아벨적이고 단순한 군으로의 준동형사상들을 통해 구성될 수 있는가?
• RQ3 $ \operatorname{SL}_n(\mathbb{Z}) $는 $ \operatorname{Out}(F_n) $의 결과와 유사하게 밀도가 높은 상을 갖는 매우 전치적 순열 표현을 갖는가?
• RQ4 $ \operatorname{Out}(F_3) $와 $ \operatorname{Out}(F_2) $의 전치성 성질은 무엇이며, 이들은 매우 전치적 작용을 갖는가?
• RQ5 표면의 매핑 클래스 군은 매우 전치적 작용을 갖는가, 아니면 큰 $ k $에 대해 $ k $-전치적 작용을 갖는가?

주요 결과

• 모든 $ n \geq 4 $에 대해 $ \operatorname{Out}(F_n) $는 가чёт한 집합 위에 충실하고 매우 전치적인 작용을 갖는다. 즉, 모든 $ k \geq 1 $에 대해 서로 다른 원소의 $ k $-튜플 전체에 대해 전치적으로 작용한다.
• 작용은 Tarski 고양이군 $ G $의 생성 $ n $-튜플의 $ \operatorname{Aut}(G) $-궤도 집합 $ \bar{V}_n(G) $ 위에서 $ \operatorname{Out}(F_n) $의 작용을 통해 실현된다.
• 충실성은 $ G $가 비자명한 군 법칙을 만족하지 않기 때문에 보장되며, 이는 $ F_n $의 자명한 자기동형사상만이 $ \bar{V}_n(G) $ 위에서 자명하게 작용한다는 것을 의미한다.
• 현재 기법으로는 $ n = 2 $와 $ n = 3 $일 때는 구성이 실패한다. 이는 레이마 11의 조건 3의 $ 3 \times 3 $-해석이 현재 기법으로는 충족될 수 없기 때문이다.
• 이 결과는 $ n \geq 4 $일 때 $ \operatorname{Out}(F_n) $에 대해 알려진 바 없는 첫 번째 충실한 매우 전치적 작용의 예를 제공하며, $ \operatorname{SL}_n(\mathbb{Z}) $의 유사한 결과 이전에 나온다.
• 논문은 일반적인 동치관계를 확립한다: 임의의 유한 생성 군 $ G $에 대해, $ \operatorname{Out}(F_n) $가 $ \operatorname{Aut}(G) $-궤도 위에서 $ \operatorname{Hom}(F_n, G) $에 충실하게 작용하는 것은 $ n $이 충분히 클 때, $ G $가 군 법칙을 만족하지 않을 때이고, 그 역도 성립한다.