Maximal Fuchsian subgroups of the $d=2$ Bianchi group

技术摘要：$d = 2$ 毕安奇群（Bianchi Group）的最大富克斯群（Fuchsian Subgroups）

问题陈述
本文研究了 $d=2$ 毕安奇群 $\Gamma = \text{PSL}(2, \mathbb{Z}[\sqrt{-2}])$ 中极大非初等富克斯子群（以下称为 F-子群）的分类与几何量化。虽然对于一般的毕安奇群，这类子群的分类已知具有复杂性，且依赖于底层二次虚域的理想类群，但本研究专门针对 $d=2$ 这一特定情形。主要目标是将这些子群的共轭类显式描述为不定四元数代数中的整序（integral orders），推导出每个类别的精确协体积（covolume）公式，并将这些结果应用于计算双曲 3-轨道流形 $\Gamma \backslash \mathbb{H}^3$ 中原始全测地浸入曲面的渐近增长率。

方法论
该方法依赖于 F-子群与双曲空间边界 $\partial \mathbb{H}^3 \cong \mathbb{C} \cup \{\infty\}$ 中圆的对应关系。

1. 几何分类： 作者利用 Vul (2017) 和 Jung (2019) 的分类结果，确定每个 F-子群稳定一个唯一的圆 $C$，该圆由约化方程 $A|z|^2 + Bz + \bar{B}\bar{z} + C = 0$ 定义。这些圆的判别式 $D = B\bar{B} - AC$ 是这些圆的主要不变量。
2. 代数实现： 对于每个判别式 $D$，本文构造了相应的不可约四元数代数 $Q = (-2, D)_{\mathbb{Q}}$。圆的稳定子被实现为特定 $\mathbb{Z}$-整序 $M$ 中约化范数为 1 的元素组（$M_1$）。
3. 显式整序构造： 通过分析在共轭作用下的稳定子的矩阵表示，作者推导出了六个不同的整序族（记作 $M(1)$ 至 $M(6)$）的显式 $\mathbb{Z}$-基，这些整序对应于 $D$ 模 4、8 或 16 的不同同余类。
4. 体积计算： 利用涉及整序约化判别式和约化范数群局部指数的算术富克斯群体积公式，计算了所得富克斯群的协体积。技术工作的核心部分在于对这些整序进行 2-adic 分析，特别是计算 Eichler 符号和约化范数群的指数 $[ \mathbb{Z}_2^\times : \text{nrd}(M_2^\times) ]$，这需要对模 8 的值进行仔细检查。

主要贡献与结果

• 显式分类（定理 2）： 本文提供了 $Q = (-2, D)_{\mathbb{Q}}$ 中对应于 F-子群共轭类的 $\mathbb{Z}$-整序的完整列表。这些整序按判别式 $D$ 的同余性质进行分类：
  • $M(1)$: 对于任意 $D$，为 $\mathbb{Z}[1, i, j, ij]$。
  • $M(2)$: 当 $D \equiv 1 \pmod 4$ 时，为 $\mathbb{Z}[1, i, \frac{1+j}{2}, \frac{i+ij}{2}]$。
  • $M(3), M(4)$: 分母为 4 的整序，出现在 $D \equiv 2, 6 \pmod{16}$ 时。
  • $M(5), M(6)$: 分母为 2 的整序，出现在 $D \equiv 2, 3 \pmod 4$ 时。
• 协体积公式（定理 3）： 作者推导了群 $M_1/\{\pm 1\}$ 的精确体积公式。体积由 $c \pi F(D)$ 给出，其中 $F(D)$ 是涉及勒让德符号 $\left(\frac{-2}{p}\right)$ 的乘积，常数 $c$ 取决于特定的整序以及 $D$ 模 8 的同余类。值得注意的是，本文通过进行严谨的 2-adic 分析，修正并扩展了之前的体积计算，该分析考虑了基元素具有 $2^2$ 分母的整序（即 $M(3)$ 和 $M(4)$），这一特征在 $d=1$ 或 $d \equiv 3 \pmod 4$ 的情形中并不存在。
• 渐近增长（定理 5）： 通过结合体积公式与判别式的计数引理，本文确立了面积小于 $x$ 的原始全测地浸入曲面数量 $\Pi(x)$ 的渐近行为。其极限计算为：
  $$\lim_{x \to \infty} \frac{\Pi(x)}{x} = \frac{45}{16\pi} \prod_{p>2} \left( 1 - \frac{1}{p} + \frac{1}{p + \left(\frac{-2}{p}\right)} \right)$$

意义与范围
本文声称提供了第一个关于 $d=2$ 毕安奇群在整 $\mathbb{Z}$-四元数整序意义下的极大富克斯群的显式描述，填补了此前处理 $d=1$ 和 $d \equiv 3 \pmod 4$ 情况的研究空白。这项工作强调了 $d=2$ 情形呈现出独特的算术挑战，特别是存在分母中含有更高次幂 2 的整序，这要求比以往应用于该领域的方法更精细的 2-adic 分析。

作者指出，虽然这些方法能为 $d=2$ 提供精确结果，但可能难以推广到其他毕安奇群（例如 $d=5$），因为在那些情况下，给定判别式的共轭类数量可能很大，且同余条件更为复杂。这些结果有助于深化对特定双曲流形中素测地线定理（prime geodesic theorems）的理解，特别是在假设 $\mathbb{Q}(\sqrt{-d})$ 的理想类群不包含 4 阶元素的假设下。本文并未提出新的实验应用，而是巩固了在这些特定双曲流形中计数几何对象的理论框架。