[논문 리뷰] Characterizing linear groups in terms of growth properties

Khalid Bou-Rabee, D. B. McReynolds|arXiv (Cornell University)|2014. 03. 05.

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

한 줄 요약

이 논문은 초구형 군에서 선형성은 두 잔여 유한성 함수의 다항수렴 속도에 의해 특징지어진다는 것을 입증한다: 하나는 유한체 위에서의 선형 표현의 최소 크기를 측정하는 함수($\operatorname{F}_{\Gamma,\operatorname{L}}(m)$)이고, 다른 하나는 유한 단순군 몫의 최소 크기를 측정하는 함수($\operatorname{F}_{\Gamma,\operatorname{S}}(m)$)이다. 핵심 결과는 이러한 함수 중 어느 하나에서 다항수렴이 발생하는 것은 체 위에 자명하지 않은 선형 표현이 존재한다는 것과 동치임을 보여준다.

ABSTRACT

Residual finiteness growth measures how well-approximated a group is by its finite quotients. We prove that some related growth functions characterize linearity for a class of groups including all hyperbolic groups.

연구 동기 및 목표

• 초구형 군에서 잔여 유한성 함수의 수렴 속도를 이용해 선형성이 언제 성립하는지 특징짓는다.
• $\operatorname{F}_{\Gamma,\operatorname{L}}(m)$ 또는 $\operatorname{F}_{\Gamma,\operatorname{S}}(m)$의 다항수렴이 자명하지 않은 선형 표현의 존재를 이끌어내는 것을 확립한다.
• 체의 특성에 의존하지 않는 초구형 군에 대한 선형성의 군론적 특징을 제공한다.
• 초등적 곱과 표현 이론을 사용하여 수렴 기반 기준과 선형 표현 가능성의 통합을 이룬다.

제안 방법

• 비자명한 원소 $\gamma\in\Gamma$ 를 탐지하는 유한 몫, 선형군, 유한 단순군의 최소 크기를 측정하는 세 함수 $\operatorname{D}_{\Gamma}(\gamma)$, $\operatorname{L}_{\Gamma}(\gamma)$, $\operatorname{S}_{\Gamma}(\gamma)$ 를 정의한다.
• 단어 길이 $\leq m$ 인 원소들에 대해 $\operatorname{L}_{\Gamma}(\gamma)$ 및 $\operatorname{S}_{\Gamma}(\gamma)$ 의 최댓값으로서 $\operatorname{F}_{\Gamma,\operatorname{L}}(m)$ 및 $\operatorname{F}_{\Gamma,\operatorname{S}}(m)$ 를 정의한다.
• 초등적 곱 기법과 유계 프로젝티브 랭크 조건을 사용하여, 제어된 표현 수렴을 갖는 유한군의 수열로부터 자명하지 않은 선형 표현을 구성한다.
• 유한 지수 정규부분군에서의 표현을 전체 군으로 확장하기 위해 귀납법과 표현 유도($\mathrm{Ind}_{\Gamma_0}^{\Gamma}$)를 적용한다.
• 균일 강력한 $p$-필터링과 부분군 $\zeta$-함수에 관한 결과를 활용하여 수렴 속도와 자리지 폐쇄 차원을 연결한다.
• 다항수렴이 $\operatorname{F}_{\Gamma,\operatorname{L}}(m)$ 또는 $\operatorname{F}_{\Gamma,\operatorname{S}}(m)$ 에서 발생하는 것과 $\mathrm{GL}(n,\mathbf{K})$ 에 대한 자명하지 않은 선형 표현의 존재가 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 초구형 군에서 최소 선형군 크기 $\operatorname{F}_{\Gamma,\operatorname{L}}(m)$ 의 다항수렴은 선형성을 특징짓는가?
• RQ2 최소 유한 단순군 몫 크기 $\operatorname{F}_{\Gamma,\operatorname{S}}(m)$ 도 유사하게 선형성을 특징짓는가?
• RQ3 초구형 군에서 선형군과 단순군 잔여 유한성 함수의 수렴 사이에 통일된 동치관계가 존재하는가?
• RQ4 유한 몫의 유계 프로젝티브 랭크가 자명하지 않은 선형 표현의 존재를 암시할 수 있는가?
• RQ5 잔여 유한성 함수의 수렴 속도는 선형 표현의 자리지 폐쇄 차원과 어떻게 관련되는가?

주요 결과

• 초구형 군 $\Gamma$ 에 대해 어떤 $D\in\mathbf{N}$ 에 대해 $\operatorname{F}_{\Gamma,\operatorname{L}}(m)\preceq m^D$ 라면, 이는 $\Gamma$ 가 체 위에 선형임과 동치이다.
• $\operatorname{F}_{\Gamma,\operatorname{S}}(m)$ 의 다항수렴, 즉 $\operatorname{F}_{\Gamma,\operatorname{S}}(m)\preceq m^{D'}$ 는 $\Gamma$ 의 선형성을 특징짓는다.
• 유한 지수, 비순환, 균일 malabelian 정규부분군 $\Gamma_0\leq\Gamma$ 가 존재하면 문제를 이 부분군으로 환원할 수 있다.
• 만약 $\Gamma_0$ 가 $\operatorname{F}_{\Gamma_0,\operatorname{L}}(m)$ 또는 $\operatorname{F}_{\Gamma_0,\operatorname{S}}(m)$ 에서 다항수렴을 보이면, $\Gamma$ 역시 동일하게 다항수렴을 보이며, 그 반대도 성립한다.
• 비자명한 원소 $\gamma$ 를 탐지하는 최소 유한 단순군의 크기는, $\Gamma$ 가 선형일 경우 어떤 $C', D\in\mathbf{N}$ 에 대해 $\operatorname{S}_{\Gamma}(\gamma)\leq C'\|\gamma\|^{D}$ 를 만족한다.
• 증명은 프로젝티브 랭크가 유계인 유한군의 초등적 곱을 사용하여 체 위에 자명하지 않은 선형 표현을 구성하며, 이는 레마 2.1과 유계 랭크 조건에 의존한다.