[论文解读] Deformation theory and finite simple quotients of triangle groups I

Michael Larsen, Alexander Lubotzky+1 more|arXiv (Cornell University)|Jan 14, 2013

Finite Group Theory Research参考文献 20被引用 4

一句话总结

本文提出了一种基于表示簇形变理论的新方法，用于分类双曲三角形群 $T_{a,b,c}$ 的有限单商群，利用代数群上的表示簇。研究证明，对于所有双曲三元组 $(a,b,c)$，$T_{a,b,c}$ 在除论文表格中列出的有限多个例外情况外，均饱和于任意给定的不可约根系类型 $X$ 的有限单商群，从而证实并扩展了Marion的猜想。

ABSTRACT

Let $2 \leq a \leq b \leq c \in \mathbb{N}$ with $μ=1/a+1/b+1/c<1$ and let $T=T_{a,b,c}=< x,y,z: x^a=y^b=z^c=xyz=1>$ be the corresponding hyperbolic triangle group. Many papers have been dedicated to the following question: what are the finite (simple) groups which appear as quotients of $T$? (Classically, for $(a,b,c)=(2,3,7)$ and more recently also for general $(a,b,c)$.) These papers have used either explicit constructive methods or probabilistic ones. The goal of this paper is to present a new approach based on the theory of representation varieties (via deformation theory). As a corollary we essentially prove a conjecture of Marion [21] showing that various finite simple groups are not quotients of $T$, as well as positive results showing that many finite simple groups are quotients of $T$.

研究动机与目标

• 基于表示簇的形变理论，发展一种新方法，以研究双曲三角群的有限单商群。
• 解决Marion关于哪些有限单群不是三角群商群的猜想。
• 建立双曲三角群满射到给定根系类型的有限单群的条件。
• 利用代数群理论中的几何与上同调技术，对有限单商群进行系统分类。

提出的方法

• 该方法采用表示簇 $\mathrm{Hom}(T, \underline{G})$，其中 $T = T_{a,b,c}$ 为双曲三角形群，$\underline{G}$ 为域 $\mathbb{F}$ 上的半单代数群。
• 利用形变理论通过群上同调 $H^1(T, \mathrm{Ad} \circ \rho)$ 分析表示簇的Zariski切空间。
• 非局部刚性表示的存在性及其Zariski稠密像，意味着在有限域上饱和于有限单商群。
• 该方法依赖于构造一个到类型为 $X$ 的紧李群 $G$ 的表示 $\rho_0^\mathfrak{G}$，然后通过 $\mathrm{SO}(3,\mathbb{R})$ 的主同态对其进行形变。
• 通过指数和下取整函数，比较子代数 $\mathfrak{h} \subset \mathfrak{g}$ 的 $H^1(T, \mathfrak{g})$ 与 $H^1(T, \mathfrak{h})$ 的上同调，以验证形变空间的非零性。
• 关键技术工具是定理5.8，它关联了不同代数群之间的上同调维数，从而实现非刚性、Zariski稠密集合表示的构造。

实验结果

研究问题

• RQ1 对于哪些双曲三角形群 $T_{a,b,c}$ 和根系类型 $X$，$T_{a,b,c}$ 满射到无穷多个类型为 $X$ 的有限单群？
• RQ2 哪些有限单群不是某个给定双曲三角形群 $T_{a,b,c}$ 的商群，且能否通过上同调障碍来确定？
• RQ3 表示簇的形变理论能否用于证明 $T_{a,b,c}$ 对给定类型有限单商群的饱和性？
• RQ4 在何种条件下，上同调 $H^1(T, \mathrm{Ad} \circ \rho)$ 为零或保持非平凡，这如何影响有限商群的存在性？
• RQ5 表1中列出的例外情况是否真正为例外，还是可通过进一步分析排除？

主要发现

• 本文证明，对于每个双曲三角形群 $T_{a,b,c}$ 和每个不可约根系图 $X$，$T_{a,b,c}$ 在表1列出的有限多个例外情况外，均饱和于类型 $X$ 的有限商群。
• 例外情况的数量被证明为有限，且本文建议将在后续论文中通过更精细的技术解决这些情况。
• 非局部刚性且Zariski稠密集合的表示 $\rho_3: T \to \underline{G}(\mathbb{R})$ 的存在性，意味着 $T$ 对所有 $\ell \in \mathbb{N}$ 和所有足够大的素数 $p$，满射到 $X(q^{e\ell})$，且其密度为正。
• 在所有非例外情况下，建立了上同调条件 $\dim H^1(T, \mathfrak{g}) > \dim H^1(T, \mathfrak{h})$，确保形变空间非平凡。
• 对于 $X = D_4$，当 $n_2 \neq 3$ 时，不等式 $\dim H^1(T, \mathfrak{g}) > \dim H^1(T, \mathfrak{h})$ 成立，从而排除了 $(2,3,7)$ 作为例外的可能性。
• 对于 $X = A_6$，在排除 $(a,b,c) \in \{(2,4,5), (2,4,6)\}$ 的情况下，不等式成立，确认这些是该情形下唯一的潜在例外。