技術的要約：特定の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}\}.$$

モノドロミー群の有限性は、その超幾何関数が代数関数であることを意味するが（BeukersおよびHeckmanによる結果）、一般的なケースでは非代数的な関数が含まれる。Wolfartは、例外集合が無限集合となるための必要十分条件は、モノドロミー群が算術的（arithmetic）であることであると予想した。本論文は、関連するモノドロミー群がTakeuchiのClass Iに属する算術的三角形群であるデータ $(a, b, c)$ について、これらの集合を明示的に決定することに焦点を当てている。具体的には、$\text{PSL}_2(\mathbb{Z})$ と共元的な9つの非コンパクト算術的三角形群を対象としている。

2. 手法

著者は、超越理論と明示的なモジュラー形式の恒等式を組み合わせた二角的なアプローチを採用している。

A. 幾何学的および超越論的枠組み

1. アーベル多様体: オイラーの積分表示を用いて、超幾何関数の関連する代数曲線 $C(N, z)$ およびその正則化 $X(N, z)$ を構成する。これらの曲線の周期は、超幾何関数の値に関連している。
2. ヤコビ多様体: 著者は、ヤコビ多様体 $\text{Jac}(X(N, z))$ およびその新しい部分（new part） $\text{Jac}^{\text{new}}(X(N, z))$ を考察する。これは次元 $\phi(N)$ を持つ。
3. 超越理論の結果: 著者は、WüstholzおよびWolfartによる深い超越理論の結果を適用している。これらの結果は、複素乗法（CM）を持つアーベル多様体の周期の代数性に関する必要条件を提供している。具体的には、これらは超幾何関数の有理性と、基礎となる周期格子のCM性の性質を結びつけている。

B. 超幾何・モジュラー恒等式

1. シュワルツ三角形群: 超幾何微分方程式は、シュワルツ写像を通じて解析される。この写像は、上半平面 $\mathbb{H}$ を双曲三角形へと一様化する。この写像の逆写像は、対応する三角形群 $\Gamma$ のハウプトモジュラス（Hauptmodul）（関数体の生成元）である。
2. 明示的な恒等式: 本論文では、超幾何関数 ${}_2F_1(a, b, c; t(\tau))$ をモジュラー形式（特にデデキント・エータ関数の積）を用いて表す恒等式を導出している。定理2は、ハウプトモジュラス $t$ と特定の枝に対して、超幾何関数が $\tau$ と、ロンスキアン因子 $W(\tau)$ の平方根の線形結合に比例することを確立している。
3. CM点: これらのモジュラー恒等式をCM点（$\tau \in \mathbb{H} \cap \mathbb{Q}(\sqrt{-d})$）で評価することにより、本論文は、有理な超幾何関数の値をもたらすハウプトモジュラス $t(\tau)$ の特定の代数的値を特定している。

3. 主要な貢献と結果

主定理 (Theorem 1)

モノドロミー群がTakeuchiのClass Iにおける算術的三角形群であるデータ $(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{ s.t. } z = t(\tau_d) \},$$
ここで：

• $t$ は、三角形群に対して選択された特定のハウプトモジュラスである。
• $d \in \{1, 2, 3\}$ は、特定の群によって決定される正の整数である。
• $c \ge 1$ の場合、例外集合は自明である： $E(a, b, c) = \{0\}$ 。

明示的な決定

本論文は、TakeuchiのClass Iにおけるすべてのケースについて、例外集合を明示的に計算している。

• 表1は、三角形群、それらに対応するハウプトモジュラス（例：$S_2, S_3, J_3, R_3$）、および標準的なモジュラー関数との関係を列挙している。
• 表2は、定数 $\alpha$ （1の冪根）とロンスキアン因子 $W(\tau)^{1/2}$ を含む、各ケースの明示的な超幾何・モジュラー恒等式を提供している。
• 表4は、整数 $d$ と各データに対する特定のモジュラー関数 $t$ を要約している。
• 表5は、代数的値の具体的な例を挙げている。例えば、$(2, \infty, \infty)$（$\Gamma_0(2)$と同一視される）に対応するデータ $(1/4, 1/4, 1/2)$ の場合、例外集合は $\tau \in \mathbb{Q}(i) \cap \mathbb{H}$ における $S_2(\tau)$ によって生成される。具体的な評価により、$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のClass Iの算術的三角形群に関連する特定の超幾何関数の例外集合について、完全かつ明示的な記述を提供することを主張している。

• 手法の統合: この研究は、超越理論（Wolfart/Wüstholz）と明示的なモジュラー形式の恒等式を組み合わせることで、例外集合内の有理点の存在を証明するだけでなく、その存在を精密に特定できることを示している。
• L値への接続: 著者は、本研究で得られたハウプトモジュラスの明示的なCM点での評価（特に表5）が、CMヘッケ固有形式の特殊なL値の計算のための代数的入力として機能し得ることを述べており、そのような値を活用しているEdixhovenやYafaevらの先行研究に言及している。
• 予想の検証: 本結果は、例外集合が実際に無限であり、関連するモジュラー関数によるCM点の像によって生成されることを示すことにより、Wolfartの予想をこの特定の文脈において裏付けている。

本論文は、決定されたこれらの集合およびL値の計算における有用性という直接的な文脈を超えて、新しい実験的手法や将来の応用を提案するものではない。