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

Linearity criteria for automorphism groups of malabelian groups

基本信息

论文ID: 2510.14571
标题: Linearity criteria for automorphism groups of malabelian groups
作者: Thomas Koberda, Mark Pengitore
分类: math.GR (Group Theory)
发表时间: 2025年10月16日
论文链接: https://arxiv.org/abs/2510.14571

摘要

设 $G$ 是一个有限生成的malabelian群， $A \leq \mathrm{Out}(G)$ 是一个有限生成子群， $\Gamma_{G,A}$ 表示 $A$ 在 $\mathrm{Aut}(G)$ 中的原像。本文给出了 $\Gamma_{G,A}$ 线性性的一般判定准则，该准则基于从 $G$ 到有限Lie型单群的满射。

研究背景与动机

核心问题: 该研究要解决的是自同构群的线性性问题，特别是malabelian群的自同构群何时可以嵌入到某个一般线性群中。
问题重要性:
- 该问题直接关联到映射类群的线性性这一经典问题，这在Birman 1974年的著作中被明确提出
- 映射类群的线性性是几何群论中的重要开放问题，在Farb和Birman的相关工作中都有涉及
- 线性群具有良好的代数和几何性质，理解哪些群是线性的对群论发展至关重要
现有方法局限性:
- 传统的线性性判定方法主要依赖于具体的群构造
- 缺乏基于剩余有限性增长的一般性判定准则
- 对于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)$ 。