[论文解读] Bianchi Orbifolds of Small Discriminant

Allen Hatcher|ArXiv.org|Jun 10, 1999

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

一句话总结

本文对判别式 $D < 0$ 且 $D > -100$ 的虚二次域 $
\mathbb{Q}(\sqrt{D})$ 的 Bianchi 群体 $X_D = \mathcal{H}^3 / \mathrm{PGL}_2(\mathcal{O}_D)$ 的紧化空间 $\widehat{X}_D$ 进行分类。利用 Riley 的 Ford 基本域计算数据，作者确定当且仅当 $D$ 取 19 个值时，$
\widehat{X}_D = S^3$，并完全描述了相应的轨道丛结构及相关的分支覆盖 $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D)$，揭示了其与几何群论和上同调性质的联系。

ABSTRACT

This brief report (6 pages) was written in 1983 but never published. It concerns the hyperbolic 3-orbifolds obtained as quotients of hyperbolic 3-space by the group of invertible 2 by 2 matrices whose entries are integers in the imaginary quadratic extension of Q of discriminant D. For values D &gt; -100 the topological type of this orbifold is tabulated, and in the cases when the topological type is a punctured 3-sphere, the singular locus of the orbifold is drawn. A few miscellaneous comments about these orbifolds are included. The tables and pictures are based on Bob Riley's computer calculations of Ford domains and face pairings. Nothing is said about later developments after 1983. The pictures are also viewable on my webpage in a perhaps more convenient format; see http://math.cornell.edu/~hatcher

研究动机与目标

• 确定对于哪些虚二次域 $\mathbb{Q}(\sqrt{D})$，Bianchi 群体 $X_D = \mathcal{H}^3 / \mathrm{PGL}_2(\mathcal{O}_D)$ 的紧化空间 $\widehat{X}_D$ 同胚于 3-球面 $S^3$。
• 对满足 $\widehat{X}_D = S^3$ 的情形，显式描述 $X_D$ 上的轨道丛结构，包括 $\mathrm{PGL}_2(\mathcal{O}_D)$ 中扭元的轴所构成的奇异轨迹。
• 分析 2-叶分支覆盖 $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D) \to X_D$ 的拓扑类型及其上同调性质。
• 研究 $X_D$ 和 $Y_D$ 中是否存在全测地不可压缩曲面，特别是其与柱面上同调的关系。

提出的方法

• 利用 Riley 的计算机生成的 $\mathrm{PGL}_2(\mathcal{O}_D)$ 在 $\mathcal{H}^3$ 上作用的 Ford 基本域，其中通过群元素编码了面的粘合关系。
• 采用几何可视化技术，从 Ford 域的组合数据重建紧化轨道丛 $\widehat{X}_D$ 的拓扑结构。
• 将 $X_D$ 的奇异轨迹分析为 $\mathrm{PGL}_2(\mathcal{O}_D)$ 中扭元的不动点轴的像，边上的标签表示旋转阶数。
• 通过考虑 $\mathrm{PSL}_2(\mathcal{O}_D)$ 这一指数为 2 的子群，构造覆盖 $Y_D \to X_D$，并由柱面行为确定覆盖类型。
• 应用同调群 $H^1$ 和 $H^2$ 等拓扑不变量，检测柱面上同调并推断 $Y_D$ 的几何性质。
• 利用轨道丛图中的反射与旋转对称性，推断 $\mathrm{PGL}_2(\mathcal{O}_D)$ 的伽罗瓦扩张，特别是通过包含 $\mathrm{PGL}_2(\mathcal{O}_D)$ 作为正规子群的群 $G_D$。

实验结果

研究问题

• RQ1 对于满足 $-100 < D < 0$ 的哪些判别式 $D$，Bianchi 群体 $X_D$ 的紧化空间 $\widehat{X}_D$ 同胚于 $S^3$？
• RQ2 当 $\widehat{X}_D = S^3$ 时，$X_D$ 上的显式轨道丛结构是怎样的，特别是奇异轨迹的配置与扭元阶数？
• RQ3 2-叶分支覆盖 $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D)$ 与 $X_D$ 的关系如何？对每个满足 $\widehat{X}_D = S^3$ 的 $D$，其拓扑类型是什么？
• RQ4 在 $Y_D$ 中，哪些情形不具有柱面上同调？这对其几何与算术结构意味着什么？
• RQ5 轨道丛 $X_D$ 能否通过不可压缩曲面的层级分解实现？这对其群结构 $\mathrm{PGL}_2(\mathcal{O}_D)$ 暗示了什么？

主要发现

• 在 $-100 < D < 0$ 的范围内，恰好有 19 个 $D$ 值使得 $\widehat{X}_D = S^3$，具体为 $D = -3, -4, -7, -8, -11, -15, -19, -20, -23, -24, -31, -35, -39, -40, -43, -47, -51, -52, -55$。
• 对于这 19 个情形，$X_D$ 上的轨道丛结构被显式描述：奇异轨迹由标记了扭元阶数的边组成的嵌入图构成，完整结构在论文附带的图中可视化。
• 分支覆盖 $Y_D = \mathcal{H}^3 / \mathrm{PSL}_2(\mathcal{O}_D)$ 的拓扑类型为：当 $D = -3, -4$ 时为 $S^3$；当 $D = -7, -8, -11, -19$ 时为 3-球体 $B^3$；对于更大的 $D$，则为 $S^1 \times D^2$、$T^2 \times I$ 和 $S^1 \times S^2$ 的越来越复杂的连枝和。
• 在 $\widehat{X}_D = S^3$ 的 19 个情形中，有 14 个情形下 $Y_D$ 不具有柱面上同调，即限制映射 $H^1(Y_D; \mathbb{Z}) \to H^1(\partial Y_D; \mathbb{Z})$ 是单射，这一性质在所有 $D < 0$ 中仅对这些 $D$ 成立。
• 当 $D = -84$ 时，$\widehat{X}_D = S^1 \times S^2$，其奇异轨迹为环面上的周期图，将流形分解为两个实心环面，且通过 $\mathbb{Z}_2 \times \mathbb{Z}_2$ 商得到 $S^3$。
• 对于 $D \neq -3, -4$，19 个满足 $\widehat{X}_D = S^3$ 的轨道丛 $X_D$ 均为 Haken 型，可通过对不可压缩曲面的层级分解，将其分解为 $\mathbb{R}^3 / \Gamma$ 的商，其中 $\Gamma \subset SO(3)$ 为有限子群，且群 $\mathrm{PGL}_2(\mathcal{O}_D)$ 作为 $\mathrm{PSL}_2(\mathbb{Z})$ 上的迭代自由乘积与黏合构造而成。