[논문 리뷰] Tubular free by cyclic groups and the strongest Tits alternative

J. O. Button|arXiv (Cornell University)|2015. 10. 20.

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

한 줄 요약

이 논문은 위즈의 균형 집합 기준을 통해 관류 자유-순환 군이 CAT(0) 큐브 복합체 위에 자유롭게 작용함을 입증하고, 가상으로 가장 강력한 티츠 대안을 만족함을 보이며, 이는 모든 부분군이 비아벨 자유군으로의 상사상이 있거나 토픽 자유 아벨 군임을 의미한다. 게르스텐 군은 이와 같은 군의 첫 번째 알려진 예로, 가상으로 특수하지도 아니며 가상으로 잔여 자유군이 아니지만 여전히 가상으로 가장 강력한 티츠 대안을 만족한다.

ABSTRACT

We show, using Wise's equitable sets criterion, that every tubular free by cyclic group acts freely on a CAT(0) cube complex. We also show that these groups have a finite index subgroup satisfying the strongest Tits alternative, which means that every subgroup either surjects a non abelian free group or is torsion free abelian. In particular the Gersten group is the first known group virtually having this property but which is not virtually special nor virtually residually free.

연구 동기 및 목표

• 관류 자유-순환 군이 CAT(0) 큐브 복합체 위에 자유롭게 작용하는지 확인하는 것.
• 이 군들이 가상으로 특수하거나 잔여 자유군이 아니더라도 가장 강력한 티츠 대안을 만족하는지 조사하는 것.
• 가상으로 특수하지도 아니며 가상으로 잔여 자유군이 아니지만 여전히 가상으로 가장 강력한 티츠 대안을 만족하는 첫 번째 예를 규명하는 것.
• 모든 간선 군에서 비영인 호모모르피즘을 갖는 ℤ로의 사상으로 관류 군이 자유-순환임을 특징짓는 것.
• CAT(0) 큐브 복합체 위의 기하적 작용과 가장 강력한 티츠 대안과 같은 강력한 군론적 성질 간의 관계를 탐색하는 것.

제안 방법

• 위즈의 균형 집합 기준을 사용하여 관류 자유-순환 군이 CAT(0) 큐브 복합체 위에 자유롭게 작용함을 증명하는 것.
• 모든 간선 군에서 비영인 호모모르피즘을 갖는 ℤ로의 사상을 구성하여 관류 군이 자유-순환임을 특징짓는 것.
• 균형 집합 조건을 적용하여 이러한 군이 CAT(0) 큐브 복합체 위의 자유 작용 조건을 만족함을 보이는 것.
• 구조적 군론적 분석을 통해 최대 간선 포함을 갖는 관류 군이 가상으로 가장 강력한 티츠 대안을 만족함을 증명하는 것.
• 유한 커버를 사용하여 최대 간선 포함의 경우로 감소시켜, 정리 3.7의 적용을 가능하게 하는 것.
• 모든 자유-순환 관류 군이 최대 간선 포함을 갖는 유한 커버를 갖는다는 사실을 활용하여 일반 경우로 결과를 확장하는 것.

실험 결과

연구 질문

• RQ1 모든 관류 자유-순환 군이 CAT(0) 큐브 복합체 위에 자유롭게 작용하는가?
• RQ2 가상으로 특수하거나 가상으로 잔여 자유군이 아니더라도 가장 강력한 티츠 대안을 가상으로 만족할 수 있는가?
• RQ3 가상으로 특수하지는 않지만 여전히 가상으로 가장 강력한 티츠 대안을 만족하는 군이 존재하는가?
• RQ4 최대 간선 포함은 가장 강력한 티츠 대안이 가상으로 성립하도록 보장하는 데 어떤 역할을 하는가?
• RQ5 CAT(0) 큐브 복합체 위의 기하적 작용은 가장 강력한 티츠 대안과 같은 강력한 군론적 성질과 어떻게 관련이 있는가?

주요 결과

• 위즈의 균형 집합 기준을 통해 모든 관류 자유-순환 군이 CAT(0) 큐브 복합체 위에 자유롭게 작용함이 입증되었다.
• 게르스텐 군은 가상으로 특수하지도 아니며 가상으로 잔여 자유군이 아니지만 여전히 가상으로 가장 강력한 티츠 대안을 만족하는 첫 번째 알려진 예이다.
• 최대 간선 포함을 갖는 모든 관류 군은 유한 지수 부분군에서 가장 강력한 티츠 대안을 만족한다.
• 가장 강력한 티츠 대안을 만족하는 유한 지수 부분군은 명시적으로 구성되었으며, 게르스텐 군의 경우 지수 4이다.
• 우드하우스 군 및 기타 예시들은 유한 차원 CAT(0) 큐브 복합체 위에 자유롭게 작용하지 않지만 여전히 가장 강력한 티츠 대안을 만족하는 유한 지수 부분군을 갖는 것으로 밝혀졌다.
• 논문은 기하적 큐브화 없이도 가장 강력한 티츠 대안을 확립할 수 있음을 규명하여, 군론적 성질이 기하적 작용과 독립적으로 유도될 수 있음을 보였다.