Linearity criteria for automorphism groups of malabelian groups

Basic Information

• Paper ID: 2510.14571
• Title: Linearity criteria for automorphism groups of malabelian groups
• Authors: Thomas Koberda, Mark Pengitore
• Classification: math.GR (Group Theory)
• Publication Date: October 16, 2025
• Paper Link: https://arxiv.org/abs/2510.14571

Abstract

Let $G$ be a finitely generated malabelian group, $A \leq \mathrm{Out}(G)$ be a finitely generated subgroup, and $\Gamma_{G,A}$ denote the preimage of $A$ in $\mathrm{Aut}(G)$. This paper provides general criteria for determining the linearity of $\Gamma_{G,A}$, based on surjections from $G$ to finite simple groups of Lie type.

Research Background and Motivation

1. Core Problem: This research addresses the linearity problem of automorphism groups, specifically when the automorphism groups of malabelian groups can be embedded into some general linear group.
2. Problem Significance:
   • This problem is directly related to the classical question of linearity of mapping class groups, explicitly posed in Birman's 1974 monograph
   • The linearity of mapping class groups is an important open problem in geometric group theory, addressed in works by Farb and Birman
   • Linear groups possess favorable algebraic and geometric properties; understanding which groups are linear is crucial for the development of group theory
3. Limitations of Existing Methods:
   • Traditional linearity criteria rely primarily on specific group constructions
   • Lack of general criteria based on residual finiteness growth
   • Systematic characterization of linearity for automorphism groups of malabelian groups is absent
4. Research Motivation: This paper develops the theory of residual finiteness growth introduced by Bou-Rabee, extending its application to the study of automorphism groups, thereby generalizing work by Bou-Rabee and McReynolds.

Core Contributions

1. Established criteria for linearity of automorphism groups of malabelian groups: Provided necessary and sufficient conditions for the linearity of $\Gamma_{G,A}$ via residual finiteness growth functions
2. Developed the theory of residual finiteness growth: Extended this theory from groups themselves to the study of automorphism groups
3. Provided in-depth analysis of finite simple groups of Lie type: Including representation theory and growth properties of their automorphism groups
4. Gave explicit growth bounds: Provided specific polynomial growth bounds in the linear case

Methodology Details

Problem Setup

Let $G$ be a finitely generated malabelian group and $A \leq \mathrm{Out}(G)$ be a finitely generated subgroup. Define:

• $\Gamma_{G,A} = q^{-1}(A)$, where $q: \mathrm{Aut}(G) \to \mathrm{Out}(G)$ is the natural projection
• Residual finiteness depth function: $D_G(g) = \min\{|H|: \exists \phi: G \to H, |H| < \infty, \phi(g) \neq 1\}$
• Residual finiteness growth function: $RF_{G,X}(n) = \max\{D_G(g): \|g\|_X \leq n, g \neq 1\}$

Core Theorem Architecture

Main Theorem 1.4 contains two directions:

Forward Direction: If there exist a finite index subgroup $B \leq \Gamma_{G,A}$, a $B$-invariant finite index normal subgroup $H \triangleleft G$, and natural numbers $d,e$ such that $RF_{H,F_e^{B/H}}(n) \preceq n^d$ where $F_e$ denotes the class of finite products of finite simple groups of Lie type with bounded $e$-expansion, then there exist a field $K$ and a natural number $\ell$ such that $\Gamma_{G,A} \leq GL_\ell(K)$.

Reverse Direction: If $\Gamma_{G,A} \leq GL_\ell(K)$, then there exist a corresponding finite index subgroup and a natural number $d$ such that the residual finiteness growth function satisfies a polynomial bound.

Technical Innovations

1. Exploitation of Malabelian Properties: Utilized the property that every non-trivial conjugacy class in a malabelian group has trivial centralizer
2. Application of Larsen-Pink Theorem: Used this theorem to analyze the structure of finite subgroups
3. Ultraproduct Construction: Employed ultraproduct methods to handle infinite families of finite simple groups of Lie type
4. Control of Matrix Coefficients: Precisely controlled the coefficient growth of linear representations through localization of polynomial rings

