技术摘要：特定 2F1 超几何函数的例外集

1. 问题陈述

本文研究了对于具有有理参数 $a, b, c \in \mathbb{Q}$ 的高斯超几何函数 ${}_2F_1(a, b, c; z)$ 的例外集 (exceptional sets) 的确定问题。例外集定义为：
$$E(a, b, c) := \{z \in \mathbb{Q} \mid {}_2F_1(a, b, c; z) \in \mathbb{Q}\}.$$

虽然单值群（monodromy group）的有限性意味着该超几何函数是代数函数（这是由 Beukers 和 Heckman 得出的结果），但一般情况涉及非代数函数。Wolfart 曾提出猜想：当且仅当单值群是算术型 (arithmetic) 时，例外集是无限的。本文重点研究那些其关联单值群属于 Takeuchi 第一类 (Takeuchi's Class I) 的算术三角形群的 $(a, b, c)$ 数据。具体而言，它针对的是与 $\text{PSL}_2(\mathbb{Z})$ 共元的九个非紧致算术三角形群。

2. 研究方法

作者结合了超越理论与显式模形式恒等式，采用了双重方法：

A. 几何与超越框架

1. 阿贝尔簇 (Abelian Varieties)： 利用欧拉的超几何函数积分表示，本文构造了相关的代数曲线 $C(N, z)$ 及其正则化曲线 $X(N, z)$。这些曲线的周期与超几何函数值相关联。
2. 雅可比簇 (Jacobian Varieties)： 作者考虑了雅可比簇 $\text{Jac}(X(N, z))$ 及其新部分 $\text{Jac}^{\text{new}}(X(N, z))$，其维数为 $\phi(N)$。
3. 超越性结果： 本文应用了 Wüstholz 和 Wolfart 深奥的超越性结果。这些结果为具有复乘 (CM) 性质的阿贝尔簇周期的代数性提供了必要条件。具体而言，它们将超几何值的有理性与底层周期格的复乘性质联系起来。

B. 超几何-模形式恒等式

1. 施瓦茨三角形群 (Schwarz Triangle Groups)： 通过施瓦茨映射（Schwarz map）对超几何微分方程进行分析，该映射将上半平面 $\mathbb{H}$ 均匀化为一个双曲三角形。该映射的逆是对应三角形群 $\Gamma$ 的 Hauptmodul（函数域的生成元）。
2. 显式恒等式： 本文推导了将 ${}_2F_1(a, b, c; t(\tau))$ 表示为模形式（特别是 Dedekind eta 函数的乘积）的恒等式。定理 2 确立了对于一个 Hauptmodul $t$ 及特定的分支，超几何函数与 $\tau$ 以及一个 Wronskian 因子 $W(\tau)$ 的平方根之线性组合成正比。
3. CM 点： 通过在 CM 点（即 $\tau \in \mathbb{H} \cap \mathbb{Q}(\sqrt{-d})$ 中的点）处评估这些模恒等式，本文识别了能够产生有理超几何值的 Hauptmodul $t$ 的特定代数值。

3. 主要贡献与结果

主定理 (Theorem 1)

对于单值群为 Takeuchi 第一类中算术三角形群的数据 $(a, b, c)$（其中 $0 < a, b, c < 1$），例外集表征为：
$$E(a, b, c) = \{ z \in \mathbb{Q} \mid \exists \tau_d \in \mathbb{Q}(\sqrt{-d}) \cap \mathbb{H} \text{ 使得 } z = t(\tau_d) \},$$
其中：

• $t$ 是为该三角形群选定的特定 Hauptmodul。
• $d \in \{1, 2, 3\}$ 是由特定群确定的正整数。
• 如果 $c \ge 1$，则例外集是平凡的：$E(a, b, c) = \{0\}$。

显式确定

本文显式计算了所有属于 Takeuchi 第一类的此类情形的例外集。

• 表 1 列出了三角形群、其对应的 Hauptmoduln（例如 $S_2, S_3, J_3, R_3$）以及它们与标准模函数的联系。
• 表 2 提供了显式的超几何-模形式恒等式，包括常数 $\alpha$（单位根）和 Wronskian 因子 $W(\tau)^{1/2}$。
• 表 4 总结了各数据对应的整数 $d$ 和特定的模函数 $t$。
• 表 5 列举了显式的代数值示例。例如，对于对应于群 $(2, \infty, \infty)$（识别为 $\Gamma_0(2)$）的数据 $(1/4, 1/4, 1/2)$，其例外集由 $S_2(\tau)$ 生成，其中 $\tau \in \mathbb{Q}(i) \cap \mathbb{H}$。一个具体的求值结果为 $S_2(i) = 9$，从而得出：
  $${}_2F_1\left(\frac{1}{4}, \frac{1}{4}, \frac{1}{2}; 9\right) = 2 - \frac{i}{2\sqrt{2}}.$$

4. 重要性与主张

本文声称，对于与 Takeuchi 第一类算术三角形群相关的特定类超几何函数，提供了一个完整且显式的例外集描述。

• 方法合成： 这项工作展示了如何通过结合超越理论（Wolfart/Wüstholz）与显式模形式恒等式，实现对例外集中有理点的精确识别，而不仅仅是证明它们的存在性或稠密性。
• 与 L-值的联系： 作者指出，本文获得的显式 CM 点 Hauptmodul 求值（特别是在表 5 中）可以作为计算 CM Hecke 特征形式的特殊 L-值的代数输入，并引用了 Edixhoven、Yafaev 等人利用此类值的先前工作。
• 验证猜想： 通过展示这些例外集确实是无限的，并且在 $\mathbb{C}$ 中是 Zariski 稠密的（由 CM 点在相关模函数下的像生成），本文验证了 Wolfart 在此特定语境下的猜想。

本文并未提出超出确定这些集合及其在 L-值计算中用途（如文献中所建立的）这一直接背景之外的新实验方法或未来应用。