Lower bounds for faithful linear representations of subgroups of the mapping class group

Basic Information

• Paper ID: 2510.12591
• Title: Lower bounds for faithful linear representations of subgroups of the mapping class group
• Author: Thiago Brevidelli
• Classification: math.GT (Geometric Topology), math.GR (Group Theory)
• Publication Date: October 14, 2025
• Paper Link: https://arxiv.org/abs/2510.12591

Abstract

Recently, Korkmaz established a lower bound of $3g - 2$ for the dimension of faithful representations of the mapping class group of an orientable surface of genus $g \geq 3$. This paper improves this lower bound to $4g - 3$ for surfaces of genus $g \geq 7$. The key new technique involves a more refined study of commutation relations in $\operatorname{PMod}(\Sigma)$. Using relations generated by a pants decomposition of $\Sigma_g$, we prove that any representation of dimension $\leq 4g - 4$ is forced to kill a natural subgroup of the Torelli group.

We also establish lower bounds for faithful representations of related groups: the Johnson group of closed surfaces, arbitrary lower terms of the Johnson filtration of compact surfaces with one boundary component, and pure braid groups. These lower bounds grow linearly with respect to surface genus and the number of braid strands. Finally, we provide evidence that larger lower bounds in the low genus case should lead to improved lower bounds for $g \gg 0$.

Research Background and Motivation

Problem Background

The mapping class group $\operatorname{PMod}(\Sigma)$ consists of homotopy classes of orientation-preserving diffeomorphisms of a surface $\Sigma$ and plays a central role in low-dimensional topology. Closed 3-manifolds can be encoded by elements of $\operatorname{Mod}(\Sigma_g)$ via mapping tori or Heegaard decompositions. The group is also important in algebraic geometry, as it can be viewed as the (orbifold) fundamental group of the moduli space of complex curves.

Core Problems

Despite the importance of the mapping class group, fundamental questions about its linear representations $\operatorname{PMod}(\Sigma) \to \text{GL}_d(\mathbb{C})$ remain unanswered. In particular:

1. The linearity problem for the mapping class group (remains open for $g \geq 3$)
2. The minimal dimension of faithful linear representations

Limitations of Existing Results

• Korkmaz proved that for $g \geq 3$, the lower bound for faithful representations is $3g - 2$
• For representations of dimension $< 2g$, Korkmaz proved they are either trivial or conjugate to symplectic representations
• Kaufmann-Salter-Zhang-Zhong classified all representations of dimension $\leq 3g - 3$

Research Motivation

This paper aims to:

1. Improve Korkmaz's lower bound from $3g - 2$ to $4g - 3$
2. Establish linear lower bounds for related groups (Johnson groups, pure braid groups, etc.)
3. Provide a framework for further improvements in the high genus case

Core Contributions

1. Main Theorem: Improves the lower bound for the dimension of faithful linear representations of the mapping class group from $3g - 2$ to $4g - 3$ (for $g \geq 7$)
2. Technical Innovations:
   • Refined analysis of commutation relations in $\operatorname{PMod}(\Sigma)$
   • Utilization of curve families constructed from specific pants decompositions
   • Introduction of the simple intersection pair subgroup $\operatorname{SIP}_0(\Sigma)$
3. Lower Bounds for Related Groups:
   • Johnson group: $d(\mathcal{K}(\Sigma_g)) \geq 2g - 2$
   • Johnson filtration: $d(\mathcal{I}_k(\Sigma_g^1)) \geq 2g - 2$
   • Pure braid group: $d(PB_n) \geq n-1$ ($n$ odd), $d(PB_n) \geq n-2$ ($n$ even)
4. General Framework: Provides a method to improve high genus lower bounds through low genus cases

Methodology Details

Core Strategies

The paper employs two main strategies:

Strategy 1: Quotients of Free Group Products

For lower bounds on related groups, commutation relations are used to construct quotients of $F_2 \times \cdots \times F_2$ (direct product of $n$ rank-2 free groups) in various subgroups, then applying the Kionke-Schesler result: faithful representations of $F_2 \times \cdots \times F_2$ have dimension $\geq 2n$.

Strategy 2: Matrix Relations from Special Curve Families

For the main result on the mapping class group, special curve families $a_1, \ldots, a_{3g-3}, b_1, \ldots, b_{3g-3} \subseteq \Sigma_g$ are constructed such that the corresponding matrices $M_i = \rho(T_{a_i}) - 1$ and $N_j = \rho(T_{b_j}) - 1$ satisfy specific relations.

Technical Details

Construction of Curve Families

1. Pants Decomposition: Starting from a trivalent graph $\Gamma_g$ with $2g-2$ vertices and $3g-3$ edges
2. Curve Selection:
   • $a_i$: meridians around edge $e_i$, forming a pants decomposition of $\Sigma_g$
   • $b_i$: "complementary" curves in the 4-holed sphere $S_i$ containing $a_i$

Key Matrix Relations

The matrices $M_i = \rho(T_{a_i}) - 1$ and $N_j = \rho(T_{b_j}) - 1$ satisfy: $N_j M_i = 0 \Leftrightarrow i \neq j, \quad M_j N_i = 0 \Leftrightarrow i \neq j, \quad M_j M_i = 0 \text{ ∀}i,j$

Dimension Lower Bound

Applying the following lemma: if $M_1, \ldots, M_n, N_1, \ldots, N_n \in M_d(\mathbb{C})$ satisfy the above relations, then $2d \geq 3n$.

Simple Intersection Pair Subgroup

Define $\operatorname{SIP}_0(\Sigma) \leq I(\Sigma)$ as the subgroup generated by commutators $[T_a, T_b]$ where:

