[논문 리뷰] Detecting large groups

Marc Lackenby|ArXiv.org|2007. 02. 20.

Finite Group Theory Research참고 문헌 5인용 수 6

한 줄 요약

이 논문은 유한형성된 군의 크기 성질이 프로피-완비 및 프로-$p$ 완비화, $L^2$-베티 수, 유한지수부군에서의 호모로지 성장에 의해 감지될 수 있음을 밝힌다. 핵심 기여는 동형인 프로피-완비 또는 프로-$p$ 완비화가 존재할 경우 동등한 크기 성질을 가짐을 증명한 것으로, 이는 새로운 감지 기준과 약파프리 및 3차원 다면체 군에 대한 응용을 가능하게 한다.

ABSTRACT

Let G be a finitely presented group, and let p be a prime. Then G is 'large' (respectively, 'p-large') if some normal subgroup with finite index (respectively, index a power of p) admits a non-abelian free quotient. This paper provides a variety of new methods for detecting whether G is large or p-large. These relate to the group's profinite and pro-p completions, to its first L2-Betti number and to the existence of certain finite index subgroups with 'rapid descent'. The paper draws on new topological and geometric techniques, together with a result on error-correcting codes.

연구 동기 및 목표

• 직접적인 부분군 분석을 초월한 대수적 불변량을 사용하여, 유한형성 군이 크기 있는지 여부를 감지하는 새로운 기준을 개발하는 것.
• 크기 성질이 프로피-완비 및 프로-$p$ 불변량임을 입증하여, 동형인 완비화가 동등한 크기 성질을 가짐을 의미하는 것.
• $L^2$-베티 수와 유한지수부군에서의 호모로지 성장을 군의 크기 성질과 연결하는 것.
• 이러한 결과를 약파프리 및 3차원 다면체 군에 적용하여, 특정 위상적 및 코homological 조건 하에서 크기 성질을 증명하는 것.
• 호모로지 성장과 완비화 불변량의 개념을 통해 군 이론, 3차원 다면체 위상수학, $L^2$-불변량이라는 서로 다른 분야를 통합하는 것.

제안 방법

• Lück의 정리(유한지수정규부군에서의 일반적 첫 번째 베티 수의 渐近적 성장률과 $L^2$-베티 수의 관계)를 활용한다.
• 유한지수부군에서의 mod $p$ 호모로지의 선형 성장을 적용하여, $d_p(G_i)/[G:G_i]$의 극한을 통해 크기 성질을 감지한다.
• 정리 5.1을 활용해 정규 $p$-덮개를 통해 코사이클을 올리며, 지지 집합이 원상에 포함되고 독립 코hom로지 클래스의 수가 증가함을 보장한다.
• 정리 6.1을 사용하여 1-세포 수에 비해 지지 집합의 크기가 점점 줄어드는 코사이클 부분공간을 구성함으로써 상대적 크기가 0으로 수렴함을 보장한다.
• 시퀀스 $\{G_i\}$에 대해 빠른 감소 조건을 도입하여 $d_p(G_i)$의 성장률이 충분히 빠르게 이루어지도록 하여 크기 성질이 유도되도록 보장한다.
• 이러한 도구들을 조합하여, 호모로지 성장이 선형이고 상대적 지지 집합 크기가 0으로 수렴할 경우 군이 $p$-크기임을 보이며, 상대적 크기의 균일한 하한이 존재하지 않는 경우를 피한다.

실험 결과

연구 질문

• RQ1 유한형성 군의 크기 성질은 그 프로피-완비화로부터 감지될 수 있는가?
• RQ2 프로-$p$ 완비화가 동형일 경우, $p$-크기 성질도 동치가 되는가?
• RQ3 양의 $L^2$-베티 수는 잔여 유한성 조건 하에서 얼마나 크기 성질을 유도하는가?
• RQ4 유한지수부군에서의 호모로지 성장을 사용하여 크기 성질을 감지할 수 있으며, 이러한 감지를 보장하는 조건은 무엇인가?
• RQ5 특정 위상적 또는 대수적 조건이 3차원 다면체 군이 $p$-크기임을 유도하는가, 특히 $\mathbb{Z}_p$-코바디즘 조건 하에서 어떻게 되는가?

주요 결과

• 두 유한형성 군의 프로피-완비화가 동형일 경우, 한 군이 크기이면 다른 군 역시 크기이다.
• 소수 $p$에 대해 두 유한형성 군의 프로-$p$ 완비화가 동형일 경우, 한 군이 $p$-크기이면 다른 군 역시 $p$-크기이다.
• 양의 $L^2$-베티 수를 가지며, 가상으로 잔여 $p$-유한인 유한형성 군은 크기이다.
• 첫 번째 베티 수가 1을 초과하는 약파프리 유한형성 군은 크기이다.
• 두 닫힌 3차원 다면체가 위상적으로 $\mathbb{Z}_p$-코바디즘일 경우, 그 기본군은 동시에 $p$-크기이다.
• 유한지수부군의 중첩된 시퀀스에서 mod $p$ 호모로지의 선형 성장이 존재할 경우, 군이 크기임을 보장하며, 코hom로지 클래스의 상대적 지지 집합 크기가 0으로 수렴함을 조건으로 한다.