[论文解读] Problems, Questions, and Conjectures about Mapping Class Groups

Dan Margalit|arXiv (Cornell University)|Jun 22, 2018

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

一句话总结

本文汇编了映射类群理论中的开放问题与猜想，重点关注线性性、同余子群、上同调、伪阿诺索夫拉伸因子、托里利子群以及正规子群。论文通过劳伦斯–克拉默型构造提出关于忠实线性表示的新问题，并探讨了小拉伸因子映射类的结构以及所有伪阿诺索夫曲面子群的性质，为几何群论与低维拓扑学的持续研究做出贡献。

ABSTRACT

We discuss a number of open problems about mapping class groups of surfaces. In particular, we discuss problems related to linearity, congruence subgroups, cohomology, pseudo-Anosov stretch factors, Torelli subgroups, and normal subgroups.

研究动机与目标

• 汇编并呈现一份精选的映射类群理论开放问题列表，基于基础工作与近期进展。
• 研究映射类群的线性性，特别是通过广义劳伦斯–克拉默表示。
• 探讨具有小拉伸因子的映射类的结构与有限性性质。
• 考察映射类群中所有伪阿诺索夫曲面子群的存在性与性质。
• 解决关于伪阿诺索夫元素分解的猜想，以及由映射类导出的某些3-流形不变量的有限性。

提出的方法

• 将 $\operatorname{Mod}(S_g)$ 的第 $k$ 个劳伦斯表示定义为在 $S_g$ 上 $k$ 个点的配置空间的万有阿贝尔覆盖的同调上的作用。
• 类比辫群中劳伦斯–克拉默表示的忠实性，以激励在映射类群设定下研究忠实性。
• 应用坎特维奇提出的线性表示族（猜想为忠实）于映射类群。
• 利用纤维化3-流形理论与单体动力学分析拉伸因子及其渐近行为。
• 采用约翰逊滤子与配置空间的紧支集上同调研究托里利子群与同余子群。
• 分析伪阿诺索夫元素的正规包及其与扩展托里利群的潜在关系。

实验结果

研究问题

• RQ1 对于任意 $k \geq 1$，$\operatorname{Mod}(S_g)$ 的第 $k$ 个劳伦斯表示是否忠实？
• RQ2 $\operatorname{Mod}(S_g)$ 在 $g \geq 2$ 时是否包含一个所有元素均为伪阿诺索夫的曲面子群？
• RQ3 在 $g\log\lambda < C$ 条件下，由伪阿诺索夫映射类产生的3-流形 $M_f^\circ$ 的集合 $\Omega_C$ 的最小非零基数是多少？
• RQ4 每个满足 $g\log\lambda < C$ 的伪阿诺索夫映射类是否都是有限阶元素与具有有界复杂度支撑的约化元素的乘积？
• RQ5 在 $\operatorname{Mod}(S_g)$ 中，伪阿诺索夫元素的正规包是否可能等于扩展托里利群？

主要发现

• 第 $k$ 个劳伦斯表示是 $\operatorname{Mod}(S_g)$ 忠实线性表示的一个候选，其动机源于辫群中劳伦斯–克拉默表示的忠实性。
• 对于 $g \geq 3$，$\operatorname{Mod}(S_g)$ 的线性性仍为开放问题，尽管已知在 $g = 2$ 时可通过辫群的线性性得到证明。
• 集合 $\Omega_C = \{M_f^\circ \mid f \in P_C\}$ 是有限的，其中 $P_C$ 是满足 $g\log\lambda < C$ 的伪阿诺索夫映射类的集合。
• 对称性猜想认为：任何具有小拉伸因子的伪阿诺索夫元素均可表示为有限阶元素与支撑复杂度有界（且与 $g$ 无关）的约化元素的乘积。
• 莱因辛格证明：若拉伸因子小于 $3/2$，则该元素是周期元素与约化元素的乘积，为对称性猜想提供了部分证据。
• 布瓦奇特、格罗夫斯与萨皮尔证明：对每个 $g$，$\operatorname{Mod}(S_g)$ 中所有伪阿诺索夫曲面子群的共轭类至多只有有限多个。