Experimental Framework

Theoretical Verification Framework

Since this is pure mathematical theoretical research without traditional "experiments," it includes the following verifications:

1. Verification on Concrete Group Classes:
   • Non-abelian free groups
   • Surface groups
   • Non-elementary hyperbolic groups
2. Computation of Growth Functions: Verified the tightness of growth bounds through explicit constructions

Technical Tools

1. Algebraic Geometry Tools: Linear algebraic group theory, Frobenius endomorphisms
2. Combinatorial Group Theory Tools: Derived series, commutator calculations
3. Representation Theory Tools: Minimal dimension representations of finite groups

Main Results

Core Theorem

Theorem 1.4 provides a complete characterization of linearity of automorphism groups of uniformly malabelian groups, establishing a bidirectional correspondence between residual finiteness growth and linearity.

Key Lemmas

1. Lemma 2.7: Established the relationship between rank boundedness of automorphism groups of finite simple groups of Lie type and related parameters
2. Lemma 3.2: Provided upper bound estimates for the length of elements in derived series of malabelian groups
3. Lemma 4.5: Provided estimates for the length of least common multiples in malabelian groups

Technical Results

• Corollary 2.3: Gave parameter constraints when embedding finite simple groups of Lie type into general linear groups
• Proposition 5.2: Proved the implication from growth conditions to linearity
• Theorem 5.4: Established the reverse result from linearity to growth bounds

Related Work

1. Work of Bou-Rabee and McReynolds: This paper directly generalizes their research on the relationship between residual finiteness growth and linearity
2. Group-Theoretic Characterizations by Lubotzky: Utilized Lubotzky's group-theoretic characterizations of finitely generated linear groups
3. Larsen-Pink Theory: Extensively used their profound results on the structure of finite subgroups in linear groups
4. Theory of Finite Simple Groups of Lie Type: Built upon classical work by Tits, Steinberg, and others

Conclusions and Discussion

Main Conclusions

This paper completely characterizes the linearity of automorphism groups of uniformly malabelian groups, establishing an equivalence with residual finiteness growth, and provides new research tools for the problem of linearity of mapping class groups.

Limitations

1. Restriction to Uniformly Malabelian Groups: Results may not fully apply to general malabelian groups
2. Constructive Issues: Although criteria are provided, their application to concrete groups may face computational difficulties
3. Computational Complexity of Growth Functions: Computing residual finiteness growth functions in practice may be difficult

Future Directions

1. Generalize results to broader classes of groups
2. Study linearity of concrete mapping class groups
3. Develop more effective methods for computing residual finiteness growth

In-Depth Evaluation

Strengths

1. Theoretical Depth: Established profound connections between residual finiteness growth and linearity
2. Technical Innovation: Cleverly combined tools and methods from multiple mathematical disciplines
3. Completeness of Results: Provided necessary and sufficient conditions, forming a complete theoretical framework
4. Clear Exposition: Well-structured paper with appropriate handling of technical details

Weaknesses

1. Scope of Application: Main results restricted to uniformly malabelian groups
2. Computational Feasibility: Computational complexity in practical applications may be high
3. Concrete Examples: Lacks sufficient concrete application examples

Impact

1. Theoretical Contribution: Provides a new research framework for linearity problems in group theory
2. Methodological Value: The residual finiteness growth method may be applicable to other problems
3. Significance in Geometric Group Theory: Provides new tools for studying important group classes such as mapping class groups

Applicable Scenarios

1. Study linearity of automorphism groups of concrete malabelian groups
2. Analyze linearity problems of mapping class groups
3. Develop further applications of residual finiteness growth theory

References

The paper cites 27 important references spanning multiple fields including group theory, algebraic geometry, and representation theory, with particularly important works including:

• Birman's classical monograph on mapping class groups
• Pioneering work by Bou-Rabee and McReynolds on residual finiteness growth
• Larsen-Pink's profound theorem on finite subgroups in linear groups
• Tits' classification theorem for finite simple groups of Lie type