Boundary CM points and class groups of small exponent

技術的概要：境界 CM 点と小指数の類群

問題提起
本論文は、虚二次体の算術とモジュラー形式の理論における相互に関連する 2 つの問題を調査する。第一に、$SL_2(\mathbb{Z})$ が上半平面 $\mathbb{H}$ に作用する際の標準的基本領域 $F$ の境界における複素乗法（CM）点の分布を扱う。ウィリアム・デュークは、判別式 $D \to -\infty$ となるにつれて、$F$ の内部における CM 点の均等分布を確立したが、特に非基本判別式に対して、境界（左側の垂直線と下部の円弧）におけるこれらの点の挙動は特徴付けられていなかった。第二に、本論文は、関連する類群 $Cl(\mathcal{O}_D)$ が小指数（具体的には $1 \le E \le 8$）を持つ負の判別式 $D$ の完全な分類を追求する。この分類は、与えられた判別式のすべての CM 点が $F$ の境界上に存在する場合を特定する必要性に動機付けられており、これはモジュラー形式の零点の研究に関連する性質である。

手法
著者らは、解析的数論、代数的数論、およびアルゴリズム的計算の組み合わせを採用する。

1. 均等分布の解析: 境界における CM 点の均等分布を証明するために、著者らは左境界上の点を虚部 $y$ によって、下部の円弧上の点を偏角 $\theta$ によってパラメータ化する。下部の円弧を垂直線分へ写す変換を用いることで、両方の境界成分の扱いを統一する。証明は、判別式の上限 $|D| \le \Delta$ から導かれる二次的制約を満たす互いに素な対 $(a, c)$ を数えることにより、特定の区間内の CM 点の数を推定することに依存する。オイラーのトーティエント関数 $\phi(a)$ やメビウス関数 $\mu(d)$ に関する推定を含む標準的な解析的道具を用いて、漸近的な個数を導出する。

2. 境界点の特性付け: 本論文は、CM 点の幾何学的な位置と類群の代数的構造との間のリンクを確立する。CM 点 $[a, b, c]$ の逆元が $[a, -b, c]$ であるという事実を用いて、著者らは、ある CM 点が境界（または虚軸）上に存在するのは、それが類群において 2 で割り切れる位数を持つ場合に限られることを示す。これにより、幾何学的な問題は、類群 $Cl(\mathcal{O}_D)$ が 2 で割り切れる指数を持つかどうかを決定するという代数的な問題に帰着される。

3. 分類アルゴリズム: 小指数を持つ類群を持つ判別式を分類するために、著者らは Fan および Pollack のアイデアを適応させる。彼らは類群の「主要部分」を定義し、判別式 $D = D_0 f^2$（ここで $D_0$ は基本判別式）の導手 $f$ に関する整除性を導出する。具体的には、$f$ の素数べき因子の最小公倍数を通じて定義された関数 $L(f)$ が、$12 \cdot |\mathcal{O}_{D_0}^\times| \cdot \text{Exp}(Cl(\mathcal{O}_D))$ を整除することを証明する。この性質により、以下のアルゴリズムの構築が可能となる：

   • 所望の指数を持つ基本判別式 $D_0$ を特定する。
   • $L(f)$ から導出された値の約数をチェックすることにより、候補となる導手 $f$ を生成する。
   • 得られる類群 $Cl(\mathcal{O}_{D_0 f^2})$ の指数を検証する。

主要な貢献と結果

• 定理 1.1（境界上の均等分布）: 著者らは、上限 $\Delta \to \infty$ となるにつれて、$|D| \le \Delta$ を満たす CM 点の集合が、左境界において測度 $d\mu = \frac{1}{y} dy$ に関して、下部の円弧において測度 $d\nu = \frac{1}{\sin \theta} d\theta$ に関して均等分布することを証明する。この結果は、個々の判別式ではなく上限までのすべての判別式の集合を考慮する点でデュークの定理と異なり、個々の判別式は境界上で稠密な集合を与えないため、このアプローチが必要となる。

• 定理 1.2（境界のみの CM 点の特性付け）: 本論文は、判別式 $D$ のすべての CM 点が $F$ の境界上に存在するための必要十分条件を提供する：類群 $Cl(\mathcal{O}_D)$ が 2 で割り切れる指数を持ち、かつ $D$ が奇数または $-4$に等しいことである。シゲル零点の非存在を仮定して、著者らは、その類群構造（自明、$\mathbb{Z}/2\mathbb{Z}$、$(\mathbb{Z}/2\mathbb{Z})^2$、$(\mathbb{Z}/2\mathbb{Z})^3$）によって分類された、そのような判別式の完全なリストを提供する。

• 定理 1.3 および表 A.1–A.8（小指数の分類）: 著者らは、類群指数 $1 \le E \le 8$ を持つすべての負の判別式に関する条件付き分類を提示する。これらの判別式をリストした表を提供する。これらの表の完全性は、指数 $E=1$ については無条件に確立されている。指数 $E=2, 4, 8$ については、シゲル零点の非存在（または無条件で最大 1 つの追加の基本判別式が欠落している可能性）に条件付きである。拡張リーマン予想（ERH）の下では、$E=2, 3, 4, 5, 8$ に対する表の完全性が証明され、$E=6$ および $E=7$ については特定の上限が提供される。

意義と動機
著者らは、この研究の 3 つの主要な動機を特定する：

1. 理論的拡張: 本結果は、デュークの有名な均等分布定理の自然な変種として機能し、基本領域の内部からその境界へと解析を拡張する。
2. 独立した算術的関心: 小指数を持つ類群の判別式の分類は、代数的数論において独立した関心事であり、基本判別式に関する先行研究をすべての判別式に拡張する。
3. モジュラー形式への応用: この分類は、モジュラー形式の零点の超越性に関する別論文 [1] の結果にとって不可欠な前提条件である。著者らは、特定のモジュラー形式（例えば、アイゼンシュタイン級数およびそれらの積）については、超越的でない零点は $F$ の境界上にしか存在し得ないと指摘する。したがって、すべての CM 点が境界上に存在する特定の判別式を特定することは、これらの形式の零点を解析する上で不可欠である。

本論文は、指数 $E$ に対して開発されたアルゴリズム的枠組みは一般化可能であると結論付けているが、提供された特定の表は $E \le 8$ をカバーしている。結果の完全性は、類数と判別式の分布に関する解析的数論の標準的な予想（シゲル零点、ERH）に依存している。