[论文解读] An explicit fundamental domain for the Picard modular group in two complex dimensions

Gábor Francsics, Peter D. Lax|ArXiv.org|Sep 29, 2005

Geometric and Algebraic Topology参考文献 12被引用 12

一句话总结

本文通过在复双曲空间 $\mathbf{CH}^2$ 的无界二次曲面模型上使用 Siegel 集方法，首次构造了 Picard 模形式群 $PU(2,1;\mathbb{Z}[i])$ 在复双曲空间 $\mathbf{CH}^2$ 上作用的显式基本域。该基本域由坐标 $z_1, z_2$ 的代数不等式以及八个显式全纯自同构的雅可比行列式定义，具有有限体积、单个尖点，并在对合 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 下对称，其应用涵盖自伴拉普拉斯-贝尔特拉米算子的谱理论。

ABSTRACT

Our main goal in this paper is to construct the first explicit fundamental domain of the Picard modular group acting on the complex hyperbolic space ${\bf CH}^{2}$. The complex hyperbolic space is a Hermitian symmetric space, its bounded realization is the unit ball in ${\bf C}^2$ equipped with the Bergman metric. The Picard modular group is a discontinuous holomorphic automorphism subgroup of $SU(2,1)$ with Gaussian integer entries. This fundamental domain has finite volume, one cusp, explicitly given boundary surfaces and an interesting symmetry.

研究动机与目标

• 构造 Picard 模形式群 $PU(2,1;\mathbb{Z}[i])$ 在复双曲空间 $\mathbf{CH}^2$ 上作用的首个完全显式的基本域。
• 通过 $\mathbb{C}^2$ 坐标中的不等式，提供该基本域的几何与代数描述。
• 阐明八个特定全纯自同构 $G_1, \dots, G_8$ 在定义基本域边界与结构中的作用。
• 证明该基本域在对合 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 下不变，且具有单个尖点。
• 为该基本域上自伴拉普拉斯-贝尔特拉米算子的谱与散射分析奠定基础，相关工作见附录 [FL3]。

提出的方法

• 该构造基于先前工作 [FL1, FL2] 中的半显式基本域，通过在 $\mathbf{CH}^2$ 的无界二次曲面模型上使用 Siegel 集方法加以扩展。
• 基本域 $\mathcal{F}$ 由一组不等式定义：$\Re e z_1$、$\Im m z_1$、$\Re e z_1 + \Im m z_1 \leq 1$、$|\Re e z_2| \leq 1/2$、$|z_2|^2 \geq 1$ 的有界性，以及八个二次不等式 $Q_j(z) \geq 1$ 或 $\geq 2$。
• 八个全纯自同构 $G_j$ 通过生成元 $J$、$P_r$、$N_{(a,b)}$、$A_{\sqrt{2}}$、$M_c$ 显式构造，其中 $G_1 = J$，其余通过涉及 $J$、平移与伸缩矩阵的复合得到。
• 利用雅可比行列式条件 $|\det G_j'(z)|^2 \leq 1$（$j=2,\dots,8$）对基本域进行精炼，确保仅相关变换对边界有贡献。
• 该方法依赖于分析自同构的伸缩参数（$1$、$\sqrt{2}$、$2$），并证明仅当 $|\det G_j'(z)| \leq 1$ 或与已知 $G_j$ 匹配时，其才会影响基本域的边界。
• 通过对称性验证：通过证明 $S$ 置换定义不等式并保持基本域不变，且 $S^2 = I$。

实验结果

研究问题

• RQ1 Picard 模形式群 $PU(2,1;\mathbb{Z}[i])$ 在 $\mathbf{CH}^2$ 上作用的基本域的显式几何与代数结构是什么？
• RQ2 如何通过 $\mathbb{C}^2$ 坐标中的不等式以及群元素的雅可比行列式来描述基本域？
• RQ3 八个特定全纯自同构 $G_1, \dots, G_8$ 在定义基本域边界中起什么作用？
• RQ4 基本域是否在对合 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 下不变？它具有何种对称性？
• RQ5 该基本域的结构如何支持自伴拉普拉斯-贝尔特拉米算子的谱与散射分析？

主要发现

• 基本域 $\mathcal{F}$ 由以下不等式显式定义：$0 \leq \Re e z_1$，$0 \leq \Im m z_1$，$\Re e z_1 + \Im m z_1 \leq 1$，$|\Re e z_2| \leq 1/2$，$|z_2|^2 \geq 1$，以及八个二次不等式 $Q_j(z) \geq 1$ 或 $Q_j(z) \geq 2$（$j=1,\dots,8$），其中 $Q_j$ 涉及 $z_1$、$z_2$ 的线性组合与常数项。
• 该基本域具有有限体积、单个尖点，且在对合 $S(z_1,z_2) = (i\bar{z}_1, -\bar{z}_2)$ 下不变，该对合置换了定义不等式。
• 八个全纯自同构 $G_1 = J$，$G_2, \dots, G_8$ 均为必要：若省略任一，则所得集合严格大于 $\mathcal{F}$，此结论通过在基本域内测试点 $P_1, \dots, P_8$ 得到验证。
• 基本域在无穷远处包含一个尖点，且当 $\Im m z_2 \geq 1 + 2\sqrt{2}$ 时，集合 $\{z \in \mathbf{C}^2 : \text{坐标有界}, \Im m z_2 \geq a\}$ 包含于 $\mathcal{F}$，确认其在尖点方向上的无界性。
• 雅可比行列式条件 $|\det G_j'(z)|^2 \leq 1$（$j=2,\dots,8$）至关重要且非冗余，因其排除了某些自同构对边界的贡献。
• 基本域的边界由八张曲面构成，分别对应于八个自同构，且在 $z_1 = 0$ 处的二维边与模群 $PSL(2,\mathbb{Z})$ 的标准基本域一致。