[论文解读] The symplectic representation of the mapping class group is unique

Mustafa Korkmaz|arXiv (Cornell University)|Aug 16, 2011

Geometric and Algebraic Topology参考文献 14被引用 7

一句话总结

该论文证明，当亏格 $ g \geq 3 $ 时，从曲面的映射类群到 $ \mathrm{GL}(2g,\mathbb{C}) $ 的任意非平凡同态都共轭于标准的辛表示。此外，论文进一步表明映射类群在维度 $ \leq 3g-3 $ 内不存在忠实的线性表示，从而确立了线性性的精确界限，并证明了辛表示的唯一性。

ABSTRACT

Any nontrivial homomorphism from the mapping class group of an orientable surface of genus $g\geq 3$ to $\GL(2g,\C)$ is conjugate to the standard symplectic representation. It is also shown that the mapping class group has no faithful linear representation in dimensions less than or equal to $3g-3$.

研究动机与目标

• 建立映射类群在维度 $ 2g $ 下辛表示的唯一性。
• 确定映射类群存在忠实线性表示的最小维度。
• 解决映射类群在低维表示中的线性性问题。
• 证明对于 $ g \geq 3 $，所有到 $ \mathrm{GL}(2g,\mathbb{C}) $ 的非平凡同态都共轭于标准辛表示。

提出的方法

• 分析德恩扭转在同调上的作用及其在 $ \mathbb{C}^{2g} $ 中的特征值结构。
• 使用矩阵块分解来表示关于非分离曲线的德恩扭转所对应的辛矩阵。
• 对亏格进行归纳，并利用映射类群作用下特征子空间的不变性。
• 应用辫子关系和德恩扭转像的交换性质，以限制可能的表示形式。
• 利用关于映射类群的有限商群和导出子群的已知结果，排除非平凡表示的可能性。
• 利用映射 $ \mathrm{Mod}(S) \to \mathrm{Sp}(2g,\mathbb{Z}) $ 的核包含于任何此类表示的核中这一事实，从而推出共轭于标准辛表示。

实验结果

研究问题

• RQ1 对于 $ g \geq 3 $，映射类群到 $ \mathrm{GL}(2g,\mathbb{C}) $ 的标准辛表示是否是唯一的非平凡同态？
• RQ2 映射类群在 $ \mathrm{GL}(n,\mathbb{C}) $ 中存在忠实线性表示的最小维度 $ n $ 是多少？
• RQ3 对于 $ n \leq 3g-3 $，映射类群到 $ \mathrm{GL}(n,\mathbb{C}) $ 的任何非平凡同态能否是单射？
• RQ4 德恩扭转像的特征子空间如何限制映射类群线性表示的结构？
• RQ5 导出子群 $ T_X^{(n)} $ 在分类映射类群表示中起什么作用？

主要发现

• 当 $ g \geq 3 $ 时，每个非平凡同态 $ \phi: \mathrm{Mod}(S) \to \mathrm{GL}(2g,\mathbb{C}) $ 都共轭于标准辛表示。
• 当 $ g \geq 3 $ 时，映射类群在维度 $ n \leq 3g-3 $ 内不存在忠实的线性表示。
• 任何同态 $ \phi: \mathrm{Mod}(S) \to \mathrm{GL}(n,\mathbb{C}) $，其中 $ n \leq 2g $，其像都通过交换化作用，这意味着当 $ g \geq 3 $ 时该同态是平凡的。
• 映射 $ \mathrm{Mod}(S) \to \mathrm{Sp}(2g,\mathbb{Z}) $ 的核包含于任何此类表示的核中，从而强制表示共轭于标准辛表示。
• 当 $ g \geq 3 $ 时，任何从 $ \mathrm{PSp}(2g,\mathbb{Z}) $ 到 $ \mathrm{GL}(n,\mathbb{C}) $ 的同态，若 $ n \leq 2g $，均为平凡同态。
• 映射类群的有限商群不能同态到 $ \mathrm{GL}(2g,\mathbb{C}) $ 的非平凡表示，从而确认了该表示的刚性。