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

マラベリアン群の自己同型群の線形性判定基準

基本情報

論文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$ を有限生成マラベリアン群とし、 $A \leq \mathrm{Out}(G)$ を有限生成部分群、 $\Gamma_{G,A}$ を $\mathrm{Aut}(G)$ における $A$ の逆像とする。本論文は、 $G$ から有限Lie型単純群への全射に基づいた $\Gamma_{G,A}$ の線形性に関する一般的判定基準を与える。

研究背景と動機

核心問題: 本研究が解決しようとするのは自己同型群の線形性問題、特にマラベリアン群の自己同型群がいつ一般線形群に埋め込み可能かという問題である。
問題の重要性:
- この問題は写像類群の線形性という古典的問題と直接関連しており、Birman（1974年）の著作で明確に提起されている
- 写像類群の線形性は幾何群論における重要な未解決問題であり、FarbとBirmanの関連研究に含まれている
- 線形群は優れた代数的および幾何的性質を有し、どの群が線形であるかを理解することは群論の発展に不可欠である
既存方法の限界:
- 従来の線形性判定法は主に具体的な群構成に依存している
- 剰余有限性増長に基づいた一般的判定基準が欠けている
- マラベリアン群というこの重要なクラスの自己同型群の線形性に関する体系的刻画が不足している
研究動機: 本論文はBou-Rabeeが導入した剰余有限性増長理論を発展させ、自己同型群の研究に適用することで、Bou-RabeeとMcReynoldsの研究を一般化する。

核心的貢献

マラベリアン群の自己同型群の線形性判定基準の確立: 剰余有限性増長関数を通じて $\Gamma_{G,A}$ の線形性の必要十分条件を与えた
剰余有限性増長理論の発展: この理論を群自体から自己同型群の研究へと拡張した
Lie型有限単純群の深い分析の提供: その自己同型群の表現論と増長性質を含む
具体的な増長界の推定の提示: 線形の場合における多項式増長の具体的界を与えた

方法の詳細解説

問題設定

$G$ を有限生成マラベリアン群、 $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)$ が成り立つ。