2025-11-10T03:03:59.525912

Linearity criteria for automorphism groups of malabelian groups

Koberda, Pengitore

Let $G$ be a finitely generated malabelian group, let $A\leq\mathrm{Out}(G)$ be a finitely generated subgroup, and let $Î_{G,A}$ denote the preimage of $A$ in $\mathrm{Aut}(G)$. We give a general criterion for the linearity of $Î_{G,A}$ in terms of surjections from $G$ to finite simple groups of Lie type.

academic

Malabelian 군의 자기동형군에 대한 선형성 판정법

기본 정보

논문 ID: 2510.14571
제목: Linearity criteria for automorphism groups of malabelian groups
저자: Thomas Koberda, Mark Pengitore
분류: math.GR (군론)
발표 시간: 2025년 10월 16일
논문 링크: https://arxiv.org/abs/2510.14571

초록

$G$ 를 유한생성 malabelian 군이라 하고, $A \leq \mathrm{Out}(G)$ 를 유한생성 부분군이라 하자. $\Gamma_{G,A}$ 를 $\mathrm{Aut}(G)$ 에서 $A$ 의 원상이라 정의할 때, 본 논문은 $\Gamma_{G,A}$ 의 선형성에 대한 일반적 판정 준칙을 제시한다. 이 준칙은 $G$ 에서 유한 Lie형 단순군으로의 전사에 기초한다.

연구 배경 및 동기

핵심 문제: 본 연구가 해결하고자 하는 것은 자기동형군의 선형성 문제, 특히 malabelian 군의 자기동형군이 언제 어떤 일반선형군에 매장될 수 있는가이다.
문제의 중요성:
- 이 문제는 사상류군(mapping class group)의 선형성이라는 고전적 문제와 직접 연관되어 있으며, 이는 Birman의 1974년 저작에서 명시적으로 제기되었다
- 사상류군의 선형성은 기하학적 군론에서의 중요한 미해결 문제이며, Farb와 Birman의 관련 연구에서 다루어졌다
- 선형군은 우수한 대수적·기하학적 성질을 가지므로, 어떤 군이 선형인지 이해하는 것은 군론 발전에 필수적이다
기존 방법의 한계:
- 전통적인 선형성 판정 방법은 주로 구체적인 군 구성에 의존한다
- 잉여유한성 증가(residual finiteness growth)에 기초한 일반적 판정 준칙이 부족하다
- Malabelian 군이라는 중요한 범주의 자기동형군 선형성에 대한 체계적 특성화가 부족하다
연구 동기: 본 논문은 Bou-Rabee가 도입한 잉여유한성 증가 이론을 발전시켜 자기동형군 연구에 적용함으로써, Bou-Rabee와 McReynolds의 업적을 일반화한다.

핵심 기여

Malabelian 군의 자기동형군 선형성 판정 준칙 수립: 잉여유한성 증가 함수를 통해 $\Gamma_{G,A}$ 의 선형성에 대한 필요충분조건 제시
잉여유한성 증가 이론 발전: 이 이론을 군 자체에서 자기동형군 연구로 확장
Lie형 유한 단순군의 심층 분석: 그 자기동형군의 표현론 및 증가 성질 포함
구체적인 증가 경계 추정: 선형인 경우에 다항식 증가의 구체적 경계 제시

방법론 상세 설명

문제 정의

$G$ 를 유한생성 malabelian 군이라 하고, $A \leq \mathrm{Out}(G)$ 를 유한생성 부분군이라 하자. 다음을 정의한다:

$\Gamma_{G,A} = q^{-1}(A)$ , 여기서 $q: \mathrm{Aut}(G) \to \mathrm{Out}(G)$ 는 자연 전사
잉여유한성 깊이 함수: $D_G(g) = \min\{|H|: \exists \phi: G \to H, |H| < \infty, \phi(g) \neq 1\}$
잉여유한성 증가 함수: $RF_{G,X}(n) = \max\{D_G(g): \|g\|_X \leq n, g \neq 1\}$

핵심 정리 구조

주정리 1.4는 두 방향을 포함한다:

정방향 결과: 유한 지수 부분군 $B \leq \Gamma_{G,A}$ , $B$ -불변 유한 지수 정규 부분군 $H \triangleleft G$ , 및 자연수 $d,e$ 가 존재하여 $RF_{H,F_e^{B/H}}(n) \preceq n^d$ 를 만족한다면 (여기서 $F_e$ 는 $e$ -확장 유계인 Lie형 유한 단순군의 유한 곱 클래스), 체 $K$ 와 자연수 $\ell$ 이 존재하여 $\Gamma_{G,A} \leq GL_\ell(K)$ 이다.