2025-11-12T10:07:10.190597

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

Brevidelli

Recently, Korkmaz established the lower bound of $3g - 2$ for the dimension of a faithful representation of the mapping class group of an orientable surface of genus $g \ge 3$. We raise this bound to $4g - 3$ in the setting of surfaces of genus $g \ge 7$. A new ingredient is a finer study of the commutation relations in $\operatorname{PMod}(Î£)$. We use the relations arising from a certain pants decomposition of $Î£_g$ to show that any representation of dimension $\le 4g - 4$ is forced to kill a natural subgroup of the Torelli group. We also establish lower bounds for the dimension of faithful representations of related groups: the Johnson group of a closed surface, arbitrarily low terms of the Johnson filtration of a compact surface with one boundary component, and pure braid groups. These lower bounds grow linearly on the genus of the surfaces and the number of strands of the braids. Finally, we also provide some evidence that greater lower bounds for the low-genus cases should lead to improved lower bounds for $g \gg 0$.

academic

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

基本信息

论文ID: 2510.12591
标题: Lower bounds for faithful linear representations of subgroups of the mapping class group
作者: Thiago Brevidelli
分类: math.GT (几何拓扑), math.GR (群论)
发表时间: 2025年10月14日
论文链接: https://arxiv.org/abs/2510.12591

摘要

最近，Korkmaz建立了亏格 $g \geq 3$ 的可定向曲面的映射类群忠实表示维数的下界 $3g - 2$ 。本文将这个下界在亏格 $g \geq 7$ 的曲面情形下提高到 $4g - 3$ 。新的关键技术是对 $\operatorname{PMod}(\Sigma)$ 中换位关系的更精细研究。我们利用 $\Sigma_g$ 的某个裤子分解产生的关系，证明任何维数 $\leq 4g - 4$ 的表示都被迫消除Torelli群的一个自然子群。

我们还建立了相关群忠实表示维数的下界：闭曲面的Johnson群、带一个边界分量的紧曲面Johnson滤子的任意低阶项，以及纯辫群。这些下界关于曲面亏格和辫子股数线性增长。最后，我们还提供了一些证据表明，低亏格情形的更大下界应该导致 $g \gg 0$ 时的改进下界。

研究背景与动机

问题背景

映射类群 $\operatorname{PMod}(\Sigma)$ 是定义在曲面 $\Sigma$ 上的保向自微分同胚的同伦类构成的群，它在低维拓扑中发挥核心作用。闭3-流形可以通过映射环面或Heegaard分解由 $\operatorname{Mod}(\Sigma_g)$ 的元素编码。该群在代数几何中也很重要，因为它可以看作复曲线模空间的（轨道形）基本群。

核心问题

尽管映射类群具有重要意义，但关于其线性表示 $\operatorname{PMod}(\Sigma) \to \text{GL}_d(\mathbb{C})$ 的基本问题仍未解答。特别地：

映射类群的线性性问题（对 $g \geq 3$ 仍然开放）
忠实线性表示的最小维数问题

现有成果的局限性

Korkmaz证明了对 $g \geq 3$ ，忠实表示的维数下界为 $3g - 2$
对于维数 $< 2g$ 的表示，Korkmaz证明要么平凡要么共轭于辛表示
Kaufmann-Salter-Zhang-Zhong分类了所有维数 $\leq 3g - 3$ 的表示

研究动机

本文旨在：

提高Korkmaz的下界 $3g - 2$ 到 $4g - 3$
建立相关群（Johnson群、纯辫群等）的线性下界
为高亏格情形的进一步改进提供框架

核心贡献

主要定理：将映射类群忠实线性表示维数下界从 $3g - 2$ 提高到 $4g - 3$ （对 $g \geq 7$ ）
技术创新：
- 对 $\operatorname{PMod}(\Sigma)$ 中换位关系的精细分析
- 利用特定裤子分解构造的曲线族
- 引入简单相交映射子群 $\operatorname{SIP}_0(\Sigma)$
相关群的下界：
- Johnson群： $d(\mathcal{K}(\Sigma_g)) \geq 2g - 2$
- Johnson滤子： $d(\mathcal{I}_k(\Sigma_g^1)) \geq 2g - 2$
- 纯辫群： $d(PB_n) \geq n-1$ （ $n$ 奇数）， $d(PB_n) \geq n-2$ （ $n$ 偶数）
一般性框架：提供了通过低亏格情形改进高亏格下界的方法

方法详解

核心策略

本文采用两种主要策略：

策略1：利用自由群直积的商群

对于相关群的下界，利用换位关系构造 $F_2 \times \cdots \times F_2$ （ $n$ 个秩2自由群的直积）在各个子群中的商群，然后应用Kionke-Schesler的结果： $F_2 \times \cdots \times F_2$ 的忠实表示维数 $\geq 2n$ 。

策略2：特殊曲线族的矩阵关系

对于映射类群的主要结果，构造特殊的曲线族 $a_1, \ldots, a_{3g-3}, b_1, \ldots, b_{3g-3} \subseteq \Sigma_g$ ，使得相应的矩阵 $M_i = \rho(T_{a_i}) - 1$ 和 $N_j = \rho(T_{b_j}) - 1$ 满足特定关系。

技术细节

曲线族的构造

裤子分解：从三价图 $\Gamma_g$ 开始，其有 $2g-2$ 个顶点和 $3g-3$ 条边
曲线选择：
- $a_i$ ：围绕边 $e_i$ 的经线，形成 $\Sigma_g$ 的裤子分解
- $b_i$ ：在包含 $a_i$ 的4-洞球面 $S_i$ 中的"互补"曲线

关键矩阵关系

证明矩阵 $M_i = \rho(T_{a_i}) - 1$ 和 $N_j = \rho(T_{b_j}) - 1$ 满足： $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$