[论文解读] Mapping class groups are not linear in positive characteristic

J. O. Button|arXiv (Cornell University)|Oct 26, 2016

Geometric and Algebraic Topology参考文献 2被引用 4

一句话总结

本文证明了，对于亏格至少为3的可定向曲面（无论是否带有穿孔或边界分量），其映射类群在任意正特征域上的任意维数下均不存在忠实的线性表示。论证的核心在于：在这样的表示中，具有无限阶的德恩扭（Dehn twists）会映射到其中心化子的交换化中的无限阶元素，而这与正特征域上线性群的一个已知性质相矛盾：在该类群中，元素的幂最终会成为可对角化形式，因此在交换化中只能在特定条件下具有有限阶。

ABSTRACT

For $Σ$ an orientable surface of finite topological type having genus at least 3 (possibly closed or possibly with any number of punctures or boundary components), we show that the mapping class group $Mod(Σ)$ has no faithful linear representation in any dimension over any field of positive characteristic.

研究动机与目标

• 确定亏格 ≥3 的曲面的映射类群是否在任意正特征域上存在忠实的线性表示。
• 解决几何群论中关于映射类群在正特征下线性的长期悬而未决问题。
• 将已知的特征零情形下的非线性结果推广至正特征情形。
• 基于无限阶元素的中心化子的交换化建立结构性障碍。
• 证明映射类群在 CAT(0) 空间上作用良好且半单的几何性质，与正特征下的非线性性一致。

提出的方法

• 利用代数闭正特征域上线性群的性质：任一线性群元素的某个幂次最终可对角化。
• 利用存在统一的指数 K（特征的幂次），使得对任意 g ∈ GL(d, F)，有 g^K 可对角化。
• 分析当 g^K 为对角矩阵时，与之可交换的矩阵的分块结构，从而将中心化子分解为分块矩阵形式。
• 定义从中心化子到域乘法群的子行列式同态 det_i，每个同态均保持分块结构。
• 证明若 g^K 的所有特征值均具有有限阶，则 g 本身也具有有限阶——这与德恩扭的无限阶性质矛盾。
• 将此矛盾应用于映射类群中德恩扭的中心化子，利用其交换化为有限群的已知事实。

实验结果

研究问题

• RQ1 亏格至少为3的曲面的映射类群是否可能在任意正特征域上存在忠实的线性表示？
• RQ2 正特征域上线性群元素的幂最终可对角化的性质，是否会在无限阶元素的中心化子中导致结构性障碍？
• RQ3 在 CAT(0) 空间上不存在良好且半单作用的性质，是否与正特征下的非线性性存在关联？
• RQ4 能否利用映射类群中德恩扭的中心化子的交换化来阻碍正特征域上的线性表示？
• RQ5 若类似行列式的子同态无法在中心化子的交换化中检测到无限阶元素，是否意味着正特征域上的非线性性？

主要发现

• 对于任意正特征域，存在一个统一的指数 K（特征的幂次），使得对所有 g ∈ GL(d, F)，g^K 均可对角化。
• 在正特征域上线性群中，若元素 g 具有无限阶，则其中心化子的某个子行列式同态必须将 g 映射到交换化中的无限阶元素。
• 亏格 ≥3 的曲面的映射类群中，德恩扭的中心化子的交换化为有限群，与正特征域上线性表示的要求矛盾。
• 此矛盾意味着映射类群在任意正特征域上均不存在忠实的线性表示。
• 只要曲面的亏格至少为3，无论其穿孔数或边界分量数如何，该结果均成立。
• 该证明建立了一个适用于所有维数和所有正特征域的统一结构性障碍。