[论文解读] The congruence subgroup property for the hyperelliptic modular group

Marco Boggi|arXiv (Cornell University)|Mar 27, 2008

Algebraic Geometry and Number Theory参考文献 8被引用 5

一句话总结

本文在 $n \geq 1$ 时证实了双椭圆模群 $H_{g,n}$ 的同余子群性质，证明了 $H_{g,n}$ 的每个有限指数子群都包含其自然表示到亏格为 $g$、有 $n$ 个穿孔的曲面的基本群的外自同构群的核，模去基本群的某个有限指数特征子群。

ABSTRACT

Let ${\cal M}_{g,n}$ and ${\cal H}_{g,n}$, for $2g-2+n>0$, be, respectively, the moduli stack of $n$-pointed, genus $g$ smooth curves and its closed substack consisting of hyperelliptic curves. Their topological fundamental groups can be identified, respectively, with $\Gamma_{g,n}$ and $H_{g,n}$, the so called Teichm{u}ller modular group and hyperelliptic modular group. A choice of base point on ${\cal H}_{g,n}$ defines a monomorphism $H_{g,n}\hookrightarrow\Gamma_{g,n}$. Let $S_{g,n}$ be a compact Riemann surface of genus $g$ with $n$ points removed. The Teichmuller group $\Gamma_{g,n}$ is the group of isotopy classes of diffeomorphisms of the surface $S_{g,n}$ which preserve the orientation and a given order of the punctures. As a subgroup of $\Gamma_{g,n}$, the hyperelliptic modular group then admits a natural faithful representation $H_{g,n}\hookrightarrow\operatorname{Out}(\pi_1(S_{g,n}))$. The congruence subgroup problem for $H_{g,n}$ asks whether, for any given finite index subgroup $H^\lambda$ of $H_{g,n}$, there exists a finite index characteristic subgroup $K$ of $\pi_1(S_{g,n})$ such that the kernel of the induced representation $H_{g,n} o\operatorname{Out}(\pi_1(S_{g,n})/K)$ is contained in $H^\lambda$. The main result of the paper is an affirmative answer to this question for $n\geq 1$.

研究动机与目标

• 研究双椭圆模群 $H_{g,n}$ 是否满足同余子群性质。
• 确定 $H_{g,n}$ 的每个有限指数子群是否可表示为模去 $\pi_1(S_{g,n})$ 的某个有限指数特征子群的表示的核。
• 通过外自同构表示建立 $H_{g,n}$ 的有限指数子群与 $\pi_1(S_{g,n})$ 商群之间的结构联系。
• 将同余子群问题从完整的泰希米勒模群推广到双椭圆子群。

提出的方法

• 利用自然单同态 $H_{g,n} \hookrightarrow \Gamma_{g,n}$，将 $H_{g,n}$ 识别为泰希米勒模群的一个子群。
• 采用由曲面穿孔基本群上作用诱导的忠实表示 $H_{g,n} \hookrightarrow \operatorname{Out}(\pi_1(S_{g,n}))$。
• 分析对 $\pi_1(S_{g,n})$ 的有限指数特征子群 $K$ 的诱导表示 $H_{g,n} \to \operatorname{Out}(\pi_1(S_{g,n})/K)$。
• 应用群论技巧，证明任意有限指数子群 $H^\lambda \leq H_{g,n}$ 都包含某个合适 $K$ 的此类表示的核。
• 利用模堆栈 $\mathcal{H}_{g,n}$ 及其基本群 $H_{g,n}$ 的拓扑与算术结构。
• 依赖条件 $2g - 2 + n > 0$，以确保曲面足够非退化，使得基本群非交换且非平凡。

实验结果

研究问题

• RQ1 是否每个 $H_{g,n}$ 的有限指数子群都包含表示 $H_{g,n} \to \operatorname{Out}(\pi_1(S_{g,n})/K)$ 的核，其中 $K$ 是 $\pi_1(S_{g,n})$ 的某个有限指数特征子群？
• RQ2 当 $n \geq 1$ 时，$H_{g,n}$ 是否满足同余子群性质？
• RQ3 $H_{g,n}$ 作为 $\Gamma_{g,n}$ 的子群，其结构如何影响其同余子群行为？
• RQ4 通过外自同构作用，$H_{g,n}$ 的有限指数子群与 $\pi_1(S_{g,n})$ 的商群之间存在何种关系？

主要发现

• 当 $n \geq 1$ 时，双椭圆模群 $H_{g,n}$ 满足同余子群性质，证实了主要猜想。
• 对任意有限指数子群 $H^\lambda \leq H_{g,n}$，存在一个有限指数特征子群 $K \trianglelefteq \pi_1(S_{g,n})$，使得 $\ker(H_{g,n} \to \operatorname{Out}(\pi_1(S_{g,n})/K)) \leq H^\lambda$。
• 表示 $H_{g,n} \to \operatorname{Out}(\pi_1(S_{g,n}))$ 是忠实的，使得可以利用外自同构群的商群来检测有限指数子群。
• 该结果在基本群 $\pi_1(S_{g,n})$ 的算术性质与 $H_{g,n}$ 的子群结构之间建立了深刻联系。
• 条件 $2g - 2 + n > 0$ 确保曲面为一般型，使基本群非交换且适合进行同余子群分析。
• 证明依赖于模堆栈 $\mathcal{H}_{g,n}$ 及其基本群 $H_{g,n}$ 的拓扑与几何性质，尤其在 $n \geq 1$ 时。