Equidistribution of CM points and RM curves

技術的サマリー：CM 点と RM 曲線の等分布

問題提起
本論文は、複素上半平面 $\mathbb{H}$ 内の複素乗法（CM）点と実乗法（RM）曲線の分布を調査する。ウィリアム・デューク（1988 年）は、基本判別式 $D$ を持つ CM 点と RM 曲線が、$D \to -\infty$ または $D \to +\infty$ となるにつれて、$\mathbb{H}$ 内の固定された 2 次元領域（具体的にはモジュラー曲面 $SL_2(\mathbb{Z})\backslash\mathbb{H}$）上で等分布することを確立したが、本研究は低次元の対象に対する同様の問題に取り組みます。具体的には、著者らは、これらの点と曲線が $\mathbb{H}$ 内の固定された 1 次元測地線に沿って、および固定された 0 次元点の周囲にどのように分布するかを研究します。

方法論
方法論の中核は、幾何学的な分布問題を、2 次形式に関する解析的整数論の問題へと翻訳することにあります。

1. 幾何学 - 代数的対応: 著者らは、固定された有理測地線上にある CM 点と、固定された有理測地線と垂直に交わる RM 曲線が、特定のディオファントス方程式 $2aC + 2cA = bB$によって支配されることを確立しました。ここで、$(A, B, C)$は固定された測地線を定義し、$(a, b, c)$ は変化する CM 点または RM 曲線を定義します。
2. 格子点数え上げへの還元: このディオファントス方程式の解をパラメータ化することで、CM 点と RM 曲線の分布は、$0 < Am^2 + Bmn + Cn^2 \le \Delta$ という形の 2 次不等式を満たす有理数 $m/n$ の分布へと還元されます。
3. 集約的リンニク問題: 本論文は、任意の 2 次形式に対する「集約的リンニク問題」を解決します。古典的なリンニク問題が単一の判別式 $d \to \infty$ として表面 $Q(x)=d$ 上の点の分布を研究するのに対し、集約的バージョンは $\Delta \to \infty$ として $0 < Q(x) \le \Delta$ となる点の分布を考慮します。
4. 解析的道具: 集約的リンニク問題の証明は、以下の標準的な解析的整数論の技術に依存しています。
   • アベルの総和公式。
   • オイラーのトーティエント関数 $\phi(n)$ とメビウス関数 $\mu(n)$ を含む和の漸近評価。
   • 係数 $A, B$ の符号と判別式 $D = B^2 - 4AC$ に基づく場合分け分析。

主要な貢献と結果
本論文は、特定の幾何学的設定における等分布を確立する 4 つの主要な定理を提供します。

• 定理 1.1（測地線上の CM 点）: CM 点は、双曲距離に関して $\mathbb{H}$ 内のすべての固定された有理測地線に沿って等分布します。著者らは、非有理測地線には高々 1 つの CM 点しか含まれないため、これは有理測地線にのみ成り立つと指摘しています。
• 定理 1.2（測地線上の RM 曲線）: RM 曲線は、双曲距離に関して $\mathbb{H}$ 内のすべての固定された有理測地線に沿って等分布します。これは、RM 曲線と測地線の垂直交点の等分布を指します。
• 定理 1.3（CM 点周囲の RM 曲線）: 固定された CM 点を通過する RM 曲線は、その点を中心とした一様な角度測度に関して等分布します。
• 定理 1.4（固定点周囲の CM 点）: 任意の点 $z_0 \in \mathbb{H}$ からの固定された双曲距離内にある CM 点は、$z_0$ を中心とした一様な角度測度に関して等分布します。著者らは、この結果は双曲幾何学の計算を通じて適応された、デュークによる 2 次元領域における元の等分布定理に由来すると指摘しています。

これらの定理を支える中心的な技術的結果は、任意の 2 次形式に対する集約的リンニク問題を解決する定理 1.5です。これは、$0 < Am^2 + Bmn + Cn^2 \le \Delta$ を満たす正規化された有理点 $m/n$ の集合が、$\Delta \to \infty$ となるにつれて、測度 $d\mu = \frac{1}{At^2+Bt+C}dt$ に関して特定の区間 $I$ 上で等分布することを証明します。

意義と応用
著者らは、自らの研究がデュークの基礎的な結果を 2 次元領域から 1 次元および 0 次元の対象へと拡張したと主張しています。本論文は、いくつかの具体的な応用と含意を強調しています。

1. 閉じた測地線上の CM 点の漸近公式: この結果は、$SL_2(\mathbb{Z})\backslash\mathbb{H}$ 内の判別式の絶対値が $\le \Delta$ である閉じた測地線 $G$ 上の CM 点の数に関する漸近公式をもたらします。この数は、測地線の長さと $\Delta$ に比例します。
2. サイクル積分とモジュラー関数: 本論文は、実二次無理数におけるモジュラー関数の「値」に対する代替的な解釈を提案します。従来、関連する測地線上のサイクル積分として定義されてきたこれらの値は、その測地線上にある CM 点における関数の平均値の極限として解釈できるようになりました。
3. 非測地線曲線上の密度: 著者らは、CM 点が水平線（非測地線曲線）上で稠密かつ等分布し得る例を提供し、そのような分布のより広範な範囲を示唆しています。
4. 未解決問題: 本論文は、稠密な CM 点の部分集合を含む $\mathbb{H}$ 内のすべての代数曲線を分類する問題を提起することで締めくくられ、アンドレ・オort 予想とのアナロジーを引いています。

この研究は、既存の等分布理論の厳密な拡張として提示され、集約的リンニク問題を解決することで、モジュラー曲面のグローバルな分布結果と、その部分多様体に沿った分布との間のギャップを埋めています。