• $a, b$ intersect at two points
• Algebraic intersection number $\langle a, b \rangle = 0$
• $\Sigma \setminus (a \cup b)$ is connected

Experimental Setup

Theoretical Verification

This is purely theoretical work, verified through:

1. Constructive Proofs: Via explicit construction of curve families and corresponding matrix relations
2. Homological Computations: Using twisted cohomology theory to handle the boundary case $d = 4g - 4$
3. Application of Known Results: Based on classification theorems by Korkmaz, Kasahara, and others

Proof of Key Lemmas

• Jordan Inequality: For analyzing eigenspace dimensions
• Flag Triviality Criterion: Korkmaz's result for proving representation triviality
• Eigenspace Analysis: Detailed study of the dimension of 1-eigenspaces of $T_a$

Experimental Results

Main Theorem

Theorem 1: Let $\Sigma$ be a surface of genus $g \geq 7$, and let $\rho: \operatorname{PMod}(\Sigma) \to \text{GL}_d(\mathbb{C})$. If $d \leq 4g - 4$, then $\operatorname{SIP}_0(\Sigma) \leq \ker \rho$. In particular, $d(\Sigma) \geq 4g - 3$.

Results for Related Groups

1. Johnson Group: $d(\mathcal{K}(\Sigma_g)) \geq 2g - 2$ ($g \geq 2$)
2. Johnson Filtration: $d(\mathcal{I}_k(\Sigma_g^1)) \geq 2g - 2$ ($g \geq 2, k \geq 1$)
3. Pure Braid Group:
   • $n$ odd: $d(PB_n) \geq n - 1$
   • $n$ even: $d(PB_n) \geq n - 2$

General Results

Theorem 5: Let $n \geq 1$, $g \geq 2n$. Then: $d(\Sigma_g^1) \geq n \cdot \min\{d(E) : E \text{ is a cyclic extension of } \operatorname{Mod}(\Sigma_{\lfloor g/n \rfloor, 1})\}$

Related Work

Historical Development

1. Funar and Franks-Handel: Early dimension lower bound results
2. Korkmaz: Established the $3g - 2$ lower bound and classification of low-dimensional representations
3. Kasahara: Classification of $(2g+1)$-dimensional representations
4. Kaufmann-Salter-Zhang-Zhong: Classification of representations of dimension $\leq 3g - 3$

Technical Connections

• Commutation Relations: Based on classical relations for Dehn twists (separability, braid relations, etc.)
• Torelli Group Theory: Johnson's generator theory and Johnson homomorphism
• Group Linearity: Connection to the linearity problem for mapping class groups

Method Comparison

• Korkmaz's Approach: Primarily uses abelianization and low-dimensional classification
• This Paper's Approach: More refined analysis of commutation relations and eigenspace study

Conclusions and Discussion

Main Conclusions

1. Successfully improves the lower bound for faithful representations of the mapping class group from $3g - 2$ to $4g - 3$
2. Establishes linear lower bounds for multiple related groups
3. Provides a general framework for further improvements

Technical Contributions

1. Simple Intersection Pairs: Introduces and systematically studies the $\operatorname{SIP}_0(\Sigma)$ subgroup
2. Matrix Relations: Discovers special matrix product relations
3. Eigenspace Analysis: Precisely estimates the dimension of 1-eigenspaces of Dehn twists

Limitations

1. Genus Restriction: Main results require $g \geq 7$
2. Boundary Cases: The case $d = 4g - 4$ requires additional cohomological theory
3. Low Genus Cases: Improvements for $g \leq 6$ are limited

Future Directions

1. Low Genus Improvements: Seek better lower bounds for $g \leq 6$
2. Generalization: Extend methods to other geometric groups
3. Upper Bound Construction: Find concrete representations approaching the lower bounds

In-Depth Evaluation

Strengths

1. Important Breakthrough: Substantial progress on a difficult problem
2. Technical Innovation: Introduces new analytical tools (simple intersection pairs)
3. Unified Framework: Provides unified treatment for multiple related groups
4. Theoretical Depth: Combines deep results from group theory, topology, and algebraic geometry

Technical Highlights

1. Constructive Methods: Proof via explicit curve family constructions
2. Refined Analysis: Precise estimation of eigenspace dimensions
3. Cohomological Application: Clever use of twisted cohomology for boundary cases

Shortcomings

1. Genus Restriction: Main results require relatively high genus
2. Computational Complexity: Proofs involve substantial technical details
3. Optimality Unknown: Unclear whether $4g - 3$ is the optimal lower bound

Impact Assessment

1. Academic Value: Advances the theory of linear representations of mapping class groups
2. Methodological Value: Techniques may apply to other problems
3. Open Problems: Points directions for further research

Applicable Scenarios

1. Theoretical Research: Linear representation theory of mapping class groups and related geometric groups
2. Topological Applications: Study of 3-manifold topology and surface bundles
3. Algebraic Geometry: Fundamental group of moduli spaces

References

Key References

1. Korkmaz 22: Foundational work establishing the $3g - 2$ lower bound
2. Kaufmann-Salter-Zhang-Zhong 18: Recent classification of low-dimensional representations
3. Johnson 15, 16: Structure theory of the Torelli group
4. Kionke-Schesler 20: Lower bounds for representation dimensions of direct products

Technical Dependencies

• Dehn-Lickorish Theorem: Generators of the mapping class group
• Powell Theorem: Completeness of the mapping class group
• Morita-Kawazumi Theory: Twisted cohomology computations

Overall Assessment: This is a high-quality theoretical mathematics paper that achieves substantial progress on an important problem in mapping class group representation theory. Although technically demanding and with certain limitations, its innovative methods and deep insights provide a solid foundation for further development in this field.